DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. - Célia Martinie; Philippe A. Palanque; Marco Winckler; Stéphane Conversy (SIGDOC, 2010)

Formal tasks and systems models as a tool for specifying and assessing automation designs. - Célia Martinie; Philippe A. Palanque; Eric Barboni; Marco Winckler; Martina Ragosta; Alberto Pasquini; Paola Lanzi (ATACCS, 2011)

Exploiting gaming research and practice for engineering interactive critical systems. - Philippe A. Palanque; Regina Bernhaupt; Florent Montesano; Célia Martinie (ATACCS, 2011)

Model-based training: an approach supporting operability of critical interactive systems. - Célia Martinie; Philippe A. Palanque; David Navarre; Marco Winckler; Erwann Poupart (EICS, 2011)

A model-based approach for supporting engineering usability evaluation of interaction techniques. - Philippe A. Palanque; Eric Barboni; Célia Martinie; David Navarre; Marco Winckler (EICS, 2011)

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. - Célia Martinie; Philippe A. Palanque; Marco Winckler (INTERACT (3), 2011)

Task-model based assessment of automation levels: Application to space ground segments. - Célia Martinie; Philippe A. Palanque; Eric Barboni; Martina Ragosta (SMC, 2011)

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. - David Navarre; Philippe A. Palanque; Eric Barboni; Jean-François Ladry; Célia Martinie (Reliab. Eng. Syst. Saf., 2011)

A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. - Philippe A. Palanque; Marco Winckler; Célia Martinie (Model-Driven Development of Advanced User Interfaces, 2011)

