Marcel Ebbinghaus

Orcid: 0009-0004-9216-1801

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

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

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...