Sebastian Altmeyer

Assistant-Professor UvA
Embedded/Real-Time Systems

Contact Info

About me

I am assistant professor at the University of Amsterdam. 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.

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

  • 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) uva (.) nl

University of Amsterdam

Science Park 904, Room C3.103

1098 XH, Amsterdam, NL