Using complementary models-based approaches for representing and analysing ATM systems' variability. - Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta; E. Rigaud; Sara Silvagni (ATACCS, 2012)

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. - Célia Martinie; Philippe A. Palanque; David Navarre; Eric Barboni; Marco Winckler (Ergo'IHM, 2012)

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. - Célia Martinie; Philippe A. Palanque; David Navarre; Eric Barboni (HCSE, 2012)

A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines. - Llúcia Masip; Célia Martinie; Marco Winckler; Philippe A. Palanque; Toni Granollers; Marta Oliva (HCSE, 2012)

Model-based dynamic distribution of user interfaces of critical interactive systems. - David Navarre; Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta (ATACCS, 2013)

Extending procedural task models by systematic explicit integration of objects, knowledge and information. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Racim Fahssi (ECCE, 2013)

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. - Guillaume Brat; Célia Martinie; Philippe A. Palanque (HCI (1), 2013)

Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects. - Michel Galindo; Célia Martinie; Philippe A. Palanque; Marco Winckler; Peter Forbrig (HCI (1), 2013)

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Mark-Alexander Sujan; David Navarre; Alberto Pasquini (SAFECOMP, 2013)

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. - José Luís Silva 001; Camille Fayollas; Arnaud Hamon; Philippe A. Palanque; Célia Martinie; Eric Barboni (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance. - Célia Martinie; Philippe A. Palanque (AAAI Spring Symposia, 2014)

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Yannick Deleris; Jean-Charles Fabre; David Navarre (EDCC, 2014)

Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. - Célia Martinie; Eric Barboni; David Navarre; Philippe A. Palanque; Racim Fahssi; Erwann Poupart; Eliane Cubero-Castan (EICS, 2014)

Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components. - Peter Forbrig; Célia Martinie; Philippe A. Palanque; Marco Winckler; Racim Fahssi (HCSE, 2014)

Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. - Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Racim Fahssi (DUI@ICWE, 2014)

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. - Célia Martinie; David Navarre; Philippe A. Palanque (Int. J. Hum. Comput. Stud., 2014)

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language. - Eric Barboni; Célia Martinie; David Navarre; Philippe A. Palanque; Marco Winckler (Sci. Comput. Program., 2014)

Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems. - Regina Bernhaupt; Martin Cronel; François Manciet; Célia Martinie; Philippe A. Palanque (ATACCS, 2015)

Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. - Martina Ragosta; Célia Martinie; Philippe A. Palanque; David Navarre; Mark-Alexander Sujan (ATACCS, 2015)

A generic tool-supported framework for coupling task models and interactive applications. - Célia Martinie; David Navarre; Philippe A. Palanque; Camille Fayollas (EICS, 2015)

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors. - Racim Fahssi; Célia Martinie; Philippe A. Palanque (INTERACT (4), 2015)

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. - Chris W. Johnson 001; Michael Feary; Célia Martinie; Philippe A. Palanque; Regina Peldszus (INTERACT (4), 2015)

Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts. - Célia Martinie; Philippe A. Palanque (FutureMobileUI@MobiSys, 2015)

A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. - Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (i-com, 2015)

Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives. - Michael Feary; Célia Martinie; Philippe A. Palanque; Manfred Tscheligi (CHI Extended Abstracts, 2016)

Designing and Assessing Interactive Systems Using Task Models. - Philippe A. Palanque; Célia Martinie (CHI Extended Abstracts, 2016)

Systematic automation of scenario-based testing of user interfaces. - José Creissac Campos; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (EICS, 2016)

Engineering mixed-criticality interactive applications. - Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (EICS, 2016)

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Eric Barboni; Yannick Deleris (EnCHIReS@EICS, 2016)

User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience. - Regina Bernhaupt; Philippe A. Palanque; François Manciet; Célia Martinie (HCSE/HESSD, 2016)

Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. - Dorrit Billman; Camille Fayollas; Michael Feary; Célia Martinie; Philippe A. Palanque (HCSE/HESSD, 2016)

Embedding explicit representation of cyber-physical elements in task models. - Racim Fahssi; Célia Martinie; Philippe A. Palanque (SMC, 2016)

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci 001; Michael D. Harrison; José Creissac Campos; Saulo Rodrigues e Silva (F-IDE@FM, 2016)

Task Model-Based Systematic Analysis of Both System Failures and Human Errors. - Célia Martinie; Philippe A. Palanque; Racim Fahssi; Jean-Paul Blanquart; Camille Fayollas; Christel Seguin (IEEE Trans. Hum. Mach. Syst., 2016)

Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Eric Barboni; Racim Fahssi; Arnaud Hamon (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. - Camille Fayollas; Philippe A. Palanque; Jean-Charles Fabre; Célia Martinie; Yannick Déléris (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. - Philippe A. Palanque; Célia Martinie; Camille Fayollas (CHI Extended Abstracts, 2017)

A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. - Elodie Bouzekri; Alexandre Canny; Camille Fayollas; Célia Martinie; Philippe A. Palanque; Eric Barboni; Yannick Deleris; Christine Gris (EnCHIReS@EICS, 2017)

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Yamine Aït Ameur (INTERACT Workshops, 2017)

Designing and Assessing Interactive Systems Using Task Models. - Philippe A. Palanque; Célia Martinie; Marco Winckler (INTERACT (4), 2017)

A More Intelligent Test Case Generation Approach through Task Models Manipulation. - José Creissac Campos; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (Proc. ACM Hum. Comput. Interact., 2017)

Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. - Célia Martinie; Philippe A. Palanque; Camille Fayollas (Computational Interaction, 2018)

TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. - Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Alexandre Canny (EICS, 2018)

Enriching Task Models with Usability and User Experience Evaluation Data. - Regina Bernhaupt; Philippe A. Palanque; Dimitri Drouet; Célia Martinie (HCSE, 2018)

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems. - Alexandre Canny; Elodie Bouzekri; Célia Martinie; Philippe A. Palanque (HCSE, 2018)

Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation. - Elodie Bouzekri; Alexandre Canny; Célia Martinie; Philippe A. Palanque; Christine Gris (HWID, 2018)

On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems. - Alexandre Canny; Elodie Bouzekri; Célia Martinie; Philippe A. Palanque (EICS Workshops, 2019)

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. - David Navarre; Philippe A. Palanque; Célia Martinie (EICS Workshops, 2019)

Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties. - Elodie Bouzekri; Alexandre Canny; Célia Martinie; Philippe A. Palanque (INTERACT Workshops, 2019)

Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. - Elodie Bouzekri; Alexandre Canny; Célia Martinie; Philippe A. Palanque; Christine Gris (INTERACT (1), 2019)

Introduction to Automation and to Its Potential for Interactive Systems Design. - Philippe A. Palanque; Célia Martinie; Elodie Bouzekri (INTERACT (4), 2019)

Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. - Alexandre Canny; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Christine Gris; Yannick Deleris (iThings/GreenCom/CPSCom/SmartData, 2019)

Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits. - Elodie Bouzekri; Alexandre Canny; Camille Fayollas; Célia Martinie; Philippe A. Palanque; Eric Barboni; Yannick Deleris; Christine Gris (Int. J. Hum. Comput. Stud., 2019)

Analysing and Demonstrating Tool-Supported Customizable Task Notations. - Célia Martinie; Philippe A. Palanque; Elodie Bouzekri; Andy Cockburn; Alexandre Canny; Eric Barboni (Proc. ACM Hum. Comput. Interact., 2019)

Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions. - Célia Martinie (2020)

A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions. - Philippe A. Palanque; Dong-Bach Vo; Stephen A. Brewster; Elodie Bouzekri; Célia Martinie (AutomationXP@CHI, 2020)

Task models based engineering of interactive systems. - Célia Martinie; Philippe A. Palanque (EICS, 2020)

A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience. - Regina Bernhaupt; Célia Martinie; Philippe A. Palanque; Günter Wallner (HCSE, 2020)

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms. - Nicolas Broders; Célia Martinie; Philippe A. Palanque; Marco Winckler; Kimmo Halunen (HCSE, 2020)

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. - José Creissac Campos; Camille Fayollas; Michael D. Harrison; Célia Martinie; Paolo Masci 001; Philippe A. Palanque (ACM Trans. Comput. Hum. Interact., 2020)

From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the Light of Large Civil Aircraft Workplace. - Elodie Bouzekri; Célia Martinie; Philippe A. Palanque (AutomationXP@CHI, 2021)

Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs. - Elodie Bouzekri; Célia Martinie; Philippe A. Palanque; Katrina Atwood; Christine Gris (INTERACT (4), 2021)

UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers. - Elodie Bouzekri; Célia Martinie; Philippe A. Palanque; Erwann Poupart; Sandra Steere (INTERACT (Workshops), 2021)

Teaching HCI Engineering: Four Case Studies. - Sybille Caffiau; José Creissac Campos; Célia Martinie; Laurence Nigay; Philippe A. Palanque; Lucio Davide Spano (INTERACT (Workshops), 2021)

A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. - Célia Martinie; Philippe A. Palanque; Sandra Steere; David Navarre; Eric Barboni (INTERACT (Workshops), 2021)

The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier. - Philippe A. Palanque; Célia Martinie (INTERACT (Workshops), 2021)

Modelling Human Tasks to Enhance Threat Identification in Critical Maritime Systems. - Célia Martinie; Christos Grigoriadis; Eleni-Maria Kalogeraki; Panayiotis Kotzanikolaou (PCI, 2021)

Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures. - Giorgia Lallai; Giovanni Loi Zedda; Célia Martinie; Philippe A. Palanque; Mauro Pisano; Lucio Davide Spano (Interact. Comput., 2021)

Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. - Alexandre Canny; Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Christine Gris (Proc. ACM Hum. Comput. Interact., 2021)

Task Models Based Gameful Design as a Mean to Increase Engagement with Automation. - Célia Martinie; Philippe A. Palanque (AutomationXP@CHI, 2022)

Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC. - Sara Nikula; Célia Martinie; Philippe A. Palanque; Julius Hekkala; Outi-Marja Latvala; Kimmo Halunen (HCSE, 2022)

Mining human factors general trends from +100k UML class diagrams. - Maxime Savary-Leblanc; Xavier Le Pallec; Philippe A. Palanque; Célia Martinie; Arnaud Blouin; Frédéric Jouault; Mickael Clavreul; Thibault Raffaillac (MoDELS (Companion), 2022)

A task-model based approach for detecting ADL-related anomalies. - José Manuel Negrete Ramírez; Célia Martinie; Philippe A. Palanque; Yudith Cardinale (WiMob, 2022)

Engineering Operations-based Training. - Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Sandra Steere (Proc. ACM Hum. Comput. Interact., 2022)

MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for Rehabilitation. - Axel Carayon; Célia Martinie; Philippe A. Palanque (EICS (Workshops), 2023)

Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? - David Navarre; Philippe A. Palanque; Célia Martinie (EICS (Workshops), 2023)

On using the Task Models for Validation and Evolution of Usable Security Design Patterns. - Célia Martinie; Bilal Naqvi (HAISA, 2023)

ADL Monitoring of Elderly People in Smart Homes Based on Task Models. - José Manuel Negrete Ramírez; Célia Martinie; Philippe A. Palanque; Yudith Cardinale (Intelligent Environments (Workshops), 2023)

I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models. - Axel Carayon; Célia Martinie; Philippe A. Palanque (INTERACT (2), 2023)

Considering Modelling Techniques in HCI Engineering Education. - Célia Martinie (INTERACT Workshops (1), 2023)

On Using the Task Models for Refinement and Validation of Requirements Generated Through Co-creation. - Bilal Naqvi; Célia Martinie; Stepan Bakhaev; Kari Smolander (INTERACT Workshops (1), 2023)

Task Models as a Mean to Identify and Justify Automations in Development Tasks. - Axel Carayon; Célia Martinie; Philippe A. Palanque (MoDELS (Companion), 2023)

Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again. - Axel Carayon; Juan Enrique Garrido; Célia Martinie; Philippe A. Palanque; Eric Barboni; María Dolores Lozano 001; Victor M. Ruiz Penichet (Proc. ACM Hum. Comput. Interact., 2023)

Increasing engagement and well-being of operators working with automation by integrating task models and gameful design. - Célia Martinie; Philippe A. Palanque; Eric Barboni (Pers. Ubiquitous Comput., 2023)

Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application. - Axel Carayon; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (EICS (Workshops), 2024)

A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks. - Nathan Monsoro; Célia Martinie; Philippe A. Palanque; Théo Saubanère (HAISA (1), 2024)

Taking into Account Human Error when Assessing the Impact of Dependability on Usability. - Camille Fayollas; Célia Martinie; Philippe A. Palanque (ISSRE (Workshops), 2024)

A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in Healthcare. - Axel Carayon; Célia Martinie; Philippe A. Palanque; Eric Barboni; Sandra Steere (Proc. ACM Hum. Comput. Interact., 2024)

EICS 2025 Foreword. - Judy Bowen; Benjamin Weyers; Anke Dittmar; Célia Martinie; Kris Luyten; Luciana Zaina (EICS (Companion), 2025)

Evaluating Facial Expression Recognition Datasets for Deep Learning: A Benchmark Study with Novel Similarity Metrics. - Francesc Xavier Gaya-Morey; Cristina Manresa-Yee; Célia Martinie; Jose Maria Buades Rubio (CoRR, 2025)