Travelled to:1 × Cyprus
1 × United Kingdom
Collaborated with:L.Zhang T.Noll M.Stoelinga J.Katoen
Talks about:markov (2) model (2) check (2) nondetermin (1) interact (1) abstract (1) program (1) process (1) continu (1) erlang (1)
Person: Martin R. Neuhäußer
DBLP: Neuh=auml=u=szlig=er:Martin_R=
Contributed to:
2010
2009
2007Wrote 3 papers:
- TACAS-2010-ZhangN #interactive #markov #model checking
- Model Checking Interactive Markov Chains (LZ, MRN), pp. 53–68.
- FoSSaCS-2009-NeuhausserSK #markov #nondeterminism #process
- Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
- WRLA-2006-NeuhausserN07 #abstraction #erlang #maude #model checking #source code
- Abstraction and Model Checking of Core Erlang Programs in Maude (MRN, TN), pp. 147–163.