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

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow., , , and . J. Comput. Sci. Technol., 35 (6): 1324-1342 (2020)Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems., , , , , , and . CoRR, (2024)Auto2 Prover.. Arch. Formal Proofs, (2018)HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic., , and . FM, volume 14000 of Lecture Notes in Computer Science, page 160-178. Springer, (2023)Formal Verification of Consensus in the Taurus Distributed Database., , , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 741-751. Springer, (2021)Formal Analysis of 5G AKMA., , , , , , , and . SETTA, volume 13071 of Lecture Notes in Computer Science, page 102-121. Springer, (2021)Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization., , , , and . SETTA, volume 13071 of Lecture Notes in Computer Science, page 3-21. Springer, (2021)Learning One-Clock Timed Automata., , , , and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 444-462. Springer, (2020)Design of Point-and-Click User Interfaces for Proof Assistants., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 86-103. Springer, (2019)Formalization of the Fundamental Group in Untyped Set Theory Using Auto2.. ITP, volume 10499 of Lecture Notes in Computer Science, page 514-530. Springer, (2017)