Martin Neuhäußer E-mail: Phone:    +49-241/80-21202 Fax: +49-241/80-22217   Postal Address: Martin Neuhäußer Lehrstuhl für Informatik II RWTH Aachen D-52056 Aachen Germany   Visiting Address:    Room 4207, Ahornstr. 55, D-52074 Aachen

Research

• Quantitative Properties of Embedded Software
• Software Model Checking
• Term Rewriting
• Semantics of Programming Languages

Publications

• Martin 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,
Electronic Notes in Theoretical Computer Science, Vienna, April 2006.
[ pdf | ps ] [ slides ]
Tool download: cerlmaude.tar.gz (65KB)

Diploma Thesis

• Martin Neuhäußer
  Abstraktion und Model Checking von Core Erlang-Programmen in Maude
Diploma thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen, November 2005.
[ pdf | ps ]

Teaching Activities