ProB is an animator, constraint solver and model checker for the B-Method. The constraint-solving capabilities of ProB can be used for animation, model finding, constraint-based symbolic checking and test-case generation.
In the VertiGo project, a mobile videonystagmography for smartphones has been developed, which can be used independently without medical specialists, regardless of time and location. This project was an interdisciplinary joint work with the University Hospital of Düsseldorf.
In this project, we introduced a new string constraint solver for SWI-Prolog having interfaces to CLP(FD), CLP(B) and CLP(R) for generating strings containing integers, booleans and reals. This project was a joint work with the Niederrhein University of Applied Sciences and the periplus instruments GmbH & Co. KG.
PlÜS is a timetable validation tool created with the goal of importing, validating and improving existing university timetables at the University of Düsseldorf. This project was an interdisciplinary joint work with the Faculty of Arts and Humanities at the University of Düsseldorf.
In this project, I implemented a program synthesis technique in ProB using constraint logic programming for the interactive repair and generation of formal models including a graphical user interface.
In this project, I implemented a fuzzer for SICStus Prolog including an extension to generate classical B and Event-B predicates and expressions represented as abstract syntax trees.