Dominik Klumpp
Orcid: 0000-0003-4885-0728
According to our database1,
Dominik Klumpp
authored at least 61 papers
between 2016 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
5
10
15
20
25
30
35
40
3
2
3
2
2
34
8
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025
2024
Proc. ACM Program. Lang., January, 2024
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR, 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm.
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024
2023
Benchmarks for POPL'24 Paper "Commutativity Simplifies Proofs of Parameterized Programs".
Dataset, November, 2023
Proc. ACM Program. Lang., January, 2023
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2022
Artifact for PLDI'22 paper "Sound Sequentialization for Concurrent Program Verification".
Dataset, April, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
2020
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2020
2019
2018
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
2016
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016