Personal Info about Martin R. Neuhäußer 
|
|
Research
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen. Further, I am member of the Formal Methods and Tools Group at the University of Twente, The Netherlands.
My research interests include:
- Model checking techniques and tools
- Formal semantics of programming languages
- Extending model checking techniques to stochastic systems
- Stochastic and non-stochastic process algebras
- Linear-time and branching time logics as specification formalisms
Teaching activities
My teaching activities include:
- Exercise classes Introduction to Model Checking
- Lab course on model checking using the Spin tool
- Modeling Concurrent and Probabilistic Systems
- Proseminar Verteilte Algorithmen
- Seminar Model-Based Testing
- Proseminar Spezifikationsformalismen
- Seminar Software Abstractions
- Seminar Timed Automata
- Seminar Applying Formal Verification Methods to Embedded Systems
Publications
2009
| Martin R. Neuhäußer, Marielle Stoelinga, and Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In Foundations of Software Science and Computation Structures (FoSSaCS). pages 364–379. Volume 5504 of LNCS. Springer-Verlag, 2009. | |
|
| Martin R. Neuhäußer, and Lijun Zhang. Time-Bounded Reachability in Continuous-Time Markov Decision Processes. Technical Report 2009-12, RWTH Aachen, Department of Computer Science, 2009. | |
|
| Joost-Pieter Katoen, Daniel Klink, and Martin R. Neuhäußer. Compositional Abstraction of Stochastic Systems . In Formal Modeling and Analysis of Timed Systems (FORMATS). pages 195–211. Volume 5813 of LNCS. Springer, 2009. | |
|
| Joost-Pieter Katoen, Daniel Klink, and Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems. Technical Report AIB-2009-15, RWTH Aachen, 2009. | |
|
| Martin R. Neuhäußer. Delayed Nondeterminism in Continuous-Time Markov Decision Processes. Talk at FoSSaCS 2009, York, England., 2009. |
2007
|
| Martin R. Neuhäußer, and Thomas Noll. Abstraction and Model Checking of Core Erlang Programs in Maude. In Proceedings of the 6th International Workshop on Rewriting Logic and its Applications. pages 147–163. Volume 176 of ENTCS. Elsevier, 2007. | |
|
| Martin R. Neuhäußer, and Joost-Pieter Katoen. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. In 18th International Conference on Concurrency Theory (CONCUR’07). pages 412–427. Volume 4703 of LNCS. Springer-Verlag, 2007. | |
|
| Martin R. Neuhäußer, and Joost-Pieter Katoen. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. Technical Report AIB 2007-10, RWTH Aachen University, Dept. of Computer Science, 2007. |
2005
|
| Martin R. Neuhäußer. Abstraktion und Model Checking von Core Erlang-Programmen in Maude. Diplomarbeit, RWTH Aachen University, 2005. |
Talks
The slides of the talks that I gave at conferences and workshops:
- [Introduction to Measure Theory]
- Abstraction and Model Checking of Core Erlangs Programs in Maude (WRLA'07, Vienna, Austria)
- Bisimulation and Logical Preservation for CTMDPs (CONCUR '07, Lisbon, Portugal)
- Delayed Nondeterminism in CTMDPs (FOSSACS '09, York, UK)
