Max Barth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | TACAS | Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | TACAS | Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution). | Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Krner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 2024 | FASE | Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2024 | TAP | Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. | Max Barth, Marie-Christine Jakobs |
| 2023 | TACAS | 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 Schssele, Andreas Podelski |