Skip to main navigation Skip to search Skip to main content
No photo of Dominik Rafael Klumpp

View Scopus Profile

Dominik Rafael Klumpp

  • 124
    Citations
20212026

Research activity per year

Fingerprint

Dive into the research topics where Dominik Rafael Klumpp is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 12 Conference contribution
  • 3 Article
  • 1 Conference article

  • The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs

    Schüssele, F., Zumkeller, M., Lagunes-Rochin, M. & Klumpp, D., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 1212-1240 29 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Ultimate Automizer with a One-Dimensional Memory Model: (Competition Contribution)

    Bentele, M., Barth, M., Ebbinghaus, M., Körner, J., Dietsch, D., Heizmann, M., Klumpp, D., Schüssele, F. & Podelski, A., 1 Jan 2026, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Junges, S. & Katz, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 589-594 6 p. (Lecture Notes in Computer Science; vol. 16506 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Citations (Scopus)

  • Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts

    Erhard, J., Bentele, M., Heizmann, M., Klumpp, D., Saan, S., Schüssele, F., Schwarz, M., Seidl, H., Tilscher, S. & Vojdani, V., 1 Jan 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 74-100 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15529 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (Scopus)

  • Counterexample-Guided Commutativity

    Ebbinghaus, M., Klumpp, D. & Podelski, A., 1 Jan 2025, Computer Aided Verification - 37th International Conference, CAV 2025, Proceedings. Piskac, R. & Rakamaric, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 347-369 23 p. (Lecture Notes in Computer Science; vol. 15933 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Effective AGM Belief Contraction: A Journey beyond the Finitary Realm

    Klumpp, D. & Ribeiro, J. S., 1 Jan 2025, KR 2025 - Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Ortiz, M., Wassermann, R. & Schaub, T. (eds.). Association for the Advancement of Artificial Intelligence, p. 429-439 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning; vol. 2025-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Commutativity Simplifies Proofs of Parameterized Programs

    Farzan, A., Klumpp, D. & Podelski, A., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, p. 2485-2513 29 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    8 Citations (Scopus)

  • Petrification: Software Model Checking for Programs with Dynamic Thread Management

    Heizmann, M., Klumpp, D., Nitzke, L. & Schüssele, F., 1 Jan 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-25 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Ultimate Automizer and the Abstraction of Bitwise Operations

    Schüssele, F., Bentele, M., Dietsch, D., Heizmann, M., Jiang, X., Klumpp, D. & Podelski, A., 1 Jan 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 418-423 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    15 Citations (Scopus)

  • Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm

    Klumpp, D. & Ribeiro, J. S., 1 Jan 2024, In: CEUR Workshop Proceedings. 3835, p. 34-43 10 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Stratified Commutativity in Verification Algorithms for Concurrent Programs

    Farzan, A., Klumpp, D. & Podelski, A., 9 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 1426-1453 28 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    13 Citations (Scopus)
View all 16 research outputs