K and KIV: Towards Deductive Verification for Arbitrary Programming Languages

von Klumpp, Dominik
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)

TRPM2- und TRPM8-vermittelte Radioresistenz in malignen Tumoren

von Klumpp, Dominik
Veröffentlicht 2016

Petrification: Software Model Checking for Programs with Dynamic Thread Management

von Heizmann, Maithias
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)

Test case selection strategy for self-organization mechanisms

von Eberhardinger, Benedikt
Veröffentlicht in Test, Analyse und Verifikation von Software - gestern, heute, morgen (2018)

Verification of Concurrent Programs Using Petri Net Unfoldings

von Dietsch, Daniel
Veröffentlicht in VMCAI (22. : 2021 : Online) Verification, model checking, and abstract interpretation (2021)

ULTIMATE GEMCUTTER and the Axes of Generalization: (Competition Contribution)

von Klumpp, Dominik
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)