Dominik Klumpp

According to our database, Dominik Klumpp authored at least 13 papers between 2016 and 2024.

Collaborative distances:

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

2024

Commutativity Simplifies Proofs of Parameterized Programs.

Azadeh Farzan, Dominik Klumpp, Andreas Podelski

Proc. ACM Program. Lang., January, 2024

Petrification: Software Model Checking for Programs with Dynamic Thread Management.

Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski

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

2023

Stratified Commutativity in Verification Algorithms for Concurrent Programs.

Azadeh Farzan, Dominik Klumpp, Andreas Podelski

Proc. ACM Program. Lang., January, 2023

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).

Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke

CoRR, 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

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski

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

2022

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).

Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski

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

Sound sequentialization for concurrent program verification.

Azadeh Farzan, Dominik Klumpp, Andreas Podelski

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Verification of Concurrent Programs Using Petri Net Unfoldings.

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages.

Dominik Klumpp, Philip Lenzen

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

2018

Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems.

Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2016

Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems.

Dominik Klumpp, Axel Habermaier, Benedikt Eberhardinger, Hella Seebach

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016