Sound sequentialization for concurrent program verification A Farzan, D Klumpp, A Podelski Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 18 | 2022 |
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 | 15 | 2022 |
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 | 14 | 2023 |
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 | 13 | 2021 |
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 | 11 | 2018 |
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 | 8 | 2023 |
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 | 8 | 2017 |
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 | 7 | 2023 |
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 | 6 | 2024 |
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 | 5 | 2016 |
Commutativity Simplifies Proofs of Parameterized Programs A Farzan, D Klumpp, A Podelski Proceedings of the ACM on Programming Languages 8 (POPL), 2485-2513, 2024 | 3 | 2024 |
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 |