Projects

Verified AI is a collaboration with AUDI AG on subprojects of EU H2020 Hi-Drive project.
Group-By Objectives in Probabilistic Verification (GOPro) is a DFG project 427755713.
Continuous Verification of CYber-Physical Systems (ConVeY) is a DFG research training group GRK 2428.

Statistical Unbounded Verification (SUV) is a DFG project 383882557.
Verified Model Checkers (VMC) is a DFG project 317422601.
Platform-Aware Synthesis of Embedded Control Software (PARSEC) is a TUM IGSSE project 10.06.
In collaboration, my PhD student Julia Eisentraut has obtained the following projects:
- Proven Security for systems with human interaction (ProSec) is a project funded by the German Federal Ministry of Education and Research (Bundesministerium für Bildung und Forschung) and supported by Software Campus performed in collaboration of TUM and DATEV eG
- Formal Methods for Analysis of Attack-Defence Diagrams is a PhD project of Studienstiftung des deutschen Volkes