Prof. Dr. Sebastian Altmeyer

Professor
Lehrstuhl für Embedded Systems
Telefon: +49 821 598 - 2352
Fax: +49 821 598 - 2359
E-Mail:
Raum: 3022 (N)
Sprechzeiten: nur nach vorheriger Vereinbarung
Adresse: Universitätsstraße 6a, 86159 Augsburg

Werdegang

Aug. 2019  Professor an der Universität Augsburg
Sept. 2017 - Juli 2019  Assistenzprofessor an der Universität von Amsterdam
März 2016 -  Aug. 2017  PostDoc an der Universität von Amsterdam
März 2015 -      März 2016    PostDoc an Universität Luxemburg
Jan. 2013 -       März 2015  PostDoc an der Universität von Amsterdam
Oktober 2012

 Promotion an der Universität des Saarlandes

Publikationen

Sebastian Altmeyer
2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006

2020

Filip Marković, Jan Carlson, Sebastian Altmeyer and Radu Dobrin. 2020. Improving the accuracy of cache-aware response time analysis using preemption partitioning. DOI: 10.4230/LIPIcs.ECRTS.2020.5
PDF | BibTeX | RIS | DOI

Christian Piatka, Rico Amslinger, Florian Haas, Sebastian Weis, Sebastian Altmeyer and Theo Ungerer. 2020. Investigating transactional memory for high performance embedded systems. DOI: 10.1007/978-3-030-52794-5_8
BibTeX | RIS | DOI

Architecture of Computing Systems – ARCS 2020: 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings

Jun Xiao, Sebastian Altmeyer and Andy D. Pimentel. 2020. Schedulability analysis of global scheduling for multicore systems with shared caches. DOI: 10.1109/tc.2020.2974224
BibTeX | RIS | DOI

Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2020. Towards energy-, time- and security-aware multi-core coordination. DOI: 10.1007/978-3-030-50029-0_4
BibTeX | RIS | DOI

2019

Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer and Robert I. Davis. 2019. A survey of timing verification techniques for multi-core real-time systems. DOI: 10.1145/3323212
BibTeX | RIS | DOI

Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2019. Interdependent multi-version scheduling in heterogeneous energy-aware embedded systems.
BibTeX | RIS | URL

Reinder J. Bril, Sebastian Altmeyer and Paolo Gai. 2019. Stack memory requirements of AUTOSAR/OSEK-compliant scheduling policies. DOI: 10.1109/rtcsa.2019.8864554
BibTeX | RIS | DOI

2018

Robert I. Davis, Sebastian Altmeyer, Leandro S. Indrusiak, Claire Maiza, Vincent Nelis and Jan Reineke. 2018. An extensible framework for multicore response time analysis. DOI: 10.1007/s11241-017-9285-4
PDF | BibTeX | RIS | DOI

Sebastian Altmeyer, Reinder J. Bril and Paolo Gai. 2018. EMPRESS: an efficient and effective method for PREdictable stack sharing. DOI: 10.1109/rtcsa.2018.00020
BibTeX | RIS | DOI

Robert I. Davis, Sebastian Altmeyer and Alan Burns. 2018. Mixed criticality systems with varying context switch costs. DOI: 10.1109/rtas.2018.00024
BibTeX | RIS | DOI

Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean and Robert I. Davis. 2018. On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. DOI: 10.1007/s11241-017-9295-2
PDF | BibTeX | RIS | DOI

Robert I. Davis, Sebastian Altmeyer and A. Burns. 2018. Priority assignment in fixed priority pre-emptive systems with varying context switch costs.
BibTeX | RIS | URL | URL

Robert I. Davis, Sebastian Altmeyer and Jan Reineke. 2018. Response-time analysis for fixed-priority systems with a write-back cache. DOI: 10.1007/s11241-018-9305-z
BibTeX | RIS | DOI

Yorick De Bock, Sebastian Altmeyer, Thomas Huybrechts, Jan Broeckhove and Peter Hellinckx. 2018. Task-set generator for schedulability analysis using the TACLebench benchmark suite. DOI: 10.1145/3199610.3199613
BibTeX | RIS | DOI

