Merge++Turning software merge conflicts into conflict-induced variabilityDuration: 2023 - 2027Funding: SNSFStatusRunning
VariantSync IIAutomating the Synchronization of Software VariantsDuration: 2024 - 2027Funding: SNSFPartners:Prof. Dr. Thomas Thüm (TU Braunschweiz, prev. University of Paderborn)StatusRunning
SwarmOpsHuman-sensing based MLOps for Collaborative Cyber-Physical SystemsWebsite: SwarmOpsDuration: 2025 - 2029Funding: SNSFStatusRunning
NFDIxCSNational Research Data Infrastructure for and with Computer ScienceDuration: since 2023Funding: DFGPartners:Prof. Dr. Michael Goedicke (Spokesperson, University Duisburg-Essen (UDE))StatusRunning
InnoGuardHybrid and Generative Intelligence for Trustworthy Autonomous Cyber-Physical SystemsDuration: 2024 - 2027Funding: Horizon - Marie Skłodowska-Curie Actions-funded Doctoral NetworksPartners:Simula Research Laboratory, NorwayOsloMet - storbyuniversitetet, NorwayUniversità degli Studi del Sannio, ItalyStichting Vu, NetherlandsUniversidad de Málaga, SpainStatusRunningFunded by the Horizon 2020Framework Programme of theEuropean Union
Safe-2-FlyAdvancing UAV Reliability and Societal Trust Through Integrated Testing and Formal VerificationDuration: 2025 - 2026Funding: Hasler FoundationStatusRunning
TRUST-VRAI-Empowered Virtual Reality for Professional Soft Skills Training - A Feasibility Study in Pediatric CareDuration: 2025 - 2026Funding: Hasler FoundationStatusRunning
AERIALISTBridging the Reality Gap in Testing Unmanned Aerial VehiclesWebsite: AERIALISTDuration: 2024 - 2025Funding: Hasler FoundationStatusRunning
Swiss-African Cybersecurity CommunityA Focus on Education, Research and Knowledge BuildingDuration: 2024 - 2026Funding: MovetiaPartners:Africa Blockchain Institute, RwandaFHNW University of Applied Sciences and ArtsGhana Communication Technology University, GhanaHaute Ecole Arc, SwitzerlandHawassa University, EthiopiaISACA Switzerland Chapter, SwitzerlandSwissLink Higher Institute of Business and Technology, CameroonTuracos, SwitzerlandUniversity of Buea, CameroonUniversity of Ibadan, NigeriaStatusRunning
CaSSIS-CheckTCMission Telecommands Trace CheckingDuration: 2024 - 2025Funding: University of BernPartners:Prof. Dr. Nicolas Thomas (University of Bern)StatusRunning
RUNVERSPACERuntime Verification for Space Software ArchitecturesDuration: 2024 - 2025Funding: SNSFStatusRunning
FONDAB3: Debugging Distributed Data Analysis WorkflowsWebsite: Collaborative Research CenterDuration: 2020 - 2024Funding: DFGPartners:Prof. Dr. Volker Markl (Technical University of Berlin)StatusFinished
CaSSIS-VerifTowards Verified Flight Software for Future Mars MissionsDuration: 2023 - 2024Funding: University of BernPartners:Prof. Dr. Nicolas Thomas (University of Bern)StatusFinished
VariantSync IAutomating the Synchronization of Software VariantsDuration: 2019 - 2023Funding: DFGPartners:Prof. Dr. Thomas Thüm (TU Braunschweiz, prev. University of Paderborn)StatusFinished