- Beyond Symbolic Model Checking through Deep Modelling (Swiss National Science Foundation project 200021_185031)
- From Parallel SMT to Parallel Software Verification
- Harnessing Parallel Computing for Model Checking
- Guiding SMT-Based Interpolation for Program Verification
- Quality of Interpolants in Model Checking
- Pincette -- Validating Changes and Upgrades in Networked Software
- Automated Invariant Discovery for Efficient Security Checks
- Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
- Detection of Security Vulnerabilities by Guided Model Checking - continuation
- Detection of Security Flaws and Vulnerabilities by Guided Model Checking
- Runtime Verification beyond Monitoring (ARVI)