Archives de l’auteur : Dominique Méry

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.

Le site  du projet ANR DISCONT  est transféré sur ce site. Chaque partenaire recevra  un login et un mot de passe pour se connecter  afin de récupérer les documents  destinés uniquement aux partenaires.