Camille Fayollas

33 papers C 2Misc 6Journal 7Unranked 14
YearRankTypeTitle / 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