-
Articles récents
Archives
janvier 2022 L M M J V S D 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
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
Publié dans Non classé
Commentaires fermés sur JOURNÉE HIFI : MERCREDI 12 JANVIER 2022
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⟩
Publié dans Non classé
Commentaires fermés sur Dernière publication du projet
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
Publié dans Non classé
Commentaires fermés sur Réunion plénière du projet le 14 janvier 2022
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
Publié dans Non classé
Commentaires fermés sur Publications sur les modèles hybrides IRIT en 2021