CLEM (2026 - 2030) Combining Live and Exploratory Modeling DarTwin (2026 - 2030) Foundations for the Systematic Evolution of Digital Twins QAE (2026 - 2030) Quantum Algorithm Engineering - Bridging the Gap to Industrial Applications Search-based QC-Synthesis Using Search for Quantum Circuit Synthesis JSPS Kakenhi Project (2020 - 2022) Surrogate Model-based Integration Testing of CPS with Complex Black Box Components Noisy MOO Noisy Multi-Objective Optimization Automated Structural Document Analysis for Regulatory Texts (2024) AI5Production Test-before-Invest No. 123 – European Digital Innovation Hub (EDIH) SBT4ADS Search-Based Testing for Autonomous Driving Systems CREST Continuous REactive SysTems Modelling in Python MPM4CPS Multi-Paradigm Modelling for Cyber-Physical Systems
