Publications

Timing Analysis

1. Timing Model Derivation – Static Analysis of Hardware Description Languages
   M. Schlickling
   Saarland University, 2013. [url]  [bib]
   

   @phdthesis{Schlickling13,
      author = {Marc Schlickling},
      title = {Timing Model Derivation -- Static Analysis of Hardware Description Languages},
      school = {Saarland University},
      year = {2013},
      month = {January},
      isbn = {978-3-8442-4513-4},
      publisher = {epubli GmbH},
      url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-8442-4513-4}
    }

2. Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
   D. Grund
   Saarland University, 2012. [url]  [bib]
   

   @phdthesis{Grund12,
      author = {Daniel Grund},
      title = {Static Cache Analysis for Real-Time Systems -- {LRU}, {FIFO}, {PLRU}},
      school = {Saarland University},
      year = {2012},
      isbn = {978-3-8442-1699-8},
      publisher = {ePubli GmbH},
      url = {https://www.epubli.de/shop/buch/Static-Cache-Analysis-for-Real-Time-Systems-Daniel-Grund-9783844216998/13092}
    }

3. Relational Cache Analysis for Static Timing Analysis
   S. Hahn, and D. Grund
   Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS '12), 2012. [doi]  [pdf]  [slides]  [bib]
   

   @inproceedings{Hahn12,
      author = {Sebastian Hahn and Daniel Grund},
      title = {Relational Cache Analysis for Static Timing Analysis},
      booktitle = {Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS '12)},
      year = {2012},
      pages = {102--111},
      month = {July},
      doi = {10.1109/ECRTS.2012.14},
      isbn = {978-1-4673-2032-0},
      issn = {1068-3070},
      location = {Pisa, Italy},
      slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/ecrts12-relcana.pdf},
      url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/ecrts12-rel_cache_ana.pdf}
    }

4. Improved Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
   S. Altmeyer, R. I. Davis, and C. Maiza
   Real-Time Systems, 2012. [doi]  [bib]
   

   @article{Altmeyer12,
      author = {Sebastian Altmeyer and Robert I. Davis and Claire Maiza},
      title = {Improved Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems},
      journal = {Real-Time Systems},
      year = {2012},
      doi = {10.1007/s11241-012-9152-2}
    }

5. Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
   R. Wilhelm, P. Lucas, O. Parshin, L. Tan, and B. Wachter
   Advances in Real-Time Systems, 2012. [doi]  [bib]
   

   @inproceedings{Wilhelm12,
      author = {Reinhard Wilhelm and Philipp Lucas and Oleg Parshin and Lili Tan and Bj\"orn Wachter},
      title = {Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints},
      booktitle = {Advances in Real-Time Systems},
      year = {2012},
      pages = {123--143},
      doi = {10.1007/978-3-642-24349-3_6}
    }

6. Symbolic Representations in WCET Analysis
   S. Wilhelm
   Saarland University, 2012. [url]  [bib]
   

   @phdthesis{Wilhelm12b,
      author = {Stephan Wilhelm},
      title = {Symbolic Representations in {WCET} Analysis},
      school = {Saarland University},
      year = {2012},
      isbn = {978-3-8442-2463-4},
      publisher = {ePubli GmbH},
      url = {http://www.epubli.de/shop/buch/Symbolic-Representations-in-WCET-Analysis-Stephan-Wilhelm-9783844224634/16575}
    }

7. Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
   M. Pister
   Saarland University, 2012. [url]  [bib]
   

   @phdthesis{Pister12,
      author = {Markus Pister},
      title = {Timing Model Derivation -- Pipeline Analyzer Generation from Hardware Description Languages},
      school = {Saarland University},
      year = {2012},
      month = {October},
      isbn = {978-3-937436-40-1},
      publisher = {Pirrot Verlag},
      url = {http://www.buchhandel.de/webapi1/titelsuche.asp?caller=DNB&func=DirectIsbnSearch&isbn=978-3-937436-40-1}
    }

8. Meeting Real-Time Requirements with Multi-core Processors
   D. Kästner, M. Schlickling, M. Pister, C. Cullmann, G. Gebhard, R. Heckmann, and C. Ferdinand
   Computer Safety, Reliability, and Security, Springer, 2012. [doi]  [bib]
   

   @incollection{Kaestner12,
      author = {Daniel Kästner and Marc Schlickling and Markus Pister and Chritoph Cullmann and Gernot Gebhard and Reinhold Heckmann and Christian Ferdinand},
      title = {Meeting Real-Time Requirements with Multi-core Processors},
      booktitle = {Computer Safety, Reliability, and Security},
      publisher = {Springer},
      year = {2012},
      editor = {Ortmeier, Frank and Daniel, Peter},
      volume = {7613},
      series = {Lecture Notes in Computer Science},
      pages = {117--131},
      doi = {10.1007/978-3-642-33675-1_10},
      isbn = {978-3-642-33674-4}
    }

9. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
   D. Grund, J. Reineke, and G. Gebhard
   Journal of Systems Architecture, 57 (6), 2011. [doi]  [pdf]  [bib]
   

   @article{Grund10b,
      author = {Daniel Grund and Jan Reineke and Gernot Gebhard},
      title = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
      journal = {Journal of Systems Architecture},
      year = {2011},
      volume = {57},
      pages = {625--637},
      number = {6},
      doi = {10.1016/j.sysarc.2010.05.013},
      issn = {1383-7621},
      url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/jsa10-BTBs.pdf}
    }

10. A Template for Predictability Definitions with Supporting Evidence
    D. Grund, J. Reineke, and R. Wilhelm
    Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011. [doi]  [url]  [slides]  [bib]
    

    @inproceedings{Grund11,
       author = {Daniel Grund and Jan Reineke and Reinhard Wilhelm},
       title = {A Template for Predictability Definitions with Supporting Evidence},
       booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
       year = {2011},
       editor = {Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm},
       volume = {18},
       series = {OpenAccess Series in Informatics (OASIcs)},
       pages = {22--31},
       address = {Dagstuhl, Germany},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
       doi = {10.4230/OASIcs.PPES.2011.22},
       isbn = {978-3-939897-28-6},
       issn = {2190-6807},
       slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/ppes11-predictability_template.pdf},
       url = {http://drops.dagstuhl.de/opus/volltexte/2011/3078},
       urn = {urn:nbn:de:0030-drops-30785}
     }

11. Software Structure and WCET Predictability
    G. Gebhard, C. Cullmann, and R. Heckmann
    Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011. [doi]  [url]  [bib]
    

    @inproceedings{Gebhard11,
       author = {Gernot Gebhard and Christoph Cullmann and Reinhold Heckmann},
       title = {Software Structure and {WCET} Predictability},
       booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
       year = {2011},
       editor = {Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm},
       volume = {18},
       series = {OpenAccess Series in Informatics (OASIcs)},
       pages = {1--10},
       address = {Dagstuhl, Germany},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
       doi = {10.4230/OASIcs.PPES.2011.1},
       isbn = {978-3-939897-28-6},
       issn = {2190-6807},
       url = {http://drops.dagstuhl.de/opus/volltexte/2011/3083},
       urn = {urn:nbn:de:0030-drops-30836}
     }

12. Precise and Efficient Parametric Path Analysis
    E. Althaus, S. Altmeyer, and R. Naujoks
    LCTES '11: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, 2011. [bib]
    

    @inproceedings{Althaus11,
       author = {Ernst Althaus and Sebastian Altmeyer and Rouven Naujoks},
       title = {Precise and Efficient Parametric Path Analysis},
       booktitle = {LCTES '11: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems},
       year = {2011},
       pages = {141--150},
       address = {New York, NY, USA},
       month = {April},
       publisher = {ACM},
       isbn = {978-1-4503-0555-6},
       location = {Chicago, IL, USA}
     }

13. Precise WCET Calculation in Highly Variant Real-Time Systems
    P. Montag, and S. Altmeyer
    Proceedings of IEEE/ACM Design, Automation, and Test in Europe, 2011. [bib]
    

    @inproceedings{Montag11,
       author = {Pascal Montag and Sebastian Altmeyer},
       title = {Precise {WCET} Calculation in Highly Variant Real-Time Systems},
       booktitle = {Proceedings of IEEE/ACM Design, Automation, and Test in Europe},
       year = {2011},
       month = {March},
       location = {Grenoble, France}
     }

14. 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}
     }

15. 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}
     }

16. 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}
     }

17. Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches
    S. Altmeyer, C. Maiza, and J. Reineke
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [pdf]  [slides]  [bib]
    

    @inproceedings{Altmeyer10,
       author = {Sebastian Altmeyer and Claire Maiza and Jan Reineke},
       title = {Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches},
       booktitle = {LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems},
       year = {2010},
       pages = {153--162},
       address = {New York, NY, USA},
       month = {April},
       publisher = {ACM},
       doi = {10.1145/1755888.1755911},
       isbn = {978-1-60558-953-4},
       location = {Stockholm, Sweden},
       slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/resilienceAnalysisAVACS09.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/publications/ResilienceAnalysisLCTES10.pdf}
     }

18. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, and R. Wilhelm
    Proceedings of Embedded Real Time Software and Systems, 2010. [pdf]  [bib]
    

    @inproceedings{Cullmann10,
       author = {Christoph Cullmann and Christian Ferdinand and Gernot Gebhard and Daniel Grund and Claire Maiza and Jan Reineke and Beno\^it Triquet and Reinhard Wilhelm},
       title = {Predictability Considerations in the Design of Multi-Core Embedded Systems},
       booktitle = {Proceedings of Embedded Real Time Software and Systems},
       year = {2010},
       pages = {36--42},
       month = {May},
       url = {http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0049_final.pdf}
     }

19. Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
    D. Grund, and J. Reineke
    Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10), 2010. [doi]  [pdf]  [slides]  [bib]
    

    @inproceedings{Grund10,
       author = {Daniel Grund and Jan Reineke},
       title = {Precise and Efficient {FIFO}-Replacement Analysis Based on Static Phase Detection},
       booktitle = {Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10)},
       year = {2010},
       pages = {155--164},
       month = {July},
       doi = {10.1109/ECRTS.2010.8},
       isbn = {978-1-4244-7546-9},
       issn = {1068-3070},
       location = {Brussels, Belgium},
       slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/ecrts10-fifo.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/ecrts10-fifo_phases.pdf}
     }

20. Timing Anomalies Reloaded
    G. Gebhard
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
    

    @inproceedings{Gebhard10,
       author = {Gernot Gebhard},
       title = {Timing Anomalies Reloaded},
       booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2010},
       editor = {Bj\"orn Lisper},
       pages = {5--15},
       month = {July},
       publisher = {Austrian Computer Society},
     }

