Thomas Thüm

Available identifiers

zbMath Open thum.thomasMaRDI QIDQ898604

List of research outcomes

Publication	Date of Publication	Type
On the benefits of knowledge compilation for feature-model analyses	2024-10-31	Paper
Flexible Correct-by-Construction Programming	2023-08-26	Paper
Skill-Based Verification of Cyber-Physical Systems	2022-10-13	Paper
Traits: correctness-by-construction for free	2022-08-19	Paper
Understanding parameters of deductive verification: an empirical investigation of KeY	2018-10-04	Paper
Variability encoding: from compile-time to load-time variability	2015-12-18	Paper

Research outcomes over time

This page was built for person: Thomas Thüm