default search action

combined dblp search
author search
venue search
publication search

ask others

Dominik Klumpp

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/FarzanKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/FarzanKP24
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Commutativity Simplifies Proofs of Parameterized Programs. Proc. ACM Program. Lang. 8(POPL): 2485-2513 (2024)
2023
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/FarzanKP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/FarzanKP23
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Stratified Commutativity in Verification Algorithms for Concurrent Programs. Proc. ACM Program. Lang. 7(POPL): 1426-1453 (2023)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SchusseleBDHJKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SchusseleBDHJKP24
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: 418-423
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HeizmannKNS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HeizmannKNS24
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele:
Petrification: Software Model Checking for Programs with Dynamic Thread Management. VMCAI (2) 2024: 3-25
2023
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeizmannBDFHKNSSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeizmannBDFHKNSSP23
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: 577-581
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DietschHKSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DietschHKSP23
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) 2023: 582-587
2022
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FarzanKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FarzanKP22
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Sound sequentialization for concurrent program verification. PLDI 2022: 506-521
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KlumppDHSEFP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KlumppDHSEFP22
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: 479-483
2021
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DietschHKNPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DietschHKNPS21
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle:
Verification of Concurrent Programs Using Petri Net Unfoldings. VMCAI 2021: 174-195
2020
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/KlumppL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/KlumppL20
Dominik Klumpp, Philip Lenzen:
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages. WADT 2020: 98-119
2018
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/EberhardingerPK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/EberhardingerPK18
Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif:
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. ISoLA (3) 2018: 202-220
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/KlumppHES16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/KlumppHES16
Dominik Klumpp, Axel Habermaier, Benedikt Eberhardinger, Hella Seebach:
Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems. FAS*W@SASO/ICCAC 2016: 120-125

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2022
[d10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/DietschHKSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DietschHKSP22
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Taipan SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/FarzanKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FarzanKP22
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "What Is Your Preference Order?". Zenodo, 2022
[d8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/FarzanKP22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FarzanKP22a
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "What Is Your Preference Order?". Zenodo, 2022
[d7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/FarzanKP22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/FarzanKP22b
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Artifact for PLDI'22 paper "Sound Sequentialization for Concurrent Program Verification". Zenodo, 2022
[d6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannBDFHKNSSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannBDFHKNSSP22
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski:
Ultimate Automizer (SV-COMP 2022 - Modified). Zenodo, 2022
[d5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannDKSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannDKSP22
Matthias Heizmann, Daniel Dietsch, Dominik Klumpp, Frank Schüssele, Andreas Podelski:
Ultimate Automizer SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/KlumppDHSFP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlumppDHSFP22
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter SV-COMP 2023 Competition Contribution. Zenodo, 2022
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/SchusseleDHKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SchusseleDHKP22
Frank Schüssele, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Andreas Podelski:
Ultimate Kojak SV-COMP 2023 Competition Contribution. Zenodo, 2022
2021
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/KlumppDHSEFP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlumppDHSEFP21
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter SV-COMP 2022 Competition Contribution. Zenodo, 2021
2019
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/HeizmannBDEFKNNNPSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HeizmannBDEFKNNNPSS19
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:
Ultimate Automizer SV-COMP 2020 Competition Contribution. Zenodo, 2019

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-09171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-09171
Dominik Klumpp, Jandson S. Ribeiro:
The Challenges of Effective AGM Belief Contraction. CoRR abs/2409.09171 (2024)
2023
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-01302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-01302
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke:
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version). CoRR abs/2311.01302 (2023)
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-02673
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-02673
Azadeh Farzan, Dominik Klumpp, Andreas Podelski:
Commutativity Simplifies Proofs of Parameterized Programs. CoRR abs/2311.02673 (2023)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.