Responsable : Celia MARTINIE DE ALMEIDA
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:
- Cockpits interactifs, et en particulier conformes au standard ARINC 661
- Projets FENICS, IKKY-MAGIC and IKKY-MATRHICS avec Airbus (CORAC)
- Segments sols, systèmes de commande et contrôle pour différents types de satellites
- Projets TORTUGA, MARRACCASS, ALDABRA, GEN-ISIS, IMAGES, PAQUITO avec le CNES
- Projet IFA avec l’ESA
- Participation à la rédaction du Handbook on Human Dependability avec l’ESA
- Contrôle de trafic aérien
- Systèmes de commande et contrôle de drones
- Projet INTUITION avec la DGA
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
personnel de l’équipe
- Camille FAYOLLASMaître de Conférences – UT Capitole
- Celia MARTINIE DE ALMEIDAMaître de Conférences (HDR) – UT3
- David NAVARREMaître de Conférences – UT Capitole
- Philippe PALANQUEProfesseur – UT3
- Eric BARBONIChercheur Contractuel – UT3
- Axel CARAYONDoctorant – UT3
- Nathan MONSORODoctorant – UT3
- Guillaume POTTIERIngénieur d’Etudes – RUWIDO
- Daniel RODRIGUEZ HERNANDODoctorant – UT3
- Théo SAUBANEREDoctorant – UT3
- Juan GARRIDO-NAVARROEnseignant-chercheur Invité – .Université de Lleida, Espagne
- Marco Antonio WINCKLEREnseignant-chercheur Associé – Université Côté d’Azur
publications de l’équipe
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⟩
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, Proceedings of the ACM on Human-Computer Interaction, 7 (EICS), pp.1-23. ⟨10.1145/3593229⟩
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⟩
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 (Special issue “Dependable Software Engineering: Theories, Tools and Applications”), pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
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⟩
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⟩
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⟩
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⟩
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 , In press, Journal PACM EICS series, EICS 2022
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⟩
Renaud Blanch, Michel Beaudouin-Lafon, Stéphane Conversy, Y. Jestin, Thomas Baudel
Concevoir des applications graphiques interactives distribuées avec INDIGO
Dans : Revue d’Interaction Homme-Machine, Europia productions, Paris, Vol. 7, N. 2, p. 247-274, 2006.
Sven Casteleyn, Gustavo Rossi, Marco Antonio Winckler
Engineering the Web for Users, Developers and the Crowd
Dans : Journal of Web Engineering, Rinton Press, Vol. 5&6 N. 14, novembre 2015.
Accès : http://www.rintonpress.com/journals/jweonline.html#v14n56
BibTeXMaría D. Lozano Lozano, José Gallud, Philippe Palanque
Mobile Context-Aware Applications for Ubiquitous Computing
Dans : Journal of Universal Computer Science, John Wiley and Sons, Vol. 16 N. 15, juillet 2010.
Accès : http://www.jucs.org/jucs_16_15/mobile_context_aware_applications/abstract.html
BibTeX
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⟩
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⟩
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⟩
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⟩
Alan Dix, Sven Mayer, Philippe Palanque, Emanuele Panizzi, Lucio Davide Spano
Engineering Interactive Systems Embedding AI Technologies
15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2023), ACM Special Interest Group on Computer-Human Interaction (SIGCHI), Jun 2023, Swansea, United Kingdom. pp.90–92, ⟨10.1145/3596454.3597195⟩
Philippe Palanque, José Creissac Campos
AMAN Case Study
9th International Conference on Rigorous State-Based Methods (ABZ 2023), May 2023, Nancy, France. pp.265-283, ⟨10.1007/978-3-031-33163-3_21⟩
Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive Technologies
CHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1–3, ⟨10.1145/3544549.3574186⟩
Peter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi
Intervening, Teaming, Delegating: Creating Engaging Automation Experiences
CHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1-6, ⟨10.1145/3544549.3573799⟩
Sandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez-Hernando, Francesc Tinto
Operator-centered and model-based design for critical HMIS
3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
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⟩
Engineering Interaction Techniques in the Context of Critical Systems: are Usability and User Experience more important than Dependability and Safety as claimed by the HCI community?
Dans : 7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015), Mumbay, 17/12/15-20/12/15.
Philippe Palanque, Racim Mehdi Fahssi, Celia Martinie De Almeida, Marco Antonio Winckler, Michel Galindo
Retour d’expérience sur l’enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse
Dans : GT Modèles de Tâches – IHM 2015, Toulouse, 27/10/15-30/10/15.
Celia Martinie De Almeida, Philippe Palanque
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice
Dans : Human Dependability Workshop (HUDEP 2015), ESA/ESOC, Darmstadt, Germany, 06/10/15-07/10/15.
From Safety Indicators to Measuring Risk:the RiskGuided Transport Safety Agency
Dans : HCI Aero 2014 (Industrial track), Santa Clara, 30/07/14-01/08/14.
Accès : http://www.trafi.fi/filebank/a/1434456797/19018fa995da55930a03c3af8bc4f1ed/17872-Nisula_From_Safety_Indicators_to_Measuring_Risk.pdf
BibTeXJean-Paul Blanquart, Christel Seguin, Philippe Palanque
System Level Integrated Failure Analysis
Dans : HUDEP, Oberpfaffenhofen, 13/11/13-14/11/13.
Accès : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXCelia Martinie De Almeida, Philippe Palanque
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators’ Tasks
Dans : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
Accès : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXThe Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia
Dans : Workshop on Education and Training of Engineers and Researchers in Aeronautics, “Bridging the gap between policy, industry and academia” in conjunction with the ATM World Congress, Barcelone, 14/02/13-14/02/13 (conférencier invité).
Marco Antonio Winckler, Philippe Palanque, David Navarre
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM
Dans : Workshop on HCI: Web and Graphics Curricula at WWW 2012, Lyon, France, 16/04/12-16/04/12.
Accès : http://www.lirmm.fr/nuance/Papers/HWG_002.pdf
BibTeXPhilippe Palanque, Cédric Bach, Celia Martinie De Almeida, Marco Antonio Winckler
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration dincidents et à lopération des systèmes de commande et contrôles
Dans : Journée scientifique RTRA – FHAE (Facteurs Humains pour la Sécurité Aéronautique), Toulouse, 13/03/12-13/03/12.
Celia Martinie De Almeida, Philippe Palanque
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches
Dans : IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Lisbonne, Portugal, 06/09/11-06/09/11.
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⟩
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
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⟩
José Abdelnour Nocera, Antigoni Parmaxi, Marco Winckler, Fernando Loizides, Carmelo Ardito, Ganesh Bhutkar, Peter Dannenmann
Beyond Interactions
Springer, 11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩
Célia Martinie, Philippe Palanque, Fayollas Camille
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
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⟩
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⟩
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⟩
Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, Célia Martinie de Almeida, 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), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
The Handbook of Formal Methods in Human-Computer Interaction
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Springer International Publishing, 2017, Human–Computer Interaction Series, 978-3319518374
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⟩
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
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⟩
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 : ⟩
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⟩
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⟩
A risk management framework for a complex adaptive transport system
Multiagent Systems [cs.MA]. Université Paul Sabatier – Toulouse III, 2018. English. ⟨NNT : 2018TOU30041⟩
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⟩
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⟩
Engineering Interactive Systems across application domains
Habilitation à diriger des recherches, Université Paul Sabatier, juillet 2016.
Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
Thèse de doctorat, Université Paul Sabatier, juillet 2015.
A multi-modelS based approach for the modelling and the analysis of usable and resilient partly-autonomous interactive systems
Thèse de doctorat, Université Paul Sabatier, mai 2015.
Définition d’un language et d’une méthode pour la description et la spécification d’IHM post-W.I.M.P. pour les cockpits interactifs
Thèse de doctorat, Université Paul Sabatier, décembre 2014.
Résumé Accès : http://www.irit.fr/publis/ELIPSE/PhDs/These_Hamon.pdf
BibTeXApports d’un concept de continuité pour l’architecture graphique de l’interface utilisateur des systèmes interactifs complexes
Thèse de doctorat, Université Paul Sabatier, 2014.
Interaction et Visualisation avec des liens de dépendances
Thèse de doctorat, Université de Toulouse, septembre 2013.
Contributions to the science of controlled transformation
Habilitation à diriger des recherches, Université Paul Sabatier, juin 2013.
Résumé Accès : http://tel.archives-ouvertes.fr/docs/00/85/31/92/PDF/conversy-hdr-full.pdf
BibTeXUn enfoque para soporte de tareas de usuario mediante adaptación en el cliente Web
Thèse de doctorat, Universidad Nacional de La Plata, avril 2013.
Résumé Accès : http://sedici.unlp.edu.ar/bitstream/handle/10915/26424/Documento_completo.pdf?sequence=3
BibTeXModel-based Engineering of Animated Interactive Systems for the Interactive Television environment
Thèse de doctorat, Université Paul Sabatier, décembre 2012.
Résumé Accès : http://thesesups.ups-tlse.fr/1927/1/2012TOU30299.pdf
BibTeXConception (instrumentée), réalisation et optimisation de graphismes interactifs
Thèse de doctorat, Université Paul Sabatier, septembre 2011.
Résumé Accès : http://thesesups.ups-tlse.fr/1379/1/2011TOU30174.pdf
BibTeX
Jean-Leon Bouraoui, Nadine Vigouroux, Gwenael Bothorel
Multi-layer annotation of an apprenticeship corpus: usefulness for controllers-pilots
Rapport de recherche, Note Interne CENA/NR04-627, CENA, Toulouse, février 2004.
Loïc Dourmap, Gwenael Bothorel, Philippe Truillet
Génération automatique de deux modèles de grammaire pour la reconnaissance d’indicatifs
Rapport de recherche, Note Interne CENA/NT03-513, CENA, Toulouse, février 2003.
Celia Martinie De Almeida, Philippe Palanque, José Luis Silva, David Navarre
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. avril 2013.
Accès : http://www.irit.fr/~Celia.Martinie-De-Almeida/Technical_report_on_properties_verification_April_2013.pdf
BibTeXRegina Bernhaupt, Katherine Isbister
Community Proposal for CHI 2011/2012: Entertainment & Games
Diffusion scientifique. 2010.
Accès : http://chi2011.org/communities/games/index.html
BibTeXMichael Harrison, Philippe Palanque, David Navarre
The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?
Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)
Sylvie Athènes, Philippe Truillet, Jean-François Camps, Jean-Luc Vinot
Aides Informatiques pour les Elèves Dyslexiques au Collège : Recherche et Evaluation
Présentation orale. février 2006. Réunion thématique « L’écriture » – IFR 96 Sciences du Cerveau, Hôpital Purpan, Toulouse
Eric Barboni, David Navarre, Philippe Palanque, Didier Bazalgette
PetShop : A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. . Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seatle, USA, Sept. 2006.
septembre 2006.
A multi-perspective approach for the design of error-tolerant socio-technical safety-critical interactive systems.
Présentation orale. 2006.
Une approche multi perspective pour la conception de systèmes interactifs critiques
Présentation orale. 2006.
contrats de l’équipe
| Acronyme | Titre | Resp. sc | Début – fin | |
|---|---|---|---|---|
| TEAM-UP | Ingénierie des systèmes interactifs intelligents d’entrainement | Celia MARTINIE DE ALMEIDA | 2022 – 2026 |
| Acronyme | Titre | Resp. sc | Début – fin | |
|---|---|---|---|---|
| Fly Higher [Contrat terminé] |  | FLY HIGHER – Shaping the new evolving generation of aeronautic professionals | Philippe PALANQUE | 2012 – 2014 |
| HALA [Contrat terminé] | | Higher Automation Levels in ATM PHD Effective automation in ATM | Philippe PALANQUE | 2011 – 2016 |
| HALA [Contrat terminé] | | Higher Automations Levels in Air Traffic Management | Philippe PALANQUE | 2010 – 2014 |
| Acronyme | Titre | Resp. sc | Début – fin |
|---|