Équipe ICS

Responsable :

L’équipe ICS (Interactive Critical Systems) concentre ses recherches sur le domaine des interactions homme-machine en mettant en avant une approche d’ingénierie. Ses principales contributions couvrent l’ensemble du processus de développement et concernent les notations, formalismes, méthodes, outils logiciels et processus pour la spécification, la conception, l’implémentation et la validation de systèmes interactifs critiques. Elle s’intéresse au traitement de façon intégrée de plusieurs facteurs du logiciel tels que : utilisabilité, expérience utilisateur, fiabilité, jouabilité, tolérance aux fautes, … Elle s’intéresse aussi aux possibles conflits entre ces propriétés ainsi qu’à leur résolution tout au long du cycle de vie du logiciel.

Les différents travaux de l’équipe ICS ont été appliqués aux domaines d’application des systèmes critiques:

Au-delà de ces domaines critiques bien connus, nous abordons les domaines où les coûts potentiels d’une défaillance sont beaucoup plus élevés que les coûts de développement. Il s’agit notamment de domaines d’application tels que les grandes applications web, les systèmes grand public comme le divertissement à domicile et les jeux vidéo, et plus récemment les applications de santé comme les plateformes d’entraînement à la réadaptation post-AVC.

L’équipe d’ICS est reconnue internationalement pour ses recherches en IHM avec notamment la présidence du comité technique TC13 de l’IFIP. De plus, certains des membres de l’équipe ICS ont une participation majeure dans le leadership de l’ACM SIGCHI avec une implication de longue durée dans son comité exécutif et via la présidence du comité de pilotage de la série de conférences ACM CHI.

Nous accueillons régulièrement des chercheurs invites pour collaborer avec nous: Voici des exemples de visites récentes :

  • Andy Cockburn and Carl Gutwin for the design of safe touch interactions in the cockpit
  • Georgia Lallai and Davide Spano for the engineering of task-model based augmented reality for initial training in the cockpit

L’équipe ICS gère le master en IHM de l’Université Toulouse III – Paul Sabatier créé en 2000 et co-accrédité avec l’ENAC.

Compétences

Interaction homme-machine
Ingénierie des systèmes interactifs
Systèmes interactifs critiques
Modélisation
Méthodes formelles
Vérification & Validation

personnel de l’équipe

publications de l’équipe

