Marc Carwehl

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

Collaborative distances:

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

2024

Formal Synthesis of Uncertainty Reduction Controllers.

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

CoRR, 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

Runtime Verification of Self-Adaptive Systems with Changing Requirements.

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

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