Marcel Ebbinghaus
|
Marcel Ebbinghaus
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-020 ebbima@informatik.uni-freiburg.de
|
Research Interests
At the moment: program verification, concurrent programs, commutativity / partial order reduction
Publications & Talks
- Towards an Event-Condition-Action (ECA)-Based Formalization of Clinical Guidelines in HTI 2026, together with Bora Gashi and Martin Boeker [doi]
- Counterexample-Guided Commutativity, in CAV 2025, together with Dominik Klumpp and Andreas Podelski [doi][Slides]
- (Talk) Detection and integration of conditional commutativity for concurrent program verification, at AVM 2024 [Slides]
- (Talk) Fairness reduction for concurrent programs, at AVM 2023
- (Talk) The Concept of Preference Orders for Concurrent Program Verification, at AVM 2022 [Slides]
- Ultimate GemCutter and the Axes of Generalization, in TACAS 2022 (SV-COMP'22), together with Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Azadeh Farzan and Andreas Podelski. [doi] [Slides]
Lectures
I co-organized (and/or gave) the following lectures:
- Program Verification (in the summer semester 2026)
- Cyber-Physical Systems: Discrete Models (in the winter semester 2025/26)
- Theoretische Informatik (in the summer semester 2025)
- Cyber-Physical Systems: Discrete Models (in the winter semester 2024/25)
Consultation Hours
Please send me an e-mail to make an appointment.