Publications

AVACS

  1. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems – Status Report
    S. Altmeyer, and C. Maiza
    Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar, 2011. [bib]
  2. Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    S. Altmeyer, R. I. Davis, and C. Maiza
    Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), 2011. [bib]
  3. Semi-Automatic Derivation of Timing Models for WCET Analysis
    M. Schlickling, and M. Pister
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [bib]
  4. Best Probabilistic Transformers
    B. Wachter, and L. Zhang
    VMCAI, 2010. [pdf]  [bib]
  5. A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  6. Abstract Topology Analysis of the Join Phase of the Merge Protocol
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  7. Computing the Maximum Blocking Time for Scheduling with Deferred Preemption
    S. Altmeyer, C. Burguière, and R. Wilhelm
    Workshop on Software Technologies for Future Dependable Distributed Systems, 2009. [doi]  [bib]
  8. Abstract Interpretation of FIFO Replacement
    D. Grund, and J. Reineke
    Static Analysis, 16th International Symposium, SAS 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  9. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  10. Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
    R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
    IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009. [doi]  [bib]
  11. INFAMY: An Infinite-State Markov Model Checker
    E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
    Computer Aided Verification, 2009. [doi]  [bib]
  12. Best Probabilistic Transformers and Beyond
    B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2009. [pdf]  [bib]
  13. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    J. Reineke, and R. Sen
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  14. Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
    C. Burguière, J. Reineke, and S. Altmeyer
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  15. Making Dynamic Memory Allocation Static To Support WCET Analyses
    J. Herter, and J. Reineke
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  16. A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
    S. Altmeyer, and C. Burguière
    Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09), 2009. [doi]  [bib]
  17. An Abstraction-Aware Compiler for VHDL Models
    M. A. Maksoud, M. Pister, and M. Schlickling
    Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09), 2009. [doi]  [bib]
  18. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
  19. Symbolic State Traversal for WCET Analysis
    S. Wilhelm, and B. Wachter
    International Conference on Embedded Software, 2009. [bib]
  20. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
    Fundamenta Informaticae, 95, 2009. [url]  [bib]
  21. The Worst-case Execution Time Problem—Overview of Methods and Survey of Tools
    R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
    ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008. [doi]  [bib]
  22. Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    CAV, 2008. [pdf]  [bib]
  23. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
  24. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    L. Zhang, H. Hermanns, E. M. Hahn, and B. Wachter
    ACSD, 2008. [pdf]  [bib]
  25. Sensitivity of Cache Replacement Policies
    J. Reineke, and D. Grund
    Technical Report, SFB/TR 14 AVACS, 2008. [pdf]  [bib]
  26. Estimating the Performance of Cache Replacement Policies
    D. Grund, and J. Reineke
    MEMOCODE '08: Proceedings of the 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2008. [doi]  [pdf]  [slides]  [bib]
  27. Relative Competitiveness of Cache Replacement Policies
    J. Reineke, and D. Grund
    SIGMETRICS '08: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2008. [doi]  [pdf]  [bib]
  28. Relative Competitive Analysis of Cache Replacement Policies
    J. Reineke, and D. Grund
    LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, 2008. [doi]  [pdf]  [slides]  [bib]
  29. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008. [pdf]  [slides]  [bib]
  30. WCET Analysis for Preemptive Systems
    S. Altmeyer, and G. Gebhard
    Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008. [bib]
  31. Parametric Timing Analysis for Complex Architectures
    S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm
    Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008. [bib]
  32. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
  33. Topology Analysis of Dynamic Communication Systems
    P. Backes
    Universität des Saarlandes, 2008. [bib]
  34. The Spotlight Principle: On Process-Summarizing State Abstractions
    B. Wachter, and B. Westphal
    Verification, Model Checking and Abstract Interpretation, 2007. [bib]
  35. New Developments in WCET Analysis
    C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein, S. Thesing, and R. Heckmann
    Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer Verlag, 2007. [bib]
  36. A Framework for Static Analysis of VHDL Code
    M. Schlickling, and M. Pister
    Proceedings of 7th International Workshop on Worst-case Execution Time (WCET) Analysis, 2007. [ps]  [bib]
  37. Probabilistic Model Checking Modulo Theories
    B. Wachter, L. Zhang, and H. Hermanns
    Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems, 2007. [bib]
  38. Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
    S. Wilhelm, and B. Wachter
    Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007. [pdf]  [bib]
  39. Timing Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Real-Time Systems, 37 (2), 2007. [doi]  [pdf]  [slides]  [bib]
  40. On Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2007. [pdf]  [bib]
  41. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
    J. Bauer, and R. Wilhelm
    Technical Report, Dagstuhl, 2006. [pdf]  [bib]
  42. Specification and Verification of Dynamic Communication Systems
    J. Bauer, I. Schaefer, T. Toben, and B. Westphal
    Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on, 2006. [pdf]  [bib]
  43. Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
    J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, and R. Wilhelm
    9th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2006), 2006. [bib]
  44. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [pdf]  [slides]  [bib]
  45. Determining Bounds on Execution Times
    R. Wilhelm
    Handbook on Embedded Systems, CRC Press, 2006. [bib]
  46. Explaining Data Type Reduction in the Shape Analysis Framework
    B. Wachter
    Workshop Trustworthy Software 2006, 2006. [bib]
  47. Analysis of Communication Topologies by Partner Abstraction
    J. Bauer
    Universität des Saarlandes, 2006. [bib]
  48. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]
  49. Efficient Algorithms for Feasibility and Optimality
    W. Damm, A. Metzner, F. Eisenbrand, G. Shmonin, R. Wilhelm, and S. Winkel
    Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), 2006. [bib]
  50. Codegenerierung für CSP-OZ
    B. Franzen
    [bib]
  51. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005. [pdf]  [bib]
  52. Timing Analysis and Timing Predictability
    R. Wilhelm
    FMCO 2004, 2005. [bib]
  53. Component-Wise Instruction-Cache Behavior Prediction
    A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
    ATVA 2004, 2004. [bib]
  54. Static Program Analysis via 3-Valued Logic
    T. Reps, S. Sagiv, and R. Wilhelm
    CAV 2004, 2004. [bib]
  55. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    Technical Report, AVACS, 2004. [pdf]  [bib]
  56. Design for Timing Predictability
    L. Thiele, and R. Wilhelm
    Real-Time Systems, 28, 2004. [bib]
  57. Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
    R. Wilhelm
    VMCAI 2004, 2004. [url]  [bib]