Martin R. Neuhäußer

Martin R. Neuhäußer

I am a postdoctoral researcher at Prof. Hermanns' Dependable Systems and Software group at Saarland University.


My research interests include:

  • The automatic analysis of stochastic and nondeterministic systems, e.g.

    • Interactive Markov chains
    • Continuous-time Markov decision processes
    • Markov Automata
    • Extensions of stochastic Petri nets

  • Model checking techniques and tools
  • Linear-time and branching time logics as specification formalisms (e.g. LTL, CTL, PCTL, CSL)
  • Stochastic and non-stochastic process algebras
  • Extending model checking techniques to stochastic systems
  • Formal semantics of programming languages
  • Term rewriting systems and algebraic specification (Rewriting Logic)


WS 2011/12: Seminar Concurrency Theory


Here is the list of my publications, as seen by DBLP.
If you are interested in my thesis "Model checking nondeterministic and randomly timed systems", please have a look here.


Address: Campus Saarbrücken, 66123 Saarbrücken 
Phone: +49 681 302 5608 
Location: Bldg. E1 3, 534 
e-mail: put neuhaeusser in front of