Displaying 355 out of 355 publications (Excluding: Ph.D Theses, Habilitation Theses)

2024

  • International journals articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. Towards MBSE engineering dedicated to socio-technical interactive systems. CEAS Space Journal.

2023

  • International journals articlesCé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. p:1--28.
  • International journals articlesAxel Carayon, Juan Garrido, Célia Martinie, Philippe Palanque, Eric Barboni, María Dolores Lozano, Victor 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. p:1-23.
  • International journals articlesIsmaël 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. p:102798.
  • International journals articlesNeeraj Kumar Singh, Yamine Aït-Ameur, Ismaël 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.
  • International conferences articlesAxel 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). p:757-764. IEEE.
  • International conferences articlesPhilippe Palanque, José Creissac Campos. AMAN Case Study. 9th International Conference on Rigorous State-Based Methods (ABZ 2023). p:265-283. Springer Nature Switzerland.
  • International conferences articlesTilo 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). p:657-661. Springer Nature Switzerland.
  • International conferences articlesPhilippe 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). p:349-353. Springer Nature Switzerland.
  • International conferences articlesAlan 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). p:90--92. ACM: Association for Computing Machinery.
  • International conferences articlesPhilippe Palanque. 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). p:1--3. ACM.
  • International conferences articlesPeter 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). p:1-6. ACM.
  • International conferences articlesAxel 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). p:482-503. Springer Nature Switzerland.
  • International conferences articlesJose 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). p:216 - 225. IOS Press.
  • Conferences proceedingsPeter 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. ceur-ws.org.
  • Conferences proceedingsUwe Glässer, José 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. Springer Nature Switzerland.

2022

  • International journals articlesCélia Martinie, David Navarre, Philippe Palanque. Approche à base de modèles pour l’ingénierie des systèmes interactifs. Les Techniques de l'Ingenieur.
  • International journals articlesKris Luyten, Philippe Palanque, Aaron Quigley, Marco Winckler. Engineering Interactive Computing Systems 2022: Editorial Introduction. Proceedings of the ACM on Human-Computer Interaction. p:1-3.
  • International journals articlesSebastian Feger, Felix Ehrentraut, Christopher Katins, Philippe Palanque, Thomas Kosch. HCI for general aviation: current state and research challenges. Interactions. p:60-65.
  • International journals articlesCélia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere. Engineering Operations-based Training. Proceedings of the ACM on Human-Computer Interaction. p:1-25.
  • International journals articlesMarco 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. p:1-36.
  • Books partsCélia Martinie, Philippe Palanque, Eric Barboni. Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models. Handbook of Human Computer Interaction. Handbook of Human Computer Interaction. p:1-40. Springer International Publishing.
  • International conferences articlesSebastian Feger, Christopher Katins, Philippe Palanque, Thomas Kosch. Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles. 5th European Tangible Interaction Studio (ETIS 2022). ceur-ws.org.
  • International conferences articlesIsmaël 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). p:129-138. IEEE.
  • International conferences articlesSandra 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). p:1-9.
  • International conferences articlesJose Manuel Negrete Ramírez, Célia Martinie, Philippe Palanque, Yudith Cardinale. A task-model based approach for detecting ADL-related anomalies. 10th International Workshop on e-Health Pervasive Wireless Applications and Service @ WiMob 2022. p:57-62. IEEE.
  • International conferences articlesPhilippe Palanque. User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges @ RoCHI 2020. 17th International Conference on Human–Computer Interaction (RoCHI 2020). p:1-4. MatrixRom publishing, Bucarest.
  • International conferences articlesMaxime Savary-Leblanc, Xavier Le Pallec, Philippe Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickael Clavreul, Thibault Raffaillac. Mining human factors general trends from +100k UML class diagrams. 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022). p:913-922. ACM.
  • International conferences articlesJuan Garrido, Philippe Palanque, Aaron Quigley, Marco Winckler. Engineering Awareness in Interfaces: Focus on Automation and Visualization. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022). p:54-58. ACM: Association for Computing Machinery.
  • International conferences articlesPhilippe Palanque. How to Design and Assess Automation for Interactive Applications and Interaction Techniques (Extended Abstract). ACM Conference on Human Factors in Computing Systems (CHI 2022). p:1-3. ACM: Association for Computing Machinery.
  • International conferences articlesMatthias Baldauf, Peter Fröhlich, Virpi Roto, Philippe Palanque, Siân Lindley, Jon Rogers, Wendy Ju, Manfred Tscheligi. Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change (Extended Abstract). Conference on Human Factors in Computing Systems (CHI 2022). p:1-6. ACM: Association for Computing Machinery.
  • International conferences articlesEva Geurts, Gustavo Rovelo Ruiz, Kris Luyten, Steven Houben, Benjamin Weyers, An Jacobs, Philippe Palanque. HCI and worker well-being in manufacturing industry. International Conference on Advanced Visual Interfaces (AVI 2022). p:1-2. ACM: Association for Computing Machinery.
  • International conferences articlesCélia Martinie, Philippe Palanque, Marco Winckler. Usability and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and Engagement. VIII Iberoamerican Conference on Human-Computer Interaction 2022. p:1-14.
  • International conferences articlesSara Nikula, Célia Martinie, Philippe Palanque, Julius Hekkala, Outi-Marja Latvala, Kimmo Halunen. Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC. 9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022). p:70-89. Springer International Publishing.
  • International conferences articlesCé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. CEUR-WS.org.

2021

  • International journals articlesMatthias 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). CEUR Workshop Proceedings. p:1-180. CEUR-WS.org.
  • International journals articlesAlexandre 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. p:1-30.
  • International journals articlesMathias Funk, Rong-Hao Liang, Philippe Palanque, Jun Hu, Panos Markopoulos. Designing and Engineering Interactive Computing Systems. Proceedings of the ACM on Human-Computer Interaction. p:1-4.
  • International journals articlesDavid Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken. Model-based Engineering of Feedforward Usability Function for GUI Widgets. Interacting with Computers. p:73-91.
  • International journals articlesYamine Aït-Ameur, Judy Bowen, José Creissac Campos, Philippe Palanque, Benjamin Weyers. Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interacting with Computers. p:1-2.
  • International journals articlesNeeraj 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.
  • International journals articlesGiorgia 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. p:iwab007.
  • International conferences articlesTilo Mentler, Philippe Palanque, Michael Harrison, Kristof van Laerhoven, Paolo Masci. Control Rooms from a Human-Computer Interaction Perspective. IFIP TC 13 Workshops (INTERACT 2021). p:281-289. Springer International Publishing.
  • International conferences articlesIsmaël 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). p:40-58. Springer International Publishing.
  • International conferences articlesCé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. IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021. p:290-301. Springer.
  • International conferences articlesPhilippe Palanque, Célia Martinie. The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier. IFIP WG 2.7/13.4 and WG 13.1 joint workshops on HCI Engineering Education – for developers, designers and more (WS12. HCI-E^2) @ INTERACT 2021. p:211-220. Springer International Publishing.
  • International conferences articlesPhilippe Palanque, David Navarre. Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. 23rd ACM International Conference on Multimodal Interaction (ICMI 2021). p:781-787. ACM: Association for Computing Machinery.
  • International conferences articlesElodie 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. IFIP WG 13.5 Workshop on Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021. p:357-367. Springer International Publishing.
  • International conferences articlesSybille Caffiau, José Creissac Campos, Célia Martinie, Laurence Nigay, Philippe Palanque, Lucio Davide Spano. Teaching HCI Engineering: Four Case Studies. IFIP WG 2.7/13.4 and WG 13.1 joint workshop on HCI Engineering Education – for developers, designers and more (HCI-E2) @ INTERACT 2021. p:195-210. Springer International Publishing.
  • International conferences articlesCé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). p:224-233. International Council on Systems Engineering (INCOSE).
  • International conferences articlesIsmaël 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. Formal Methods for Industrial Critical Systems. 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. p:126-146. Springer International Publishing.
  • International conferences articlesCélia Martinie, Elodie Bouzekri, Philippe Palanque. From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the light of Large Civil Aircraft Workplace. Workshop on Automation Experience at the Workplace, AutomationXP 2021, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021). CEUR Workshop Proceedings.
  • International conferences articlesElodie 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 Conference on Human-Computer Interaction (INTERACT 2021). p:405-429. Springer International Publishing.
  • International conferences articlesKonrad 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). p:542-547. Springer International Publishing.
  • International conferences articlesTilo 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). p:542-547. Springer International Publishing.
  • International conferences articlesPhilippe Palanque. POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People. 18th IFIP Conference on Human-Computer Interaction (INTERACT 2021). p:39-59. Springer International Publishing.
  • International conferences articlesPhilippe Palanque. Introductory Course on Automation and its Use for Interactive Systems Design and Engineering. Conference on Human Factors in Computing Systems (CHI 2021). p:1-4. ACM: Association for Computing Machinery.
  • International conferences articlesMatthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi. Automation Experience at the Workplace. Conference on Human Factors in Computing Systems (CHI 2021). p:1-6. ACM.
  • Conferences proceedingsPhilippe 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). ACM: Association for Computing Machinery, New York.

