Sebastian Altmeyer

Professor for embedded Systems
University of Augsburg

Contact Info

About me

I am Professor for Embedded Systems at the University of Augsburg, Germany. I finished my PhD on the "Analysis of Preemptively Scheduled Hard Real-time Systems" at the Saarland University under the supervision of Prof. Reinhard Wilhem in October 2012 and was part of the Lassy Group at the University of Luxembourg from 2015 to 2016 and the SNE group at the University of Amsterdam from 2013-2015 and again from 2016-2019.

My research is driven by the genuine interest in computing systems that surround us and on which we entrust our lives on a daily basis. I have thus worked on various aspects of the design, optimization and verification of these systems.

News & Events

  • My new e-mail-address is: altmeyer (at) informatik.uni-augsburg (.) de
  • Since I have just moved to Augsburg, I will restructure this website in the coming weeks.
  • I'll be chairing the International Workshop on Worst-Case Execution Time (WCET) 2019 in Stuttgart, Germany.
  • I'm happy to be one of the first members of the Amsterdam Young Academy.
  • Our paper EMPRESS: an Efficient and effective Method for PREdictable Stack Sharing (Sebastian Altmeyer, Reinder Bril and Paolo Gai) has received the best-paper award at RTCSA 2018!
  • Paper accepted at RTCSA 2018: EMPRESS: an Efficient and effective Method for PREdictable Stack Sharing by Sebastian Altmeyer, Reinder Bril and Paolo Gai.
  • The Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) are published under open access and available from here.

Research Projects

TeamPLay: Time, Energy and Security Analysis for Multi/Many-core heterogenerous PLAtforms Multi-Cores

The time is now: Timing Verification for Safety-Critical Multi-Cores

Website, Proposal & Slides
Cyber-Physical Action Language

Analysis of pre-emptively scheduled Systems

Abstract & Slides

contact information

altmeyer (at) informatik.uni-augsburg (.) de

University of Augsburg

Universitätsstraße 6a

D-86159 Augsburg