Marc Carwehl

According to our database, Marc Carwehl authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

ResMetric: Analyzing Resilience to Enable Research on Antifragility.

Ferdinand Koenig, Marc Carwehl, Calum Imrie

Proceedings of the 20th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2025

Formal Synthesis of Uncertainty Reduction Controllers.

Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske

Proceedings of the Software Engineering 2025, 2025

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, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione

IEEE Softw., 2024

Runtime Verification of Self-Adaptive Systems with Changing Requirements.

Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Modeling Classes of Body Sensor Networks.

Marc Carwehl, Wolfgang Reisig

Proceedings of the Modellierung 2024, Potsdam, Germany, 2024

2023

A property specification pattern catalog for real-time system verification with UPPAAL.

Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske

Inf. Softw. Technol., 2023