Research Projects
Merge++ - Turning software merge conflicts into conflict-induced variability
|
![]() |
RUNVERSPACE - Runtime Verification for Space Software Architectures
|
![]() |
FONDA - Foundations of Workflows for Large-Scale Scientific Data Analysis
|
![]() |
VariantSync - Automating the Synchronization of Software Variants
|
![]() |
CaSSIS-Verif - Towards Verified Flight Software for Future Mars Missions
|
![]() |