Author of the publication

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.

 

Other publications of authors with the same name

Switched Systems as Hybrid Programs., and . ADHS, volume 54 of IFAC-PapersOnLine, page 247-252. Elsevier, (2021)Formalizing Coppersmith's Method in Isabelle/HOL., , and . CICM, volume 14960 of Lecture Notes in Computer Science, page 127-145. Springer, (2024)Pegasus: A Framework for Sound Continuous Invariant Generation., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 138-157. Springer, (2019)Functional Big-Step Semantics., , , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 589-615. Springer, (2016)Certified MaxSAT Preprocessing., , , , , and . CoRR, (2024)Implicit Definitions with Differential Equations for KeYmaera X - (System Description)., , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 723-733. Springer, (2022)ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 141-161. EasyChair, (2019)Deductive Stability Proofs for Ordinary Differential Equations., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 181-199. Springer, (2021)Differential Equation Invariance Axiomatization., and . CoRR, (2019)An Axiomatic Approach to Liveness for Differential Equations., and . FM, volume 11800 of Lecture Notes in Computer Science, page 371-388. Springer, (2019)