MARTIN R. NEUHÄUSSER

	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.