Maximilian Junker
M.Sc. with honours


Maximilian Junker
Institut für Informatik
Technische Universität München (TUM)
Boltzmannstr. 3
85748 Garching

Phone +49 (89) 289-17886
Fax +49 (89) 289-17307
Room 00.11.054

Fields of interest

  • Modeling of Reactive Systems (especially availability aspects)
  • Probabilistic Modeling
  • Quality in (model-based) software development
  • Software Testing


  • New Paper: Maximilian Junker: Exploiting Behavior Models for Availability Analysis of Interactive Systems, Proceedings of the International Symposium on Software Reliability Engineering (ISSRE) Fast Abstracts, 2014 [PDF]1

Current Projects

  • SPES_XT: Software Platform for Embedded Systems
  • INSERT IV: Integrated Specification of Requirements and Tests
  • Siemens Rail Automation: Modeling for Train Control Systems

HiWi Job: Extending the AF3 Modeling Tool
Your have good Java Programming skills (preferably experience with Eclipse development) and want to get hands-on experience extending a large Eclipse-based Software Engineering tool?
Just send me an E-Mail or come to my office!

Topics for Master Thesis and Bachelor Thesis

Apart from that I always have other interesting topics for Bachelor and Master theses as well as guided research. Just write me an email.


Teaching (German)

1 ŠIEEE. This is the author's version of the work. It is posted here by permission of IEEE for your personal use. Not for redistribution. The definitive version was published in the conference/workshop proceedings.
Imprint & Privacy Policy