Marc Carwehl

According to our database, Marc Carwehl authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

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

Formal Synthesis of Uncertainty Reduction Controllers.

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

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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