Merge++
Turning software merge conflicts into conflict-induced variability
- Duration: 2023 - 2027
- Funding:
Projects
Our research projects.
VariantSync 2
Automating the Synchronization of Software Variants
- Duration: 2024 - 2027
- Funding:
- Partners:
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
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
- Funding:
- Partners:
VariantSync 1
Automating the Synchronization of Software Variants
- Duration: 2019 - 2023
- Funding:
- Partners: