Publications

AVACS SFB

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]
   

   @inproceedings{Altmeyer11a,
      author = {Sebastian Altmeyer and Claire Maiza},
      title = {Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems -- Status Report},
      booktitle = {Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar},
      year = {2011},
      editor = {Robert I. Davis and Nathan Fisher},
      pages = {1--2},
      month = {July},
      location = {Porto, Portugal}
    }

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]
   

   @inproceedings{Altmeyer11b,
      author = {Sebastian Altmeyer and Robert I. Davis and Claire Maiza},
      title = {Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems},
      booktitle = {Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11)},
      year = {2011},
      editor = {Robert I. Davis and Nathan Fisher},
      pages = {261--271},
      month = {December},
      location = {Vienna, Austria}
    }

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]
   

   @inproceedings{Schlickling10,
      author = {Marc Schlickling and Markus Pister},
      title = {Semi-Automatic Derivation of Timing Models for {WCET} Analysis},
      booktitle = {LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems},
      year = {2010},
      pages = {67--76},
      month = {April},
      publisher = {ACM},
      doi = {10.1145/1755888.1755899},
      location = {Stockholm, Sweden}
    }

4. Best Probabilistic Transformers
   B. Wachter, and L. Zhang
   VMCAI, 2010. [pdf]  [bib]
   

   @inproceedings{Wachter10,
      author = {Bj\"orn Wachter and Lijun Zhang},
      title = {Best Probabilistic Transformers},
      booktitle = {VMCAI},
      year = {2010},
      pages = {362--379},
      publisher = {Springer Verlag},
      url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/vmcai10-ai-mdp.pdf}
    }

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]
   

   @inproceedings{Backes10a,
      author = {Peter Backes and Jan Reineke},
      title = {A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System},
      booktitle = {Transformation Tool Contest 2010},
      year = {2010},
      volume = {WP10-03},
      series = {{CTIT} Workshop Proceedings},
      pages = {107--118},
      address = {Enschede},
      publisher = {University of Twente},
      slides = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc10s.pdf},
      url = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc2010.pdf}
    }

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]
   

   @inproceedings{Backes10,
      author = {Peter Backes and Jan Reineke},
      title = {Abstract Topology Analysis of the Join Phase of the Merge Protocol},
      booktitle = {Transformation Tool Contest 2010},
      year = {2010},
      volume = {WP10-03},
      series = {{CTIT} Workshop Proceedings},
      pages = {127--133},
      address = {Enschede},
      publisher = {University of Twente},
      slides = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc10bs.pdf},
      url = {https://www.rw.cdl.uni-saarland.de/people/rtc/private/ttc2010b.pdf}
    }

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]
   

   @inproceedings{Altmeyer09a,
      author = {Sebastian Altmeyer and Claire Burgui\`ere and Reinhard Wilhelm},
      title = {Computing the Maximum Blocking Time for Scheduling with Deferred Preemption},
      booktitle = {Workshop on Software Technologies for Future Dependable Distributed Systems},
      year = {2009},
      doi = {10.1109/STFSSD.2009.12}
    }

8. Abstract Interpretation of FIFO Replacement
   D. Grund, and J. Reineke
   Static Analysis, 16th International Symposium, SAS 2009, 2009. [doi]  [pdf]  [slides]  [bib]
   

   @inproceedings{Grund09,
      author = {Daniel Grund and Jan Reineke},
      title = {Abstract Interpretation of {FIFO} Replacement},
      booktitle = {Static Analysis, 16th International Symposium, SAS 2009},
      year = {2009},
      editor = {Jens Palsberg and Zhendong Su},
      volume = {5673},
      series = {LNCS},
      pages = {120--136},
      month = {August},
      publisher = {Springer},
      doi = {10.1007/978-3-642-03237-0},
      slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/sas09-fifo.pdf},
      url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/sas09-AI_FIFO.pdf}
    }

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]
   

   @inproceedings{Grund09a,
      author = {Daniel Grund and Jan Reineke and Gernot Gebhard},
      title = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
      booktitle = {15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009},
      year = {2009},
      month = {August},
      doi = {10.1109/RTCSA.2009.8},
      slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/rtcsa09-btb.pdf},
      url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/rtcsa09-BTBs.pdf}
    }

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]
    

    @article{Wilhelm09,
       author = {Reinhard Wilhelm and Daniel Grund and Jan Reineke and Marc Schlickling and Markus Pister and Christian Ferdinand},
       title = {Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems},
       journal = {IEEE Transactions on {CAD} of Integrated Circuits and Systems},
       year = {2009},
       volume = {28},
       pages = {966--978},
       number = {7},
       month = {July},
       doi = {10.1109/TCAD.2009.2013287}
     }

11. INFAMY: An Infinite-State Markov Model Checker
    E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
    Computer Aided Verification, 2009. [doi]  [bib]
    

    @inproceedings{Hahn09,
       author = {Ernst Moritz Hahn and Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
       title = {{INFAMY}: An Infinite-State Markov Model Checker},
       booktitle = {Computer Aided Verification},
       year = {2009},
       editor = {Ahmed Bouajjani and Oded Maler},
       volume = {5643},
       series = {LNCS},
       pages = {641--647},
       publisher = {Springer},
       doi = {10.1007/978-3-642-02658-4_49}
     }

12. Best Probabilistic Transformers and Beyond
    B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2009. [pdf]  [bib]
    

    @techreport{Wachter09,
       author = {Bj\"orn Wachter and Lijun Zhang},
       title = {Best Probabilistic Transformers and Beyond},
       institution = {SFB/TR 14 AVACS},
       year = {2009},
       type = {Reports of SFB/TR 14 AVACS},
       number = {48},
       month = {April},
       note = {ISSN: 1860-9821, http://www.avacs.org.},
       editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
       series = {ATR},
       subproject = {S2},
       url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_048.pdf}
     }

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]
    

    @inproceedings{Reineke09,
       author = {Jan Reineke and Rathijit Sen},
       title = {Sound and Efficient {WCET} Analysis in the Presence of Timing Anomalies},
       booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2009},
       month = {June},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/preciseAndEfficientTimingAnomaliesWCET09.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/TimingAnomaliesWCET09.pdf}
     }

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]
    

    @inproceedings{Burgui`ere09,
       author = {Claire Burgui\`ere and Jan Reineke and Sebastian Altmeyer},
       title = {Cache-Related Preemption Delay Computation for Set-Associative Caches---Pitfalls and Solutions},
       booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2009},
       month = {June},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/CRPDPitfallsWCET09.pdf},
       url = {http://drops.dagstuhl.de/opus/volltexte/2009/2285/pdf/Burguiere.2285.pdf}
     }

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]
    

    @inproceedings{Herter09,
       author = {J\"org Herter and Jan Reineke},
       title = {Making Dynamic Memory Allocation Static To Support {WCET} Analyses},
       booktitle = {Proceedings of 9th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2009},
       month = {June},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/makingDynamicAllocationStaticWCET09.pdf},
       url = {http://drops.dagstuhl.de/opus/volltexte/2009/2284/pdf/Herter.2284.pdf}
     }

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]
    

    @inproceedings{Altmeyer09,
       author = {Sebastian Altmeyer and Claire Burgui\`ere},
       title = {A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay},
       booktitle = {Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09)},
       year = {2009},
       pages = {109--118},
       month = {July},
       publisher = {IEEE Computer Society},
       doi = {10.1109/ECRTS.2009.21},
       isbn = {978-0-7695-3724-5}
     }

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]
    

    @inproceedings{Maksoud09,
       author = {Mohamed Abdel Maksoud and Markus Pister and Marc Schlickling},
       title = {An Abstraction-Aware Compiler for {VHDL} Models},
       booktitle = {Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09)},
       year = {2009},
       pages = {3--9},
       month = {December},
       publisher = {IEEE Computer Society},
       doi = {10.1109/ICCES.2009.5383321},
       isbn = {978-1-4244-5842-4}
     }

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]
    

    @inproceedings{Tan09a,
       author = {Lili Tan and Bj\"orn Wachter and Philipp Lucas and Reinhard Wilhelm},
       title = {Improving Timing Analysis for {Matlab} {Simulink}/{Stateflow}},
       booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB)},
       year = {2009},
       editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza},
       pages = {59--63},
       url = {http://ceur-ws.org/Vol-507/paper05.pdf}
     }

19. Symbolic State Traversal for WCET Analysis
    S. Wilhelm, and B. Wachter
    International Conference on Embedded Software, 2009. [bib]
    

    @inproceedings{Wilhelm09a,
       author = {Stephan Wilhelm and Bj\"orn Wachter},
       title = {Symbolic State Traversal for {WCET} Analysis},
       booktitle = {International Conference on Embedded Software},
       year = {2009},
       pages = {137--146},
       month = {October},
     }

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]
    

    @article{Hahn09a,
       author = {E. Moritz Hahn and Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
       title = {Time-Bounded Model Checking of Infinite-State Continuous-Time {Markov} Chains},
       journal = {Fundamenta Informaticae},
       year = {2009},
       volume = {95},
       pages = {129--155},
       url = {http://dx.doi.org/10.3233/FI-2009-145}
     }

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]
    

    @article{Wilhelm08,
       author = {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter Puschner and Jan Staschulat and Per Stenstr\"om},
       title = {The Worst-case Execution Time Problem---Overview of Methods and Survey of Tools},
       journal = {ACM Transactions on Embedded Computing Systems (TECS)},
       year = {2008},
       volume = {7},
       number = {3},
       doi = {10.1145/1347375.1347389}
     }

22. Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    CAV, 2008. [pdf]  [bib]
    

    @inproceedings{Hermanns08,
       author = {Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
       title = {Probabilistic {CEGAR}},
       booktitle = {CAV},
       year = {2008},
       editor = {Aarti Gupta and Sharad Malik},
       volume = {5123},
       series = {LNCS},
       pages = {162--175},
       publisher = {Springer Verlag},
       note = {Princeton, NJ, USA},
       url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/cav08-pcegar.pdf}
     }

23. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
    

    @inproceedings{Wilhelm08a,
       author = {Reinhard Wilhelm and Bj\"orn Wachter},
       title = {Abstract Interpretation with Applications to Timing Validation},
       booktitle = {CAV},
       year = {2008},
       editor = {Aarti Gupta and Sharad Malik},
       volume = {5123},
       series = {LNCS},
       pages = {22--36},
       publisher = {Springer Verlag},
       note = {Princeton, NJ, USA},
       url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/cav08-ai-tutorial.pdf}
     }

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]
    

    @inproceedings{Zhang08,
       author = {Lijun Zhang and Holger Hermanns and E. Moritz Hahn and Bj\"orn Wachter},
       title = {Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains},
       booktitle = {ACSD},
       year = {2008},
       note = {Xi'an, China},
       url = {https://www.rw.cdl.uni-saarland.de/people/bwachter/private/papers/acsd08-time-bounded.pdf}
     }

25. Sensitivity of Cache Replacement Policies
    J. Reineke, and D. Grund
    Technical Report, SFB/TR 14 AVACS, 2008. [pdf]  [bib]
    

    @techreport{Reineke08a,
       author = {Jan Reineke and Daniel Grund},
       title = {Sensitivity of Cache Replacement Policies},
       institution = {SFB/TR 14 AVACS},
       year = {2008},
       type = {Reports of SFB/TR 14 AVACS},
       number = {36},
       month = {March},
       note = {ISSN: 1860-9821, http://www.avacs.org},
       access = {open},
       bibtex = {atr036.bib},
       editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
       series = {ATR},
       subproject = {R2},
       url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_036.pdf}
     }

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]
    

    @inproceedings{Grund08,
       author = {Daniel Grund and Jan Reineke},
       title = {Estimating the Performance of Cache Replacement Policies},
       booktitle = {MEMOCODE '08: Proceedings of the 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign},
       year = {2008},
       pages = {101--111},
       month = {June},
       doi = {10.1109/MEMCOD.2008.4547695},
       slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/memocode08-policy_performance.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/memocode08-policy_performance.pdf}
     }

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]
    

    @inproceedings{Reineke08b,
       author = {Jan Reineke and Daniel Grund},
       title = {Relative Competitiveness of Cache Replacement Policies},
       booktitle = {SIGMETRICS '08: Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems},
       year = {2008},
       pages = {431--432},
       address = {New York, NY, USA},
       month = {June},
       publisher = {ACM},
       doi = {10.1145/1375457.1375506},
       isbn = {978-1-60558-005-0},
       location = {Annapolis, MD, USA},
       url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/sigmetrics08-rel_comp.pdf}
     }

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]
    

    @inproceedings{Reineke08c,
       author = {Jan Reineke and Daniel Grund},
       title = {Relative Competitive Analysis of Cache Replacement Policies},
       booktitle = {LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems},
       year = {2008},
       pages = {51--60},
       address = {New York, NY, USA},
       month = {June},
       publisher = {ACM},
       doi = {10.1145/1375657.1375665},
       isbn = {978-1-60558-104-0},
       location = {Tucson, AZ, USA},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/relativeCompetitiveAnalysisLCTES08.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/lctes08-rel_comp.pdf}
     }

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]
    

    @inproceedings{Herter08a,
       author = {J\"org Herter and Jan Reineke and Reinhard Wilhelm},
       title = {{CAMA}: Cache-Aware Memory Allocation for {WCET} Analysis},
       booktitle = {Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems},
       year = {2008},
       editor = {Marco Caccamo},
       pages = {24--27},
       month = {July},
       slides = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/talks/ecrtswip08.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/camaecrts08.pdf}
     }

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]
    

    @inproceedings{Altmeyer08,
       author = {Sebastian Altmeyer and Gernot Gebhard},
       title = {{WCET} Analysis for Preemptive Systems},
       booktitle = {Proceedings of the 8th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2008},
       editor = {Raimund Kirner},
       pages = {105--112},
       address = {Prague, Czech Republic},
       month = {July},
       publisher = {OCG},
     }

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]
    

    @inproceedings{Altmeyer08a,
       author = {Sebastian Altmeyer and Christian H\"umbert and Bj\"orn Lisper and Reinhard Wilhelm},
       title = {Parametric Timing Analysis for Complex Architectures},
       booktitle = {Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ({RTCSA}'08)},
       year = {2008},
       pages = {367--376},
       address = {Kaohsiung, Taiwan},
       month = {August},
       publisher = {IEEE Computer Society},
     }

32. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
    

    @phdthesis{Reineke08,
       author = {Jan Reineke},
       title = {Caches in {WCET} Analysis},
       school = {Universit\"at des Saarlandes},
       year = {2008},
       month = {November},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/phdDefenseReineke.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/DissertationCachesInWCETAnalysis.pdf}
     }

33. Topology Analysis of Dynamic Communication Systems
    P. Backes
    Universität des Saarlandes, 2008. [bib]
    

    @mastersthesis{Backes08,
       author = {Peter Backes},
       title = {Topology Analysis of Dynamic Communication Systems},
       school = {Universit\"at des Saarlandes},
       year = {2008},
       type = {Diploma thesis},
       month = {March},
     }

34. The Spotlight Principle: On Process-Summarizing State Abstractions
    B. Wachter, and B. Westphal
    Verification, Model Checking and Abstract Interpretation, 2007. [bib]
    

    @inproceedings{Wachter07,
       author = {Bj\"orn Wachter and Bernd Westphal},
       title = {The Spotlight Principle: On Process-Summarizing State Abstractions},
       booktitle = {Verification, Model Checking and Abstract Interpretation},
       year = {2007},
       editor = {Andreas Podelski and Byron Cook},
       volume = {4349},
       series = {LNCS},
       publisher = {Springer Verlag},
       note = {Nice, France},
     }

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]
    

    @incollection{Ferdinand07,
       author = {Christian Ferdinand and Florian Martin and Christoph Cullmann and Marc Schlickling and Ingmar Stein and Stephan Thesing and Reinhold Heckmann},
       title = {New Developments in {WCET} Analysis},
       booktitle = {Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
       publisher = {Springer Verlag},
       year = {2007},
       editor = {Thomas Reps and Mooly Sagiv and J\"org Bauer},
       volume = {4444},
       series = {LNCS},
       pages = {12--52},
       isbn = {978-3-540-71315-9}
     }

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]
    

    @inproceedings{Schlickling07,
       author = {Marc Schlickling and Markus Pister},
       title = {A Framework for Static Analysis of {VHDL} Code},
       booktitle = {Proceedings of 7th International Workshop on Worst-case Execution Time ({WCET}) Analysis},
       year = {2007},
       editor = {Christine Rochange},
       month = {July},
       url = {http://www.irit.fr/wcet2007/finalpapers/schlickling.ps}
     }

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]
    

    @inproceedings{Wachter07a,
       author = {Bj\"orn Wachter and Lijun Zhang and Holger Hermanns},
       title = {Probabilistic Model Checking Modulo Theories},
       booktitle = {Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems},
       year = {2007},
       month = {September},
     }

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]
    

    @inproceedings{Wilhelm07a,
       author = {Stephan Wilhelm and Bj\"orn Wachter},
       title = {Towards Symbolic State Traversal for Efficient {WCET} Analysis of Abstract Pipeline and Cache Models},
       booktitle = {Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis},
       year = {2007},
       month = {July},
       url = {http://www.irit.fr/wcet2007/finalpapers/wilhelm.pdf}
     }

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]
    

    @article{Reineke07,
       author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
       title = {Timing Predictability of Cache Replacement Policies},
       journal = {Real-Time Systems},
       year = {2007},
       volume = {37},
       pages = {99--122},
       number = {2},
       month = {November},
       doi = {10.1007/s11241-007-9032-3},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/predictabilityCacheReplacement.ppt},
       url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/rts07-predictability.pdf}
     }

40. On Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2007. [pdf]  [bib]
    

    @techreport{Hermanns07,
       author = {Holger Hermanns and Bj\"orn Wachter and Lijun Zhang},
       title = {On Probabilistic {CEGAR}},
       institution = {SFB/TR 14 AVACS},
       year = {2007},
       type = {Reports of SFB/TR 14 AVACS},
       number = {33},
       month = {December},
       editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle andErnst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
       series = {ATR},
       subproject = {S2},
       url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_033.pdf}
     }

41. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
    J. Bauer, and R. Wilhelm
    Technical Report, Dagstuhl, 2006. [pdf]  [bib]
    

    @techreport{Bauer06b,
       author = {J\"org Bauer and Reinhard Wilhelm},
       title = {Analysis of Dynamic Communicating Systems by Hierarchical Abstraction},
       institution = {Dagstuhl},
       year = {2006},
       type = {Seminar Proceedings 06081},
       month = feb,
       url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/dagstuhl06081.pdf}
     }

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]
    

    @inproceedings{Bauer06a,
       author = {J\"org Bauer and Ina Schaefer and Tobe Toben and Bernd Westphal},
       title = {Specification and Verification of Dynamic Communication Systems},
       booktitle = {Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on},
       year = {2006},
       publisher = {IEEE Computer Society Press},
       url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/acsd06.pdf}
     }

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]
    

    @inproceedings{Eisinger06,
       author = {Jochen Eisinger and Ilia Polian and Bernd Becker and Alexander Metzner and Stephan Thesing and Reinhard Wilhelm},
       title = {Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis},
       booktitle = {9th IEEE Workshop on Design {\&} Diagnostics of Electronic Circuits {\&} Systems (DDECS 2006)},
       year = {2006},
       editor = {Matteo Sonza Reorda and Ondrej Nov\'ak and Bernd Straube and Hanna Kub\'atov\'a and Zdenek Kot\'asek and Pavel Kubal\'ik and Raimund Ubar and Jiri Bucek},
       pages = {15--20},
       publisher = {IEEE Computer Society Press},
     }

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]
    

    @inproceedings{Reineke06b,
       author = {Jan Reineke and Bj\"orn Wachter and Stephan Thesing and Reinhard Wilhelm and Ilia Polian and Jochen Eisinger and Bernd Becker},
       title = {A Definition and Classification of Timing Anomalies},
       booktitle = {Proceedings of 6th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2006},
       month = {July},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/timingAnomaliesWCET06.ppt},
       url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/TimingAnomaliesWCET06.pdf}
     }

45. Determining Bounds on Execution Times
    R. Wilhelm
    Handbook on Embedded Systems, CRC Press, 2006. [bib]
    

    @incollection{Wilhelm06,
       author = {Reinhard Wilhelm},
       title = {Determining Bounds on Execution Times},
       booktitle = {Handbook on Embedded Systems},
       publisher = {CRC Press},
       year = {2006},
       editor = {Richard Zurawski},
       chapter = {14},
     }

46. Explaining Data Type Reduction in the Shape Analysis Framework
    B. Wachter
    Workshop Trustworthy Software 2006, 2006. [bib]
    

    @inproceedings{Wachter06,
       author = {Bj\"orn Wachter},
       title = {Explaining Data Type Reduction in the Shape Analysis Framework},
       booktitle = {Workshop Trustworthy Software 2006},
       year = {2006},
       editor = {Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
       publisher = {Internationales Begegnungs- und Forschungszentrum f\"ur Informatik (IBFI), Schloss Dagstuhl, Germany},
       optaddress = {Dagstuhl, Germany}
     }

47. Analysis of Communication Topologies by Partner Abstraction
    J. Bauer
    Universität des Saarlandes, 2006. [bib]
    

    @phdthesis{Bauer06,
       author = {J\"org Bauer},
       title = {Analysis of Communication Topologies by Partner Abstraction},
       school = {Universit\"at des Saarlandes},
       year = {2006},
       isbn = {978-3-937436-12-8},
       publisher = {Verlag Pirrot, 66125 Saarbr\"ucken}
     }

48. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]
    

    @techreport{Reineke06a,
       author = {Jan Reineke and Daniel Grund and Christoph Berg and Reinhard Wilhelm},
       title = {Predictability of Cache Replacement Policies},
       institution = {SFB/TR 14 AVACS},
       year = {2006},
       type = {Reports of SFB/TR 14 AVACS},
       number = {9},
       month = {September},
       note = {ISSN: 1860-9821, http://www.avacs.org},
       access = {open},
       bibtex = {atr009.bib},
       editor = {Bernd Becker and Werner Damm and Martin Fr\"anzle and Ernst-R\"udiger Olderog and Andreas Podelski and Reinhard Wilhelm},
       series = {ATR},
       subproject = {R2},
       url = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_009.pdf}
     }

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]
    

    @inproceedings{Damm06,
       author = {Werner Damm and Alexander Metzner and Friedrich Eisenbrand and Gennady Shmonin and Reinhard Wilhelm and Sebastian Winkel},
       title = {Efficient Algorithms for Feasibility and Optimality},
       booktitle = {Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06)},
       year = {2006},
     }

50. Codegenerierung für CSP-OZ
    B. Franzen
    [bib]
    

    @misc{Franzen06,
       author = {B\"arbel Franzen},
       title = {Codegenerierung f\"ur {CSP-OZ}},
       howpublished = {Universit\"at des Saarlandes},
       year = {2006},
     }

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]
    

    @inproceedings{Rinetzky05,
       author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {A Semantics for Procedure Local Heaps and its Abstractions},
       booktitle = {32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05)},
       year = {2005},
       url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/popl05.pdf}
     }

52. Timing Analysis and Timing Predictability
    R. Wilhelm
    FMCO 2004, 2005. [bib]
    

    @inproceedings{Wilhelm05,
       author = {Reinhard Wilhelm},
       title = {Timing Analysis and Timing Predictability},
       booktitle = {FMCO 2004},
       year = {2005},
       editor = {F.S. de Boer et al.},
       volume = {3657},
       series = {LNCS},
       pages = {317--323},
       publisher = {Springer Verlag},
     }

53. Component-Wise Instruction-Cache Behavior Prediction
    A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
    ATVA 2004, 2004. [bib]
    

    @inproceedings{Rakib04,
       author = {Abdur Rakib and Oleg Parshin and Stephan Thesing and Reinhard Wilhelm},
       title = {Component-Wise Instruction-Cache Behavior Prediction},
       booktitle = {ATVA 2004},
       year = {2004},
       volume = {3299},
       series = {LNCS},
       pages = {211--229},
     }

54. Static Program Analysis via 3-Valued Logic
    T. Reps, S. Sagiv, and R. Wilhelm
    CAV 2004, 2004. [bib]
    

    @inproceedings{Reps04,
       author = {Thomas Reps and Shmuel Sagiv and Reinhard Wilhelm},
       title = {Static Program Analysis via 3-Valued Logic},
       booktitle = {CAV 2004},
       year = {2004},
       volume = {3114},
       series = {LNCS},
       pages = {15--30},
     }

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]
    

    @techreport{Rinetzky04,
       author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {A Semantics for Procedure Local Heaps and its Abstractions},
       institution = {AVACS},
       year = {2004},
       type = {Tech. Rep.},
       number = {1},
       month = {September},
       url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/avacsTR1.pdf}
     }

56. Design for Timing Predictability
    L. Thiele, and R. Wilhelm
    Real-Time Systems, 28, 2004. [bib]
    

    @article{Thiele04,
       author = {Lothar Thiele and Reinhard Wilhelm},
       title = {Design for Timing Predictability},
       journal = {Real-Time Systems},
       year = {2004},
       volume = {28},
       pages = {157--177},
       publisher = {Kluwer}
     }

57. Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
    R. Wilhelm
    VMCAI 2004, 2004. [url]  [bib]
    

    @inproceedings{Wilhelm04b,
       author = {Reinhard Wilhelm},
       title = {Why {AI} + {ILP} is Good for {WCET}, But {MC} Is Not, Nor {ILP} Alone},
       booktitle = {VMCAI 2004},
       year = {2004},
       volume = {2937},
       series = {LNCS},
       pages = {309--322},
       url = {https://www.rw.cdl.uni-saarland.de/people/wilhelm/private/pubs/AIvsMC.ppt}
     }