Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Department of Computer Science

Marc Carwehl

 

IMG_0392.jpeg

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 are in the areas of self-adaptive systems, formal methods (especially runtime verification) and safety. 

 

Publications

  • Marc Carwehl, Calum Imrie, Thomas Vogel, Genaina Rodrigues, Radu Calinescu, Lars Grunske: "Formal Synthesis of Uncertainty Reduction Controllers". SEAMS 2024
  • 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

  • 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 

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