21. Toward Precise PLRU Cache Analysis
    D. Grund, and J. Reineke
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf]  [pdf]  [slides]  [bib]
    

    @inproceedings{Grund10a,
       author = {Daniel Grund and Jan Reineke},
       title = {Toward Precise {PLRU} Cache Analysis},
       booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2010},
       editor = {Bj\"orn Lisper},
       pages = {28--39},
       month = {July},
       publisher = {Austrian Computer Society},
       pdf = {http://drops.dagstuhl.de/opus/volltexte/2010/2822/pdf/4.pdf},
       slides = {https://www.rw.cdl.uni-saarland.de/people/grund/private/talks/wcet10-plru.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/grund/private/papers/wcet10-plru.pdf}
     }

22. Integrating Abstract Caches with Symbolic Pipeline Analysis
    S. Wilhelm, and C. Cullmann
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
    

    @inproceedings{Wilhelm10a,
       author = {Stephan Wilhelm and Christoph Cullmann},
       title = {Integrating Abstract Caches with Symbolic Pipeline Analysis},
       booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2010},
       editor = {Bj\"orn Lisper},
       pages = {40--48},
       month = {July},
       publisher = {Austrian Computer Society},
     }

23. On the Use of context Information for Precise Measurement-Based Execution-Time Estimation
    S. Stattelmann, and F. Martin
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
    

    @inproceedings{Stattelmann10,
       author = {Stafan Stattelmann and Florian Martin},
       title = {On the Use of context Information for Precise Measurement-Based Execution-Time Estimation},
       booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2010},
       editor = {Bj\"orn Lisper},
       pages = {68--79},
       month = {July},
       publisher = {Austrian Computer Society},
     }

24. Precomputing Memory Locations for Parametric Allocations
    J. Herter, and S. Altmeyer
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf]  [pdf]  [slides]  [bib]
    

    @inproceedings{Herter10,
       author = {J\"org Herter and Sebastian Altmeyer},
       title = {Precomputing Memory Locations for Parametric Allocations},
       booktitle = {Proceedings of 10th International Workshop on Worst-Case Execution Time ({WCET}) Analysis},
       year = {2010},
       editor = {Bj\"orn Lisper},
       pages = {125--136},
       month = {July},
       publisher = {Austrian Computer Society},
       pdf = {http://drops.dagstuhl.de/opus/volltexte/2010/2832/pdf/14.pdf},
       slides = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/talks/precomputingParametricAllocationsWCET10.pdf},
       url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/precomputingParametricAllocationsWCET10.pdf}
     }

25. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems
    S. Altmeyer, and C. Burguière
    Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar, 2010. [bib]
    

    @inproceedings{Altmeyer10a,
       author = {Sebastian Altmeyer and Claire Burgui\`ere},
       title = {Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems},
       booktitle = {Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar},
       year = {2010},
       editor = {Robert I. Davis and Nathan Fisher},
       pages = {5--6},
       month = {July},
     }

26. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, S. Wegener, and R. Wilhelm
    Ingénieurs de l'Automobile, 807, 2010. [bib]
    

    @article{Cullmann10a,
       author = {Christoph Cullmann and Christian Ferdinand and Gernot Gebhard and Daniel Grund and Claire Maiza and Jan Reineke and Beno\^it Triquet and Simon Wegener and Reinhard Wilhelm},
       title = {Predictability Considerations in the Design of Multi-Core Embedded Systems},
       journal = {Ing\'enieurs de l'Automobile},
       year = {2010},
       volume = {807},
       pages = {36--42},
       month = {September},
       issn = {0020-1200}
     }

27. 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}
     }

28. 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}
     }

29. 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}
     }

30. Semi-Automatic Derivation of Abstract Processor Models
    M. Pister, M. Schlickling, and M. A. Maksoud
    Technical Report, ES_PASS, 2009. [bib]
    

    @techreport{Pister09,
       author = {Markus Pister and Marc Schlickling and Mohamed Abdel Maksoud},
       title = {Semi-Automatic Derivation of Abstract Processor Models},
       institution = {ES_PASS},
       year = {2009},
       type = {Reports of {ES_PASS}},
       month = {June},
     }

31. 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}
     }

32. 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}
     }

33. 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}
     }

34. 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}
     }

35. 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}
     }

36. 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}
     }

37. Operating Mode Specific WCET Analysis
    P. Lucas, O. Parshin, and R. Wilhelm
    Proceedings of JRWRTC, 2009. [bib]
    

    @inproceedings{Lucas09,
       author = {Philipp Lucas and Oleg Parshin and Reinhard Wilhelm},
       title = {Operating Mode Specific {WCET} Analysis},
       booktitle = {Proceedings of JRWRTC},
       year = {2009},
       editor = {Charlotte Seidner},
       month = {October},
     }

38. 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},
     }

39. Designing Predictable Multicore Architectures for Avionics and Automotive Systems
    R. Wilhelm, C. Ferdinand, C. Cullmann, D. Grund, J. Reineke, and B. Triquet
    Workshop on Reconciling Performance with Predictability (RePP), 2009. [pdf]  [bib]
    

    @inproceedings{Wilhelm09b,
       author = {Reinhard Wilhelm and Christian Ferdinand and Christoph Cullmann and Daniel Grund and Jan Reineke and Beno\^it Triquet},
       title = {Designing Predictable Multicore Architectures for Avionics and Automotive Systems},
       booktitle = {Workshop on Reconciling Performance with Predictability ({RePP})},
       year = {2009},
       month = {October},
       url = {http://www.tik.ee.ethz.ch/~jchen/RePP/papers/2-3.pdf}
     }

40. 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}
     }

41. 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}
     }

42. 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}
     }

43. 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}
     }

44. 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},
     }

45. 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},
     }

46. 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}
     }

47. 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}
     }

48. 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}
     }

49. 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}
     }

50. 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}
     }

51. 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},
     }

52. 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}
     }

53. 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},
     }

54. 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}
     }

55. The Worst Case Execution Time Tool Challenge 2006: The External Test
    L. Tan
    2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), 2006. [url]  [bib]
    

    @inproceedings{Tan06,
       author = {Lili Tan},
       title = {The Worst Case Execution Time Tool Challenge 2006: The External Test},
       booktitle = {2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06)},
       year = {2006},
       editor = {Tiziana Margaris and Anna Philippou and Bernhard Steffen},
       address = {Paphos, Cyprus},
       month = {November},
       url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?tp=&arnumber=4463719&isnumber=4463676}
     }

56. The Worst Case Execution Time Tool Challenge 2006
    L. Tan
    Technical Report, University Duisburg-Essen, 2006. [pdf]  [bib]
    

    @techreport{Tan06a,
       author = {Lili Tan},
       title = {The Worst Case Execution Time Tool Challenge 2006},
       institution = {University Duisburg-Essen},
       year = {2006},
       type = {Technical Reports of {WCET} Tool Challenge},
       number = {1},
       month = {December},
       url = {https://www.rw.cdl.uni-saarland.de/people/lili/private/papers/TanWCETChallenge.pdf}
     }

57. Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
    S. Altmeyer
    Universität des Saarlandes, 2006. [bib]
    

    @mastersthesis{Altmeyer06,
       author = {Sebastian Altmeyer},
       title = {Parametric {WCET} Analysis, Parameter Framework and Parametric Path Analysis},
       school = {Universit\"at des Saarlandes},
       year = {2006},
     }

58. PLRU Cache Domino Effects
    C. Berg
    6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [url]  [pdf]  [bib]
    

    @inproceedings{Berg06,
       author = {Christoph Berg},
       title = {{PLRU} Cache Domino Effects},
       booktitle = {6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis},
       year = {2006},
       editor = {Frank Mueller},
       number = {06902},
       series = {Dagstuhl Seminar Proceedings},
       month = {July},
       publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)},
       bibtex = {2006/berg06-plru.bib},
       issn = {1862-4405},
       pdf = {http://www.df7cb.de/cs/publications/2006/berg06-plru.pdf},
       url = {http://drops.dagstuhl.de/opus/volltexte/2006/672/}
     }

59. 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},
     }

60. Efficient Analysis of Pipeline Models for WCET Computation
    S. Wilhelm
    Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis, 2005. [bib]
    

    @inproceedings{Wilhelm05b,
       author = {Stephan Wilhelm},
       title = {Efficient Analysis of Pipeline Models for {WCET} Computation},
       booktitle = {Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis},
       year = {2005},
     }

61. Requirements for and Design of a Processor with Predictable Timing
    C. Berg, J. Engblom, and R. Wilhelm
    Design of Systems with Predictable Behaviour, 2004. [url]  [bib]
    

    @inproceedings{Berg04,
       author = {Christoph Berg and Jakob Engblom and Reinhard Wilhelm},
       title = {Requirements for and Design of a Processor with Predictable Timing},
       booktitle = {Design of Systems with Predictable Behaviour},
       year = {2004},
       series = {Dagstuhl Seminar Proceedings},
       publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
       url = {http://drops.dagstuhl.de/opus/volltexte/2004/5}
     }

62. 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},
     }

63. 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}
     }

64. Formal Analysis of Processor Timing Models
    R. Wilhelm
    Model Checking Software, 11th International SPIN Workshop, 2004. [bib]
    

    @inproceedings{Wilhelm04a,
       author = {Reinhard Wilhelm},
       title = {Formal Analysis of Processor Timing Models},
       booktitle = {Model Checking Software, 11th International SPIN Workshop},
       year = {2004},
       editor = {Susanne Graf and Laurent Mounier},
       volume = {2989},
       series = {LNCS},
       pages = {1--4},
       publisher = {Springer Verlag},
     }

65. 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}
     }

66. The Influence of Processor Architecture on the Design and the Results of WCET Tools
    R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm
    Proceedings of the IEEE, 91 (7), 2003. [bib]
    

    @article{Heckmann03,
       author = {Reinhold Heckmann and Marc Langenbach and Stephan Thesing and Reinhard Wilhelm},
       title = {The Influence of Processor Architecture on the Design and the Results of {WCET} Tools},
       journal = {Proceedings of the IEEE},
       year = {2003},
       volume = {91},
       pages = {1038--1054},
       number = {7},
       month = {July},
     }

67. An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics
    S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R. Wilhelm, and C. Ferdinand
    Proceedings of the International Performance and Dependability Symposium (IPDS), 2003. [bib]
    

    @inproceedings{Thesing03,
       author = {Stephan Thesing and Jean Souyris and Reinhold Heckmann and Famantanantsoa Randimbivololona and Marc Langenbach and Reinhard Wilhelm and Christian Ferdinand},
       title = {An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics},
       booktitle = {Proceedings of the International Performance and Dependability Symposium (IPDS)},
       year = {2003},
       pages = {625--632},
       month = {June},
       publisher = {IEEE Computer Society Press},
     }

68. Validierung des Zeitverhaltens von kritischer Echtzeit-Software
    C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, R. Heckmann, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, M. Schmidt, A. A. Evstiougov-Babaev, and R. Wilhelm
    GI Jahrestagung (1), 2003. [pdf]  [bib]
    

    @inproceedings{Ferdinand03,
       author = {Christian Ferdinand and Daniel K\"astner and Florian Martin and Marc Langenbach and Martin Sicks and Stephan Wilhelm and Reinhold Heckmann and Nicolas Fritz and Stephan Thesing and Frank Fontaine and Henrik Theiling and Michael Schmidt and Alexander A. Evstiougov-Babaev and Reinhard Wilhelm},
       title = {{V}alidierung des {Z}eitverhaltens von kritischer {E}chtzeit-{S}oftware},
       booktitle = {GI Jahrestagung (1)},
       year = {2003},
       pages = {335--339},
       language = {ngerman},
       url = {http://www.bmw-carit.de/gi/papers/Validierung_des_Zeitverhaltens_von_kritischer_Echtzeit-Software.pdf}
     }

69. Pipeline Modeling for Timing Analysis
    M. Langenbach, S. Thesing, and R. Heckmann
    Proceedings of the Static Analyses Symposium (SAS), 2002. [bib]
    

    @inproceedings{Langenbach02,
       author = {Marc Langenbach and Stephan Thesing and Reinhold Heckmann},
       title = {Pipeline Modeling for Timing Analysis},
       booktitle = {Proceedings of the Static Analyses Symposium (SAS)},
       year = {2002},
       volume = {2477},
       series = {LNCS},
       address = {Madrid, Spain},
     }

70. Reliable and Precise WCET Determination for a Real-Life Processor
    C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm
    Embedded Software Workshop, 2001. [bib]
    

    @inproceedings{Ferdinand01,
       author = {Christian Ferdinand and Reinhold Heckmann and Marc Langenbach and Florian Martin and Michael Schmidt and Henrik Theiling and Stephan Thesing and Reinhard Wilhelm},
       title = {Reliable and Precise {WCET} Determination for a Real-Life Processor},
       booktitle = {Embedded Software Workshop},
       year = {2001},
       volume = {2211},
       pages = {469--485},
       address = {Lake Tahoe, USA},
       month = {October},
     }

71. Fast and Precise WCET Prediction by Separate Cache and Path Analyses
    H. Theiling, C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 18 (2/3), 2000. [bib]
    

    @article{Theiling00a,
       author = {Henrik Theiling and Christian Ferdinand and Reinhard Wilhelm},
       title = {Fast and Precise {WCET} Prediction by Separate Cache and Path Analyses},
       journal = {Real-Time Systems},
       year = {2000},
       volume = {18},
       number = {2/3},
       month = {May},
     }

72. Run-Time Guarantees for Real-Time Systems—The USES Approach
    C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, and R. Wilhelm
    Proceedings of Informatik '99 – Arbeitstagung Programmiersprachen, 1999. [bib]
    

    @inproceedings{Ferdinand99,
       author = {Christian Ferdinand and Daniel K\"astner and Marc Langenbach and Florian Martin and Michael Schmidt and J\"orn Schneider and Henrik Theiling and Stephan Thesing and Reinhard Wilhelm},
       title = {Run-Time Guarantees for Real-Time Systems---The {USES} Approach},
       booktitle = {{P}roceedings of {I}nformatik '99 -- {A}rbeitstagung {P}rogrammiersprachen},
       year = {1999},
       address = {Paderborn},
     }

73. Fast and Efficient Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 17(2/3), 1999. [bib]
    

    @article{Ferdinand99a,
       author = {Christian Ferdinand and Reinhard Wilhelm},
       title = {Fast and Efficient Cache Behavior Prediction for Real-Time Systems},
       journal = {Real-Time Systems},
       year = {1999},
       volume = {17(2/3)},
       pages = {131--181},
       publisher = {Kluwer}
     }

74. Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation
    J. Schneider, and C. Ferdinand
    In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999. [bib]
    

    @inproceedings{Schneider99,
       author = {J\"orn Schneider and Christian Ferdinand},
       title = {Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation},
       booktitle = {In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems},
       year = {1999},
     }

75. Pipeline Behaviour Prediction for Superscalar Processors
    J. Schneider, C. Ferdinand, and R. Wilhelm
    Technical Report, FB 14 - Informatik, Universität des Saarlandes, 1999. [bib]
    

    @techreport{Schneider99a,
       author = {J\"orn Schneider and Christian Ferdinand and Reinhard Wilhelm},
       title = {Pipeline Behaviour Prediction for Superscalar Processors},
       institution = {FB 14 - Informatik, Universit\"at des Saarlandes},
       year = {1999},
       number = {A/02/99},
     }

76. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Science of Computer Programming, 1998. [bib]
    

    @article{Ferdinand98a,
       author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm and Martin Alt},
       title = {Cache Behavior Prediction by Abstract Interpretation},
       journal = {Science of {C}omputer {P}rogramming},
       year = {1998},
     }

77. On Predicting Data Cache Behaviour for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System, 1998. [bib]
    

    @inproceedings{Ferdinand98b,
       author = {Christian Ferdinand and Reinhard Wilhelm},
       title = {On Predicting Data Cache Behaviour for Real-Time Systems},
       booktitle = {ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System},
       year = {1998},
     }

78. Statische Pipeline-Analyse für Echtzeitsysteme
    J. Schneider
    Technical Report, Universität des Saarlandes, 1998. [bib]
    

    @techreport{Schneider98,
       author = {J\"orn Schneider},
       title = {{S}tatische {P}ipeline-{A}nalyse f\"ur {E}chtzeitsysteme},
       institution = {Universit\"at des Saarlandes},
       year = {1998},
       type = {Diploma Thesis},
     }

79. Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis
    H. Theiling, and C. Ferdinand
    Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS), 1998. [bib]
    

    @inproceedings{Theiling98b,
       author = {Henrik Theiling and Christian Ferdinand},
       title = {Combining Abstract Interpretation and {ILP} for Microarchitecture Modelling and Program Path Analysis},
       booktitle = {Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS)},
       year = {1998},
       address = {Madrid, Spain},
     }

80. Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand
    Technical Report, Universität des Saarlandes, 1997. [bib]
    

    @techreport{Ferdinand97b,
       author = {Christian Ferdinand},
       title = {Cache Behavior Prediction for Real-Time Systems},
       institution = {Universit\"at des Saarlandes},
       year = {1997},
       type = {Ph{D} {T}hesis},
     }

81. Applying Compiler Techniques to Cache Behavior Prediction
    C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems, 1997. [ps]  [bib]
    

    @inproceedings{Ferdinand97d,
       author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm},
       title = {Applying Compiler Techniques to Cache Behavior Prediction},
       booktitle = {Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems},
       year = {1997},
       pages = {37--46},
       address = {Las Vegas, Nevada},
       month = {June},
       organization = {ACM SIGPLAN},
       url = {https://www.rw.cdl.uni-saarland.de/people/ferdi/private/ferdi_lctrts97.ps}
     }

82. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Technical Report, Universität des Saarlandes, 1997. [bib]
    

    @techreport{Ferdinand97e,
       author = {Christian Ferdinand and Florian Martin and Reinhard Wilhelm and Martin Alt},
       title = {Cache Behavior Prediction by Abstract Interpretation},
       institution = {Universit\"at des Saarlandes},
       year = {1997},
       type = {{T}echnical {R}eport 05/97},
     }

83. Cache Behavior Prediction by Abstract Interpretation
    M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of SAS'96, Static Analysis Symposium, 1996. [bib]
    

    @inproceedings{Alt96,
       author = {Martin Alt and Christian Ferdinand and Florian Martin and Reinhard Wilhelm},
       title = {Cache Behavior Prediction by Abstract Interpretation},
       booktitle = {Proceedings of SAS'96, Static Analysis Symposium},
       year = {1996},
       volume = {1145},
       series = {LNCS},
       publisher = {Springer Verlag},
     }