Current and previous projects of our group include:
- FRAPPANT – Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation
- APPA: Automated Probabilistic Program Analysis
- CAP Sino-German Project
- CARP: Correct and Efficient Accelerator Programming
- CATSY:Catalogue of System and Software Properties
- D-MILS: Distributed MILS
- HODRIAN: Highly-Robust, Wireless Communication Components for Industrial Applications
- Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures
- Research Training Group UnRAVeL
- SENSATION: Self Energy-Supporting Autonomous Computation
- Testing for AADL
- VPLC: Verification of Programmable Logic Controller code