2020

  • International journals articlesJosé Creissac Campos, Camille Fayollas, Michael Douglas 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. p:1-48.
  • Books partsPhilippe 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. Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. p:434-448.
  • Books partsElodie Bouzekri, Célia Martinie, Philippe Palanque. A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation. Human Factors in Intelligent Vehicles. Human Factors in Intelligent Vehicles. River Publishers.
  • International conferences articlesPhilippe Palanque, Dong-Bach Vo, Stephen Brewster, Elodie Bouzekri, Célia Martinie. A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems 2020. CEUR-WS.org.
  • International conferences articlesAlexandre Canny, Philippe Palanque, David Navarre. Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020). p:95-104. IEEE.
  • International conferences articlesPeter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe Becerra, Fabio Paternò. Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity. CHI Conference on Human Factors in Computing Systems (CHI 2020). p:1-8. ACM.
  • International conferences articlesSusanne Boll, Philippe Palanque, Alexander Mirnig, Jessica Cauchard, Margareta Holtensdotter Lützhöft, Michael Feary. Designing Safety Critical Interactions: Hunting Down Human Error. CHI Conference on Human Factors in Computing Systems (CHI 2020). p:1-7. ACM : Association for Computing Machinery, New York, NY, United States.
  • International conferences articlesPhilippe Palanque. Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems. International Conference on Advanced Visual Interfaces (AVI 2020). p:1-10. ACM.
  • International conferences articlesNicolas Broders, Célia Martinie, Philippe Palanque, Marco Winckler, Kimmo Halunen. A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms. HCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference. p:61-83. Springer.
  • International conferences articlesRegina Bernhaupt, Célia Martinie, Philippe Palanque, Günter Wallner. A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience. 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, HCSE 2020. p:24-44. Springer.
  • International conferences articlesIsmaël Mendil, Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, Philippe Palanque. An Integrated Framework for the Formal Analysis of Critical Interactive Systems. The 27th Asia-Pacific Software Engineering Conference. p:10. IEEE.
  • International conferences articlesCélia Martinie, Philippe Palanque. Task models based engineering of interactive systems. 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020). p:1-2. ACM: Association for Computing Machinery.
  • Conferences proceedingsPeter 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. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020). CEUR Workshop Proceedings: Free Open-Access Proceedings for Scientific Conferences and Workshops, RWTH Aachen University.

2019

  • International journals articlesAndy Cockburn, Damien Masson, Carl Gutwin, Philippe Palanque, Alix Goguey, Marcus Yung, Christine Gris, Catherine Trask. Design and evaluation of braced touch for touchscreen input stabilisation.. International Journal of Human-Computer Studies. p:21-37.
  • International journals articlesHelena Mentis, Cliff Lampe, Regina Bernhaupt, Anirudha Joshi, Susan R. Fussel, Susan Dray, Dan Olsen, Aaron Quigley, Julie R Williamson, Eunice Ratna Sari, Loren G. Terveen, Allison Druin, Philippe Palanque. The new SIGCHI EC's values and strategic initiatives.. Interactions. p:84-85.
  • International journals articlesCristian Bogdan, Kati Kuusinen, Marta Larusdottir, Philippe Palanque, Marco Winckler. Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018. 7th IFIP WG 13.2 International Working Conference - HCSE 2018. Lecture Notes in Computer Science. Springer.
  • International journals articlesElodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris, Christine Gris. Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits. International Journal of Human-Computer Studies. p:122-141.
  • International journals articlesCélia Martinie, Philippe Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni. Analysing and Demonstrating Tool-Supported Customizable Task Notations. Proceedings of the ACM on Human-Computer Interaction. p:1-26.
  • International journals articlesSven Coppers, Kris Luyten, Davy Vanacken, Philippe Palanque, David Navarre, Christine Gris. Fortunettes: Feedforward about the Future State of GUI Widgets. Proceedings of the ACM on Human-Computer Interaction. p:article20.
  • International conferences articlesDavid Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken. Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. 8th Formal Methods for Interactive Systems Workshop (FMIS 2019) co-located with Formal Methods 2019. p:503-519. Springer International Publishing.
  • International conferences articlesDavid Navarre, Philippe Palanque, Célia Martinie. A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. 2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems @ ACM EICS 2019. p:39-45. CEUR-WS.org.
  • International conferences articlesDamiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit. Trends on engineering interactive systems. 11th ACM Symposium on Engineering Interactive Computing Systems (EICS 2019). p:1-6. ACM: Association for Computing Machinery.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque. Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:84-96. Springer International Publishing.
  • International conferences articlesAlexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe Palanque. On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems. 1st Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints (EISM 2019). p:113--121. CEUR-WS : Workshop proceedings.
  • International conferences articlesPhilippe Palanque, Andy Cockburn, Léopold Desert-Legendre, Carl Gutwin, Yannick Déléris. Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits. 39th International Conference on Computer Safety, Reliability and Security - SafeComp 2019. p:53--68. Springer-Verlag.
  • International conferences articlesNeeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019). p:21-39.
  • International conferences articlesAlexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque. Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. International Workshop on Formal Methods for Interactive Systems (FMIS 2019). p:486-502.
  • International conferences articlesCarmelo Ardito, Regina Bernhaupt, Philippe Palanque, Stefan Sauer. Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:759-762.
  • International conferences articlesAlexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Christine Gris, Yannick Déléris. Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. 12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019).
  • International conferences articlesJean-Luc Hak, Olivier Nicolas, Marco Winckler, Philippe Palanque. An Attempt to Fathom the Role of Annotations in User-Centered Design Process. 11th International Workshop on Research and Practice Challenges for Engineering Interactive Systems (EISMS 2019). p:113-121.
  • International conferences articlesPhilippe Palanque, Pedro F. Campos, José Abdelnour Nocera, Torkil Clemmensen, Virpi Roto. User Experience in an Automated World. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:706-710. Springer International Publishing.
  • International conferences articlesPhilippe Palanque, Célia Martinie, Elodie Bouzekri. Introduction to Automation and to Its Potential for Interactive Systems Design. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:523-526. Springer International Publishing.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Déléris. Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description. INCOSE International Conference on Human System Integration (INCOSE HSI 2019). p:1-9.
  • International conferences articlesKarima Boudaoud, Marco Winckler, Zauwali S Paki, Philippe Palanque. A Testbed Tool for Comparing Usability and Security of Mobile Authentication Mechanisms. 7th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2019). p:1-8.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Christine Gris. Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019). p:699-720. Springer International Publishing.

