VariantSync I
Automating the Synchronization of Software Variants
- Duration: 2019 - 2023
- Fundings:
- Partners:
Projects
Our research projects.
CaSSIS-Verif
Towards Verified Flight Software for Future Mars Missions
- Duration: 2023 - 2024
- Fundings:
- Partners:
FONDA
B3: Debugging Distributed Data Analysis Workflows
- Duration: 2020 - 2024
- Fundings:
- Partners:
RUNVERSPACE
Runtime Verification for Space Software Architectures
- Duration: 2024 - 2025
- Fundings:
CaSSIS-CheckTC
Mission Telecommands Trace Checking
- Duration: 2024 - 2025
- Fundings:
- Partners:
Swiss-African Cybersecurity Community
A Focus on Education, Research and Knowledge Building
- Duration: 2024 - 2026
- Fundings:
- Partners:
- Africa Blockchain Institute, Rwanda
- FHNW University of Applied Sciences and Arts
- Ghana Communication Technology University, Ghana
- Haute Ecole Arc, Switzerland
- Hawassa University, Ethiopia
- ISACA Switzerland Chapter, Switzerland
- SwissLink Higher Institute of Business and Technology, Cameroon
- Turacos, Switzerland
- University of Buea, Cameroon
- University of Ibadan, Nigeria
Safe-2-Fly
Advancing UAV Reliability and Societal Trust Through Integrated Testing and Formal Verification
- Duration: 2025 - 2026
- Fundings:
AERIALIST
Bridging the Reality Gap in Testing Unmanned Aerial Vehicles
- Duration: 2024 - 2025
- Fundings:
InnoGuard
Hybrid and Generative Intelligence for Trustworthy Autonomous Cyber-Physical Systems
- Duration: 2024 - 2027
- Fundings:
VariantSync II
Automating the Synchronization of Software Variants
- Duration: 2024 - 2027
- Fundings:
- Partners:
Merge++
Turning software merge conflicts into conflict-induced variability
- Duration: 2023 - 2027
- Fundings:
SwarmOps
Human-sensing based MLOps for Collaborative Cyber-Physical Systems
- Duration: 2025 - 2029
- Fundings: