Equipe ACADIE

Responsable : Jan-Georg SMAUS

L’équipe ACADIE (Assistance à la Certification d’Applications DIstribuées et Embarquées) étudie le développement et la vérification de systèmes logiciels critiques pour lesquels il est nécessaire d’exhiber un certificat de correction. L’essence d’un tel certificat est une preuve mathématique de correction. L’équipe ACADIE étudie comment élaborer un tel certificat à trois niveaux :

  • Au niveau fondamental, les concepts de preuve et de calcul sont étudiés. Le cadre formel de la théorie des types et la théorie des catégories est considéré.
  • Au niveau méthode, nous étudions les concepts structurants nécessaires pour faciliter la production de preuves de correction. De plus, nous nous intéressons aux processus de production de logiciels corrects par construction. Nous considérons le développement de logiciels critiques.
  • Au niveau applicatif, nous étudions les systèmes temps réel distribués et en particulier, les systèmes embarqués critiques. Notre objectif est de comprendre les abstractions principales et les processus de développement de ce domaine applicatif, afin de fournir une assistance à la vérification de systèmes distribués critiques.

L’équipe ACADIE est structurée en trois groupes :

  • Théorie des types et théorie des catégories
  • Développement de logiciels critiques
  • Vérification de systèmes distribués critiques

Compétences

Méthodes formelles
Vérification & validation
Environnements de preuve
Systèmes critiques
Modélisation

personnel de l’équipe

Membres permanents
Membres non – permanents
Membres extérieur

publications de l’équipe

Articles dans des revues internationales
  • Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel

    Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B

    Science of Computer Programming, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03513847

  • Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloud

    A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations

    Information Systems, Elsevier, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03170863

  • Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel

    F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID

    Journal of Software: Evolution and Process, John Wiley & Sons, Ltd., In press, ⟨10.1002/smr.2439⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03617603

  • Adam Shimi, Aurélie Hurault, Philippe Quéinnec

    Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

    Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (3), pp.26:1 – 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03352272

  • Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, M Filali

    C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software

    Journal of Systems Architecture, Elsevier, 2021, 118, pp.102202. ⟨10.1016/j.sysarc.2021.102202⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03411219

  • Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, M Filali, Tiexin Wang, Yong Zhou

    Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study

    Science of Computer Programming, Elsevier, 2021, Special issue:SI: Formal Techniques for Safety-Critical Systems 2019, 207, pp.102644. ⟨10.1016/j.scico.2021.102644⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03411222

  • Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, M Filali, Zonghua Gu

    Exploiting augmented intelligence in the modeling of safety-critical autonomous systems

    Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03411215

  • Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel

    Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems

    ACM Transactions on Embedded Computing Systems (TECS), ACM, 2021, 20 (4, Article 35), pp.1-37. ⟨10.1145/3448270⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03266069

  • Neeraj Kumar Singh, Yamine Aït-Ameur, Romain Geniet, Dominique Méry, Philippe Palanque

    On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications

    Interacting with Computers, Oxford University Press (OUP), 2021, ⟨10.1093/iwcomp/iwab016⟩

    Accès: https://hal.inria.fr/hal-03224780

  • Neeraj Kumar Singh, Mark Lawford, Thomas Maibaum, Alan Wassyng

    A formal approach to rigorous development of critical systems

    Journal of Software: Evolution and Process, John Wiley & Sons, Ltd., 2021, Special issue : Safe and secure cyber-physical systems, 33 (e2334), pp.1-27. ⟨10.1002/smr.2334⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03617647

  • Articles dans des revues nationales
    Rédaction de numéros spéciaux de revues
    Conférences et workshops internationaux avec actes édités et comité de lecture
    Conférences et workshops nationaux avec actes édités et comité de lecture
  • Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot

    Jeux incomplets algébriques

    Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.46-53

    Accès: https://hal.archives-ouvertes.fr/hal-03298722

  • Aurélie Hurault, Philippe Quéinnec

    Proving a Non-Blocking Algorithm for Process Renaming with TLA+

    13th International Conference on Tests and Proofs (TAP 2019), part of the 3rd World Congress on Formal Methods, Oct 2019, Porto, Portugal. pp.147-166

    Accès: https://hal.archives-ouvertes.fr/hal-02442015

  • Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec

    A Map of Asynchronous Communication Models

    Refinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02930097

  • Conférences sans actes publiés
    Livres (monographies)
  • Jonathan Certes, Benoît Morgan

    Remote attestation of bare-metal microprocessor software: a formally verified security monitor

    Database and Expert Systems Applications – DEXA 2021 Workshops: BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, Proceedings, 1479, Springer International Publishing, pp.42-51, 2021, Communications in Computer and Information Science book series (CCIS), 978-3-030-87100-0. ⟨10.1007/978-3-030-87101-7_5⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03576711

  • José Espírito Santo, Ralph Matthes, Luís Pinto

    Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

    Ugo de’Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03255968

  • Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh

    Towards Leveraging Domain Knowledge in State-Based Formal Methods

    Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩

    Accès: https://hal.inria.fr/hal-03250787

  • Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry

    Formal Ontological Analysis for Medical Protocols

    Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩

    Accès: https://hal.inria.fr/hal-03199742

  • Yamine Aït-Ameur, Shin Nakajima, Dominique Méry

    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

    Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩

    Accès: https://hal.inria.fr/hal-02910199

  • Ulrich Berger, Ralph Matthes, Anton Setzer

    Martin Hofmann’s Case for Non-Strictly Positive Data Types

    Peter Dybjer; José Espírito Santo; Luís Pinto. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 130, Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, pp.1:1-1:22, 2019, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-106-1. ⟨10.4230/LIPIcs.TYPES.2018.1⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02365814

  • Benedikt Ahrens, Ralph Matthes

    Heterogeneous Substitution Systems Revisited

    Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02360681

  • Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen

    Contracts for System Design

    Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩

    Accès: https://hal.inria.fr/hal-01971429

  • Livres (monographies) Rédaction d’ouvrages de synthèse Contributions à des ouvrages de synthèse
    Thèses et habilitations
  • Maksim Kalameyets

    Algorithms and techniques for bot detection in social networks

    Library and information sciences. Université Paul Sabatier – Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30097⟩

    Accès: https://tel.archives-ouvertes.fr/tel-03560882

  • Adam Shimi

    On the Power of Rounds: Explorations of the Heard-Of Model

    Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Toulouse, 2020. English

    Accès: https://hal.archives-ouvertes.fr/tel-03123969

  • Ian Malakhovski

    Sur le pouvoir expressif des structures applicatives et monadiques indexées

    Analyse numérique [cs.NA]. Université Paul Sabatier – Toulouse III, 2019. Français. ⟨NNT : 2019TOU30118⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02735749

  • Aurélie Hurault

    Formalisations pour les compositions de services

    Informatique [cs]. Institut National Polytechnique de Toulouse (Toulouse INP), 2018

    Accès: https://ut3-toulouseinp.hal.science/tel-03282922

  • Badr Siala

    Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP

    Performance et fiabilité [cs.PF]. Université Paul Sabatier – Toulouse III, 2017. Français. ⟨NNT : 2017TOU30268⟩

    Accès: https://tel.archives-ouvertes.fr/tel-01940514

  • Thèses et habilitations
    • Xavier Thirioux

      Verifying Embedded Systems

      Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, septembre 2016.

      BibTeX

    • Florent Latombe

      Systematic use of models of concurrency in executable domain-specific modelling languages

      Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2016.

      BibTeX

    • Guillaume Verdier

      Variantes de spécifications à ensembles d’acceptation pour la conception modulaire de systèmes

      Thèse de doctorat, Université de Toulouse, mars 2016.

      BibTeX

    • Régis Spadotti

      Une théorie mécanisée des arbres réguliers en théorie des types dépendants

      Thèse de doctorat, Université Paul Sabatier, mai 2016.

      Résumé
      BibTeX

    • Arnaud Dieumegard

      Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages

      Thèse de doctorat, Institut National Polytechnique de Toulouse, janvier 2015.

      BibTeX

    • Faiez Zalila

      Methods and tools for the integration of formal verification in domain-specific languages

      Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2014.

      BibTeX

    • Ievgen Ivanov

      Investigation dans des systèmes abstraits avec entrées et sorties comme fonctions partielles de temps

      Thèse de doctorat, Université Paul Sabatier, décembre 2014.

      Accès : http://www.theses.fr/en/2014TOU30022
      BibTeX

    • Nadezhda Baklanova

      Analyse formellement vérifiée des conflits de partage de ressources en Java multi-tâche

      Thèse de doctorat, Université Paul Sabatier, décembre 2014.

      Résumé Accès : http://www.irit.fr/publis/ACADIE/main.pdf
      BibTeX

    • Hajer Herbegue Bouhachem

      Approche ADL pour la modélisation d’architecture basée sur les contraintes (calcul de WCET)

      Thèse de doctorat, Université Paul Sabatier, septembre 2014.

      BibTeX

    • Ning Ge

      Property Driven Verification Framework: Application to Real-Time Property for UML-MARTE Software Designs

      Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2014.

      BibTeX

    Rapports
  • Albert Benveniste, Jean-Baptiste Raclet

    Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

    [Research Report] RR-9447, Inria Rennes – Bretagne Atlantique. 2022, pp.1-52

    Accès: https://hal.inria.fr/hal-03531059

  • Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet

    Mixed Nondeterministic-Probabilistic Interfaces

    [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40

    Accès: https://hal.inria.fr/hal-02985273

  • Érik Martin-Dorel, Sergei Soloviev

    A Formal Study of Boolean Games with Random Formulas as Pay Functions

    [Research Report] IRIT. 2017

    Accès: https://hal.archives-ouvertes.fr/hal-03109258

  • Rapports

    contrats de l’équipe

    AcronymeTitreResp. scDébut – fin
    EventB-Rodin-Plus – EBRP-EventB-Rodin-Plus anr Enrichissement de EventB et de RODIN : EventB-Rodin-Plus – EBRP-EventB-Rodin-Plus Yamine AIT AMEUR
    2019 – 2023
    ICSPA Assistants de preuve basés sur la théorie des ensembles interopéables et sûres Yamine AIT AMEUR
    2022 – 2025
    DISCONT
    [Contrat terminé]
    anr Intégration correcte de modèles discrets et continus Neeraj SINGH
    2017 – 2022
    FORMEDICIS
    [Contrat terminé]
    anr Méthodes formelles pour le développement et l’ingénierie de systèmes interactifs critiques Yamine AIT AMEUR
    2016 – 2021
    PARDI
    [Contrat terminé]
    anr Vérification de systèmes distribués paramétrés Philippe QUÉINNEC
    2016 – 2021
    IMPEX
    [Contrat terminé]
    Integration des semantique implicite et explicite dans le développement de systèmes discrets fondés sur la panne Yamine AIT AMEUR
    2013 – 2017
    VORACE
    [Contrat terminé]
    anr Vérification des optimisations rapides appliquées à la commande embarquée Marc PANTEL
    2013 – 2016
    CLIMT
    [Contrat terminé]
    autre Méthodes catégoriques et logiques en transformations de modèles Ralph MATTHES
    2012 – 2016
    GeMoC
    [Contrat terminé]
    GeMoC : Un framework de modèles de calcul génériques pour l’éxecution et l’analyse dynamique de modèles Xavier CRÉGUT
    2012 – 2016
    Verisync
    [Contrat terminé]
    autre Vérification formelle d’un générateur de code pour un langage synchrone Martin STRECKER
    2010 – 2014
    AcronymeTitreResp. scDébut – fin
    AcronymeTitreResp. scDébut – fin
    INP2011-003
    [Contrat terminé]
    Modélisation des dépendances entre fonctions de niveau avion pour l’analyse des risques Yamine AIT AMEUR
    2011 – 2012
    Vendredi 3 Décembre 2021, 14h00
    Development of a Formal Verification Methodology for B specifications using PERF toolkit. Application to safety requirements of railway systems
    Alexandra HALCHIN – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle du Conseil (F501)
    #these
    Jeudi 14 Janvier 2021, 15h00
    Conception Correcte par Construction de Systèmes Hybrides Basée sur le Raffinement et la Preuve
    Guillaume DUPONT – Equipe ACADIE, IRIT INP-ENSEEIHT, En visioconférence
    #these
    Lundi 14 Septembre 2020, 10h00
    Un environnement formel pour la sémantique des systèmes hétérogènes
    Mathieu MONTIN – Equipe ACADIE, IRIT INP-ENSEEIHT, Auditorium et via visioconférence
    #these
    Vendredi 12 Juin 2020, 14h00
    Transformations sémantiques pour l’évolution des modèles de données
    Lynda AIT OUBELLI – Equipe ACADIE, IRIT INP-ENSEEIHT, En visioconférence
    #these
    Mardi 15 Octobre 2019, 14h00
    Sur le pouvoir expressif des structures applicatives et monadiques indexées
    Ian MALAKHOVSKI – Equipe ACADIE, IRIT UT3 Paul Sabatier, IRIT, Salle 001
    #these
    Vendredi 15 Décembre 2017, 9h00
    Formal decomposition of Event-B centralized specifications: application to BIP distributed systems
    Badr SIALA – Equipe ACADIE – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Mercredi 22 Novembre 2017, 10h15
    Formalisation des interactions asynchrones
    Florent CHEVROU – Equipe ACADIE – IRIT INP-ENSEEIHT, Salle des thèses
    #these
    Jeudi 6 Juillet 2017, 9h30
    A formal approach for correct-by-construction system substitution
    Guillaume BABIN – Equipe ACADIE – IRIT ENSEEIHT, Amphi A001
    #these
    Mercredi 5 Juillet 2017, 9h30
    Modular avionics software integration on multicore COTS: certification-compliant methodology and timing analysis metrics for legacy software reuse…
    Soukayna M’SIRDI – Equipe ACADIE – IRIT ENSEEIHT, Amphi A001
    #these
    Mercredi 13 Juillet 2016, 11h00
    Systematic Use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages
    Florent LATOMBE – Equipe ACADIE – IRIT Salle du Conseil, F501
    #these
    Lundi 28 Octobre 2019 – Jeudi 31 Octobre 2019
    MEDI 2019 : 9th International Conference on Model and Data Engineering
    INP-ENSEEIHT
    #congres En savoir plus
    Lundi 26 Juin 2017 – Vendredi 30 Juin 2017
    École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
    INP-ENSEEIHT, Toulouse
    #congres En savoir plus
    Lundi 12 Décembre 2016 – Vendredi 16 Décembre 2016
    World Champions Programming School at Toulouse
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres En savoir plus
    Mercredi 18 Juin 2014 – Vendredi 20 Juin 2014
    LACL 2014 : Logical Aspects of Computational Linguistics
    UT3 Paul Sabatier, IRIT
    #congres En savoir plus
    Lundi 2 Juin 2014 – Jeudi 5 Juin 2014
    ABZ 2014 : 4th International Conference ASM, Alloy, B, TLA, VDM, Z
    Toulouse
    #congres En savoir plus
    Jeudi 27 Février 2020, 16h00 – 17h00
    Défis de génie logiciel dans l’évolution collaborative de l’assistant de preuve Coq et son écosystème
    Théo ZIMMERMANN – Inria, Université de Paris, IRIF, CNRS UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    Jeudi 26 Septembre 2019, 14h00 – 15h00
    Security and Privacy in Smart Environments
    Andrey CHECHULIN – Saint-Petersbourg Institute for Informatics and Automatisation (Russie) UT3 Paul Sabatier, IRIT, Salle 003
    #seminaire
    Mercredi 29 Mai 2019, 14h30 – 15h30
    Sécurité avec SGAC et ASTD
    Marc FRAPPIER – Université de Sherbrooke, Groupe de recherche en informatique fondamentale (GRIF) (Canada) INP-ENSEEIHT, Salle des thèses
    #seminaire
    Vendredi 16 Février 2018, 10h30 – 12h00
    Algorithmes naturels et systèmes d’influence
    Bernadette CHARRON-BOST – Laboratoire d’informatique de l’École Polytechnique (LIX) (France) INP-ENSEEIHT, Salle des thèses
    #seminaire
    Mardi 21 Février 2017, 16h00 – 17h30
    Symbolic Dynamics, Asymptotic Combinatorics and Game Theory
    Nicolaï VASILYEV – Inst. de Mathématiques Steklov, St. Petersbourg (Russie) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Mardi 10 Janvier 2017, 14h00 – 15h30
    A new dimension of Cloud Governance
    Ernesto PIMENTEL – Université de Malaga (Espagne) INP-ENSEEIHT, Salle des thèses
    #seminaire
    Lundi 12 Décembre 2016, 14h00 – 15h30
    Challenges in Certification of Model-Based Design of Cyber-Physical Systems
    Alain WASSYNG – Université de Mac Master, Hamilton, Ontario (Canada) ENSEEIHT, Amphitheâtre A001
    #seminaire
    Mardi 2 Septembre 2014, 11h00
    Verified Decision Procedures for Regular Expression Equivalence
    Tobias NIPKOW – Technische Universität München (Allemagne) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Jeudi 23 Janvier 2014, 14h00
    From MTL to deterimistic timed automata
    Dejan NICKOVIC – Austrian Institute of Technology (Autriche) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    Vendredi 6 Juillet 2018, 9h30
    Formalisations pour les compositions de services
    Aurélie HURAULT – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
    #hdr
    Lundi 19 Septembre 2016, 9h30
    Verifying Embedded Systems
    Xavier THIRIOUX – Equipe ACADIE – IRIT INP-ENSEEIHT, Salle des theses
    #hdr
    Jeudi 25 Juin 2015
    Journée du GDR GPL – Génie Logiciel et Transfert Technologique
    UT3 Paul Sabatier, IRIT
    #journee
    Mercredi 22 Avril 2015 – Jeudi 23 Avril 2015
    Journées FAC’2015 : Formalisation des Activités Concurrentes
    INP-ENSEEIHT, Salle des theses
    #journee