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