Archives de l’auteur : Dominique Méry

Meryem Afendi has defended her PhD   and the committee  was Richard Banach, Frédéric Mallet, Burkhardt Wolff, Dominique Méry, Amel Mamarn Régine Laleau. The PhD is entitled: Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes … Continuer la lecture →

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    

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh: Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ 2020: 169-185 Meryem Afendi, Régine Laleau, Amel Mammar: Modelling Hybrid Programs with Event-B. ABZ 2020: 139-154 … Continuer la lecture →

Les partenaires  organisent une réunion à Aix en visio et font le point semestriel.  

Les partenaires ClearSy et LORIA  travaillent  sur un développement commun  d’utilisation de l’Atelier B.

La réunion a lieu à l’IUT de Sénart et est organisée par le LACL.

Les partenaires sont réunis pou!r faire le point sur le projet et les avancées des différentes tâches.