Status
Finished
Research Projects
- CaSSIS-Verif
| Research Projects
A UniBE funded project on software verification.
- VariantSync 1
| Research Projects
A DFG funded project on software product lines.
Running
Research Projects
- Swiss-African Cybersecurity Community
| Research Projects
A Movetia funded project to foster knowledge building between Swiss and African universities.
- FONDA
| Research Projects
A DFG funded project on data analysis workflows.
- Merge++
| Research Projects
A SNSF funded project of software version control and conflict resolution.
- RUNVERSPACE
| Research Projects
A SNSF funded project on runtime verification in space software.
- VariantSync 2
| Research Projects
A DFG funded project on software product lines.