Prof. Dr. Sebastian Altmeyer

Professor
Chair for Embedded Systems
Phone: +49 821 598 - 2352
Fax: +49 821 598 - 2359
Email:
Room: 3020 (N)
Open hours: by prior appointment only
Address: Universitätsstraße 6a, 86159 Augsburg

curriculum vitae

Aug. 2019  Professor at University of Augsburg
Sept. 2017 - July 2019  Assistant Professor at the University of Amsterdam
March 2016 -  Aug. 2017  PostDoc at the University of Amsterdam
March 2015 - March 2016    PostDoc at the University of Luxemburg
Jan. 2013 - March 2015  PostDoc at the University of Amsterdam
October 2012

 PhD at Saarlandes University

PGP-Schlüssel

Schlüsselkennung B7D79111EF2F94D2
Fingerabruck

4780 4F49 63D6 152C 5C41 1321 B7D7 9111 EF2F 94D2

Öffentlicher Schlüssel altmeyer.asc

Publications

2024 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006

2024

Arvind Easwaran and Sebastian Altmeyer. in press. Performance guarantees in dynamic networks and graph algorithms. DOI: 10.1007/s11241-024-09424-6
BibTeX | RIS | DOI

Alexander Stegmeier, Peter Knauer, Philipp Schubaur, Christian Piatka, Dominik Merli and Sebastian Altmeyer. 2024. Safe and secure? On the timing analysability of cryptographic implementations. DOI: 10.1109/rtas61025.2024.00014
BibTeX | RIS | DOI

2022

Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer and Robert I. Davis. 2022. A comprehensive survey of industry practice in real-time systems. DOI: 10.1007/s11241-021-09376-1
PDF | BibTeX | RIS | DOI

Sebastian Altmeyer and Jean-Luc Scharbarg. 2022. Editorial on the special issue of RTNS 2020. DOI: 10.1007/s11241-022-09378-7
PDF | BibTeX | RIS | DOI

Rico Amslinger, Christian Piatka, Florian Haas, Sebastian Weis, Theo Ungerer and Sebastian Altmeyer. 2022. Multiversioning hardware transactional memory for fail-operational multithreaded applications.
PDF | BibTeX | RIS

Christoph Kühbacher, Theo Ungerer and Sebastian Altmeyer. 2022. Redundant dataflow applications on clustered manycore architectures. DOI: 10.1145/3477314.3507272
PDF | BibTeX | RIS | DOI

2021

Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2021. Energy-aware scheduling of multi-version tasks on heterogeneous real-time systems. DOI: 10.1145/3412841.3441930
PDF | BibTeX | RIS | DOI

Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2021. YASMIN: a real-time middleware for COTS heterogeneous platforms. DOI: 10.1145/3464298.3493402
PDF | BibTeX | RIS | DOI

2020

Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer and Robert Ian Davis. 2020. An empirical survey-based study into industry practice in real-time. DOI: 10.1109/RTSS49844.2020.00012
PDF | BibTeX | RIS | DOI

Rico Amslinger, Christian Piatka, Florian Haas, Sebastian Weis, Theo Ungerer and Sebastian Altmeyer. 2020. Hardware multiversioning for fail-operational multithreaded applications. DOI: 10.1109/sbac-pad49847.2020.00014
PDF | BibTeX | RIS | DOI

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
PDF | 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
PDF | 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
PDF | 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
PDF | BibTeX | RIS | DOI

Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2019. Interdependent multi-version scheduling in heterogeneous energy-aware embedded systems.
PDF | 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
PDF | 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
PDF | 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
PDF | 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.
PDF | 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
PDF | 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
PDF | BibTeX | RIS | DOI

2017

Boudewijn Braams, Sebastian Altmeyer and Andy D. Pimentel. 2017. EDiFy: an execution time distribution finder. DOI: 10.1145/3061639.3062233
PDF | 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
PDF | 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
PDF | 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
PDF | 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
PDF | 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
PDF | 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
PDF | BibTeX | RIS | DOI

Loic Fejoz, Nicolas Navet, Sakthivel Manikandan Sundharam and Sebastian Altmeyer. 2016. Demo abstract: applications of the CPAL language to model, simulate and program cyber-physical systems. DOI: 10.1109/rtas.2016.7461329
PDF | 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.
PDF | BibTeX | RIS | URL

Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet. 2016. Model interpretation for an AUTOSAR compliant engine control function.
PDF | 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

Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet. 2016. Poster Abstract: an optimizing framework for real-time scheduling. DOI: 10.1109/rtas.2016.7461346
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
PDF | 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.
PDF | BibTeX | RIS | URL

ORBiLU User Licence, equivalent to CC-BY-NC-ND 3.0 - for further details please check https://orbilu.uni.lu/handle/10993/24935

Sebastian Altmeyer and Nicolas Navet. 2016. Towards a declarative modeling and execution framework for real-time systems. DOI: 10.1145/2930957.2930962
PDF | 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
PDF | 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
PDF | 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
PDF | 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
PDF | 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.
PDF | 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
PDF | 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
PDF | 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
PDF | 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.
PDF | 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
PDF | 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
PDF | 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.
PDF | 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
PDF | 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.
PDF | 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
PDF | BibTeX | RIS | DOI

2013

Sebastian Altmeyer. 2013. Analysis of preemptively scheduled hard real-time systems.
PDF | 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
PDF | 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
PDF | 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.
PDF | BibTeX | RIS | URL | URL

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
PDF | 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
PDF | 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
PDF | 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
PDF | 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
PDF | BibTeX | RIS | DOI

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

Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2011. Precise and efficient parametric path analysis. DOI: 10.1145/1967677.1967697
PDF | 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
PDF | BibTeX | RIS | DOI

2010

Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2010. A new combinatorial approach to parametric path analysis.
PDF | BibTeX | RIS | URL

Sebastian Altmeyer and Claire Burguiere. 2010. Influence of the task model on the precision of scheduling analysis for preemptive systems.
PDF | 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
PDF | 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
PDF | 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
PDF | BibTeX | RIS | DOI

Sebastian Altmeyer, Claire Burguière and Jan Reineke. 2009. Cache related preemption delay for set-associative caches: resilience analysis.
PDF | BibTeX | RIS | URL

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
PDF | 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
PDF | 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
PDF | 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

 

 

© University of Augsburg

Search