Dominik Klumpp

24 papers A* 2B 1Journal 9Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs.
Proc. ACM Program. Lang.
Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp
2026 — conf
Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution).
TACAS (2)
Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Körner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
2025 — conf
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
VMCAI (1)
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2025 J jnl
Correctness Witnesses with Function Contracts.
CoRR
Matthias Heizmann, Dominik Klumpp, Marian Lingsch Rosenfeld, Frank Schüssele
2025 — conf
Counterexample-Guided Commutativity.
CAV (3)
Marcel Ebbinghaus, Dominik Klumpp, Andreas Podelski
2025 A* conf
Effective AGM Belief Contraction: A Journey Beyond the Finitary Realm.
KR
Dominik Klumpp, Jandson S. Ribeiro
2025 J jnl
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version).
CoRR
Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp
2024 J jnl
Commutativity Simplifies Proofs of Parameterized Programs.
Proc. ACM Program. Lang.
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2024 J jnl
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2024 — conf
Petrification: Software Model Checking for Programs with Dynamic Thread Management.
VMCAI (2)
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele
2024 J jnl
The Challenges of Effective AGM Belief Contraction.
CoRR
Dominik Klumpp, Jandson S. Ribeiro
2024 — conf
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
TACAS (3)
Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
2024 — conf
Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm.
NMR
Dominik Klumpp, Jandson S. Ribeiro
2023 J jnl
Commutativity Simplifies Proofs of Parameterized Programs.
CoRR
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2023 J jnl
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).
CoRR
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke
2023 J jnl
Stratified Commutativity in Verification Algorithms for Concurrent Programs.
Proc. ACM Program. Lang.
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2023 — conf
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
2023 — conf
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).
TACAS (2)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
2022 A* conf
Sound sequentialization for concurrent program verification.
PLDI
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2022 — conf
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).
TACAS (2)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
2021 B conf
Verification of Concurrent Programs Using Petri Net Unfoldings.
VMCAI
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
2020 — conf
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages.
WADT
Dominik Klumpp, Philip Lenzen
2018 — conf
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems.
ISoLA (3)
Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif
2016 — conf
Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems.
FAS*W@SASO/ICCAC
Dominik Klumpp, Axel Habermaier, Benedikt Eberhardinger, Hella Seebach