Status
Finished
- CaSSIS-Verif | Projects
A UniBE funded project on space software verification.
- FONDA | Projects
A DFG funded project on data analysis workflows.
- VariantSync I | Projects
A DFG funded project on software product lines.
Running
- AERIALIST | Projects
A Hasler Foundation funded project on testing Unmanned Aerial Vehicles (UAVs).
- CaSSIS-CheckTC | Projects
A UniBE funded project on space software verification.
- InnoGuard | Projects
A Horizon funded project on Autonomous Cyber-Physical Systems (ACPS) quality assessment.
- Merge++ | Projects
A SNSF funded project of software version control and conflict resolution.
- RUNVERSPACE | Projects
A SNSF funded project on runtime verification in space software.
- Safe-2-Fly | Projects
A Hasler Foundation funded project on advancing UAV Reliability and Societal Trust Through Integrated Testing and Formal Verification.
- SwarmOps | Projects
A SNSF funded project on AI-enabled Cyber-Physical Systems (AI-CPSs) .
- Swiss-African Cybersecurity Community | Projects
A Movetia funded project to foster knowledge building between Swiss and African universities.
- VariantSync II | Projects
A DFG funded project on software product lines.