Articles dans des revues internationales
  • 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

  • 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

  • Alexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris

    Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool

    Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩

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

  • Mathias Funk, Rong-Hao Liang, Philippe Palanque, Jun Hu, Panos Markopoulos

    Designing and Engineering Interactive Computing Systems

    Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2021, 5 (EICS, article 193), pp.1-4. ⟨10.1145/3457140⟩

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

  • 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

  • Giorgia Lallai, Giovanni Loi Zedda, Célia Martinie, Philippe Palanque, Mauro Pisano, Lucio Davide Spano

    Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures

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

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

  • David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken

    Model-based Engineering of Feedforward Usability Function for GUI Widgets

    Interacting with Computers, Oxford University Press (OUP), 2021, 33 (1), pp.73-91. ⟨10.1093/iwcomp/iwab014⟩

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

  • Yamine Aït-Ameur, Judy Bowen, José Campos, Philippe Palanque, Benjamin Weyers

    Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems

    Interacting with Computers, Oxford University Press (OUP), 2021, Special Issue: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems, 33 (1), pp.1-2. ⟨10.1093/iwc/iwab005⟩

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

  • José Creissac Campos, Fayollas Camille, Michael Harrison, Célia Martinie, Paolo Masci, Philippe Palanque

    Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools

    ACM Transactions on Computer-Human Interaction, Association for Computing Machinery, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩

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

  • 503 Service Temporarily Unavailable

    Service Temporarily Unavailable

    The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

    503 Service Temporarily Unavailable

    Service Temporarily Unavailable

    The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

    Conférences et workshops internationaux avec actes édités et comité de lecture
  • Célia Martinie, Philippe Palanque

    Task Models Based Gameful Design as a Mean to Increase Engagement with Automation

    Workshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022, Apr 2022, New Orleans, United States

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

  • Célia Martinie, Christos Grigoriadis, Eleni-Maria Kalogeraki, Panayiotis Kotzanikolaou

    Modelling Human Tasks to Enhance Threat Identification in Critical Maritime Systems

    25th Pan-Hellenic Conference on Informatics (PCI 2021), Nov 2021, Volos, Greece. pp.375-380, ⟨10.1145/3503823.3503892⟩

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

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

    Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

    7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩

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

  • Célia Martinie, Philippe Palanque

    Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults

    International Symposium on Human System Integration (INCOSE 2021), International Council on Systems Engineering (INCOSE), Nov 2021, San Diego (Virtual), United States. pp.224-233, ⟨10.1002/iis2.12889⟩

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

  • Elodie Bouzekri, Célia Martinie, Philippe Palanque, Katrina Atwood, Christine Gris

    Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs

    18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩

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

  • Konrad Baumann, José Creissac Campos, Alan Dix, Laurence Nigay, Philippe Palanque, Jean Vanderdonckt, Gerrit Van der Veer, Benjamin Weyers

    HCI-E²: HCI Engineering Education: For Developers, Designers and More

    18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bary, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_74⟩

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

  • Philippe Palanque

    POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People

    18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩

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

  • Tilo Mentler, Philippe Palanque, Susanne Boll, Chris Johnson, Kristof van Laerhoven

    Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues

    IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩

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

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

    Standard Conformance-by-Construction with Event-B

    FMICS 2021 – 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩

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

  • Philippe Palanque

    Introductory Course on Automation and its Use for Interactive Systems Design and Engineering

    Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama (virtual), Japan. pp.1-4, ⟨10.1145/3411763.3445003⟩

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

  • 503 Service Temporarily Unavailable

    Service Temporarily Unavailable

    The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

    Livres (monographies)
  • Célia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni

    A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms

    Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Larusdottir; Lucio Davide Spano. Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.290-301, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_26⟩

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

  • Elodie Bouzekri, Célia Martinie, Philippe Palanque, Erwann Poupart, Sandra Steere

    UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers

    Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.357-367, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_31⟩

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

  • Sybille Caffiau, José Campos, Célia Martinie, Laurence Nigay, Philippe Palanque, Lucio Davide Spano

    Teaching HCI Engineering: Four Case Studies

    Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.195-210, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_18⟩

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

  • Matthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi

    AutomationXP 2021: Automation Experience at the Workplace 2021

    Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Yokohama (virtual), Japan. CEUR Workshop Proceedings, 2905, CEUR-WS.org, pp.1-180, 2021, ISSN: 1613-0073

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

  • Philippe Palanque

    EICS ’21: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems

    ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), Eindhoven (virtual), Netherlands. ACM: Association for Computing Machinery, New York, 2021, 978-1-4503-8449-0. ⟨10.1145/3459926⟩

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

  • Genny Tortora, Giuliana Vitiello, Marco Winckler

    AVI ’20: Proceedings of the International Conference on Advanced Visual Interfaces

    Genny Tortora; Giuliana Vitiello; Marco Winckler. International Conference on Advanced Visual Interfaces (AVI 2020), Sep 2020, Ischia Island, Italy. ACM : Association for Computing Machinery, New York, NY, United States, 2020, 978-1-4503-7535-1. ⟨10.1145/3399715⟩

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

  • Elodie Bouzekri, Célia Martinie, Philippe Palanque

    A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation

    Cristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037

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

  • Philippe Palanque, Andy Cockburn, Carl Gutwin

    A Classification of Faults Covering the Human-Computer Interaction Loop

    Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩

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

  • Judy Bowen, Jean Vanderdonckt, Marco Winckler

    EICS ’20 Companion: Companion Proceedings of the 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

    Marco Winckler. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020), Jun 2020, Sophia Antipolis (virtual), France. ACM : Association for Computing Machinery, New York, NY, United States, 2020, 978-1-4503-7984-7. ⟨10.1145/3393672⟩

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

  • Peter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe Becerra, Fabio Paternò

    Proceedings of the Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems

    Peter Fröhlich; Matthias Baldauf; Philippe Palanque; Virpi Roto; Thomas Meneweger; Manfred Tscheligi; Zoe Becerra; Fabio Paternó. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu, Hawaii, United States. 2700, CEUR Workshop Proceedings: Free Open-Access Proceedings for Scientific Conferences and Workshops, RWTH Aachen University, 2020

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

  • Thèses et habilitations
  • 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

  • Célia Martinie

    Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions

    Human-Computer Interaction [cs.HC]. Université Paul Sabatier (Toulouse 3), 2020

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

  • Jean-Luc Hak

    Engineering annotations for supporting the design process of interactive systems : a model based approach and a tool suite

    Networking and Internet Architecture [cs.NI]. Université Paul Sabatier – Toulouse III, 2019. English. ⟨NNT : 2019TOU30062⟩

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

  • Jean-Luc Hak

    Engineering annotations for supporting the design process of interactive systems: A model-based approach and a tool suite

    Computer Science [cs]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English

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

  • Racim Fahssi

    Identification systématique et représentation des erreurs humaines dans les modèles de tâches

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

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

  • Thiago Rocha Silva

    A behavior-driven approach for specifying and testing user requirements in interactive systems

    Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2018. English. ⟨NNT : 2018TOU30075⟩

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

  • Jari M. Nisula

    A risk management framework for a complex adaptive transport system

    Multiagent Systems [cs.MA]. Université Paul Sabatier – Toulouse III, 2018. English. ⟨NNT : 2018TOU30041⟩

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

  • Martin Cronel

    Une approche pour l’ingénierie des systèmes interactifs critiques multimodaux et multi-utilisateurs : application à la prochaine génération de cockpit d’aéronefs

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

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

  • 503 Service Temporarily Unavailable

    Service Temporarily Unavailable

    The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

    503 Service Temporarily Unavailable

    Service Temporarily Unavailable

    The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

    contrats de l’équipe

    AcronymeTitreResp. scDébut – fin
    AcronymeTitreResp. scDébut – fin
    AcronymeTitreResp. scDébut – fin
    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
    Jeudi 18 Juillet 2019, 14h00
    Ingénierie des annotations pour le support de processus de conception de systèmes interactifs: une approche basée modèle et outillée
    Jean-Luc HAK – Equipe ICS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Vendredi 14 Décembre 2018, 8h00
    Identification systématique et représentation des erreurs humaines dans les modèles de tâches
    Racim Mehdi FAHSSI – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Mercredi 18 Octobre 2017, 9h15
    Une approche pour l’ingénierie des systèmes interactifs critiques multimodaux et multi-utilisateurs : Application à la prochaine génération de cockpit d’aéronefs
    Martin CRONEL – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Mercredi 3 Mai 2017, 10h30
    Apport d’une conception centrée utilisateur adaptée selon les besoins des personnes en situation de handicap
    Damien SAUZIN – Equipe ELIPSE – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Mardi 21 Juillet 2015, 10h00
    Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
    Camille FAYOLLAS – Equipe ICS – IRIT LAAS-CNRS, Toulouse
    #these
    Jeudi 7 Mai 2015, 10h00
    A multi-modelS based approach for the modelling and the analysis of usable and resilient partly autonomous interactive systems
    Martina RAGOSTA – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Mercredi 17 Décembre 2014, 10h00
    Définition d’un langage et d’une méthode pour la description et la spécification d’IHM post-W.I.M.P. pour les cockpits interactifs
    Arnaud HAMON – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Lundi 26 Juin 2017 – Vendredi 30 Juin 2017
    École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
    INP-ENSEEIHT, Toulouse
    #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
    Samedi 26 Avril 2014 – Jeudi 1 Mai 2014
    CHI 2014 : 32nd ACM International Conference on Human Factors in Computing Systems
    Toronto (Canada)
    #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
    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
    Jeudi 15 Mai 2014, 15h30
    Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans
    Neha Shyam RUNGTA – NASA Ames Research Center, California (Etats-Unis) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    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
    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