Marcel Ebbinghaus

Orcid: 0009-0004-9216-1801

According to our database¹, Marcel Ebbinghaus authored at least 131 papers between 2021 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Automizer SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Kojak SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Referee SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate GemCutter SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Taipan SV-COMP 2026.

[BibT_eX]

[DOI]

Dataset, October, 2025

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2025

Artifact for the CAV'25 Paper "Counterexample-Guided Commutativity".

[BibT_eX]

[DOI]

Marcel Ebbinghaus

Dominik Klumpp

Andreas Podelski

Dataset, April, 2025

Counterexample-Guided Commutativity.

[BibT_eX]

[DOI]

Marcel Ebbinghaus

Dominik Klumpp

Andreas Podelski

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate GemCutter SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Referee SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Taipan SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Kojak SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

Ultimate Automizer SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

2022

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Ultimate GemCutter SV-COMP 2022 Competition Contribution.

[BibT_eX]

[DOI]

Dataset, November, 2021

Marcel Ebbinghaus

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...