2018

  • International journals articlesLoren Terveen, Helena Mentis, Aaron Quigley, Philippe Palanque. The evolution of SIGCHI conferences and the future of CHI. Interactions. p:84-85.
  • Books partsCélia Martinie, Philippe Palanque, Camille Fayollas. Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. Computational Interaction. Computational Interaction. Oxford University Press.
  • International conferences articlesCélia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny. TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018). p:1-7. ACM.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque. Specific Task Modeling for Cyber Physical Systems. Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems,in conjunction with the 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018).
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque. A Generic Software and Hardware Architecture for Hybrid Interactive Systems. Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems @ EICS 2018.
  • International conferences articlesCélia Martinie, Philippe Palanque. Explicit representation of function allocation and authority sharing (initiative and responsibility). Workshop "Interacting with Autonomous Vehicles: Learning from other Domains" - ACM CHI Conference on Human Factors in Computing Systems - CHI 2018. p:1-5.
  • International conferences articlesVirpi Roto, Philippe Palanque, Hannu Karvonen. Engaging Automation at Work - A Literature Review. IFIP WG 13.6 Working Conference Human Work Interaction Design (HWID 2018). p:158-172.
  • International conferences articlesPhilippe Palanque. Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges. ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018). p:1-2.
  • International conferences articlesAlexandre Canny, Martin Cronel, Bruno Dumas, Philippe Palanque. MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems. 7th International Conference on Human-Centred Software Engineering (HCSE). p:109-129. Springer International Publishing.
  • International conferences articlesVirpi Roto, Philippe Palanque, Hannu Karvonen. Engaging Automation at Work – A Literature Review. 5th IFIP Working Conference on Human Work Interaction Design (HWID 2018). p:158-172. Springer International Publishing.
  • International conferences articlesPhilippe Palanque, Célia Martinie, Camille Fayollas. Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018). ACM Conference on Human Factors in Computing Systems (CHI 2018). p:1-4. ACM: Association for Computing Machinery, New York.
  • International conferences articlesAlexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe Palanque. Rationalizing the Need of Architecture-Driven Testing of Interactive Systems. 7th International Working Conference on Human-Centered Software Engineering (HCSE 2018). p:164-186. Springer International Publishing.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Christine Gris. Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation. 5th IFIP Working Conference on Human Work Interaction Design (HWID). p:36-56. Springer International Publishing.
  • International conferences articlesRegina Bernhaupt, Philippe Palanque, Dimitri Drouet, Célia Martinie. Enriching Task Models with Usability and User Experience Evaluation Data. 7th International Conference on Human-Centred Software Engineering (HCSE 2018). p:146-163. Springer International Publishing.
  • Conferences proceedingsAdrian Sabou, Philippe Palanque. Proceedings of 15th International Conference on Human Computer Interaction, Cluj-Napoca, 26/09/18 - 26/09/19. 15th International Conference on Human Computer Interaction - RoCHI 2018. Matrix Rom, Bucharest, Romania;ACM SIGCHI (Special Interest Group for Human Computer Interaction) Romania.

2017

  • Books editionBenjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque. The Handbook of Formal Methods in Human-Computer Interaction. vol:ISBN 978-3-319-51837-4. Springer.
  • International journals articlesJosé Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human-Computer Interaction vol:19. p:1-20. ACM SIGCHI.
  • International journals articlesJonathan Lazar, Elizabeth Churchill, Tovi Grossman, Gerrit Van der Veer, Philippe Palanque, John 'Scooter' Morris, Jennifer Mankoff. Making the Field of Computing More Inclusive. Communications of the ACM vol:603. p:50-59. ACM : Association for Computing Machinery.
  • Books partsInigo Aldalur Ceberio, Marco Winckler, Oscar Diaz, Philippe Palanque. Web Augmentation as a Promising Technology for End User Development. p:433-459. Springer.
  • Books partsJudy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers. Topics of Formal Methods in HCI. p:57-64. Springer.
  • Books partsAlan Dix, Benjamin Weyers, Judy Bowen, Philippe Palanque. Trends and Gaps. p:65-88. Springer.
  • Books partsBenjamin Weyers, Michael Douglas Harrison, Judy Bowen, Alan Dix, Philippe Palanque. Case Studies. p:89-121. Springer.
  • Books partsCamille 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. p:465-504. Springer.
  • Books partsCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris. Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. p:549-575. Springer.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris, Christine Gris. A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2017 (SIGCHI - EICS). CEUR Workshop Proceedingsvol:1945. p:42-55. CEUR-WS : Workshop proceedings.
  • International conferences articlesDavid Navarre, Philippe Palanque, Arnaud Hamon, Sabrina Della Pasqua. Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:114-122. Springer.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Yamine Aït-Ameur. QBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:91-105. Springer.
  • International conferences articlesAlexander Meschtscherjakov, Manfred Tscheligi, Peter Frölich, Rod Mccall, Andreas Riener, Philippe Palanque. Mobile interaction with and in autonomous vehicles. International Conference on Human-Computer Interaction with Mobile Devices and Services 2017 (MobileHCI). p:1-6. ACM : Association for Computing Machinery.
  • International conferences articlesPhilippe Palanque, Célia Martinie, Camille Fayollas. Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. ACM International Conference on Human Factors in Computing Systems 2017 (ACM CHI). p:1257-1260. ACM : Association for Computing Machinery.
  • International conferences articlesPhilippe Palanque, Célia Martinie, Marco Winckler. Designing and Assessing Interactive Systems Using Task Models. IFIP TC 13 International Conference on Human-Computer Interaction 2017 (INTERACT). p:383-386. Springer-Verlag.
  • International conferences articlesAndy Cockburn, Carl Gutwin, Philippe Palanque, Yannick Déléris, Catherine Trask, Ashley Coveney, Marcus Yung, Karon Maclean. Turbulent Touch: Touchscreen Input for Cockpit Flight Displays. International Conference on Human-Computer Interaction 2017 (HCI). ACM : Association for Computing Machinery.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael Douglas Harrison, José Creissac Campos, Saulo Rodrigues E Silva. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. Workshop on Formal Integrated Development Environment 2017 (F-IDE). Open Publishing Association.

2016

  • International journals articlesCélia Martinie, Philippe Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin. Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Transactions on Human-Machine Systems vol:462. p:243-254. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesRacim Fahssi, Célia Martinie, Philippe Palanque. Embedding explicit representation of cyber-physical elements in task models. IEEE International Conference on Systems, Man and Cybernetics 2016. p:1969-1974. IEEE Systems, Man, and Cybernetics Society.
  • International conferences articlesRegina Bernhaupt, Philippe Palanque, François Manciet, Célia Martinie. User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience. International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development 2016 (HCSE+HESSD). 0302-9743vol:9856. p:56-72. Springer.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris. What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems 2016 (EnCHIReS). CEUR-WS : Workshop proceedings.
  • International conferences articlesDorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe Palanque. Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development 2016 (HCSE+HESSD). Springer.
  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study. International Conference on Human-Computer Interaction in Aeronautics 2016 (HCI'Aero). ACM Digital Library.
  • International conferences articlesMichael Feary, Célia Martinie, Philippe Palanque, Manfred Tscheligi. Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives. ACM International Conference on Human Factors in Computing Systems 2016 (ACM CHI). ACM Digital Library.
  • International conferences articlesPhilippe Palanque, Célia Martinie. Designing and Assessing Interactive Systems Using Task Models. ACM International Conference on Human Factors in Computing Systems 2016 (ACM CHI). ACM Digital Library.
  • International conferences articlesJosé Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. Systematic automation of scenario-based testing of user interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:138-148. ACM Digital Library.
  • International conferences articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. Engineering mixed-criticality interactive applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:108-119. ACM Digital Library.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Racim Fahssi. Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft. AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork 2016. AAAI Press.
  • Conferences proceedingsCristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt. Joint Working Conference 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016. LNCS9856. Springer.

2015

  • International journals articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. A Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com vol:143. p:170-191. de Gruyter.
  • Books partsCélia Martinie, Philippe Palanque, Marco Winckler. Designing and Assessing Interactive Systems Using Task Models. p:29-58. Brazilian Computing Society.
  • International conferences articlesRegina Bernhaupt, Martin Cronel, François Manciet, Célia Martinie, Philippe Palanque. Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, Marco Winckler, Regina Bernhaupt. AUTOM AT ICS: Research activities on Automation. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
  • International conferences articlesMartina Ragosta, Célia Martinie, Philippe Palanque, David Navarre, Mark-Alexander Sujan. Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
  • International conferences articlesPhilippe Palanque, Célia Martinie. Designing and Assessing Interactive Systems Using Task Models. International Conference on Human-Computer Interaction 2015 (HCI). p:2465-2466. ACM : Association for Computing Machinery.
  • International conferences articlesBenjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque. Workshop on formal methods in human computer interaction. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). p:294-295. ACM : Association for Computing Machinery.
  • International conferences articlesChris Johnson, Michael Feary, Célia Martinie, Philippe Palanque, Regina Peldszus. IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). p:663-664. Springer.
  • International conferences articlesJan Gulliksen, Simone D. J. Barbosa, Anirudha Joshi, Shaun W. Lawson, Philippe Palanque. Role of Conferences in Shaping the Field of HCI. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). p:637-639. Springer.
  • International conferences articlesArnaud Hamon, Philippe Palanque, Martin Cronel. Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics. IEEE International Conference on Industrial Informatics 2015 (INDIN). p:980-987. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Racim Fahssi. Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors. IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development 2015. p:101-116. University of Bamberg Press.
  • International conferences articlesEric Barboni, Arnaud Hamon, Célia Martinie, Philippe Palanque. A User-Centered View on Formal Methods: Interactive Support for Validation and Verification. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:24-29. RWTH Aachen University.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Yannick Déléris. Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:19-23. RWTH Aachen University.
  • International conferences articlesMarco Winckler, Carla Freitas, Philippe Palanque, Ricardo Cava, Eric Barboni. Usability aspects of the inside-in approach for ancillary search tasks on the web. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). LNCSvol:9297. p:207-226. Springer.
  • International conferences articlesRacim Fahssi, Célia Martinie, Philippe Palanque. Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). Springer-Verlag.
  • International conferences articlesCélia Martinie, David Navarre, Philippe Palanque, Camille Fayollas. A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). ACM Press.
  • International conferences articlesPhilippe Palanque, Célia Martinie. Designing and Assessing Interactive Systems Using Task Models. Conference on Human Factors in Computing Systems - Special Interest Group on Computer-Human Interaction 2015 (CHI - SIGCHI). ACM Press.
  • International conferences articlesCélia Martinie, Philippe Palanque. Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts. Workshop on Future Mobile User Interfaces. 13th International Conference on Mobile Systems, Applications and Services 2015. ACM Press.
  • Conferences proceedingsMichael Feary, Thomas Feuerle, Cristina Gonzalez Rechea, Francisco Xavier Saez Nieto, Chris Johnson, Célia Martinie, Philippe Palanque, Alberto Pasquini, Pim van Leeuwen, Marco Winckler. 5th International Conference on Application and Theory of Automation in Command and Control Systems. ACM Digital Library.
  • Conferences proceedingsJulio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9299. Springer.
  • Conferences proceedingsJulio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9298. Springer.
  • Conferences proceedingsJulio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9297. Springer.
  • Conferences proceedingsJulio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9296. Springer.
  • Conferences articles without published proceedingsPhilippe Palanque. 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?. 7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015).
  • Conferences articles without published proceedingsPhilippe Palanque, Racim Fahssi, Célia Martinie, Marco Winckler, Michel Galindo. Retour d'expérience sur l'enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse. GT Modèles de Tâches - IHM 2015.
  • Conferences articles without published proceedingsCélia Martinie, Philippe Palanque. Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice. Human Dependability Workshop (HUDEP 2015).

2014

  • Books (monograph)Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André. A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. vol:1190. CEUR-WS : Workshop proceedings.
  • International journals articlesSergio Firmenich, Gustavo Rossi, Marco Winckler, Philippe Palanque. An Approach for Supporting Distributed User Interface Orchestration over the Web. International Journal of Human-Computer Studies vol:711. p:53-76. Elsevier.
  • International journals articlesEric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming vol:86. p:3-29. Elsevier.
  • International conferences articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim Fahssi. Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. Workshop on Distributed User Interfaces 2014 (DUI). ACM : Association for Computing Machinery.
  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. Pacific Rim International Symposium on Dependable Computing 2014 (PRDC). p:21-30. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesRicardo Cava, Carla Freitas, Eric Barboni, Philippe Palanque, Marco Winckler. Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web. Latin American Web Congress 2014 (LA-WEB). p:91-99. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesPeter Forbrig, Célia Martinie, Philippe Palanque, Marco Winckler, Racim Fahssi. Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components. Human-Centered Software Engineering 2014 (HCSE). p:144-163. Springer.
  • International conferences articlesArnaud Hamon, Philippe Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre. Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). p:173-178. ACM : Association for Computing Machinery.
  • International conferences articlesCélia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan. Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). ACM Digital Library.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, David Navarre. An approach for assessing the impact of dependability on usability: application to interactive cockpits. European Dependable Computing Conference 2014 (EDCC). p:198-209. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Yannick Déléris, Arnaud Hamon. A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems. European Conference on Embedded Real Time Software and Systems 2014 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • International conferences articlesCélia Martinie, Philippe Palanque. Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance. AAAI 2014 Symposium on Formal Verification on Human-Machine Systems. AAAI Press.
  • National conferences articlesCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Déléris. A fault-tolerant architecture for resilient interactive systems. Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). p:80-90. ACM : Association for Computing Machinery.
  • National conferences articlesRacim Fahssi, Célia Martinie, Philippe Palanque. HAMSTERS : un environnement d'édition et de simulation de modèles de tâches (Démo). Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). ACM Digital Library.

2013

  • International journals articlesCélia Martinie, David Navarre, Philippe Palanque. A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems. International Journal of Human-Computer Studies vol:2013.08. Elsevier.
  • International journals articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Déléris. Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach. International Journal of Critical Computer-Based Systems vol:43. p:202-226. Inderscience Publishers.
  • International conferences articlesRomuald Deshayes, Tom Mens, Philippe Palanque. PetriNect: A tool for executable modeling of gestural interaction. Visual Languages and Human-Centric Computing 2013 (VL/HCC). p:197-198. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesRomuald Deshayes, Philippe Palanque, Tom Mens. A generic framework for executable gestural interaction models. Visual Languages and Human-Centric Computing 2013 (VL/HCC). p:35-38. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesCélia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan, Eric Rigaud, Erik Hollnagel. Modelling of Automation Degradation: a Case Study. SESAR Innovation Days 2013. SESAR Work Package E.
  • International conferences articlesGuillaume Brat, Célia Martinie, Philippe Palanque. V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog. IFIP TC 13 International Conference on Human-Computer Interaction 2013 (INTERACT). LNCS. p:290-299. Springer.
  • International conferences articlesArnaud Hamon, Philippe Palanque, José Luís Silva, Yannick Déléris, Eric Barboni. Formal description of multi-touch interactions. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2013 (SIGCHI - EICS). p:207-216. ACM : Association for Computing Machinery.
  • International conferences articlesCélia Martinie, Philippe Palanque, Martina Ragosta, Racim Fahssi. Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information. European Conference on Cognitive Ergonomics 2013 (ECCE). ECCE '1323. p:1-10. ACM : Association for Computing Machinery.
  • International conferences articlesJosé Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Célia Martinie, Eric Barboni. Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems 2013 (FMIS). Electronic Communications of the EASST.
  • International conferences articlesCélia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark-Alexander Sujan, David Navarre. Understanding functional resonance through a federation of models: preliminary findings of an avionics case study. International Conference on Computer Safety, Reliability and Security 2013 (SAFECOMP). p:216-227. Springer-Verlag.
  • International conferences articlesDavid Navarre, Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta. Model-based dynamic distribution of user interfaces of critical interactive systems. International Conference on Application and Theory of Automation in Command and Control Systems 2013 (ATACCS). p:66-75. ACM : Association for Computing Machinery.
  • International conferences articlesCaio Stein D'Agostini, Ricardo Cava, Carina Dorneles, Sergio Firmenich, Carla Freitas, Philippe Palanque, Marco Winckler. Proposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web. Simposio Brasileiro de Fatores Humanos em Sistemas Computacionais 2013 (IHC). p:148-157. Sociedade Brasileira de Computação (SBC).
  • International conferences articlesPeter Forbrig, Michael Zaki, Philippe Palanque, Marco Winckler. Supportive User Interfaces and Task Migratability in Smart Environments. Workshop on Distributed User Interfaces 2013 (DUI). p:42-45. University of Castilla - La Mancha.
  • International conferences articlesJonathan Lazar, Simone D. J. Barbosa, Jan Gulliksen, Tom Mcewan, Loïc Martínez Normand, Philippe Palanque, Raquel Oliveira Prates, Janice Tsai, Marco Winckler, Wolker Wulf. Workshop on engaging the human-computer interaction community with public policymaking internationally. ACM International Conference on Human Factors in Computing Systems 2013 (ACM CHI). p:3279-3282. ACM Digital Library.
  • Conferences proceedingsGuillaume Brat, Eduardo Garcia, Antonio Moccia, Philippe Palanque, Alberto Pasquini, Francisco Xavier Saez Nieto, Marco Winckler. 3rd International Conference on Application and Theory of Automation in Command and Control Systems. IRIT Press.
  • Conferences articles without published proceedingsJean-Paul Blanquart, Christel Seguin, Philippe Palanque. System Level Integrated Failure Analysis. HUDEP 2013.
  • Conferences articles without published proceedingsCélia Martinie, Philippe Palanque. Predicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks. HUDEP 2013.
  • Conferences articles without published proceedingsPhilippe Palanque. The Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia. 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 2013.

2012

  • Books partsMarco Winckler, Philippe Palanque. Models as Representations for Supporting the Development of e-Procedures. p:301-315. Morgan Kaufmann Publishers.
  • International conferences articlesEric Rigaud, Erik Hollnagel, Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan. A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems. SESAR Innovation Days 2012. Eurocontrol.
  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Déléris. Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. Software Engineering for Resilient Systems 2012 (SERENE). p:32-46. Springer-Verlag.
  • International conferences articlesPhilippe Palanque, Regina Bernhaupt, Célia Martinie. Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice. Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities. In conjunction with 4th International Conference on Fun and Games (Fun&Games2012). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart. Systematic Approaches to Training Encompassing Operators' mission and Interaction Techniques. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:112-134. Springer.
  • International conferences articlesLlúcia Masip, Célia Martinie, Marco Winckler, Philippe Palanque, Toni Granollers, Marta Oliva. A Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:53-71. Springer.
  • International conferences articlesDavid Navarre, Philippe Palanque. Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism. Workshop on Formal Methods in Human-Machine Interaction 2012 (Formal H). Formal H : workshop on Formal Methods in Human-Machine Interaction.
  • International conferences articlesPhilippe Palanque. Task Models as a Central Artifact for Designing, Building and Operating Safe, Usable and Reliable Interactive and (partly-)Autonomous Applications. European Conference on Cognitive Ergonomics 2012 (ECCE). ACM : Association for Computing Machinery.
  • International conferences articlesPhilippe Palanque. Automation in command and control systems: what should be remembered and what should be forgotten when designing Safe, Usable, Reliable and Enjoyable intelligent vehicles. Workshop on Human Factors for Intellignet Vehicles 2012 (HFIV).
  • International conferences articlesArnaud Hamon, Philippe Palanque, David Navarre, Célia Martinie, Adrienne Tankeu Choitat, Eric Barboni. Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism. European Congress on Embedded Real-Time Software 2012 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • International conferences articlesArnaud Hamon, Philippe Palanque, Yannick Déléris, David Navarre, Eric Barboni. A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • International conferences articlesThomas Mirlacher, Philippe Palanque, Regina Bernhaupt. Engineering Animations in User Interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2012 (SIGCHI - EICS). p:25-36. ACM Press.
  • International conferences articlesCélia Martinie, Philippe Palanque, Martina Ragosta. Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems. ACM International Conference on Human Factors in Computer Science (Workshop on End-user Interactions with Intelligent and Autonomous Systems) 2012. p:25-30. ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni. Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability. International Conference on Application and Theory of Automation in Command and Control Systems 2012 (ATACCS). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Erwann Poupart. A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite. International Conference on Space Operations 2012 (SpaceOps). American Institute of Aeronautics and Astronautics (AIAA).
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors. Safety and Reliability for managing Risk 2012 (ESREL). p:25-36. Taylor & Francis Group.
  • International conferences articlesErik Hollnagel, Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni. System Performances under Automation Degradation (SPAD). The First SESAR Innovation Days 2012. SESAR Work Package E.
  • National conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni, Marco Winckler. Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. Conférence Francophone sur l'Interaction Homme-Machine 2012 (IHM). ACM Digital Library.
  • Conferences proceedingsEduardo Garcia, Chris Johnson, Washington Yotto Ochieng, Philippe Palanque, Francisco Xavier Saez Nieto, Miguel Angel Vilaplana, Marco Winckler. ATACCS'2012: 2nd International Conference on Application and Theory of Automation in Command and Control Systems. IRIT.
  • Conferences articles without published proceedingsMarco Winckler, Philippe Palanque, David Navarre. Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM. Workshop on HCI: Web and Graphics Curricula at WWW 2012.
  • Conferences articles without published proceedingsPhilippe Palanque, Cédric Bach, Célia Martinie, Marco Winckler. Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration d'incidents et à l'opération des systèmes de commande et contrôles. Journée scientifique RTRA - FHAE (Facteurs Humains pour la Sécurité Aéronautique) 2012.

2011

  • International journals articlesDavid Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie. Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Elsevier's Safety Science vol:96. p:38-52. Elsevier.
  • Books partsPhilippe Palanque, Marco Winckler, Célia Martinie. A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. Studies in Computational Intelligencevol:Vol. 340. p:143-170. Springer.
  • Books partsDavid Navarre, Philippe Palanque, Célia Martinie, Sandra Steere. Formal Description Techniques for Human-Machine Interfaces - Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. Ashgate Publishing.
  • International conferences articlesAdrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, Camille Fayollas. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. Pacific Rim International Symposium on Dependable Computing 2011 (PRDC). p:164-173. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesEric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems. IFIP WG 2.7/13.4 Workshop on User Interface Description Languages 2011 (UIDL). Thales Research and Technology.
  • International conferences articlesCélia Martinie, Philippe Palanque, Eric Barboni, Martina Ragosta. Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments. IEEE International Conference on Systems, Man and Cybernetics 2011. p:3267-3273. IEEE Computer Society - Conference Publishing Services.
  • International conferences articlesCélia Martinie, Philippe Palanque, Marco Winckler. Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). p:134-152. Springer-Verlag.
  • International conferences articlesAdrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Déléris. Self-Checking Widgets for Interactive Cockpits. European Workshop on Dependable Computing 2011. p:34-42. ACM Digital Library.
  • International conferences articlesPhilippe Palanque, Regina Bernhaupt, Florent Montesano. Integrating Gaming Research and Practice in the Design of User Interface of (partly)-Autonomous Safety-Critical Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). p:23-30. ACM Digital Library.
  • International conferences articlesPhilippe Palanque, Regina Bernhaupt, Marco Winckler. Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical Systems. European Workshop on HCI Design and Evaluation 2011. p:45-53. ACM Digital Library.
  • International conferences articlesPhilippe Palanque, Regina Bernhaupt, Guy André Boy, Michael Faery. Engineering Automation in Interactive Critical Systems. International Conference on Human-Computer Interaction 2011 (HCI). p:1345-1349. ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi. Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). IRIT Press.
  • International conferences articlesPhilippe Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler. A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:21-30. ACM Press.
  • International conferences articlesCélia Martinie, Philippe Palanque, Marco Winckler, David Navarre, Erwann Poupart. Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:589-609. Springer-Verlag.
  • Conferences proceedingsEduardo Garcia, Arnab Majumdar, Philippe Palanque, Alberto Pasquini, Francisco Xavier Saez Nieto, Marco Winckler. 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS'2011). ISBN: 978-2-917490-14-3. IRIT Press.
  • Conferences proceedingsPedro F. Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6949. Springer.
  • Conferences proceedingsPedro F. Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6946. Springer.
  • Conferences proceedingsPedro F. Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6948. Springer.
  • Conferences proceedingsPedro F. Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6947. Springer.
  • Conferences articles without published proceedingsCélia Martinie, Philippe Palanque. A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches. IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011).
  • Conferences articles without published proceedingsPhilippe Palanque, Célia Martinie. Contextual Help for Supporting Critical Systems' Operators: Application to Space Ground Segments. Workshop on Activity Context Representation 2011.

2010

  • International conferences articlesPhilippe Palanque. Designing Interactive Systems neither Interaction nor Interfaces. Congreso Internacional de Interaccion Persona-Ordenador 2010. p:5-13. ACM Digital Library.
  • International conferences articlesPhilippe Palanque, Adrienne Tankeu Choitat, David Navarre. An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits. International Conference on Human-Computer Interaction in Aeronautics 2010 (HCI'Aero). p:120-130. ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, Marco Winckler, Stephane Conversy. DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements. ACM International Conference on Design of Communication 2010 (ACM SIGDOC). p:73-80. ACM : Association for Computing Machinery.
  • International conferences articlesCélia Martinie, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Winckler. Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an "intensive" Model-Based Development Approach. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:29-32. CEUR-WS : Workshop proceedings.
  • International conferences articlesJean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre. Model-Based Usability Evaluation and Analysis of Interactive Techniques. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:21-24. CEUR-WS : Workshop proceedings.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Marco Winckler. A formal approach supporting effective and efficient training program for improving operators reliability. Safety and Reliability for managing Risk 2010 (ESREL). p:234-243. Taylor & Francis Group.
  • International conferences articlesEric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Winckler. Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2010 (SIGCHI - EICS). p:143-152. ACM SIGCHI.
  • National conferences articlesPhilippe Palanque. Défis pour les Approches Formelles pour l'Ingénierie des Systèmes Interactifs. Journées Francophones MODÈLES FORMELS de l'INTERACTION 2010 (MFI). p:5-9.
  • National conferences articlesJean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Winckler. Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. ACM ISBN : 978-1-4503-0410-8. p:81-88. ACM Digital Library.
  • National conferences articlesMarco Winckler, Philippe Palanque. Desafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHM. Simpósio de Fatores Humanos em Sistemas Computacionais 2010 (IHC). ISSN 2178-7700vol:II. p:71-74. Sociedade Brasileira de Computação.
  • Special issues of journalsMaría D. Lozano, José Gallud, Philippe Palanque. Mobile Context-Aware Applications for Ubiquitous Computing. Journal of Universal Computer Science vol:1615. John Wiley and Sons.
  • Conferences proceedingsDavid England, Philippe Palanque, Jean Vanderdonckt, Peter Wilde. Task Models and Diagrams for User Interface Design (TAMODIA 2009). LNCS5963. Springer-Verlag.
  • Conferences proceedingsPhilippe Palanque, Jean Vanderdonckt, Marco Winckler. 7th IFIP WG 13.5 Working Conference Human Error, Safety and Systems Development (HESSD 2009). LNCS5962. Springer-Verlag.

2009

  • International journals articlesDavid Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni. ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. Transactions on Computer-Human Interaction vol:164. p:1-56. ACM SIGCHI.
  • Books partsDavid Navarre, Philippe Palanque, Marco Winckler. Task Models and System Models as a Bridge between HCI and Sofware Engineering. Human-Computer Interaction Series. p:357-385. Springer.
  • International conferences articlesJean-François Ladry, David Navarre, Philippe Palanque. Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces. International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction 2009 (ICMI-MLMI 2009). p:135-142. ACM : Association for Computing Machinery.
  • International conferences articlesDenis Lalanne, Laurence Nigay, Philippe Palanque, Peter Robinson, Jean Vanderdonckt. Fusion Engines for Multimodal Interfaces: a survey. International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction 2009 (ICMI-MLMI 2009). p:111-118. ACM : Association for Computing Machinery.
  • International conferences articlesEugenio Alberdi, Lorenzo Strigini, Kieran Leach, Peter Ryan, Philippe Palanque, Marco Winckler. Gaining assurance in a voter-verifiable voting system. International Conference on Dependability 2009 (DEPEND). DOI 10.1109/DEPEND.2009.2. p:99-104. IEEE Computer Society.
  • International conferences articlesPhilippe Palanque, Marco Winckler, Jean-François Ladry, Maurice H. Ter Beek, Giorgio Faconti, Mieke Massink. A Formal Approach Supporting the Comparative Predic-tive Assessment of the Interruption-Tolerance of Interactive Systems. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2009 (SIGCHI - EICS). p:211-220. ACM Press.
  • International conferences articlesMaurice H. Ter Beek, Giorgio Faconti, Mieke Massink, Philippe Palanque, Marco Winckler. Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach. IFIP TC 13 International Conference on Human-Computer Interaction 2009 (INTERACT). LNCSvol:15726. p:494-509. Springer-Verlag.
  • International conferences articlesMarco Winckler, Regina Bernhaupt, Philippe Palanque, David Lundin, Kieran Leach, Peter Ryan, Eugenio Alberdi, Lorenzo Strigini. Assessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter. International Conference on eGovernment & eGovernance 2009 (ICE-GOVE). vol:1ISBN 975-6339-00-0. p:281-296. Turksat (International Satellite and Cable Operator).
  • International conferences articlesSandra Steere, Erwann Poupart, Philippe Palanque. An operator-centered, model-based framework for ground segment design, supporting training and operations. Ground System Architectures Workshop 2009 (GSAW). The Aerospace Corporation.
  • International conferences articlesPhilippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni. High-Fidelity Prototyping of Interactive Systems can be Formal too. HCI International 2009. p:21-30. Springer-Verlag.
  • National conferences articlesPhilippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler. Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:141-150. ACM Digital Library.
  • Conferences proceedingsTom Gross, Jan Gulliksen, Paula Kotze, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Winckler. TC13 IFIP INTERACT 2009. LNCS 5726 / 5727. Springer.
  • Conferences articles without published proceedingsPhilippe Palanque, David Navarre. Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering. EVAL-workshop at INTERACT 2009.

2008

  • Books partsRegina Bernhaupt, David Navarre, Philippe Palanque, Marco Winckler. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Human-Computer Interaction Series. p:96-122. Springer.
  • International conferences articlesPhilippe Palanque, Marco Winckler, Regina Bernhaupt, Eugenio Alberdi, Lorenzo Strigini. AROVE-v: Assessing the resilience of open verifiable E-voting systems. European Dependable Computing Conference 2008 (EDCC). (Fast Abstract)ISBN 978-0-7695-3666-8/09. IEEE Computer Society.
  • International conferences articlesSandra Steere, David Navarre, Philippe Palanque. Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. International Conference on Computer Safety, Reliability and Security 2008 (SAFECOMP). vol:LNCS. p:0-0. Springer-Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Jean-François Ladry, Sandra Steere. An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). vol:LNCS. p:0-0. Springer-Verlag.
  • International conferences articlesPhilippe Palanque, Sandra Steere, Regina Bernhaupt, Ron Boring, Chris Johnson, Peter Johnson. Beyond usability for safety critical systems: How to be SURE (safe, usable, reliable, and evolvable)?. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). p:2133-2136. ACM : Association for Computing Machinery.
  • International conferences articlesJean-François Ladry, Philippe Palanque, Sandra Steere, Eric Barboni, David Navarre. Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). ACM : Association for Computing Machinery.
  • International conferences articlesPhilippe Palanque, Sandra Steere, Erwann Poupart. A Model-Based Approach Centred on Operational Procedures for the Development of Reliable and Usable Ground Segment Systems. AIAA International Conference on Space Operations 2008 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
  • International conferences articlesSandra Steere, Philippe Palanque, Regina Bernhaupt, Erwann Poupart. Formal Modelling of Incidents and Accidents as a Means for Enriching Training Material for Satellite Control Operations. Safety and Reliability for managing Risk 2008 (ESREL). p:0-0. Taylor & Francis Group.
  • International conferences articlesGiorgio Faconti, Michael Douglas Harrison, Mieke Massink, Philippe Palanque. The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems. European Dependable Computing Conference 2008 (EDCC). p:0-0. IEEE Computer Society.
  • Conferences proceedingsT.C. Nicholas Graham, Philippe Palanque. DSV-IS 2008 15th International conference on Design, Specification,and Verification of Interactive Systems. Springer-Verlag.
  • Conferences proceedingsJan Gulliksen, Morten Harning, Philippe Palanque, Gerrit Van der Veer, Janet Wesson. 14th International conference DSV-IS 2007 (Design Specification and Verification of Interactive Systems) & EIS 2007 (Engineering Interactive Systems). Lecture Notes in Computer Science4940. Springer-Verlag.

