MARTIN R. NEUHÄUSSER

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)


Teaching

WS 2011/12: Seminar Concurrency Theory

Publications

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.

Contact

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