The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995. ,
Logical Foundations of Cyber-Physical Systems, 2018. ,
Core Hybrid Event-B I: Single Hybrid Event-B machines, Science of Computer Programming, vol.105, pp.92-123, 2015. ,
Formal Verification of Simulink/Stateflow Diagrams -A Deductive Approach, 2017. ,
Digital Control Systems Design Identification and Implementation, 2010. ,
Making explicit domain knowledge in formal system development, Science of Computer Programming, vol.121, pp.100-127, 2016. ,
Domain analysis and description principles, techniques, and modelling languages, ACM Transactions on Software Engineering and Methodology, vol.28, issue.2, pp.1-8, 2019. ,
Formalizing hybrid systems with Event-B and the Rodin platform, Science of Computer Programming, vol.94, pp.164-202, 2014. ,
Handling refinement of continuous behaviors: A proof based approach with Event-B, 13th International Symposium on Theoretical Aspects of Software Engineering, pp.9-16, 2019. ,
, Collaborative Design for Embedded Systems Co-modelling and Co-simulation, 2014.
Features of integrated model-based comodelling and co-simulation technology, 17th International Conference on Software Engineering and Formal Methods, pp.377-390, 2017. ,
New opportunities for integrated formal methods, ACM Computing Surveys, vol.52, issue.6, pp.1-36, 2019. ,
A calculus for hybrid CSP, 8th Asian Symposium on Programming Languages and Systems, pp.1-15, 2010. ,
Continuous action systems as a model for hybrid systems, Nordic Journal of Computing, vol.8, issue.1, pp.2-21, 2001. ,
Mathematical extension in event-b through the rodin theory component, 2010. ,
, Modeling in Event-B: system and software engineering, 2010.
Eb2all: an automatic code generation tool. In Using Event-B for Critical Device Software Systems, pp.105-141, 2013. ,
On two friends for getting correct programs -automatically translating Event-B specifications to recursive algorithms in rodin, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.821-838, 2016. ,
Dafny: An automatic program verifier for functional correctness, 17th International Conference on Logic for Programming Artificial Intelligence and Reasoning, pp.348-370, 2010. ,
The full development of smart heating system case study in Event ,
Why3 -where programs meet provers, 22nd European symposium on programming, pp.125-128, 2013. ,
Pegasus: A framework for sound continuous invariant generation, 23rd International Symposium on Formal Methods, pp.138-157, 2019. ,