Marc Carwehl

12 papers A 1C 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Formal Synthesis of Uncertainty Reduction Controllers.
Software Engineering
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2025 J jnl
RESMETRIC: Analyzing Resilience to Enable Research on Antifragility.
CoRR
Ferdinand Koenig, Marc Carwehl, Calum Imrie
2025 — conf
ResMetric: Analyzing Resilience to Enable Research on Antifragility.
SEAMS@ICSE
Ferdinand Koenig, Marc Carwehl, Calum Imrie
2024 J jnl
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach.
IEEE Softw.
João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione
2024 — conf
Formal Synthesis of Uncertainty Reduction Controllers.
SEAMS@ICSE
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024 J jnl
Formal Synthesis of Uncertainty Reduction Controllers.
CoRR
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024 — conf
Modeling Classes of Body Sensor Networks.
Modellierung
Marc Carwehl, Wolfgang Reisig
2024 C conf
Runtime Verification of Self-Adaptive Systems with Changing Requirements.
Software Engineering
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
2023 J jnl
A property specification pattern catalog for real-time system verification with UPPAAL.
Inf. Softw. Technol.
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
2023 A conf
Runtime Verification of Self-Adaptive Systems with Changing Requirements.
SEAMS
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
2023 J jnl
Runtime Verification of Self-Adaptive Systems with Changing Requirements.
CoRR
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
2022 J jnl
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL.
CoRR
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske