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
- Guillaume POTTIERIngénieur d’Etudes – RUWIDO
- Daniel RODRIGUEZ HERNANDOStagiaire M2 – UT3
- Juan GARRIDO-NAVARROEnseignant-chercheur Invité – .Université de Lleida, Espagne
- Marco Antonio WINCKLEREnseignant-chercheur Associé – Université Côté d’Azur
publications de l’équipe
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, 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⟩
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⟩
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 , 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩
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 , 2021, 5 (EICS, article 193), pp.1-4. ⟨10.1145/3457140⟩
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, 2021, ⟨10.1093/iwcomp/iwab016⟩
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, 2021, pp.iwab007. ⟨10.1093/iwcomp/iwab007⟩
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
From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ? (regular paper)
Dans : Conference on Human Factors in Computing Systems – Workshop: HCI and Autonomous Vehicles (CHI Workshop 2016), San Jose, USA, 07/05/16-12/05/16, ACM SIGCHI, (en ligne), mai 2016.
Résumé Accès : https://portail.irit.fr/partage/data/public/94e05008d2aabfaf.php – https://oatao.univ-toulouse.fr/24970/1/martiniedealmeida_24970.pdf – https://oatao.univ-toulouse.fr/24970/
BibTeXRacim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
Embedding explicit representation of cyber-physical elements in task models (regular paper)
Dans : IEEE International Conference on Systems, Man and Cybernetics, Budapest, Hongrie, 09/10/16-12/10/16, IEEE Systems, Man, and Cybernetics Society, p. 1969-1974, octobre 2016.
Résumé Accès : http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7844528 – https://oatao.univ-toulouse.fr/18941/
BibTeXDimitri Drouet, Regina Bernhaupt
User Experience Evaluation Methods: Lessons Learned from an Interactive TV Case-Study (regular paper)
Dans : International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), Stockholm, Sweden, 29/08/16-31/08/16, Vol. 9856, Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler (Eds.), Springer, 0302-9743, p. 351-358, août 2016.
Résumé Accès : http://link.springer.com/chapter/10.1007/978-3-319-44902-9_22
BibTeXRegina Bernhaupt, Philippe Palanque, François Manciet, Celia Martinie De Almeida
User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience (regular paper)
Dans : International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), Stockholm, Sweden, 29/08/16-31/08/16, Vol. 9856, Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler (Eds.), Springer, 0302-9743, p. 56-72, août 2016.
Résumé Accès : http://link.springer.com/chapter/10.1007/978-3-319-44902-9_5
BibTeXDefinition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems (short paper)
Dans : IEEE International Requirements Engineering conference (RE 2016), Beijing, China, 12/09/16-16/09/16, IEEE : Institute of Electrical and Electronics Engineers, p. 444-449, 2016.
Accès : http://doi.org/10.1109/RE.2016.12 – https://oatao.univ-toulouse.fr/18851/
BibTeXSergio Firmenich, Gabriela Bosetti, Gustavo Rossi, Marco Antonio Winckler
Flexible distribution of existing Web interfaces: an architecture involving developers and end-users (regular paper)
Dans : Workshop on Distributed User Interfaces (DUI 2016), Lugano, 06/06/16-09/06/16, Springer, LNCS 9881, p. 200-207, juin 2016.
Thiago Rocha Silva, Marco Antonio Winckler
Towards Automated Requirements Checking Throughout Development Processes of Interactive Systems (short paper)
Dans : Workshop on Continuous Requirements Engineering (CRE 2016), Gothenburg, 14/03/16-17/03/16, Vol. 1564, CEUR-WS : Workshop proceedings, (en ligne), 2016.
Accès : http://ceur-ws.org/Vol-1564/paper5.pdf – https://oatao.univ-toulouse.fr/18849/
BibTeXPedro Valente, Thiago Rocha Silva, Marco Antonio Winckler, Nuno Nunes
Bridging Enterprise and Software Engineering Through an User-Centered Design Perspective (short paper)
Dans : International Conference On Web Information Systems Engineering, Shanghai, China, 07/11/16-10/11/16, Vol. 10042, Springer, Lecture Notes in Computer Science, p. 349-357, novembre 2016.
Accès : http://doi.org/10.1007/978-3-319-48743-4_28 – https://oatao.univ-toulouse.fr/18848/
BibTeXJean-Luc Hak, Marco Antonio Winckler, David Navarre
PANDA: prototyping using annotation and decision analysis (short paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2016), Brussels, 21/06/16-24/06/16, ACM : Association for Computing Machinery, p. 171-176, juin 2016.
Gabriela Bosetti, Sergio Firmenich, Gustavo Rossi, Marco Antonio Winckler
Web Objects Ambient: an integrated platform supporting new kinds of Personal Web experiences (short paper)
Dans : International Conference on Web Engineering (ICWE 2016), Lugano, 06/06/16-09/06/16, Springer, LNCS 9671, p. 563-566, juin 2016.
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⟩
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⟩
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⟩
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⟩
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⟩
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
Computer Science [cs]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English. ⟨NNT : ⟩
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⟩
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 | |
PIMI [Contrat terminé] | ![]() | Personal Information Management though Internet | Andreas HERZIG Marco Antonio WINCKLER | 2010 – 2013 |
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 |
---|