SwarmOps
Human-sensing based MLOps for Collaborative Cyber-Physical Systems
- Duration: 2025 - 2029
- Funding:
Projects
Our research projects.
Merge++
Turning software merge conflicts into conflict-induced variability
- Duration: 2023 - 2027
- Funding:
VariantSync II
Automating the Synchronization of Software Variants
- Duration: 2024 - 2027
- Funding:
- Partners:
InnoGuard
Hybrid and Generative Intelligence for Trustworthy Autonomous Cyber-Physical Systems
- Duration: 2024 - 2027
- Funding:
AERIALIST
Bridging the Reality Gap in Testing Unmanned Aerial Vehicles
- Duration: 2024 - 2025
- Funding:
Swiss-African Cybersecurity Community
A Focus on Education, Research and Knowledge Building
- Duration: 2024 - 2026
- Funding:
- 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
CaSSIS-CheckTC
Mission Telecommands Trace Checking
- Duration: 2024 - 2025
- Funding:
- Partners:
RUNVERSPACE
Runtime Verification for Space Software Architectures
- Duration: 2024 - 2025
- Funding:
FONDA
B3: Debugging Distributed Data Analysis Workflows
- Duration: 2020 - 2024
- Funding:
- Partners:
CaSSIS-Verif
Towards Verified Flight Software for Future Mars Missions
- Duration: 2023 - 2024
- Funding:
- Partners:
VariantSync I
Automating the Synchronization of Software Variants
- Duration: 2019 - 2023
- Funding:
- Partners: