Finished Theses

Bachelortheses

Year	Author	Title
2011	Christian Boland	A Moving Garbage Collector for a Smalltalk VM
2011	Sven Hager	Coroutines and Modules for Pyrolog
2011	Matthias Radig	Development and Evaluation of a Framework for Parallelization of ProB
2011	Axel Köhler	Validierung von ORC Spezifikationen mit ProB
2010	Sebastian Krings	Code Coverage Analysis for Prolog
2010	Rene Bartelmus	Abstract Interpretation of B Specifications in Prolog
2009	Lukas Diekmann	Eine neue graphische Benutzeroberfläche für ProB in Eclipse
2009	Nadine Elbeshausen	Highlevel-Testing für ProB
2009	Lukas Ladenberger	A Visual Editor for B-Animations
2008	John Witulski	Implementierung eines 64-Bit JIT Backends
2008	Ian-Leslie Endrijautzki	A Prolog-Plugin for Eclipse
2008	David Schneider	Execution and Analysis of Prolog Programs in Java
2008	Fabian Fritz	An Object Oriented Parser For B Specifications
2007	Marcus Ihde-Meister	3-D Visualisierung von Zustandsräumen formaler Modelle
2007	Sonja Holl	Refactoring of B Models
2007	Jens Krüger	Ein Web-Interface für den ProB Animator
2007	Carl Friedrich Bolz	A Prolog Interpreter in Python
2006	Jens Bendisposto	Integration of the ProB model checker into Eclipse

Year	Author	Title
2012	Lukas Diekmann	Memory Optimizations for Data Types in Dynamic Languages
2011	Andriy Tolstoy	Visualisierung von LTL-Gegenbeispielen
2011	David Schneider	An ARM Backend for PyPy's Tracing JIT
2010	Ivaylo Dobrikov	Übersetzung von CSP-M nach Haskell
2010	Lukas Ladenberger	Industrial Applications of BMotionStudio
2009	John Witulski	Eine Java-VM in Python
2009	Fabian Fritz	A Semantics-Aware Text Editor for Event-B
2009	Dennis Winter	Validating Promela Models with the ProB Model Checker
2009	Matthäus Zloch	Validating SMV specifications with ProB
2008	Carl Friedrich Bolz	Automatic JIT Compiler Generation with Runtime Partial Evaluation
2007	Jens Bendisposto	A Framework for Semantic-Aware Editors in Eclipse