Dépt. Fiabilité des systèmes et des logiciels

Responsable :  Philippe PALANQUE

Le département « Fiabilité des Systèmes et du Logiciel » (FSL) mène des travaux de recherche centrés autour de deux activités complémentaires :

  • la conception de techniques et de méthodes rigoureuses supportant le développement de systèmes et de logiciels de qualité.
  • le développement de systèmes et de logiciels de qualité en utilisant des méthodes et techniques rigoureuses ;

avec une attention systématique à la production de certificat de confiance sur la qualité (sûreté, sécurité, fiabilité…) des systèmes et logiciels étudiés

Plusieurs domaines d’applications sont visés par les différentes études menées au sein du département FSL : systèmes embarqués et cyber-physiques, systèmes interactifs, systèmes distribués, logiciels de calculs numériques, aéronautique et transport, systèmes médicaux, etc.

Activités scientifiques

Les activités de recherche du département FSL traitent du développement de systèmes et de logiciels complexes de qualité ainsi que des processus supports à ces développements avec un intérêt particulier sur l’évaluation de la qualité (temps, sureté, sécurité, utilisabilité, etc.) à la fois de ces systèmes et des processus. Les systèmes et logiciels étudiés peuvent être aussi bien à base de processus ou de données, centralisés ou distribués, contrôlés en boucle ouverte ou fermée, communicants ou interagissant avec l’humain ou l’environnement, hybrides intégrant des comportements discrets et continus, et peuvent impliquer du logiciel et du matériel. Coté processus de développement, le département s’intéresse tout particulièrement aux changements et aux évolutions des systèmes avec la prise en compte de la gestion des évolutions, du reporting et de l’analyse d’impact définition des processus.

Les applications visées sont principalement les systèmes critiques comme les systèmes embarqués, les systèmes de transport, les systèmes médicaux, etc.

Les activités du département s’inscrivent dans le grand sujet scientifique de l’IRIT « Conception et construction de systèmes (fiables, surs, adaptatifs, distribués, communicants, dynamiques …). Les applications visées appartiennent aux domaines d’applications stratégiques de l’IRIT « Aéronautique et espace, transport », « Sécurité du patrimoine et des personnes » ou « Santé, autonomie, vivant, bien-être ».

Structure du département

En accord avec la structure adoptée au sein de l’IRIT, le département FSL est composé de 4 équipes de recherche ACADIE, ARGOS, ICS et SM@RT avec 34 chercheurs et enseignants-chercheurs permanents et 24 doctorants (Janvier 2019).

Les 4 équipes de recherche regroupent des permanents appartenant à quatre différents établissements : Université Paul Sabatier, (UPS), INPT-ENSEEIHT, Université de Toulouse 2 Jean Jaurès (UT2J) et Université de Toulouse 1 Capitole (UT1C). Les personnels sont répartis sur 7 sites géographiques (UPS IRIT, UPS IUT A, ENSEIHT, UT1 Capitole, IUT Rodez, UT2J, IUT Blagnac) comme suit : ACADIE (19 à l’ENSEEIHT et 10 à l’UPS), ARGOS (2 à l’UPS, 4 à l’UPS-IUT A, 1 à l’UT2J et 1 à UT2J IUT Blagnac), ICS (2 à l’UPS et 1 l’UT1C) et SM@RT (5 à l’UT2J).

Compétences

Méthodes formelles
Processus de développement
Ingénierie des modèles
Ingénierie des exigences
Vérification et validation
Systèmes embarqués
Certification des outils et des systèmes

publications of the apllication areas

Articles dans des revues internationales
  • Saloua Bennani, Sophie Ebersold, Mahmoud El Hamlaoui, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar

    A Group Decision-Making Approach for Global Consistency of Heterogeneous Models

    International Journal of Information Technology and Decision Making, World Scientific Publishing, 2022, pp.1-34. ⟨10.1142/s0219622022500316⟩

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

  • Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere

    Engineering Operations-based Training

    Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2022, EICS, 6 (Article N° 164), pp.1-25. ⟨10.1145/3534518⟩

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

  • Marco Winckler, Philippe Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves

    Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems

    Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), In press, Journal PACM EICS series, EICS 2022

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

  • 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., inPress, ⟨10.1002/smr.2439⟩

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

  • Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon

    An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities

    ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, In press, ⟨10.1145/3554732⟩

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

  • Iulian Ober, Kamal Boumaza, Cherif Tolba

    Formal Verification of Emergent Properties

    Informatica, Slovene Society Informatika, Ljubljana, 2021, 45 (3), ⟨10.31449/inf.v45i3.3160⟩

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

  • 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

  • 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

  • Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah

    Collaborative Processes Management: from Modeling to Enacting

    22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018), May 2018, Nanjing, China. pp.0

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

  • Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette

    Heterogeneous design models alignment: from matching to consistency management

    33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Apr 2018, Pau, France. pp.1695-1697

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

  • Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer

    Intégration des (multi-)exigences tout au long du développement des systèmes complexes

    16emes Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63

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

  • Philippe Palanque, Célia Martinie de Almeida, Fayollas Camille

    Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)

    CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩

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

  • Conférences sans actes publiés
    Livres (monographies)
    Thèses et habilitations
  • Florian Galinier

    Seamless development of complex systems : a multirequirements approach

    Software Engineering [cs.SE]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30130⟩

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

  • Quentin Rouland

    Rigorous development of secure architecture within the negative and positive statements : properties, models, analysis and tool support

    Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30251⟩

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

  • 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

  • Sophie Ebersold

    Modélisation des systèmes complexes et Points de vue : l’Ingénierie des Modèles centrée utilisateur pour l’Ingénierie Système

    Modélisation et simulation. Université de Toulouse, 2021

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

  • Elodie Bouzekri

    Notation et processus outillé pour la description, l’analyse et la compréhension de l’automatisation dans les systèmes de commande et contrôle

    Automatique. Université Paul Sabatier – Toulouse III, 2021. Français. ⟨NNT : 2021TOU30003⟩

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

  • Maroun Koussaifi

    Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant

    Interface homme-machine [cs.HC]. Université Paul Sabatier – Toulouse III, 2020. Français. ⟨NNT : 2020TOU30212⟩

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

  • 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

  • Mamadou Lakhassane Cisse

    Modélisation et exécution flexible de processus collaboratifs

    Autre [cs.OH]. Université Toulouse le Mirail – Toulouse II; Université Cheikh Anta Diop (Dakar), 2020. Français. ⟨NNT : 2020TOU20038⟩

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

  • Renan Leroux-Beaudout

    Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l’ingénierie système dirigée par les modèles

    Système d’exploitation [cs.OS]. Université Paul Sabatier – Toulouse III, 2020. Français. ⟨NNT : 2020TOU30089⟩

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

  • Saloua Bennani

    Une approche IDM pour l’alignement collaboratif de modèles hétérogènes

    Autre [cs.OH]. Université Toulouse le Mirail – Toulouse II; Université Mohammed V (Rabat), 2020. Français. ⟨NNT : 2020TOU20029⟩

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

  • 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

  • Maroun Koussaifi, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel

    Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering

    [Research Report] IRIT/RR–2020–06–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2020

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

  • Florian Galinier

    Formal Semantics of Requirements Relationships for Traceability

    [Research Report] IRIT. 2019

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

  • Thierry Millan, Hervé Leblanc, Christian Percebois

    A Dynamic Type System for OCL

    [Research Report] IRIT. 2017

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

  • É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
    Mercredi 5 Octobre 2022, 9h30
    Théorie de l’affordance dans l’évaluation de l’expérience utilisateur
    Hamna ASLAM – , IRIT UT3 Paul Sabatier, IRIT, Salle 001
    #these
    Mercredi 5 Octobre 2022, 9h30
    Théorie de l’affordance dans l’évaluation de l’expérience utilisateur
    Hamna ASLAM – , IRIT UT3 Paul Sabatier, IRIT, Salle 001
    #these
    Lundi 13 Décembre 2021, 14h00
    Integrated Conceptual Design Evaluation of Mechatronic Systems Using SysML
    Mohammad CHAMI – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Salle de Direction Rdc IRIT2
    #these
    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
    Lundi 8 Novembre 2021, 14h30
    Développement sans rupture de systèmes complexes : une approche basée multi-exigences
    Florian GALINIER – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Vendredi 29 Octobre 2021, 14h00
    Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support
    Quentin ROULAND – Equipe ARGOS, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #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
    Jeudi 14 Janvier 2021, 14h00
    Notation et processus outillé pour la description, l’analyse et la compréhension de l’automatisation dans les systèmes de commande et contrôle
    Elodie BOUZEKRI – Equipe ICS, IRIT UT3 Paul Sabatier, Salle des thèses et en visioconférence
    #these
    Vendredi 18 Décembre 2020, 9h00
    Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant
    Maroun KOUSSAIFI – Equipe SMAC, Equipe SMART, IRIT UT3 Paul Sabatier, En visioconférence
    #these
    Jeudi 1 Octobre 2020, 14h00
    Méthodologie de conception de systèmes de simulation en entreprise étendue, basée sur l’ingénierie système dirigée par les modèles
    Renan LEROUX-BEAUDOUT – Equipe ARGOS, Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #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
    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 3 Septembre 2018 – Vendredi 7 Septembre 2018
    ISSA : International Workshop on Interplay of Security, Safety and System/Software Architecture in conjunction with ESORICS 2018 conference
    Barcelona (Espagne)
    #congres En savoir plus
    Lundi 11 Septembre 2017 – Vendredi 15 Septembre 2017
    International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
    Canterbury (Royaume-Uni)
    #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
    Lundi 5 Septembre 2016 – Mardi 6 Septembre 2016
    International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
    Istanbul (Turquie)
    #congres En savoir plus
    Mercredi 30 Septembre 2015 – Vendredi 2 Octobre 2015
    5th International Conference on Application and Theory of Automation in Command and Control Systems
    UT3 Paul Sabatier, IRIT
    #congres En savoir plus
    Mardi 1 Juillet 2014 – Vendredi 4 Juillet 2014
    ICWE 2014 : International Conference on Web Engineering
    UT1 Capitole
    #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
    Mardi 13 Juillet 2021, 15h30 – 16h30
    It Seems (Un)Fair to Me…Users’ perception of algorithmic fairness: a framework and a case study
    Tsvii KUFLIK – University of Haifa (Israel) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    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
    Mardi 9 Avril 2019, 15h00 – 16h00
    Amplification of the Human Mind and Intervention User Interfaces: New Interaction Paradigms in the Age of Artificial Intelligence
    Albrecht SCHMIDT – Ludwig-Maximilians-Universität München (Allemagne) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    Vendredi 29 Mars 2019, 15h30 – 16h45
    Vers une taxonomie des exigences
    Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Vendredi 6 Avril 2018, 13h00 – 14h00
    Séminaire IRIT-UT2J – Initiation à la programmation par les objets, Eiffel et la conception par contrats : 15 ans et 5000 étudiants plus tard
    Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, 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
    Jeudi 9 Février 2017, 14h00 – 15h30
    Ingénierie des Exigences
    Nacer Eddine ZAROURDE – Université Constantine 2 (Algérie) UT2J, Maison de la Recherche, Bât Olympe de Gouges, GS 121
    #seminaire
    Vendredi 12 Mars 2021, 9h00
    Modélisation des systèmes complexes et Points de vue : l’Ingénierie Des Modèles centrée utilisateur pour l’Ingénierie Système
    Sophie EBERSOLD – Equipe SMART, IRIT UT2 Jean Jaurès, en visioconférence
    #hdr
    Mercredi 1 Juillet 2020, 15h00
    Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions
    Celia MARTINIE DE ALMEIDA – Equipe ICS, IRIT UT3 Paul Sabatier, En visioconférence
    #hdr
    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
    Mercredi 13 Juillet 2016, 15h00
    Engineering Interactive Systems across application domains
    Marco Antonio WINCKLER – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #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