Author of the publication

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

, , , , , , , and . Provably Correct Systems, Springer, (2017)

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

HORAE: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation., , , , , , , , and . CoRR, (2024)Reachability Analysis for Solvable Dynamical Systems., , , , and . IEEE Trans. Automat. Contr., 63 (7): 2003-2018 (2018)From model to implementation: a network algorithm programming language., , , , , , and . Sci. China Inf. Sci., (2020)PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot., , , , , , , , and . CoRR, (2022)Computing reachable sets of linear vector fields revisited., , , , and . ECC, page 419-426. IEEE, (2016)Unbounded-Time Safety Verification of Stochastic Differential Dynamics., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 327-348. Springer, (2020)NIL: Learning Nonlinear Interpolants., , , , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 178-196. Springer, (2019)Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations., , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 650-669. Springer, (2019)Proving Functional Program Equivalence via Directed Lemma Synthesis., , , , , and . CoRR, (2024)MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification., , , , , , and . ASPLOS (3), page 671-688. ACM, (2024)