( en | de | ru )

 

Disambiguation of "Klumpp, Dominik"

Author of the publication

copydeleteadd this publication to your clipboard
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).

, , , , , , and . TACAS (3), volume 14572 of Lecture Notes in Computer Science, page 418-423. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dieter Klumpp

Gerhard Klumpp

Gerhilde Klumpp

Otto Klumpp

Willy Klumpp

 

Other publications of authors with the same name

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