2017

Boudewijn Braams, Sebastian Altmeyer and Andy D. Pimentel. 2017. EDiFy: an execution time distribution finder. DOI: 10.1145/3061639.3062233
BibTeX | RIS | DOI

Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis and Moris Behnam. 2017. Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. DOI: 10.1007/s11241-016-9266-z
PDF | BibTeX | RIS | DOI

Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis and Eduardo Tovar. 2017. Integrated analysis of cache related preemption delays and cache persistence reload overheads. DOI: 10.1109/rtss.2017.00025
BibTeX | RIS | DOI

Jun Xiao, Sebastian Altmeyer and Andy Pimentel. 2017. Schedulability analysis of non-preemptive real-time scheduling for multicore processors with shared caches. DOI: 10.1109/rtss.2017.00026
BibTeX | RIS | DOI

Leo Hatvani, Reinder J. Bril and Sebastian Altmeyer. 2017. Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches. DOI: 10.23919/date.2017.7926990
BibTeX | RIS | DOI

2016

Sakthivel Manikandan Sundharam, Lionel Havet, Sebastian Altmeyer and Nicolas Navet. 2016. A model-based development environment for rapid-prototyping of latency-sensitive automotive control software. DOI: 10.1109/ised.2016.7977087
BibTeX | RIS | DOI

Robert I. Davis, Sebastian Altmeyer and Jan Reineke. 2016. Analysis of write-back caches under fixed-priority preemptive and non-preemptive scheduling. DOI: 10.1145/2997465.2997476
BibTeX | RIS | DOI

Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari and Robert I. Davis. 2016. Cache related pre-emption delays in hierarchical scheduling. DOI: 10.1007/s11241-015-9228-x
BibTeX | RIS | DOI

Nicolas Navet, Loïc Fejoz, Lionel Havet and Sebastian Altmeyer. 2016. Lean model-driven development through model-interpretation: the CPAL design flow.
BibTeX | RIS | URL

Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet. 2016. Model interpretation for an AUTOSAR compliant engine control function.
BibTeX | RIS | URL | URL

Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert I. Davis. 2016. On the effectiveness of cache partitioning in hard real-time systems. DOI: 10.1007/s11241-015-9246-8
PDF | BibTeX | RIS | DOI

Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis and Sebastian Altmeyer. 2016. Response time analysis of synchronous data flow programs on a many-core processor. DOI: 10.1145/2997465.2997472
BibTeX | RIS | DOI

Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann and Simon Wegener. 2016. TACLeBench: a benchmark collection to support worst-case execution time research. DOI: 10.4230/OASIcs.WCET.2016.2
PDF | BibTeX | RIS | DOI

Yorick De Bock, Sebastian Altmeyer, Jan Broeckhove and Peter Hellinckx. 2016. Task-set generator for schedulability analysis using the TACLeBench benchmark suite.
PDF | BibTeX | RIS | URL | URL

Sebastian Altmeyer, Sakthivel Manikandan Sundharam and Nicolas Navet. 2016. The case for FIFO real-time scheduling.

Sebastian Altmeyer and Nicolas Navet. 2016. Towards a declarative modeling and execution framework for real-time systems. DOI: 10.1145/2930957.2930962
BibTeX | RIS | DOI

2015

Sebastian Altmeyer, Robert I. Davis, Leandro Indrusiak, Claire Maiza, Vincent Nelis and Jan Reineke. 2015. A generic and compositional framework for multicore response time analysis. DOI: 10.1145/2834848.2834862
BibTeX | RIS | DOI

Roeland J. Douma, Sebastian Altmeyer and Andy D. Pimentel. 2015. Fast and precise cache performance estimation for out-of-order execution. DOI: 10.7873/DATE.2015.0066
BibTeX | RIS | DOI

Benjamin Lesage, David Griffin, Sebastian Altmeyer and Robert I. Davis. 2015. Static probabilistic timing analysis for multi-path programs. DOI: 10.1109/rtss.2015.41
BibTeX | RIS | DOI

