ICS Team

Head : Celia MARTINIE DE ALMEIDA

The Interactive Critical Systems (ICS) team at IRIT carries out research centered in the field of Human-Computer Interaction with a specific on the engineering of interactive systems. The mains scientific contributions deal with notations, processes and tools for the design, implementation and evaluation of interactive systems thus having a strong bias towards software engineering or more specifically the validation and verification aspects of interactive systems and technologies. ICS team focusses on the integration of multiple and sometimes conflicting properties such as usability, user experience, dependability and safety.

We have a long-term experience in safety critical application domains including:

Beyond these well-known safety critical domains, we address domains where the potential costs of a failure is much higher that development costs. This includes application domains such as large web applications, mass-market systems such as home entertainment and computer games, and more recently health applications such as rehabilitation training platforms.

ICS team is renowned internationally for its research in HCI with the presidency of the IFIP Technical Committee TC13 on Human Computer Interaction. Beyond, some of the ICS team members have a major participation in the ACM SIGCHI leadership with long lasting involvement in its Executive Committee and via the chairing of the steering committee of ACM CHI conference series.

We regularly welcome visiting scientists to collaborate with us. Examples of recent visits are:

  • 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

ICS team manages the master in HCI of the University of Toulouse III created in 2000 and co-accredited with ENAC.

skills

Human-computer interaction
Interactive systems engineering
Critical interactive systems

team Members

Permanent members
Non-permanent members
External members

team publications