2007

  • International journals articlesSandra Steere, Philippe Palanque, Bastiaan Schupp, Peter Wright. Formal socio-technical barrier modelling for safety-critical interactive systems design. Elsevier's Safety Science vol:455. p:545-565. Elsevier.
  • Books partsXavier Lacaze, Philippe Palanque, Eric Barboni, Rémi Bastide, David Navarre. From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management. p:155-172. Springer-Verlag.
  • International conferences articlesRegina Bernhaupt, Philippe Palanque, Marco Winckler, David Navarre. Usability Study of Multi-Modal Interfaces using Eye-Tracking. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). LNCSvol:24663. p:412-424. Springer-Verlag.
  • International conferences articlesXavier Lacaze, Philippe Palanque. DREAM-TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:0-0. Springer-Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Jean-François Ladry. Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems. IET International Conference on System Safety 2007. p:0-0. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesStephane Conversy, Eric Barboni, David Navarre, Philippe Palanque. Improving modularity of interactive software with the MDPC architecture. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). p:321-338. Springer-Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design 2007 (TAMODIA). p:0-0. Springer-Verlag.
  • International conferences articlesEric Barboni, David Navarre, Philippe Palanque, Sandra Steere. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661. IEEE International Symposium on Industrial Embedded Systems 2007 (SIES). 1-4244-0840-7. p:250-257. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesPhilippe Palanque, Sandra Steere, David Navarre. Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare. Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society 2007 (USAB). p:21-40. Springer.
  • International conferences articlesXavier Lacaze, Philippe Palanque. DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:525-540. Springer-Verlag.
  • Conferences proceedingsMarco Winckler, Hilary Johnson, Philippe Palanque. 6th International Workshop on TASk MOdels and DIAgrams (TAMODIA'2007). LNCS4849. Springer-Verlag.
  • Conferences proceedingsCecilia Baranauskas, Philippe Palanque, Julio Abascal, Simone D. J. Barbosa. INTERACT 2007 11th IFIP TC 13 International Conference (Part II). Lecture Notes in Computer Science4662. Springer-Verlag.
  • Conferences proceedingsCecilia Baranauskas, Philippe Palanque, Julio Abascal, Simone D. J. Barbosa. INTERACT 2007 11th IFIP TC 13 International Conference (Part I). Lecture Notes in Computer Science4663. Springer-Verlag.

2006

  • International journals articlesMarco Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science vol:1572. p:207-211. Elsevier.
  • International journals articlesDavid Navarre, Philippe Palanque, Pierre Dragicevic, Rémi Bastide. An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications. Interacting with Computers vol:185. p:910-941. Elsevier.
  • International conferences articlesPhilippe Palanque, Regina Bernhaupt, David Navarre, Mourad Ould, Marco Winckler. Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. International Conference on Space Operations 2006 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
  • International conferences articlesEric Barboni, Stephane Conversy, David Navarre, Philippe Palanque. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems 2006 (DSV-IS). LNCS. p:25-38. Springer-Verlag.
  • International conferences articlesSvetlena Tavena, Philippe Palanque, Sandra Steere, Marco Winckler, Effie Law. Clinical Application Design: Task Modeling with Failure in Mind (poster). World Congress on Internet in Medicine 2006 (MedNet). eHealthNews.eu.
  • International conferences articlesSvetlena Tavena, Philippe Palanque, Sandra Steere, Marco Winckler, Effie Law. Analysis of Communication Breakdowns for eHealth Systems Design.(poster). Nordic Conference on eHealth and Telemedicine 2006 (NCeHT). STAKES.
  • International conferences articlesSandra Steere, Philippe Palanque. Software hazards and barriers for informing the design of safety-critical interactive systems. Safety and Reliability for managing Risk 2006 (ESREL). p:1381-1388. Taylor & Francis Group.
  • International conferences articlesEric Barboni, David Navarre, Philippe Palanque, Sandra Steere. Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications. International Conference on Human-Computer Interaction in Aeronautics 2006 (HCI'Aero). Cépaduès.
  • International conferences articlesBastiaan Schupp, Sandra Steere, Philippe Palanque, Peter Wright. A Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive Systems. International Symposium of the ISSA Research Section Design process and human factors integration: Optimising company performances 2006. International Social Security Association (ISSA).
  • International conferences articlesPhilippe Palanque, Regina Bernhaupt, Ron Boring, Chris Johnson. Testing Interactive Software: a Challenge for Usability and Reliability. ACM Conference on Human Factors in Computing Systems - Special Interest Group on Testing Interactive Software 2006 (CHI - SIGTIS). p:748-751. ACM : Association for Computing Machinery.

2005

  • International journals articlesSandra Steere, Nick Chozos, Philippe Palanque. Multidisciplinary perspective on accident investigation. Special edition of Elsevier's Reliability Engineering and System Safety journal vol:9112. p:1502-1520. Elsevier.
  • Books partsRémi Bastide, David Navarre, Philippe Palanque. Tool Support for Interactive Prototyping of Safety Critical Interactive Applications. Idea Group Reference Pub.
  • Books partsXavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre. Design Rationale for Increasing Profitability of Interactive Systems Development. p:15. Idea Group Reference.
  • International conferences articlesGilbert Cockton, Ebba Hvannberg, Effie Law, Jean Vanderdonckt, Philippe Palanque. COST 294: A Usability Research Community. Interact 2005. p:1012-1015. Lecture Notes in Computer Science, Springer Verlag.
  • International conferences articlesEffie Law, Ebba Hvannberg, Jean Vanderdonckt, Dominique-Louis Scapin, Philippe Palanque. Towards the Maturation of IT Usability Evaluation (MAUSE). Interact 2005. p:1134-1137. Lecture Notes in Computer Science, Springer Verlag.
  • International conferences articlesEffie Law, Ebba Hvannberg, Jean Vanderdonckt, Dominique-Louis Scapin, Philippe Palanque. MAUSE: Network of Usability Excellence. BCS HCI 2005. p:283-286. Springer Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Freitas. A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. IFIP TC 13 International Conference on Human-Computer Interaction 2005 (INTERACT). p:170-183. Springer-Verlag.
  • International conferences articlesSandra Steere, Nick Chozos, Chris Johnson, Philippe Palanque. Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring. 24th European Annual Conference on Human Decision Making and Manual Control. (EAM) 2005. xx.
  • International conferences articlesSandra Steere, Nick Chozos, Chris Johnson, Philippe Palanque. Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. International Workshop on Design, Specification and Verification of Interactive Systems 2005 (DSVIS). p:123-139. Springer-Verlag.
  • International conferences articlesMarco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. First International Workshop on Automated Specification and Verification of Web Sites (WWV'2005). p:33-36. LNCS.
  • International conferences articlesRémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque, Michel Galindo. Can we Rationalise the Design and Construction of Air Traffic Management Systems. HCI International 2005. TBD.
  • International conferences articlesRémi Bastide, Eric Barboni, Xavier Lacaze, David Navarre, Philippe Palanque, Amélie Schyn, Didier Bazalgette. Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit. HCI International 2005. TBD.
  • International conferences articlesSandra Steere, David Navarre, Philippe Palanque. Complexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance. 2nd Workshop on Complexity in Design and Engineering 2005. p:45-58. GIST Technical Report G2005-1.
  • Conferences proceedingsRémi Bastide, Philippe Palanque, Jörg Roth. Joint EHCI-DSVIS 2004 conference proceedings. Springer, Lecture Notes in Computer Science n° 3425.
  • Conferences articles without published proceedingsSandra Steere, Philippe Palanque. A Task Pattern Approach to Incorporate User Deviation in Task Models. Proceedings of the first ADVISES Young Researchers Workshop 2005.
  • Conferences articles without published proceedingsSandra Steere, Rémi Bastide, Philippe Palanque. Extending the Boundaries of Model-Based Development to Account for Errors. Model Driven Development of Advanced User Interfaces, Workshop at MoDELS/UML'2005, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems.
  • Conferences articles without published proceedingsDavid Navarre, Philippe Palanque, Rémi Bastide, Marco Winckler. What User Interface Tools are needed for Safety Critical Interactive Systems?. CHI 2005 Workshop : The Future of User Interface Design Tools.

2004

  • International conferences articlesMourad Ould, Philippe Palanque, Amélie Schyn, Rémi Bastide, David Navarre. Multimodal and 3D Graphic Man Machine Interfaces to improve Operations. SpaceOps'2004 - Eighth International Conference on Space Operations. Canadian Space Agency.
  • International conferences articlesRémi Bastide, David Navarre, Philippe Palanque, Amélie Schyn, Pierre Dragicevic. A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. ICMI 2004 - Sixth International Conference on Multimodal Interfaces. p:243-250. ACM Press.
  • International conferences articlesPierre Dragicevic, David Navarre, Philippe Palanque, Amélie Schyn, Rémi Bastide. Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems. IFIP Working Conference on Engineering for Human-Computer Interaction (jointly with the 11th International Workshop on Design, Specification and Verification of Interactive Systems) 2004 (EHCI-DSVIS). LNCS3425. p:185-206. Springer.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. International Conference on Human-Computer Interaction in Aeronautics 2004 (HCI'Aero). EURISCO International.
  • International conferences articlesMarco Winckler, Carla Freitas, Philippe Palanque. Tasks and Scenario-based Evaluation of Information Visualization Techniques. 3rd International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA¿2004. p:165-172. ACM SIGCHI.
  • International conferences articlesMarco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation. CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces. p:55-56. Kluwer Academic Publisher.
  • International conferences articlesPhilippe Palanque, Sandra Steere. Task Patterns For Taking Into Account In An Efficient And Systematic Way Both Standard And Erroneous User Behaviours. IFIP 13.5 Working Conference on Human Error, Safety and Systems Development (HESSD) 2004. p:109-130. Kluwer Academic Publisher.
  • International conferences articlesXavier Lacaze, Philippe Palanque. Comprehensive Handling of Temporal Issues in Tasks Models: What is needed and How to Support it?. Workshop of The Temporal Aspects Of Work For HCI, CHI 2004.-April 24-29, 2004. p:6. ACM.
  • Conferences proceedingsChris Johnson, Philippe Palanque. Human Error, Safety and Systems Development 2004. Proceedings of HESSD 2004. Kluer Academics. ISBN 1-4030-8152-9.
  • Conferences proceedingsPavel Slavik, Philippe Palanque, Marco Winckler. 3rd International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004. ACM SIGCHI.

2003

  • International journals articlesRémi Bastide, David Navarre, Philippe Palanque. A tool-supported design framework for safety critical interactive systems. Interacting with Computers vol:153. p:309-328. Elsevier.
  • Books partsDavid Navarre, Rémi Bastide, Philippe Palanque. Notations en IHM pour une modélisation synergique des tâches et du système. Hermès.
  • International conferences articlesPhilippe Palanque, Amélie Schyn. A Model-Based Approach for Engineering Multimodal Interactive. INTERACT'2003 : Ninth IFIP TC13 International Conference on Human-Computer Interaction. p:543-550. IOS Press.
  • International conferences articlesAmélie Schyn, David Navarre, Philippe Palanque, Luciana Porcher Nedel. Description Formelle d¿une Technique d¿Interaction Multimodale dans une Application de Réalité Virtuelle Immersive. IHM'2003 : 15th French Speaking conference on human-computer interaction. p:150-157. ACM Press.
  • International conferences articlesLuciana Porcher Nedel, Carla Freitas, Amélie Schyn, David Navarre, Philippe Palanque. Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?. VI Symposium on Virtual Reality 2003. p:81-92. SBC - Brazilian Computer Society.
  • International conferences articlesCarla Freitas, Ricardo Cava, Marco Winckler, Philippe Palanque. Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration. 10th International Conference on Human-Computer Interaction ¿ HCI International¿2003. p:1091-1095. Lawrence Erlbaum Associates.
  • International conferences articlesPhilippe Palanque, Rémi Bastide, Marco Winckler. Automatic Generation of Interactive Systems: Why A Task Model is not Enough. HCI International¿2003 - 10th International Conference on Human-Computer Interaction. p:198-202. Lawrence Erlbaum Associates.
  • International conferences articlesMarco Winckler, Philippe Palanque. A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. International Workshop on Design, Specification and Verification of Interactive Systems - DSVIS'2003. p:61-76. LNCS.
  • International conferences articlesEric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque. Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 - 10th Workshop Algorithms and Tools for Petri Nets. ---.
  • International conferences articlesMarco Winckler, Philippe Palanque. StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. Design Specification and Verification of Interactive Systems 2003 (DSV-IS). p:61-67. Springer-Verlag.
  • Conferences proceedingsEamonn O'Neill, Philippe Palanque, Peter Johnson. People and Computers XVII - Designing for Society Proceedings of HCI 2003. Springer Verlag. ISBN 1-85233-766-4.
  • Conferences articles without published proceedingsRémi Bastide, Philippe Palanque. UML for Interactive Systems: What is Missing. INTERACT 2003 - Workshop on Software Engineering and HCI.

2002

  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide. Reconciling Safety and Usability Concerns through Formal Specification-based Development Process. International Conference on Human-Computer Interaction in Aeronautics 2002 (HCI'Aero). p:23-29. EURISCO International.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide. Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI'2002 - 4th International Conference on Computer-Aided Design of User Interfaces. Kluwer.
  • International conferences articlesRémi Bastide, Philippe Palanque, David Navarre. A Model Based Tool for Interactive Prototyping of Highly Interactive Applications. CHI'2002 - ACM Conference on Human Factors in Computing Systems. ACM Press.
  • International conferences articlesPhilippe Palanque, Amélie Schyn. A Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive Systems. Workshop on Multimodal Resources and Multimodal Systems Evaluation, THIRD INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC2002. p:63-70. ELRA.
  • International conferences articlesMarco Winckler, Philippe Palanque, Christelle Farenc, Marcelo Pimenta. Task-Based Assessment of Web Navigation Design. First International Workshop in Task Models and Diagrams for User Interface Design - TAMODIA'2002. p:161-169. ACM SIGCHI.
  • International conferences articlesXavier Lacaze, Philippe Palanque, David Navarre, Rémi Bastide. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002 - 9th International Workshop, Design Specification and Verification of Interactive Systems. p:208-222. Springer, Lecture notes in Computer Science 2545.
  • National conferences articlesMarco Winckler, Christelle Farenc, Philippe Palanque. Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation. 14th Conférence Francophone sur l'Interaction Homme-Machine - IHM'2002. p:153-160. AFIHM.
  • National conferences articlesXavier Lacaze, Philippe Palanque, David Navarre. Evaluation de Performance et Modèles de Tâches comme Support à la Conception Rationnelle des Systèmes Interactifs. 14ème conférence francophone en Interaction Homme Machine, IHM 2002. p:17-24. ACM Press.
  • Conferences articles without published proceedingsMarco Winckler, Christelle Farenc, Philippe Palanque. Automatic Evaluation for the Web: How Improve Navigation Guidelines. Workshop on Automated Testing in ACM Conference on Computer-Human Interaction - CHI¿2002.

2001

  • International conferences articlesMarco Winckler, Christelle Farenc, Philippe Palanque, Rémi Bastide. Designing Navigation for Web Interfaces. Annual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001 (IHM-HCI). (Short paper). p:43-46. Cépaduès Editions.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide, Ousmane Sy. A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. RSP'01 - 12th IEEE International Workshop on Rapid System Prototyping 2001. IEEE.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide, Fabio Paternò, Carmen Santoro. A Tool Suite for Integrating Task and System Models Through Scenarios. DSV-IS'2001 - 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems. Springer, Lecture Notes in Computer Science 2220.
  • International conferences articlesChristelle Farenc, Philippe Palanque, Christian Bastien, Dominique-Louis Scapin, Marco Winckler. Towards a General Guidance and Support Tool for Usability Optimization. International Conference on Universal Access in Human-Computer ¿ UAHCI¿2001. Lawrence Erlbaum Associates.
  • International conferences articlesMarco Winckler, Marcelo Pimenta, Philippe Palanque, Christelle Farenc. Usability Evaluation Methods: What is still missing for the Web?. 8th International Conference on HCI International 2001. Lawrence Erlbaum Associates.
  • National conferences articlesMarco Winckler, Christelle Farenc, Philippe Palanque, Marcelo Pimenta. Avaliação da Navegação de Interfaces Web a partir de Modelos. IV Simpósio sobre Fatores Humanos em Sistemas Computacionais ¿ IHC¿2001. SBC.

2000

  • International conferences articlesPhilippe Palanque, Michel Galindo, David Navarre, Rémi Bastide, Ousmane Sy. Integrating Prototyping and Formal Methods as a means for Reconciling Usability and Safety. Workshop on Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 - Workshop within HCI-Aero 2000. p:41-47. European Institute of Cognitive Science and Engineering.

1999

  • National conferences articlesChristelle Farenc, Philippe Palanque. Exploitation des notations de Design Rationale pour une conception justifiée des applications interactives. Conférence Francophone sur l'Interaction Homme-Machine 1999 (IHM). Cépaduès.