Bachelortheses

Year	Author	Title
2009	Nadine Elbeshausen	Highlevel-Testing für ProB	Details
2009	Lukas Ladenberger	A Visual Editor for B-Animations	Details
2008	John Witulski	Implementierung eines 64-Bit JIT Backends	Details
2008	Ian-Leslie Endrijautzki	A Prolog-Plugin for Eclipse	Details
2008	David Schneider	Execution and Analysis of Prolog Programs in Java	Details
2008	Fabian Fritz	An Object Oriented Parser For B Specifications	Details
2007	Marcus Ihde-Meister	3-D Visualisierung von Zustandsräumen formaler Modelle	Details
2007	Sonja Holl	Refactoring of B Models	Details
2007	Jens Krüger	Ein Web-Interface für den ProB Animator	Details
2007	Carl Friedrich Bolz	A Prolog Interpreter in Python	Details
2006	Jens Bendisposto	Integration of the ProB model checker into Eclipse	Details

Mastertheses

Year	Author	Title
2009	John Witulski	Eine Java-VM in Python	Details
2009	Fabian Fritz	A Semantics-Aware Text Editor for Event-B	Details
2009	Dennis Winter	Validating Promela Models with the ProB Model Checker	Details
2009	Matthäus Zloch	Validating SMV specifications with ProB	Details
2008	Carl Friedrich Bolz	Automatic JIT Compiler Generation with Runtime Partial Evaluation	Details
2007	Jens Bendisposto	A Framework for Semantic-Aware Editors in Eclipse	Details