Differential Dynamic Logic for Hybrid Systems, Journal of Automated Reasoning, vol.30, issue.1, pp.143-189, 2008. ,
DOI : 10.1007/978-1-4612-0601-9
Dynamic Logic, Studies in Logic and the Foundations of Mathematics, pp.251-261, 1982. ,
DOI : 10.1016/S0049-237X(09)70196-X
A Component-Based Approach to Hybrid Systems Safety Verification, IFM, ser, pp.441-456, 2016. ,
DOI : 10.1145/2737166.2737167
Refinement calculus: a systematic introduction, 1998. ,
DOI : 10.1007/978-1-4612-1674-2
Action systems with continuous behaviour, International Hybrid Systems Workshop, pp.304-323, 1997. ,
Hybrid action systems, Theoretical Computer Science, vol.290, issue.1, pp.937-973, 2003. ,
DOI : 10.1016/S0304-3975(02)00547-9
Core Hybrid Event-B I: Single Hybrid Event-B machines, Science of Computer Programming, vol.105, pp.92-123, 2015. ,
DOI : 10.1016/j.scico.2015.02.003
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics, 2010. ,
Foundations of cyber-physical systems Lecture Notes 15-424 Computer-controlled systems: theory and design, Courier Corporation, vol.624, 2013. ,
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, pp.757-764, 2015. ,
DOI : 10.1109/ITSC.2015.128
Differential Refinement Logic, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 2016. ,
DOI : 10.1007/978-1-4612-0601-9_4
European Train Control System: A Case Study in Formal Verification, pp.246-265, 2009. ,
DOI : 10.1007/978-3-642-10373-5_13
Logics of Dynamical Systems, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.13-24, 2012. ,
DOI : 10.1109/LICS.2012.13
Refactoring, Refinement, and Reasoning, International Symposium on Formal Methods, pp.481-496, 2014. ,
DOI : 10.1007/978-3-319-06410-9_33
KeYmaera??X: An Axiomatic Tactical Theorem Prover for Hybrid Systems, International Conference on Automated Deduction, pp.527-538, 2015. ,
DOI : 10.1007/978-3-319-21401-6_36
Refinement and continuous behaviour, International Workshop on Hybrid Systems: Computation and Control, pp.223-237, 1999. ,
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*, European Journal of Control, vol.18, issue.3, pp.217-238, 2012. ,
DOI : 10.3166/ejc.18.217-238
Trace refinement of action systems, 1994. ,
Continuous action systems as a model for hybrid systems Linear hybrid action systems, Nord. J. Comput. Nordic Journal of Computing, vol.8, issue.8 1, pp.2-21, 2001. ,
Benchmarks for Hybrid Systems Verification, Hybrid Systems: Computation and Control, pp.326-341, 2004. ,
DOI : 10.1007/978-3-540-24743-2_22
Compositional Contract Abstraction for System Design Available: https, INRIA, Research Report, 2014. ,
Contract-based integration of cyber-physical analyses, Embedded Software (EM- SOFT), 2014 International Conference on, pp.1-10, 2014. ,
dReal: An SMT Solver for Nonlinear Theories over the Reals, Automated Deduction?CADE-24, pp.208-214, 2013. ,
DOI : 10.1007/978-3-642-38574-2_14
Towards verification of hybrid systems in a foundational proof assistant, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.248-257, 2015. ,
DOI : 10.1109/MEMCOD.2015.7340492
Formalizing Hybrid Systems with Event-B, International Conference on Abstract State Machines, pp.178-193, 2012. ,
DOI : 10.1007/978-3-642-30885-7_13
Hybrid systems in TLA+, Hybrid Systems, pp.77-102, 1993. ,
DOI : 10.1007/3-540-57318-6_25