Camille Fayollas
According to our database1,
Camille Fayollas
authored at least 29 papers
between 2011 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.
ACM Trans. Comput. Hum. Interact., 2020
Proceedings of the 16th European Dependable Computing Conference, 2020
2019
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits.
Int. J. Hum. Comput. Stud., 2019
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019
2017
Proc. ACM Hum. Comput. Interact., 2017
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems.
Proceedings of the Global Thoughts, Local Designs, 2017
Proceedings of the Second Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2017), 2017
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
2016
IEEE Trans. Hum. Mach. Syst., 2016
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems.
Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016
A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study.
Proceedings of the International Conference on Human-Computer Interaction in Aerospace, 2016
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems.
Proceedings of the Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the eight ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
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 ).
PhD thesis, 2015
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit.
i-com, 2015
A generic tool-supported framework for coupling task models and interactive applications.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015
2014
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014
Proceedings of the 26th Conference on l'Interaction Homme-Machine, 2014
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces.
Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal Interaction, 2014
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits.
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach.
Int. J. Crit. Comput. Based Syst., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Addressing dependability for interactive systems: application to interactive cockpits.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013
2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
2011
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011