First Reviewer/Supervisor

  • Christina Jansen: Entwicklung eines Inferenzalgorithmus für Hyperkanten-Ersetzungsgrammatiken, Diplomarbeit, RWTH Aachen University (ongoing)
  • Jan Scherer: An Eclipse-Based Debugger for Embedded Systems Software, Diplomarbeit, RWTH Aachen University (ongoing; co-supervisor: Dr. Weber, Formal Methods and Tools Group, University of Twente)
  • Max Odenbrett: Explicit-State Model Checking of Architectural Design Languages Using SPIN, Diplomarbeit, RWTH Aachen University (ongoing)
  • Ralf Grossmann: Heapabstraktion durch partielle Graphreduktion mittels Graphgrammatiken, Diplomarbeit, RWTH Aachen University, 2009
  • Mian Mohammad Junaid Tariq: An Agent-Based Simulation Environment for Large Scale Infrastructures of Heterogeneous Service-Based Devices, Master Thesis, RWTH Aachen University, 2008
  • Lars Helge Haß: Gleichungsbasierte Abstraktionen für Rewrite Theories, Diplomarbeit, RWTH Aachen University, 2007
  • Martin Neuhäußer: Abstraktion und Model Checking von Core Erlang-Programmen in  Maude, Diplomarbeit, RWTH Aachen University, 2005
  • Paul Tawiah: Modelling Core Erlang in the Pi-Calculus: Translations and Correctness Proofs, Master Thesis, RWTH Aachen University, 2005
  • Jose Alberto Mejia Villar: Decision Algorithms for the Bisimulation Problem of Finite-State Processes, Master Thesis, RWTH Aachen University, 2005
  • Stefan  Rieger: Analyse und Optimierung linearen Codes, Diplomarbeit, RWTH Aachen University, 2005
  • Chanchal Kumar Roy: Modelling Programming Languages for Concurrent and Distributed Systems  in Specification Languages, Master Thesis, RWTH Aachen University, 2004
  • Stephan Küpper: Gleichungsbasierte Abstraktionen für Erlang-Programme, Diplomarbeit, RWTH Aachen University, 2003
  • Vazha Amiranashvili: A Rewriting Logic Formalization of Core Erlang Semantics, Master Thesis, RWTH Aachen University, 2002
  • Achim Müller: Syntaktische Transformationen natürlichsprachlicher Sätze - Baumtransformationen, Diplomarbeit, RWTH Aachen University, 1996
  • Frank Huch: Syntaktische Analyse natürlichsprachlicher Sätze - Fehleranalyse und Recovery, Diplomarbeit, RWTH Aachen University, 1996
  • Stefan Roßmanith: Kombination von LR-Parsing und paralleler Auswertung  attributierter Grammatiken, Diplomarbeit, RWTH Aachen University, 1996
  • Olaf Chitil:  Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung, Diplomarbeit, RWTH Aachen University, 1995
  • Michael Zenzes: Attributierte Grammatiken höherer Ordnung und Logikprogramme, Diplomarbeit, RWTH Aachen University, 1995
  • Marc Spielmann: Vergleich von primitiv rekursiven Funktionen höherer Ordnung mit mehrfach rekursiven Funktionen, Diplomarbeit, RWTH Aachen University, 1995
  • Ingo Krahn: Fehleranalyse und Recovery bei syntaktischen Transformationen natürlichsprachlicher Texte, Diplomarbeit, RWTH Aachen University, 1995
  • Jürgen Nelz: Die Berechnungsstärke attributierter Grammatiken höherer Ordnung, Diplomarbeit, RWTH Aachen University, 1995
  • Michael Mosler: Implementierung eines Parallelisierungsalgorithmus für imperative Programme, Diplomarbeit, RWTH Aachen University, 1994
  • Can Adam Albayrak: Vergleichende Gegenüberstellung der Parameterübergabemechanismen Call-by-name und Call-by-value im Rahmen funktionaler Programme, Diplomarbeit, RWTH Aachen University, 1993
  • Klaudia Bock: Erarbeitung eines objektorientierten Konzeptes zur Editierung statischer Eigenschaften und zur Spezifikation des dynamischen Verhaltens von Applikationsobjekten, Diplomarbeit, RWTH Aachen University, 1992


