| Anaphora: Text-based or discourse-dependent?: Functionalist vs. formalist accounts F Cornish Functions of language 17 (2), 207-241, 2010 | 64 | 2010 |
| 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 | 57 | 2015 |
| 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 | 42 | 2014 |
| 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 | 35 | 2016 |
| 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 | 35 | 2011 |
| 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 | 30 | 2017 |
| 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 | 25 | 2015 |
| 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 | 24 | 2019 |
| 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 | 20 | 2014 |
| 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 | 18 | 2020 |
| 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 | 16 | 2014 |
| 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 | 13 | 2013 |
| 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 | 11 | 2018 |
| 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 | 10 | 2017 |
| 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 | 10 | 2016 |
| Engineering mixed-criticality interactive applications C Fayollas, C Martinie, D Navarre, P Palanque Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016 | 8 | 2016 |
| 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 | 7 | 2017 |
| 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 | 7 | 2014 |
| SafeOps: A concept of continuous safety C Fayollas, H Bonnin, O Flebus 2020 16th European Dependable Computing Conference (EDCC), 65-68, 2020 | 6 | 2020 |
| 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 | 6 | 2017 |
