Camille Fayollas
Camille Fayollas
PhD, IRIT and LAAS-CNRS, University of Toulouse
Dirección de correo verificada de irit.fr - Página principal
Título
Citado por
Citado por
Año
A generic tool-supported framework for coupling task models and interactive applications
C Martinie, D Navarre, P Palanque, C Fayollas
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive …, 2015
372015
An approach for assessing the impact of dependability on usability: application to interactive cockpits
C Fayollas, C Martinie, P Palanque, Y Deleris, JC Fabre, D Navarre
2014 Tenth European Dependable Computing Conference, 198-209, 2014
332014
Self-checking components for dependable interactive cockpits using formal description techniques
A Tankeu-Choitat, D Navarre, P Palanque, Y Deleris, JC Fabre, ...
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing …, 2011
302011
Systematic automation of scenario-based testing of user interfaces
JC Campos, C Fayollas, C Martinie, D Navarre, P Palanque, M Pinto
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016
262016
A more intelligent test case generation approach through task models manipulation
JC Campos, C Fayollas, M Gonçalves, C Martinie, D Navarre, P Palanque, ...
Proceedings of the ACM on Human-Computer Interaction 1 (EICS), 1-20, 2017
212017
Task model-based systematic analysis of both system failures and human errors
C Martinie, P Palanque, R Fahssi, JP Blanquart, C Fayollas, C Seguin
IEEE Transactions on Human-Machine Systems 46 (2), 243-254, 2015
192015
Analysis of WIMP and post WIMP interactive systems based on formal specification
JL Silva, C Fayollas, A Hamon, C Martiinie, E Barboni
Electronic Communications of the EASST 69, 2014
162014
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits
E Bouzekri, A Canny, C Fayollas, C Martinie, P Palanque, E Barboni, ...
International Journal of Human-Computer Studies 121, 122-141, 2019
142019
A software-implemented fault-tolerance approach for control and display systems in avionics
C Fayollas, JC Fabre, P Palanque, M Cronel, D Navarre, Y Deleris
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
102014
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
C Fayollas, JC Fabre, P Palanque, E Barboni, D Navarre, Y Deleris
International Journal of Critical Computer-Based Systems 17 4 (3), 202-226, 2013
102013
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web
C Fayollas, C Martinie, P Palanque, P Masci, MD Harrison, JC Campos
arXiv preprint arXiv:1701.08465, 2017
92017
Automation: danger or opportunity? Designing and assessing automation for interactive systems
P Palanque, C Martinie, C Fayollas
Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing …, 2018
72018
Complementary tools and techniques for supporting fitness-for-purpose of interactive critical systems
D Billman, C Fayollas, M Feary, C Martinie, P Palanque
Human-Centered and Error-Resilient Systems Development, 181-202, 2016
72016
Fault-tolerant user interfaces for critical systems: duplication, redundancy and diversity as new dimensions of distributed user interfaces
C Fayollas, C Martinie, D Navarre, P Palanque, R Fahssi
Proceedings of the 2014 Workshop on Distributed User Interfaces and …, 2014
72014
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
C Fayollas, C Martinie, P Palanque, E Barboni, R Fahssi, A Hamon
The Handbook of Formal Methods in Human-Computer Interaction, 465-504, 2017
52017
Dealing with faults during operations: beyond classical use of formal methods
C Fayollas, P Palanque, JC Fabre, C Martinie, Y Déléris
The Handbook of Formal Methods in Human-Computer Interaction, 549-575, 2017
42017
Engineering mixed-criticality interactive applications
C Fayollas, C Martinie, D Navarre, P Palanque
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016
42016
Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
C Fayollas
Université de Toulouse, Université Toulouse III-Paul Sabatier, 2015
42015
Fault-tolerant interactive cockpits for critical applications: overall approach
C Fayollas, JC Fabre, D Navarre, P Palanque, Y Deleris
International Workshop on Software Engineering for Resilient Systems, 32-46, 2012
42012
QBP notation for explicit representation of properties, their refinement and their potential conflicts: application to interactive systems
C Fayollas, C Martinie, P Palanque, Y Ait-Ameur
IFIP Conference on Human-Computer Interaction, 91-105, 2017
32017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20