Sebastian Altmeyer, Liliana Cucu-Grosjean and Robert I. Davis. 2015. Static probabilistic timing analysis for real-time systems using random replacement caches. DOI: 10.1007/s11241-014-9218-4
BibTeX | RIS | DOI

Sebastian Altmeyer, Liliana Cucu-Grosjean and Robert I. Davis. 2015. Static probabilistic timing analysis for real-time systems using random replacement caches. DOI: 10.1007/s11241-014-9218-4
BibTeX | RIS | DOI

Nicolas Navet and Sebastian Altmeyer. 2015. The CPAL programming language: design, simulate, execute embedded systems; lean model-driven development through model-interpretation.
BibTeX | RIS | URL

Hamza Rihani, Matthieu Moy, Claire Maiza and Sebastian Altmeyer. 2015. WCET analysis in shared resources real-time systems with TDMA buses. DOI: 10.1145/2834848.2834871
BibTeX | RIS | DOI

Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke and Christine Rochange. 2015. WCET and mixed-criticality: what does confidence in WCET estimations depend upon?. DOI: 10.4230/OASIcs.WCET.2015.65
PDF | BibTeX | RIS | DOI

2014

Will Lunniss, Sebastian Altmeyer and Robert I. Davis. 2014. A comparison between fixed priority and EDF scheduling accounting for cache related pre-emption delays. DOI: 10.4230/LITES-v001-i001-a001
PDF | BibTeX | RIS | DOI

R. Poss, Sebastian Altmeyer, M. Thompson and R. Jelier. 2014. Aca 2.0: questions and answers.
PDF | BibTeX | RIS | URL

Raphael Poss, Sebastian Altmeyer, Mark Thompson and Rob Jelier. 2014. Academia 2.0: removing the publisher middle-man while retaining impact. DOI: 10.1145/2618137.2618139
BibTeX | RIS | DOI

Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari and Robert I. Davis. 2014. Accounting for cache related pre-emption delays in hierarchical scheduling. DOI: 10.1145/2659787.2659797
BibTeX | RIS | DOI

Will Lunniss, Sebastian Altmeyer and Robert I. Davis. 2014. Accounting for cache related pre-emption delays in hierarchical scheduling with local EDF scheduler.
BibTeX | RIS | URL

Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert I. Davis. 2014. Evaluation of cache partitioning for hard real-time systems. DOI: 10.1109/ecrts.2014.11
BibTeX | RIS | DOI

Reinder J. Bril, Sebastian Altmeyer, Martijn M.H.P. van den Heuvel, Robert I. Davis and Moris Behnam. 2014. Integrating cache-related pre-emption delays into analysis of fixed priority scheduling with pre-emption thresholds. DOI: 10.1109/rtss.2014.25
BibTeX | RIS | DOI

Benjamin Lesage, David Griffin, Robert I. Davis and Sebastian Altmeyer. 2014. On the application of static probabilistic timing analysis to memory hierarchies.
BibTeX | RIS | URL

Sebastian Altmeyer and Robert I. Davis. 2014. On the correctness, optimality and precision of Static Probabilistic Timing Analysis. DOI: 10.7873/date.2014.039
BibTeX | RIS | DOI

Sebastian Altmeyer, L. Cucu-Grosjean, Robert I. Davis and B. Lesage. 2014. Progress on static probabilistic timing analysis for systems with random cache replacement policies.
BibTeX | RIS | URL

Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn and Claire Maiza. 2014. Selfish-LRU: preemption-aware caching for predictability and performance. DOI: 10.1109/rtas.2014.6925997
BibTeX | RIS | DOI

2013

Sebastian Altmeyer. 2013. Analysis of preemptively scheduled hard real-time systems.
BibTeX | RIS | URL

Dissertation

Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean. 2013. Analysis of probabilistic cache related pre-emption delays. DOI: 10.1109/ecrts.2013.27
BibTeX | RIS | DOI

W. Lunniss, Sebastian Altmeyer, C. Maiza and R. I. Davis. 2013. Integrating cache related pre-emption delay analysis into EDF scheduling. DOI: 10.1109/rtas.2013.6531081
BibTeX | RIS | DOI

2012

Robert I. Davis, L. Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean. 2012. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies.

Sebastian Altmeyer, Robert I. Davis and Claire Maiza. 2012. Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. DOI: 10.1007/s11241-012-9152-2
BibTeX | RIS | DOI

Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer and Claire Maiza. 2012. Investigation of scratchpad memory for preemptive multitasking. DOI: 10.1109/rtss.2012.54
BibTeX | RIS | DOI

Will Lunniss, Sebastian Altmeyer and Robert I. Davis. 2012. Optimising task layout to increase schedulability via reduced cache related pre-emption delays. DOI: 10.1145/2392987.2393008
BibTeX | RIS | DOI

2011

Sebastian Altmeyer, Robert I. Davis and Claire Maiza. 2011. Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. DOI: 10.1109/rtss.2011.31
BibTeX | RIS | DOI

Sebastian Altmeyer and Claire Maiza Burguière. 2011. Cache-related preemption delay via useful cache blocks: survey and redefinition. DOI: 10.1016/j.sysarc.2010.08.006
BibTeX | RIS | DOI

P. Montag and Sebastian Altmeyer. 2011. Precise WCET calculation in highly variant real-time systems. DOI: 10.1109/date.2011.5763149
BibTeX | RIS | DOI

Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2011. Precise and efficient parametric path analysis. DOI: 10.1145/1967677.1967697
BibTeX | RIS | DOI

Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2011. Symbolic worst case execution times. DOI: 10.1007/978-3-642-23283-1_5
BibTeX | RIS | DOI

2010

Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2010. A new combinatorial approach to parametric path analysis.

Sebastian Altmeyer and Claire Burguiere. 2010. Influence of the task model on the precision of scheduling analysis for preemptive systems.
BibTeX | RIS | URL

Sebastian Altmeyer, Claire Maiza and Jan Reineke. 2010. Resilience analysis: tightening the CRPD bound for set-associative caches. DOI: 10.1145/1755951.1755911
BibTeX | RIS | DOI

Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter and Stephan Wilhelm. 2010. Static timing analysis for hard real-time systems. DOI: 10.1007/978-3-642-11319-2_3
BibTeX | RIS | DOI

2009

Sebastian Altmeyer and Claire Burguière. 2009. A new notion of useful cache block to improve the bounds of cache-related preemption delay. DOI: 10.1109/ecrts.2009.21
BibTeX | RIS | DOI

Claire Burguière, Jan Reineke and Sebastian Altmeyer. 2009. Cache-related preemption delay computation for set-associative caches - pitfalls and solutions. DOI: 10.4230/OASIcs.WCET.2009.2285
PDF | BibTeX | RIS | DOI

also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-252-6

Sebastian Altmeyer, Claire Burguière and Reinhard Wilhelm. 2009. Computing the maximum blocking time for scheduling with deferred preemption. DOI: 10.1109/stfssd.2009.12
BibTeX | RIS | DOI

2008

Sebastian Altmeyer, Christian Hümbert, Björn Lisper and Reinhard Wilhelm. 2008. Parametric timing analysis for complex architectures. DOI: 10.1109/rtcsa.2008.7
BibTeX | RIS | DOI

Sebastian Altmeyer and Gernot Gebhard. 2008. WCET analysis for preemptive scheduling. DOI: 10.4230/OASIcs.WCET.2008.1664
PDF | BibTeX | RIS | DOI

also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-237-3

2007

Gernot Gebhard and Sebastian Altmeyer. 2007. Optimal task placement to improve cache performance. DOI: 10.1145/1289927.1289968
BibTeX | RIS | DOI

2006

Sebastian Altmeyer. 2006. Parametric wcet analysis, parametric framework and parametric path analysis.
BibTeX | RIS

Master's thesis

How to reach us:

Address:

Universitätsstraße 6a
D-86159 Augsburg


Phone: +49 821 598 -2351 (Secretary)

Fax: +49 821 598 -2359

E-Mail: embsys-s@informatik.uni-augsburg.de

 

Building: N 3019

 

 

© Universität Augsburg

Suche