Archives mensuelles : janvier 2022
JOURNÉE HIFI : MERCREDI 12 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
Dernière publication du projet
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⟩
Réunion plénière du projet le 14 janvier 2022
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
Publications sur les modèles hybrides IRIT en 2021
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