We have active research interests in various fields of software engineering, with a particular focus on model- and data-driven methods which enable formal reasoning and simulation, and which facilitate the automated transition between informally sketched requirements or designs and implementations. Investigated application areas comprise classical information systems and web applications, embedded systems, automated production systems, cyber-physical systems, internet-of-things applications as well as scientific software and data analytics.
Running
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
Swiss-African Cybersecurity Community: A Focus on Education, Research and Knowledge Building
Finished
VariantSync I - Automating the Synchronization of Software Variants
CaSSIS-Verif - Towards Verified Flight Software for Future Mars Missions
