Dominik Klumpp

According to our database, Dominik Klumpp authored at least 24 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

The Challenges of Effective AGM Belief Contraction.

Dominik Klumpp, Jandson S. Ribeiro

CoRR, 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 Kojak SV-COMP 2023 Competition Contribution.

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

Dataset, December, 2022

Ultimate GemCutter SV-COMP 2023 Competition Contribution.

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

Dataset, December, 2022

Ultimate Automizer SV-COMP 2023 Competition Contribution.

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

Dataset, December, 2022

Ultimate Taipan SV-COMP 2023 Competition Contribution.

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

Dataset, December, 2022

Artifact for PLDI'22 paper "Sound Sequentialization for Concurrent Program Verification".

Azadeh Farzan, Dominik Klumpp, Andreas Podelski

Dataset, April, 2022

Artifact for PLDI'22 paper "What Is Your Preference Order?".

Azadeh Farzan, Dominik Klumpp, Andreas Podelski

Dataset, April, 2022

Artifact for PLDI'22 paper "What Is Your Preference Order?".

Azadeh Farzan, Dominik Klumpp, Andreas Podelski

Dataset, March, 2022

Ultimate Automizer (SV-COMP 2022 - Modified).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

Dataset, January, 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

Ultimate GemCutter SV-COMP 2022 Competition Contribution.

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

Dataset, November, 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

2019

Ultimate Automizer SV-COMP 2020 Competition Contribution.

Matthias Heizmann, Max Barth, Daniel Dietsch, Jill Enke, Leonard Fichtner, Dominik Klumpp, Mehdi Naouar, Lars Nitzke, Alexander Nutz, Andreas Podelski, Elisabeth Schanno, Claus Schätzle

Dataset, November, 2019

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