Camille Fayollas

发表

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 .

Task Model-Based Systematic Analysis of Both System Failures and Human Errors

Philippe A. Palanque, Célia Martinie, Christel Seguin, 2016, IEEE Transactions on Human-Machine Systems.

A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit

Philippe A. Palanque, Célia Martinie, David Navarre, 2015, i-com.

A More Intelligent Test Case Generation Approach through Task Models Manipulation

Philippe A. Palanque, Célia Martinie, José Creissac Campos, 2017, PACMHCI.

Supporting the Analysis of Safety Critical User Interfaces

Philippe A. Palanque, Célia Martinie, Michael D. Harrison, 2020, ACM Trans. Comput. Hum. Interact..

A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2016, HCI-Aero.

Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems

Célia Martinie, David Navarre, Alexandre Canny, 2019, 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

Systematic automation of scenario-based testing of user interfaces

Philippe A. Palanque, Célia Martinie, José Creissac Campos, 2016, EICS.

Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models

Célia Martinie, Philippe Palanque, Camille Fayollas, 2018 .

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

Philippe A. Palanque, Célia Martinie, Jean-Charles Fabre, 2017, Handbook of Formal Methods in Human-Computer Interaction.

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2011, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing.

Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2019, Int. J. Hum. Comput. Stud..

A fault-tolerant architecture for resilient interactive systems

Eric Barboni, Philippe A. Palanque, Jean-Charles Fabre, 2014, IHM.

Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems

Philippe A. Palanque, Célia Martinie, Dorrit Billman, 2016, HCSE/HESSD.

Addressing dependability for interactive systems: application to interactive cockpits

Camille Fayollas, 2013, EICS.

Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime

Philippe Palanque, Camille Fayollas, Yannick Deleris, 2015, FM 2015.

SafeOps: A Concept of Continuous Safety

Camille Fayollas, Hugues Bonnin, Olivier Flebus, 2020, 2020 16th European Dependable Computing Conference (EDCC).

Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces

Philippe A. Palanque, Célia Martinie, David Navarre, 2014, DUI '14.

A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2017, EnCHIReS@EICS.

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Philippe A. Palanque, Célia Martinie, Yamine Aït Ameur, 2017, INTERACT Workshops.

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2014, 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing.

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Engineering mixed-criticality interactive applications

Philippe A. Palanque, Célia Martinie, David Navarre, 2016, EICS.

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2012, SERENE.

Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft

Philippe Palanque, Camille Fayollas, Racim Fahssi, 2016 .

A generic tool-supported framework for coupling task models and interactive applications

Philippe A. Palanque, Célia Martinie, David Navarre, 2015, EICS.

Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2017, Handbook of Formal Methods in Human-Computer Interaction.

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Philippe A. Palanque, Célia Martinie, Michael D. Harrison, 2017, F-IDE@FM.

Interactive cockpits as critical applications: a model-based and a fault-tolerant approach

Philippe A. Palanque, David Navarre, Philippe Palanque, 2013, Int. J. Crit. Comput. Based Syst..

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems

Philippe A. Palanque, Célia Martinie, Camille Fayollas, 2018, CHI EA '18.

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems

Philippe A. Palanque, Célia Martinie, Camille Fayollas, 2017, CHI Extended Abstracts.

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2016, EnCHIReS@EICS.

Addressing dependability for interactive systems: application to interactive cockpits

Camille Fayollas, 2013, EICS '13.

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits

Philippe A. Palanque, Célia Martinie, Jean-Charles Fabre, 2014, 2014 Tenth European Dependable Computing Conference.