Martin Becker

photo of me

Technical University of Munich
Real-Time Computer Systems
Arcisstraße 21
80290 Munich, Germany

Room 3942 (link to roomfinder)

Phone: +49-89-289-23556
Fax: +49-89-289-23555


Networks: Linked in | Xing


Research Interests

Selection of Supervised Work

The following theses/internships are already assigned or completed. For more open topics visit this page.

Source Codes and Programs

If you are looking for some source code related to a paper or similar, then do not click here.


Recent Publications


  • Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014, M. Becker, E. Regnath, Samarjit Chakraborty, In 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Trento, IT. [Preprint PDF]


  • TIC: A Scalable Model Checking Based Approach to WCET Estimation, R. Metta, M. Becker, P. Bokil, S. Chakraborty and R. Venkatesh, In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2016), Santa Barbara, CA, USA.


  • Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow, M. Becker, Sajid M, K. Albers, P.P. Chakrabarti, S. Chakraborty, P. Dasgupta, S. Dey and R. Metta, In 22nd Asia-Pacific Software Engineering Conference (APSEC), New Delhi, IN.
  • Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles, M. Becker, M. Neumair, A. Söhn, S. Chakraborty, In 34th International Conference on Computer Safety, Reliability and Security (SAFECOMP) Companion, Delft, NL. [Preprint PDF]
  • Composing Real-Time Applications from Communicating Black-Box Components, M. Becker, A. Masrur, S. Chakraborty, In 20th Asia and South Pacific Design Automation Conference (ASP-DAC), Tokyo, JP.