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
|
|