Displaying 132 out of 132 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 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 articlesCélia Martinie, Bilal Naqvi. On using the Task Models for Validation and Evolution of Usable Security Design Patterns. 17th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance. p:405-417. Springer Nature Switzerland.
  • 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.

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 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.
  • 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 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 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 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 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 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 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 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 articlesCélia Martinie, Christos Grigoriadis, Eleni-Maria Kalogeraki, Panayiotis Kotzanikolaou. Modelling Human Tasks to Enhance Threat Identification in Critical Maritime Systems. 25th Pan-Hellenic Conference on Informatics (PCI 2021). p:375-380. ACM: Association for Computing Machinery, New York.
  • 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 articlesCélia Martinie. Challenges for operationalizing XAI in Critical Interactive Systems. ACM CHI Workshop on Operationalizing Human-Centered Perspectives in Explainable AI (HCXAI @ CHI 2021).

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 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 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 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.

2019

  • 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 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 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 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 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 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

  • 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 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.

2017

  • 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.
  • 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 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 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 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.
  • Conferences proceedingsJosé Creissac Campos, Nunes Nuno, Pedro F. Campos, Gaëlle Calvary, Jeffrey Nichols, Célia Martinie, José Luís Silva. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017. ACM : Association for Computing Machinery.

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 articlesCélia Martinie. From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ?. Conference on Human Factors in Computing Systems - Workshop: HCI and Autonomous Vehicles 2016 (CHI Workshop). ACM SIGCHI.
  • 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 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.

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 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 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 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 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

  • 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 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 articlesCélia Martinie. Game Jam 4 Investigating Design Issues with (partly) autonomous systems. GameJam workshop at ACM Conference on Human Computer Interaction 2014 (CHI Workshop). Games Jam web site.
  • 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 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 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 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 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.
  • Conferences articles without published proceedingsCélia Martinie, Philippe Palanque. Predicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks. HUDEP 2013.

2012

  • 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 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 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 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 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 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. A Model-Based and Systematic Approach to Design and Assess the Level of Automation of Large Interactive Critical Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). IRIT Press.
  • 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 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 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 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 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.