Max Barth

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

Collaborative distances:

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

2024

A Bit-vector to Integer Translation with bv2nat and nat2bv.

Max Barth, Matthias Heizmann

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 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