Marc Carwehl
|
|
Marc is a doctoral student in the Software Engineering Group (Prof. Lars Grunske) at the Humboldt-Universität zu Berlin, Germany. As a fellow with the AAIP, he is also associated with the University of York where he collaborates with the TASP group led by Prof. Radu Calinescu. Marc's research interests focus on resilient and antifragile systems, especially in autonomous systems. In particular, he is interested in techniques from the fields of self-adaptive systems, formal methods (especially runtime verification and model checking) and safety. |
- E-mail: carwehl (at) informatik.hu-berlin.de
- Phone: +49 (0)30 2093-41145
- Google Scholar
Publications
- Simon Burton, Radu Calinescu, Raffaela Mirandola et al.: "Resilience and Antifragility of Autonomous Systems". In Dagstuhl Reports Volume 14, Issue 4 (2024)
- João Paulo Costa de Araujo, Genaina Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione: "Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach" in IEEE Software 2024
- Marc Carwehl, Calum Imrie, Thomas Vogel, Genaina Rodrigues, Radu Calinescu, Lars Grunske: "Formal Synthesis of Uncertainty Reduction Controllers". SEAMS 2024. Best Paper Award
- Marc Carwehl, Wolfgang Reisig: "Modelling Classes of Body Sensor Networks". Modellierung 2024. Runner up of Best Paper Award
- Marc Carwehl, Thomas Vogel, Genaina Rodrigues, Lars Grunske: "Runtime Verification of Self-Adaptive Systems with Changing Requirements". SEAMS 2023
- Thomas Vogel, Marc Carwehl, Genaina Rodrigues, Lars Grunske: "A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL". IST 2023
Supervision
- Improving a Search-Baed Technique to Reduce Uncertainty by Investigating the Seed - Arturo Bertogla
- Feasibility Study on Uncertainty Reduction of a Tele-Assistant System (TAS) - Maximilian Orthmann
- Synthesizing Time-Series Data in Healthcare for Testing a Self-Adaptive Cyber-Physical-System - Dennis Pidun
- Benchmarking Multi-Objective Controllers for Self-Adaptive Systems - Tess Pappert
- Explaining Pathological Behaviour of Self-Adaptive Systems - Tobias Kiecker
- Survey on Runtime Verification - Eugen Wagner
- Automatic Generation of Runtime Monitors from Structured Natural Language Using Timed Automatons - Tim Jellinek
Teaching
WiSe 2024
- Tutorial Software Engineering
- Tutorial Methoden und Modelle des Systementwurfs
SoSe 2024
- Project Development of a Body Sensor Network in ROS
- Tutorial Safe and Reliable Software Systems
WiSe 2023
- Seminar Adaptive Systeme
- Tutorial Software Engineering
- Tutorial Methoden und Modelle des Systementwurfs
SoSe 2023
- Seminar Automated Software Engineering
- Tutorial Safe and Reliable Software Systems
WiSe 2022
- Seminar Adaptive Systeme
- Tutorial Software Engineering
- Tutorial Methoden und Modelle des Systementwurfs
SoSe 2022
- Seminar Ausgewählte Themen des Software Engineering
- Tutorial Methoden und Modelle des Systementwurfs
WiSe 2021
- Seminar Automated Software Engineering
- Tutorial Software Engineering
- Tutorial Requirements Engineering and Software Architecture
| Mail Address | Visitor Address |
| Humboldt-Universität zu Berlin Department of Computer Science Unter den Linden 6 10099 Berlin |
Johann von Neumann-Haus House IV, 4th floor, room IV.414 Rudower Chaussee 25 12489 Berlin |