selected publications

• chapter

  • Modelling Hybrid Programs with Event-B.  Lecture notes in computer science. 139-154. 2020

• conference paper

  • A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.  . 71-83. 2023