Dominik Klumpp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | On the Complexity of Checking Soundness of Natural Reductions. | Constantin Enea, Azadeh Farzan, Dominik Klumpp |
| 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 |
| 2025 | CAV | Counterexample-Guided Commutativity. | Marcel Ebbinghaus, Dominik Klumpp, Andreas Podelski |
| 2025 | KR | Effective AGM Belief Contraction: A Journey Beyond the Finitary Realm. | Dominik Klumpp, Jandson S. Ribeiro |
| 2025 | VMCAI | Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. | Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
| 2024 | TACAS | Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). | Frank Schssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski |
| 2024 | VMCAI | Petrification: Software Model Checking for Programs with Dynamic Thread Management. | Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schssele |
| 2023 | TACAS | Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 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 |
| 2022 | PLDI | Sound sequentialization for concurrent program verification. | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
| 2022 | TACAS | Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). | Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski |
| 2021 | VMCAI | Verification of Concurrent Programs Using Petri Net Unfoldings. | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schtzle |
| 2018 | ISoLA | Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. | Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif |