A property specification pattern catalog for real-time system verification with UPPAAL. - Thomas Vogel 001; Marc Carwehl; Genaína Nunes Rodrigues; Lars Grunske (Inf. Softw. Technol., 2023)

Modeling Classes of Body Sensor Networks. - Marc Carwehl; Wolfgang Reisig (Modellierung, 2024)

Runtime Verification of Self-Adaptive Systems with Changing Requirements. - Marc Carwehl; Thomas Vogel 001; Genaína Nunes Rodrigues; Lars Grunske (Software Engineering, 2024)

Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. - João Paulo Costa de Araujo; Genaína Nunes Rodrigues; Marc Carwehl; Thomas Vogel 001; Lars Grunske; Ricardo Caldas; Patrizio Pelliccione (IEEE Softw., 2024)

Formal Synthesis of Uncertainty Reduction Controllers. - Marc Carwehl; Calum Imrie; Thomas Vogel 001; Genaína Nunes Rodrigues; Radu Calinescu; Lars Grunske (Software Engineering, 2025)

ResMetric: Analyzing Resilience to Enable Research on Antifragility. - Ferdinand Koenig; Marc Carwehl; Calum Imrie (SEAMS@ICSE, 2025)