- Pushdown plug-in for the open discrete event systems library libFAUDES, joined work with Sven Schneider, Stefan Jacobi and Ramon Barakat
- Mascot: a tool for synthesizing controllers for continuous non-linear dynamical systems under the paradigm of Abstraction-based Controller Design, joined work with Kyle Hsu, Kaushik Mallik and Rupak Majumdar
- Rescots: a tool for synthesizing controllers for continuous non-linear dynamical systems under the paradigm of Abstraction-based Controller Design which are resilient to intermittent disturbance spikes, joined work with Stanly Samuel, Kaushik Mallik and Daniel Neider