Dominik Klumpp

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 14

Top Topics

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). TACAS (3) (2024)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Commutativity Simplifies Proofs of Parameterized Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele
Petrification: Software Model Checking for Programs with Dynamic Thread Management. VMCAI (2) (2024)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Stratified Commutativity in Verification Algorithms for Concurrent Programs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version). CoRR (2023)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) (2023)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Commutativity Simplifies Proofs of Parameterized Programs. CoRR (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Sound sequentialization for concurrent program verification. PLDI (2022)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). TACAS (2) (2022)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
Verification of Concurrent Programs Using Petri Net Unfoldings. VMCAI (2021)
Dominik Klumpp, Philip Lenzen
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. WADT (2020)
Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. ISoLA (3) (2018)
Dominik Klumpp, Axel Habermaier, Benedikt Eberhardinger, Hella Seebach
Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems. FAS*W@SASO/ICCAC (2016)