Second Reviewer

  • Topias Vaegs: Design and Implementation of a Statistical Vector-based Routing Protocol, Diplomarbeit, RWTH Aachen University (ongoing; main supervisor: Prof. Wehrle, LuFG Informatik 4)
  • Michael Lambertz: Development of Data Abstractions by Combining Bit and Interval Domains in Explicit Model Checking of Embedded Systems, Diplomarbeit, RWTH Aachen University (ongoing; main supervisor: Dr. Schlich, Lehrstuhl für Informatik 11)
  • Jörg Toborg: Static Analysis of Assembly Code for the Renesas R8C/23 Microcontroller, Diplomarbeit, RWTH Aachen University (ongoing; main supervisor: Dr. Schlich, Lehrstuhl für Informatik 11)
  • Lucas Brutschy: Static Analysis of Microcontroller Programs by SAT and Constraint Solving, Bachelor Thesis, RWTH Aachen University, 2009 (main supervisor: J. Brauer, Lehrstuhl für Informatik 11)
  • Mudassir Rasool: Model Checking Programs for the Renesas R8C/23 Microcontroller using mc[square], Master Thesis, RWTH Aachen University, 2009 (main supervisor: Dr. Schlich, Lehrstuhl für Informatik 11)
  • Jiemin Zhang: Analyse und Visualisierung von flex und bison Automaten, Diplomarbeit, RWTH Aachen University, 2008 (main supervisor: Prof. Naumann, LuFG Informatik 12)
  • Stefan Mau: Paralleler und verteilter Aufbau des Zustandsraums im Model Checker [mc]square, Diplomarbeit, RWTH Aachen University, 2008 (main supervisor: Dr. Schlich, Lehrstuhl für Informatik 11)
  • Volker Kamin: Erweiterung der symbolischen Zustandsdarstellung in [mc]square, Diplomarbeit, RWTH Aachen University, 2008  (main supervisor: Dr. Schlich, Lehrstuhl für Informatik 11)
  • Patrick Wiehe: Automated Termination Analysis by Semantic Labelling on Infinite Domains, Diplomarbeit, RWTH Aachen University, 2008 (main supervisor: Prof. Giesl, LuFG Informatik 2)
  • Wei Zhong: Abhängigkeitsanalyse in parallelisierenden Compilern, Diplomarbeit, RWTH Aachen University, 2008 (main supervisor: Prof. Naumann, LuFG Informatik 12)
  • Anupam Kaul: On-Line Matching of Semantic Web Services in Ambient Intelligence Environments, Master Thesis, RWTH Aachen University, 2006 (first referee: Prof. Spaniol, Lehrstuhl für Informatik 4)
  • Clara Benac Earle: Model Checking the Interaction of Erlang Components, PhD Thesis, University of Kent, GB, 2005 (first referee: Prof. Bowman, University of Kent)
  • Stefan Schürmans: Ein Compiler und eine Virtuelle Maschine zur Zustandsraumgenerierung, Diplomarbeit, RWTH Aachen University, 2005 (main supervisor: Prof. Indermark, Lehrstuhl für Informatik 2 )
  • Sven Dorf: Transaktionsbasierte Anomalieerkennung für sicherheitsrelevante System- und Anwendungsprozesse, Diplomarbeit, RWTH Aachen University, 2000  (main supervisor: R. Büschkes, Lehrstuhl für Informatik IV)
  • Mark Borning: Transaktionsbasierte Anomalieerkennung in Kommunikationsnetzen, Diplomarbeit, RWTH Aachen University, 1999  (main supervisor: R. Büschkes, Lehrstuhl für Informatik IV)