-
Articles récents
Archives
octobre 2024 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 de l’auteur : Dominique Méry
PhD Defense of Meryem Afendi on Monday December 12, 2022
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
Publié dans Non classé
Commentaires fermés sur PhD Defense of Meryem Afendi on Monday December 12, 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
Publications des travaux de deux partenaires à ABZ 2020
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
Publié dans Non classé
Commentaires fermés sur Publications des travaux de deux partenaires à ABZ 2020
Réunion Générale en Visio du 23 juin 2020
Les partenaires organisent une réunion à Aix en visio et font le point semestriel.
Publié dans Non classé
Commentaires fermés sur Réunion Générale en Visio du 23 juin 2020
Visite de ClearSy par le LORIA du 17 au 20 février 2020
Les partenaires ClearSy et LORIA travaillent sur un développement commun d’utilisation de l’Atelier B.
Publié dans Non classé
Commentaires fermés sur Visite de ClearSy par le LORIA du 17 au 20 février 2020
Réunion Générale à Fontainebleau 20 et 21 Janvier 2020
La réunion a lieu à l’IUT de Sénart et est organisée par le LACL.
Publié dans Non classé
Commentaires fermés sur Réunion Générale à Fontainebleau 20 et 21 Janvier 2020
Réunion générale du projet DISCONT à Nancy au LORIA le 4 et 5 avril 2019
Les partenaires sont réunis pou!r faire le point sur le projet et les avancées des différentes tâches.
Publié dans Non classé
Commentaires fermés sur Réunion générale du projet DISCONT à Nancy au LORIA le 4 et 5 avril 2019