Honors and Awards
- Member of Academy of Europe (Academia Europaea), 2015 -
- IEEE Fellow for contributions to safety-critical real-time systems, 2015 -
- ETAPS/TACAS Keynote Speaker (Scalable - yet precise - timing analysis), London, 2015
- Rector's strategic grant, Uppsala University, 2005
- CAV Award for the development of UPPAAL, a tool for verificaion of timed systems, 2013
- Best Paper Award of ECRTS 2015 (coNP completeness of uniprocessor scheduling)
- Best Paper Award of DATE 2013 (FIFO cache analysis for WECT estimation)
- Outstanding Paper Award of ECRTS 2012 (EDF-scheduling for mixed-criticality systems)
- Best Paper Award of RTSS 2009 (Multiprocessor scheduling and response time analysis)
- Best Paper Award Nomination: ASP-DAC 2009, RTSS 2010, RTAS 2010, RTAS 2011
- Tool paper award of ETAPS 2002, European Joint Conf. on Theory and Practice of Software