( en | de | ru )

 

Disambiguierung von "Klumpp, Dominik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
$K$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages.

, und . WADT, Volume 12669 von Lecture Notes in Computer Science, Seite 98-119. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dieter Klumpp

Gerhard Klumpp

Gerhilde Klumpp

Otto Klumpp

Willy Klumpp

 

Weitere Publikationen von Autoren mit dem selben Namen

$K$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages., und . WADT, Volume 12669 von Lecture Notes in Computer Science, Seite 98-119. Springer, (2020)Sound sequentialization for concurrent program verification., , und . PLDI, Seite 506-521. ACM, (2022)Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)., , , , , , , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 577-581. Springer, (2023)Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)., , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 582-587. Springer, (2023)Commutativity Simplifies Proofs of Parameterized Programs., , und . CoRR, (2023)Ultimate GemCutter and the Axes of Generalization - (Competition Contribution)., , , , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 479-483. Springer, (2022)Stratified Commutativity in Verification Algorithms for Concurrent Programs., , und . Proc. ACM Program. Lang., 7 (POPL): 1426-1453 (Januar 2023)Commutativity Simplifies Proofs of Parameterized Programs., , und . Proc. ACM Program. Lang., 8 (POPL): 2485-2513 (Januar 2024)Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems., , , und . FAS*W@SASO/ICCAC, Seite 120-125. IEEE, (2016)Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)., , , und . CoRR, (2023)