Max Barth

According to our database, Max Barth authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).

Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

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