Dominik Klumpp
Orcid: 0000-0003-4885-0728
According to our database1,
Dominik Klumpp
authored at least 59 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 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