Theses advised by Michael Leuschel
- A Moving Garbage Collector for a Smalltalk VM
- Coroutines and Modules for Pyrolog
- Development and Evaluation of a Framework for Parallelization of ProB
- A Framework for Semantic-Aware Editors in Eclipse
- Automatic JIT Compiler Generation with Runtime Partial Evaluation
- A Semantics-Aware Text Editor for Event-B
- Integration of the ProB model checker into Eclipse
- 3-D Visualisierung von Zustandsräumen formaler Modelle
- An Object Oriented Parser For B Specifications
- A Prolog-Plugin for Eclipse
- A Prolog Interpreter in Python
- Ein Web-Interface für den ProB Animator
- Refactoring of B Models
- Execution and Analysis of Prolog Programs in Java
- A Visual Editor for B-Animations
- Highlevel-Testing für ProB