Follow
Dominik Klumpp
Dominik Klumpp
Verified email at informatik.uni-freiburg.de - Homepage
Title
Cited by
Cited by
Year
Sound sequentialization for concurrent program verification
A Farzan, D Klumpp, A Podelski
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
182022
Ultimate GemCutter and the Axes of Generalization: (Competition Contribution)
D Klumpp, D Dietsch, M Heizmann, F Schüssele, M Ebbinghaus, ...
Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022
152022
Ultimate Automizer and the CommuHash Normal Form: (Competition Contribution)
M Heizmann, M Barth, D Dietsch, L Fichtner, J Hoenicke, D Klumpp, ...
Tools and Algorithms for the Construction and Analysis of Systems: 29th …, 2023
142023
Verification of Concurrent Programs Using Petri Net Unfoldings
D Dietsch, M Heizmann, D Klumpp, M Naouar, A Podelski, C Schätzle
Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021
132021
Measuring and evaluating the performance of self-organization mechanisms within collective adaptive systems
B Eberhardinger, H Ponsar, D Klumpp, W Reif
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
112018
Ultimate Taipan and Race Detection in Ultimate: (Competition Contribution)
D Dietsch, M Heizmann, D Klumpp, F Schüssele, A Podelski
Tools and Algorithms for the Construction and Analysis of Systems: 29th …, 2023
82023
Test Case Selection Strategy for Self-Organization Mechanisms
B Eberhardinger, H Seebach, D Klumpp, W Reif
Test, Analyse und Verifikation von Software – gestern, heute, morgen, 2017
82017
Stratified Commutativity in Verification Algorithms for Concurrent Programs
A Farzan, D Klumpp, A Podelski
Proceedings of the ACM on Programming Languages 7 (POPL), 1426-1453, 2023
72023
Ultimate Automizer and the Abstraction of Bitwise Operations: (Competition Contribution)
F Schüssele, M Bentele, D Dietsch, M Heizmann, X Jiang, D Klumpp, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
62024
Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems
D Klumpp, A Habermaier, B Eberhardinger, H Seebach
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
52016
Commutativity Simplifies Proofs of Parameterized Programs
A Farzan, D Klumpp, A Podelski
Proceedings of the ACM on Programming Languages 8 (POPL), 2485-2513, 2024
32024
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
J Erhard, M Bentele, M Heizmann, D Klumpp, S Saan, F Schüssele, ...
arXiv preprint arXiv:2411.16612, 2024
2024
The Challenges of Effective AGM Belief Contraction
D Klumpp, JS Ribeiro
arXiv preprint arXiv:2409.09171, 2024
2024
Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm
D Klumpp, JS Ribeiro
CEUR-WS 3835, 34-43, 2024
2024
Petrification: Software Model Checking for Programs with Dynamic Thread Management
M Heizmann, D Klumpp, L Nitzke, F Schüssele
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)
M Heizmann, D Klumpp, F Schüssele, L Nitzke
arXiv preprint arXiv:2311.01302, 2023
2023
and KIV: Towards Deductive Verification for Arbitrary Programming Languages
D Klumpp, P Lenzen
International Workshop on Algebraic Development Techniques, 98-119, 2020
2020
Partial Order Reduction for Trace Abstraction Refinement
D Klumpp, A Podelski, A Farzan
MOVEP 2020, 2020
2020
Automated Control Flow Reconstruction from Assembler Programs
D Klumpp
Institute for Software & Systems Engineering, University of Augsburg, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–19