Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. - A. Tankeu-Choitat; David Navarre; Philippe A. Palanque; Yannick Deleris; Jean-Charles Fabre; Camille Fayollas (PRDC, 2011)

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. - Camille Fayollas; Jean-Charles Fabre; David Navarre; Philippe A. Palanque; Yannick Deleris (SERENE, 2012)

Addressing dependability for interactive systems: application to interactive cockpits. - Camille Fayollas (EICS, 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)

Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Eric Barboni; David Navarre; Yannick Deleris (Int. J. Crit. Comput. Based Syst., 2013)

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)

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 fault-tolerant architecture for resilient interactive systems. - Camille Fayollas; Philippe A. Palanque; Jean-Charles Fabre; David Navarre; Eric Barboni; Martin Cronel; Yannick Deleris (IHM, 2014)

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Martin Cronel; David Navarre; Yannick Deleris (PRDC, 2014)

A generic tool-supported framework for coupling task models and interactive applications. - Célia Martinie; David Navarre; Philippe A. Palanque; Camille Fayollas (EICS, 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)

Generic Software Architecture and Model-Based Approach for the Dependability of Interactive Critical Systems. (Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques ). - Camille Fayollas (2015)

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)

A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Martin Cronel; David Navarre; Yannick Deleris (HCI-Aero, 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)

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)

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)

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)

SafeOps: A Concept of Continuous Safety. - Camille Fayollas; Hugues Bonnin; Olivier Flébus (EDCC, 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)

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)

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