Follow
Camille Fayollas
Camille Fayollas
Université Toulouse Capitole ; IRIT
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
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
572015
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
422014
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
342016
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
342011
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
322017
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
252019
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
242015
Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
JC Campos, C Fayollas, MD Harrison, C Martinie, P Masci, P Palanque
ACM Transactions on Computer-Human Interaction (TOCHI) 27 (5), 1-48, 2020
202020
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
202014
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
152014
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
132013
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
122018
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
102017
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: IFIP WG 13.2/13.5 …, 2016
102016
Engineering mixed-criticality interactive applications
C Fayollas, C Martinie, D Navarre, P Palanque
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016
82016
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
72017
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
SafeOps: A concept of continuous safety
C Fayollas, H Bonnin, O Flebus
2020 16th European Dependable Computing Conference (EDCC), 65-68, 2020
62020
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
62017
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, FORMEDICIS
Global Thoughts, Local Designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai …, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20