Sebastian Altmeyer

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 am Program chair of the 30th EUROMICRO Conference on Real-Time Systems (ECRTS'18) which will be held in Barcelona, Spain. Submission deadline Febr. 1st, 2018

  • Deadline for the Design, Automation and Test in Europe 2018 at Sept. 10th, 2017

  • Paper published at Real-Time Systems Journal: An extensible framework for multicore response time analysis by Robert I. Davis, Sebastian Altmeyer, Leandro S. Indrusiak, Claire Maiza, Vincent Nelis, and Jan Reineke. (Download)
  • Two papers accepted at RTSS 2017: Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads by Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert Davis and Eduardo Tovar and Schedulability Analysis of Non-preemptive Real-time Scheduling for Multicore Processors with Shared Caches by Jun Xiao, Sebastian Altmeyer and Andy Pimentel
  • Deadline for the 25th International Conference on Real-Time Networks and Systems (RTNS 2017) at July 17th, 2017

  • For information about the lecture Operating Systems, please refer to Blackboard and/or contact Taco Walstra.
  • Paper accepted at DAC 2017: EDiFy: An Execution time Distribution Finder by Boudewijn Braams, Sebastian Altmeyer, and Andy Pimentel.
  • Paper published in Real-Time System Journal: Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation by Reinder J. Bril, Sebastian Altmeyer, Martijn van den Heuvel, Robert I. Davis, and Moris Behnam.

Research Projects

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

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.101

1098 XH, Amsterdam, NL