International journals articles
  • Axel Carayon, Célia Martinie, Philippe Palanque, Eric Barboni, Sandra Steere

    A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in Healthcare

    Proceedings of the ACM on Human-Computer Interaction , 2024, Proceedings of the ACM on Human-Computer Interaction, 8 – EICS (article 259), pp.1–31. ⟨10.1145/3664633⟩

    Accès: https://hal.science/hal-04633693v1

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

    Towards MBSE engineering dedicated to socio-technical interactive systems

    CEAS Space Journal, 2024, ⟨10.1007/s12567-024-00536-0⟩

    Accès: https://hal.science/hal-04480199v1

  • Célia Martinie, Philippe Palanque, Eric Barboni

    Increasing engagement and well-being of operators working with automation by integrating task models and gameful design

    Personal and Ubiquitous Computing, 2023, pp.1–28. ⟨10.1007/s00779-023-01783-4⟩

    Accès: https://hal.science/hal-04308405v1

  • Carayon Axel, Juan Garrido, Célia Martinie, Philippe Palanque, Eric Barboni, María Dolores Lozano, Víctor Penichet

    Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again

    Proceedings of the ACM on Human-Computer Interaction , 2023, 7: EICS (Article 177), pp.1-23. ⟨10.1145/3593229⟩

    Accès: https://hal.science/hal-04137240v1

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

    Accès: https://hal.science/hal-03617603v1

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

    Formal domain-driven system development in Event-B: Application to interactive critical systems

    Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩

    Accès: https://inria.hal.science/hal-03904803v1

  • Célia Martinie, David Navarre, Philippe Palanque

    Approche à base de modèles pour l’ingénierie des systèmes interactifs

    Les Techniques de l’Ingenieur, 2022, ⟨10.51257/a-v1-h3290⟩

    Accès: https://hal.science/hal-04357894v1

  • Sebastian S. Feger, Felix Ehrentraut, Christopher Katins, Philippe Palanque, Thomas Kosch

    HCI for general aviation: current state and research challenges

    Interactions, 2022, 29 (6), pp.60-65. ⟨10.1145/3564040⟩

    Accès: https://hal.science/hal-03855018v1

  • Kris Luyten, Philippe Palanque, Aaron John Quigley, Marco Winckler

    Engineering Interactive Computing Systems 2022: Editorial Introduction

    Proceedings of the ACM on Human-Computer Interaction , 2022, EICS, 6 (EICS), pp.1-3. ⟨10.1145/3532089⟩

    Accès: https://hal.science/hal-04316159v1

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

    Engineering Operations-based Training

    Proceedings of the ACM on Human-Computer Interaction , 2022, ACM Journals, 6 : EICS (Article 164), pp.1-25. ⟨10.1145/3534518⟩

    Accès: https://hal.science/hal-03703942v1

  • National journals articles
    Special issues
  • 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, pp.1-180, 2021, ISSN: 1613-0073

    Accès: https://hal.science/hal-03376245v1

  • Cristian Bogdan, Kati Kuusinen, Marta Larusdottir, Philippe Palanque, Marco Winckler

    Human-Centered Software Engineering – 7th IFIP WG 13.2 International Working Conference, HCSE 2018

    Bogdan, Cristian; Kuusinen, Kati; Larusdottir, Marta; Palanque, Philippe; Winckler, Marco Antonio. 7th IFIP WG 13.2 International Working Conference – HCSE 2018, Sep 2018, Nice Sophia Antipolis, France. Lecture Notes in Computer Science, 11262, 2019, Human-Centered Software Engineering, 978-3030059088

    Accès: https://hal.science/hal-03012558v1

  • Torkil Clemmensen, Venkatesh Rajamanickam, Peter Dannenman, Helen Petrie, Marco Winckler

    Global Thoughts, Local Designs – INTERACT 2017 IFIP TC 13 Workshops, Mumbai, 25/09/2017 – 27/09/2017, Revised Selected Papers

    Clemmensen, Torkil; Rajamanickam, Venkatesh; Dannenman, Peter; Petrie, Helen; Winckler, Marco Antonio. 16th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2017), Mumbai, India. Lecture Notes in Computer Science, 10774, 2018, Global Thoughts, Local Designs, 978-3-319-92080-1. ⟨10.1007/978-3-319-92081-8⟩

    Accès: https://hal.science/hal-03044260v1

  • Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishnan, Jacki O’Neill, Marco Winckler

    Proceedings of 16th IFIP TC 13 International Conference on Human Computer Interaction (INTERACT 2017)

    Bernhaupt, Regina; Dalvi, Girish; Joshi, Anirudha; Balkrishnan, Devanush K.; O’Neill, Jacki; Winckler, Marco Antonio. Lecture Notes in Computer Science, 10513 à 10516 (vol. I à IV), 2017, IFIP-LNCS Volumes : Human-Computer Interaction – INTERACT 2017

    Accès: https://hal.science/hal-03131891v1

  • Special issues of journal
    International conferences articles
  • Axel Carayon, Célia Martinie, Philippe Palanque

    Task Models as a Mean to Identify and Justify Automations in Development Tasks

    26th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2023), ACM; IEEE, Oct 2023, Västerås, Sweden. pp.757-764, ⟨10.1109/MODELS-C59198.2023.00122⟩

    Accès: https://hal.science/hal-04426794v1

  • Bilal Naqvi, Célia Martinie, Stepan Bakhaev, Kari Smolander

    On Using the Task Models for Refinement and Validation of Requirements Generated Through Co-creation

    HCI-E²-2023 – 2nd IFIP WG 2.7/13.4 Workshop on HCI Engineering Education (INTERACT 2023), Aug 2023, York (GB), United Kingdom. pp.47–58, ⟨10.1007/978-3-031-61688-4_5⟩

    Accès: https://hal.science/hal-04651073v1

  • Célia Martinie

    Considering Modelling Techniques in HCI Engineering Education

    HCI-E²-2023 – 2nd IFIP WG 2.7/13.4 Workshop on HCI Engineering Education (INTERACT 2023), Aug 2023, York (GB), United Kingdom. pp.201–215, ⟨10.1007/978-3-031-61688-4_20⟩

    Accès: https://hal.science/hal-04651058v1

  • Philippe Palanque, Fabio Paternò, Virpi Roto, Albrecht Schmidt, Simone Stumpf, Jürgen Ziegler

    A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations

    19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (Great Britain), United Kingdom. pp.349-353, ⟨10.1007/978-3-031-42293-5_34⟩

    Accès: https://hal.science/hal-04316101v1

  • Axel Carayon, Célia Martinie, Philippe Palanque

    I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models

    19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York, United Kingdom. pp.482-503, ⟨10.1007/978-3-031-42283-6_26⟩

    Accès: https://hal.science/hal-04191536v1

  • Tilo Mentler, Philippe Palanque, Kristof van Laerhoven, Margareta Holtensdotter Lützhöft, Nadine Flegel

    On Land, at Sea, and in the Air: Human-Computer Interaction in Safety-Critical Spaces of Control

    19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (GB), United Kingdom. pp.657-661, ⟨10.1007/978-3-031-42293-5_89⟩

    Accès: https://hal.science/hal-04316116v1

  • Célia Martinie, Bilal Naqvi

    On using the Task Models for Validation and Evolution of Usable Security Design Patterns

    17th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance, Jul 2023, Kent, UK, United Kingdom. pp.405-417, ⟨10.1007/978-3-031-38530-8_32⟩

    Accès: https://ut3-toulouseinp.hal.science/hal-04305909v1

  • Jose Manuel Negrete Ramírez, Célia Martinie, Philippe Palanque, Yudith Cardinale

    ADL Monitoring of Elderly People in Smart Homes Based on Task Models

    Workshop @ 19th International Conference on Intelligent Environments (IE 2023), Jun 2023, Mauritius, Mauritius. pp.216 – 225, ⟨10.3233/AISE230034⟩

    Accès: https://hal.science/hal-04151435v1

  • Axel Carayon, Célia Martinie, Philippe Palanque

    MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for Rehabilitation

    EICS 2023 International Workshops on Engineering Interactive Computer Systems, Jun 2023, Swansea, United Kingdom. pp.28–40, ⟨10.1007/978-3-031-59235-5_4⟩

    Accès: https://hal.science/hal-04696952v1

  • David Navarre, Philippe Palanque, Célia Martinie

    Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies?

    EICS 2023 International Workshops on Engineering Interactive Computer Systems, Jun 2023, Swansea, United Kingdom. pp.72–89, ⟨10.1007/978-3-031-59235-5_8⟩

    Accès: https://hal.science/hal-04696954v1

  • National conferences articles
  • Philippe Palanque, Célia Martinie, Camille Fayollas

    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.science/hal-02875050v1

  • Conferences articles without published proceedings
    Books
  • Célia Martinie, Philippe Palanque, Eric Barboni

    Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models

    Jean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩

    Accès: https://hal.science/hal-03862234v1

  • 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.science/hal-02939069v1

  • 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.science/hal-03099205v1

  • José Abdelnour Nocera, Antigoni Parmaxi, Marco Winckler, Fernando Loizides, Carmelo Ardito, Ganesh Bhutkar, Peter Dannenmann

    Beyond Interactions

    Springer, LNCS-11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩

    Accès: https://hal.science/hal-03138795v1

  • Célia Martinie, Philippe Palanque, Camille Fayollas

    Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models

    Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610

    Accès: https://hal.science/hal-02939168v1

  • Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers

    Topics of Formal Methods in HCI

    Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.57–64, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_2⟩

    Accès: https://hal.science/hal-03131905v1

  • Pedro Valente, Thiago Rocha Silva, Marco Winckler, Nuno Nunes

    The Goals Approach: Agile Enterprise Driven Software Development

    Jerzy Goluchowski; Malgorzata Pankowska; Henry Linger; Chris Barry; Michael Lang; Christoph Schneider. Complexity in Information Systems Development: Proceedings of the 25th International Conference on Information Systems Development (ISD 2016), 22, Springer International Publishing, pp.201–219, 2017, Lecture Notes in Information Systems and Organisation book series (LNISO), 978-3-319-52592-1. ⟨10.1007/978-3-319-52593-8_13⟩

    Accès: https://hal.science/hal-03120291v1

  • Raquel Araujo Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix

    State of the Art on Formal Methods for Interactive Systems

    Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction., 1, Springer International Publishing, pp.3–55, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_1⟩

    Accès: https://hal.science/hal-03120285v1

  • Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Deleris

    Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

    Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549–575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩

    Accès: https://hal.science/hal-03131879v1

  • Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon

    Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment

    Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465–504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩

    Accès: https://hal.science/hal-03131880v1

  • Proceedings
  • Michael Harrison, Célia Martinie, Nicholas Micallef, Philippe Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana Zaina

    Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium : Swansea, UK, June 26-27, 2023, Selected Papers

    EICS 2023 – 15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, LNCS-14517, Springer Nature Switzerland, pp.I–XIV, 1–224, 2024, Lecture Notes in Computer Science, 978-3-031-59234-8. ⟨10.1007/978-3-031-59235-5⟩

    Accès: https://hal.science/hal-04678911v1

  • Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque

    Rigorous State-Based Methods – 9th International Conference, ABZ 2023, Nancy, France, May 30 – June 2, 2023, Proceedings

    Lecture Notes in Computer Science, 14010, Springer Nature Switzerland, 2023, 978-3-031-33162-6. ⟨10.1007/978-3-031-33163-3⟩

    Accès: https://inria.hal.science/hal-04183902v1

  • Peter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi

    AutomationXP 2023: Intervening, Teaming, Delegating – Creating Engaging Automation Experiences, Proceedings of the Workshop on Intervening, Teaming, Delegating, co-located with the ACM CHI 2023

    3394, ceur-ws.org, 2023, CEUR Workshop Proceedings

    Accès: https://ut3-toulouseinp.hal.science/hal-04316322v1

  • 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.science/hal-03376247v1

  • Genny Tortora, Giuliana Vitiello, Marco Winckler

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

    AVI 2020 – International Conference on Advanced Visual Interfaces, ACM : Association for Computing Machinery, New York, NY, United States, 2020, 978-1-4503-7535-1. ⟨10.1145/3399715⟩

    Accès: https://hal.science/hal-03138779v1

  • Judy Bowen, Jean Vanderdonckt, Marco Winckler

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

    EICS 2020 – 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM : Association for Computing Machinery, New York, NY, United States, 2020, 978-1-4503-7984-7. ⟨10.1145/3393672⟩

    Accès: https://hal.science/hal-03138784v1

  • 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.science/hal-03099224v1

  • Adrian Sabou, Philippe Palanque

    Proceedings of 15th International Conference on Human Computer Interaction, Cluj-Napoca, 26/09/18 – 26/09/19

    Sabou, Adrian; Palanque, Philippe. 15th International Conference on Human Computer Interaction – RoCHI 2018, Sep 2018, Cluj-Napoca, Romania. Matrix Rom, Bucharest, Romania; ACM SIGCHI (Special Interest Group for Human Computer Interaction) Romania, 2018

    Accès: https://hal.science/hal-03023428v1

  • José Creissac Campos, Nunes Nuno, Pedro Campos, Gaelle Calvary, Jeffrey Nichols, Célia Martinie, José Luis Silva

    EICS ’17: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

    9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2017), ACM: Association for Computing Machinery, New York, NY, United States, 2017, 978-1-4503-5083-9

    Accès: https://hal.science/hal-03131878v1

  • Conferences Proceedings
    Thesis and HDR
  • 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://theses.hal.science/tel-03208713v2

  • 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.science/tel-02930976v1

  • 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. ⟨NNT : ⟩

    Accès: https://hal.science/tel-02268176v1

  • 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://theses.hal.science/tel-02925106v1

  • 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://theses.hal.science/tel-02400608v1

  • 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://theses.hal.science/tel-02129355v1

  • 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://theses.hal.science/tel-02078295v1

  • Hélène Uninski

    Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique

    Réseaux et télécommunications [cs.NI]. Université Paul Sabatier – Toulouse III, 2017. Français. ⟨NNT : 2017TOU30321⟩

    Accès: https://theses.hal.science/tel-01990792v1

  • 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://theses.hal.science/tel-01914960v1

  • Thesis and HDR
    Reports Other publications

    team Contracts

    AcronymTitleCadre FinancementResp. scStart
    AIRVET
    [Contract completed]
    Aeronautic Industry Skills Resolution for a more efficient VET offer

    Programmes européens (hors ERC et fonds structurels) Philippe PALANQUE
    2013
    europa
    AcronymTitleCadre FinancementResp. scStart
    TEAM-UP Ingénierie des systèmes interactifs intelligents d’entrainement

    Appels à projets ANR (hors PIA) Celia MARTINIE DE ALMEIDA
    2022
    PEPR CLOUD : TRUSTINCloudSSécurité des infrastructures Cloud

    Programme investissement d’avenir (PIA) Philippe PALANQUE
    Romain LABORDE
    Afonso FERREIRA
    2023
    PICS
    [Contract completed]
    Personal Information Controller Service

    Programme investissement d’avenir (PIA) Philippe PALANQUE
    Marco Antonio WINCKLER
    2016
    IKKY
    [Contract completed]
    Intégration du KocKpit et de ses sYstèmes

    Programme investissement d’avenir (PIA) Philippe PALANQUE
    2015
    anr anr
    AcronymTitleCadre FinancementResp. scStart
    europa
    Thursday 5 October 2023, 14h00
    Un cadre formel pour la modélisation explicite des connaissances de domaine dans les méthodes formelles orientées états : application à des systèmes critiques interactifs
    Ismail MENDIL – Team ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
    #these
    Thursday 14 January 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 – Team ICS, IRIT UT3 Paul Sabatier, Salle des thèses et en visioconférence
    #these
    Thursday 18 July 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 – Team ICS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Friday 14 December 2018, 8h00
    Identification systématique et représentation des erreurs humaines dans les modèles de tâches
    Racim Mehdi FAHSSI – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Wednesday 18 October 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 – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Wednesday 3 May 2017, 10h30
    Apport d’une conception centrée utilisateur adaptée selon les besoins des personnes en situation de handicap
    Damien SAUZIN – Team ELIPSE – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Tuesday 21 July 2015, 10h00
    Generic Software Architecture and Model-Based Approach for the Dependability of Critical Interactive Systems
    Camille FAYOLLAS – Team ICS – IRIT LAAS-CNRS, Toulouse
    #these
    Thursday 7 May 2015, 10h00
    A multi-modelS based approach for the modelling and the analysis of usable and resilient partly autonomous interactive systems
    Martina RAGOSTA – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Wednesday 17 December 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 – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Monday 26 June 2017 – Friday 30 June 2017
    École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
    INP-ENSEEIHT, Toulouse
    #congres Know more
    Wednesday 30 September 2015 – Friday 2 October 2015
    5th International Conference on Application and Theory of Automation in Command and Control Systems
    UT3 Paul Sabatier, IRIT
    #congres Know more
    Wednesday 8 March 2023, 14h00 – 15h30
    Talking ‘bout my Generation … or not?: The Digital Technology Life Experiences of Older People
    Helen PETRIE – University of York (Royaume-Uni) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Tuesday 13 July 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
    Tuesday 9 April 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
    Wednesday 1 July 2020, 15h00
    Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions
    Celia MARTINIE DE ALMEIDA – Team ICS, IRIT UT3 Paul Sabatier, En visioconférence
    #hdr
    Wednesday 13 July 2016, 15h00
    Engineering Interactive Systems across application domains
    Marco Antonio WINCKLER – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #hdr