Max Barth

According to our database, Max Barth authored at least 12 papers between 2019 and 2026.

Collaborative distances:

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

2026

A lazy and modular approach to int-blasting.

Max Barth, Matthias Heizmann, Jochen Hoenicke

Acta Informatica, June, 2026

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

Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Körner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski

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

Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution).

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

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

Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution).

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

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement.

Max Barth, Marie-Christine Jakobs

CoRR, September, 2025

2024

Refining CEGAR-Based Test-Case Generation with Feasibility Annotations.

Max Barth, Marie-Christine Jakobs

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Test-Case Generation with Automata-Based Software Model Checking.

Max Barth, Marie-Christine Jakobs

Proceedings of the Model Checking Software - 30th International Symposium, 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

2022

Ultimate Automizer (SV-COMP 2022 - Modified).

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

Dataset, January, 2022

2019

Ultimate Automizer SV-COMP 2020 Competition Contribution.

Matthias Heizmann, Max Barth, Daniel Dietsch, Jill Enke, Leonard Fichtner, Dominik Klumpp, Mehdi Naouar, Lars Nitzke, Alexander Nutz, Andreas Podelski, Elisabeth Schanno, Claus Schätzle

Dataset, November, 2019