Navigation
    [an error occurred while processing this directive]
  • About Me
  • [an error occurred while processing this directive]
  • Research
  • [an error occurred while processing this directive]
  • Positions and Functions
  • [an error occurred while processing this directive]
  • Projects
  • [an error occurred while processing this directive]
  • Publications
  • [an error occurred while processing this directive]
  • Talks
  • [an error occurred while processing this directive]
  • Conferences
  • [an error occurred while processing this directive]
  • Miscellaneous
  • [an error occurred while processing this directive]
  • Teaching
  • [an error occurred while processing this directive]
  • Supervised Theses
  • [an error occurred while processing this directive]
  • Reviews
  • [an error occurred while processing this directive]
  • Address
  • [an error occurred while processing this directive]
  • Links
  • [an error occurred while processing this directive] [an error occurred while processing this directive]
  • Private Area

Sebastian Altmeyer

altmeyer
[an error occurred while processing this directive]

About Me

I'm now working at the University of Amsterdam. Check out my new webpage!

[an error occurred while processing this directive]

Research Interests

  • Design and Verification of Embedded Systems
  • Timing Analysis
  • Schedulabilty Analysis
  • Program Analysis
  • Abstract Interpretation
[an error occurred while processing this directive]

Projects

  • Predator Design for Predictability and Efficiency
  • AVACS Automatic Verification and Analysis of Complex Systems
[an error occurred while processing this directive]

Publications

Journal Papers

  1. 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]
  2. Cache-related Preemption Delay via Useful Cache Blocks: Survey and Redefinition
    S. Altmeyer, and C. Maiza
    Journal of Systems Architecture, 2010. [doi]  [bib]

Conference Papers

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Static Timing Analysis for Hard Real-Time Systems
    R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm
    VMCAI, 2010. [doi]  [bib]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Optimal Task Placement to Improve Cache Performance
    G. Gebhard, and S. Altmeyer
    Proceedings of the 7th ACM Conference on Embedded Systems Software (EMSOFT'07), 2007. [bib]

MSc Theses

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

Technical Reports

  1. Pre-emption Cost Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    S. Altmeyer, R. I. Davis, and C. Maiza
    Technical Report, University of York, Department of Computer Science, 2011. [pdf]  [bib]

Other

  1. Erweiterung eines C0-Compiler um Inline-Assembler-Code-Unterstützung
    S. Altmeyer
    [bib]
[an error occurred while processing this directive]

Selected Talks

  • Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems (RTSS 11) [pdf]
  • Precise and Efficient Parametric Path Analysis (LCTES 11) [pdf]
  • Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches (AVACS Workshop 10) [pdf]
  • A new notion of useful cache blocks to improve the bounds on the cache-related preemption delay (ECRTS 09) [pdf]
  • Parametric timing analysis for complex architectures (RTCSA 08) [pdf]
  • WCET analysis for preemptive systems (WCET Workshop 08) [pdf]
[an error occurred while processing this directive]

Attended Conferences, Workshops and Seminars

  • EMSOFT
  • Oldenburg
[an error occurred while processing this directive]

Miscellaneous

  • ENUMERATE YOUR MISC STUFF HERE
[an error occurred while processing this directive]

Teaching

[an error occurred while processing this directive]

Supervised Theses

  • Hilmi Gökkaya: "Framework zur schnellen Prototypenerstellung von Programmanalysen" (Bachelor Thesis)
  • Maël Hörz: "Cache-Aware Procedure Placement at Compile-Time" (Bachelor Thesis)
[an error occurred while processing this directive]

External Reviews

  • ENUMERATE YOUR REVIEWS HERE
[an error occurred while processing this directive]

Address

Sebastian Altmeyer
Compiler Design Lab
FR 6.2 – Informatik
Universität des Saarlandes
Postfach 15 11 50
66041 Saarbrücken
Building E1.3, Room 402
Germany

Tel.: +49-681-302-5571
Mail: altmeyer (at) cs (dot) uni-saarland (dot) de

[an error occurred while processing this directive]

Links

  • ENUMERATE YOUR LINKS HERE