Archives mensuelles : janvier 2022

JOURNÉE HIFI : MERCREDI 12 JANVIER 2022 A  la première réunion du GT HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergentsn Guillaume Dupont a présenté  Guillaume Dupont (IRIT / ENSEEIHT) Conception correcte par construction de systèmes hybrides … Continuer la lecture →

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-BGuillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc PantelScience of Computer Programming, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩

Les partenaires se sont réunis le 14 janvier 2022 pour  une réunion plénière en visio: travaux de Marius Hinge travaux de Zheng  Cheng  

Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel: Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Trans. Embed. Comput. Syst. 20(4): 35:1-35:37 (2021)   Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:Event-B Refinement for Continuous Behaviours Approximation. ATVA 2021: 320-336