Research Projects


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