Camille Fayollas

33 papers C 2Misc 6Journal 7Unranked 14

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application. EICS (Workshops) Axel Carayon, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2024	—	`conf`	Taking into Account Human Error when Assessing the Impact of Dependability on Usability. ISSRE (Workshops) Camille Fayollas, Célia Martinie, Philippe A. Palanque
2020	Misc	`conf`	SafeOps: A Concept of Continuous Safety. EDCC Camille Fayollas, Hugues Bonnin, Olivier Flébus
2020	J	`jnl`	Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque
2019	—	`conf`	Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. iThings/GreenCom/CPSCom/SmartData Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Christine Gris, Yannick Deleris
2019	J	`jnl`	Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits. Int. J. Hum. Comput. Stud. Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris
2018	—	`conf`	Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. CHI Extended Abstracts Philippe A. Palanque, Célia Martinie, Camille Fayollas
2018	—	`ch.`	Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. Computational Interaction Célia Martinie, Philippe A. Palanque, Camille Fayollas
2017	—	`conf`	A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. EnCHIReS@EICS Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris
2017	J	`jnl`	A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2017	—	`conf`	Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. CHI Extended Abstracts Philippe A. Palanque, Célia Martinie, Camille Fayollas
2017	—	`ch.`	Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. Handbook of Formal Methods in Human-Computer Interaction Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris
2017	—	`ch.`	Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. Handbook of Formal Methods in Human-Computer Interaction Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon
2017	—	`conf`	QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. INTERACT Workshops Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yamine Aït Ameur
2016	—	`conf`	A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study. HCI-Aero Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
2016	—	`conf`	Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. HCSE/HESSD Dorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe A. Palanque
2016	Misc	`conf`	Engineering mixed-criticality interactive applications. EICS Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2016	—	`conf`	Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva
2016	Misc	`conf`	Systematic automation of scenario-based testing of user interfaces. EICS José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2016	J	`jnl`	Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Trans. Hum. Mach. Syst. Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
2016	—	`conf`	What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. EnCHIReS@EICS Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris
2015	J	`jnl`	A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2015	Misc	`conf`	A generic tool-supported framework for coupling task models and interactive applications. EICS Célia Martinie, David Navarre, Philippe A. Palanque, Camille Fayollas
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
2014	C	`conf`	A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. PRDC Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
2014	—	`conf`	A fault-tolerant architecture for resilient interactive systems. IHM Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
2014	Misc	`conf`	An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. EDCC Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
2014	—	`conf`	Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. DUI@ICWE Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Racim Fahssi
2013	Misc	`conf`	Addressing dependability for interactive systems: application to interactive cockpits. EICS Camille Fayollas
2013	J	`jnl`	Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. José Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe A. Palanque, Célia Martinie, Eric Barboni
2013	J	`jnl`	Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. Int. J. Crit. Comput. Based Syst. Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Eric Barboni, David Navarre, Yannick Deleris
2012	—	`conf`	Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. SERENE Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris
2011	C	`conf`	Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. PRDC A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas