Marc Carwehl

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Asynchronous Circuits

Real Time Systems

Formal Specification

Top Venues

Inf. Softw. Technol.

Publications

Marc Carwehl, Wolfgang Reisig
Modeling Classes of Body Sensor Networks. Modellierung (2024)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE (2024)
João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. IEEE Softw. 41 (5) (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. CoRR (2024)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS (2023)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. 154 (2023)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR (2023)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR (2022)