You are here: Home › Team › Marcel Ebbinghaus

Marcel Ebbinghaus

 

Research Interests

At the moment: program verification, concurrent programs, commutativity / partial order reduction

Publications & Talks

2ORCID3

  • (Talk) Detection and integration of conditional commutativity for concurrent program verification, at AVM 20244 [Slides5]
  • (Talk) Fairness reduction for concurrent programs, at AVM 20236
  • (Talk) The Concept of Preference Orders for Concurrent Program Verification, at AVM 20227 [Slides8]
  • Ultimate GemCutter and the Axes of Generalization, in TACAS 20229 (SV-COMP'2210), together with Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Azadeh Farzan and Andreas Podelski. [doi11] [Slides12]

Lectures

I co-organize the following lectures:

  • Cyber-Physical Systems: Discrete Models (in the winter semester 2024/25)

Consultation Hours

Please send me an e-mail to make an appointment.

Links

  1. mailto:klumpp@informatik.uni-freiburg.de
  2. https://dblp.uni-trier.de/pers/hd/k/Klumpp:Dominik
  3. https://orcid.org/0009-0004-9216-1801
  4. https://avm2024.informatik.uni-freiburg.de/
  5. https://avm2024.informatik.uni-freiburg.de/assets/presentations/marcel_ebbinghaus.pdf
  6. https://d3s.mff.cuni.cz/conferences/avm23/
  7. https://avm.sosy-lab.org/2022/
  8. https://avm.sosy-lab.org/2022/prs/AVM22_Ebbinghaus.pdf
  9. https://etaps.org/2022/tacas
  10. https://sv-comp.sosy-lab.org/2022/
  11. http://dx.doi.org/10.1007/978-3-030-99527-0_35
  12. https://www.researchgate.net/publication/359866190_Ultimate_GemCutter_and_the_Axes_of_Generalization