Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Dominik Rafael Klumpp

Voir le profil Scopus

Dominik Rafael Klumpp

  • 124
    Citations
20212026

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Dominik Rafael Klumpp est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 12 Contribution à une conférence
  • 3 Article
  • 1 Article de conférence

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

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

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • 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 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    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 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    5 Citations (Scopus)

  • Counterexample-Guided Commutativity

    Ebbinghaus, M., Klumpp, D. & Podelski, A., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

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

    Klumpp, D. & Ribeiro, J. S., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Commutativity Simplifies Proofs of Parameterized Programs

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

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    8 Citations (Scopus)

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

    Heizmann, M., Klumpp, D., Nitzke, L. & Schüssele, F., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    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 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    15 Citations (Scopus)

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

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

    Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

  • Stratified Commutativity in Verification Algorithms for Concurrent Programs

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

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    13 Citations (Scopus)
Tout afficher 16 résultat de recherche