Model checking interactor specifications JC Campos, MD Harrison Automated Software Engineering 8, 275-310, 2001 | 120 | 2001 |
A literature review about usability evaluation methods for e-learning platforms LL Freire, PM Arezes, JC Campos Work 41 (Supplement 1), 1038-1044, 2012 | 119 | 2012 |
Systematic analysis of control panel interfaces using formal tools JC Campos, MD Harrison International Workshop on Design, Specification, and Verification of …, 2008 | 106 | 2008 |
Interaction engineering using the IVY tool JC Campos, MD Harrison Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009 | 103 | 2009 |
Formally verifying interactive systems: A review JC Campos, MD Harrison Design, Specification and Verification of Interactive Systems’ 97 …, 1997 | 98 | 1997 |
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code JC Silva, C Silva, RD Gonçalo, J Saraiva, JC Campos Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive …, 2010 | 76 | 2010 |
Model-based user interface testing with spec explorer and concurtasktrees JL Silva, JC Campos, ACR Paiva Electronic Notes in Theoretical Computer Science 208, 77-93, 2008 | 75 | 2008 |
Modelling and analysing the interactive behaviour of an infusion pump J Campos, M Harrison Electronic Communications of the EASST 45, 2011 | 60 | 2011 |
Reusing models and properties in the analysis of similar interactive devices MD Harrison, JC Campos, P Masci Innovations in Systems and Software Engineering 11, 95-111, 2015 | 48 | 2015 |
Verification of user interface software: the example of use-related safety requirements and programmable medical devices MD Harrison, P Masci, JC Campos, P Curzon IEEE Transactions on Human-Machine Systems 47 (6), 834-846, 2017 | 41 | 2017 |
Combining static and dynamic analysis for the reverse engineering of web applications CE Silva, JC Campos Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013 | 41 | 2013 |
Development and validation of a descriptive cognitive model for predicting usability issues in a low-code development platform C Silva, J Vieira, JC Campos, R Couto, AN Ribeiro Human factors 63 (6), 1012-1032, 2021 | 40 | 2021 |
Representational reasoning and verification GJ Doherty, JC Campos, MD Harrison Formal Aspects of Computing 12, 260-277, 2000 | 40 | 2000 |
Test case generation from mutated task models A Barbosa, ACR Paiva, JC Campos Proceedings of the 3rd acm sigchi symposium on engineering interactive …, 2011 | 39 | 2011 |
The APEX framework: prototyping of ubiquitous environments based on Petri nets JL Silva, OR Ribeiro, JM Fernandes, JC Campos, MD Harrison Human-Centred Software Engineering: Third International Conference, HCSE …, 2010 | 38 | 2010 |
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 | 37 | 2016 |
A generic library for GUI reasoning and testing JC Silva, J Saraiva, JC Campos Proceedings of the 2009 ACM symposium on Applied Computing, 121-128, 2009 | 37 | 2009 |
Property Patterns for the Formal Verification of Automated Production Systemsstar JC Campos, J Machado, E Seabra IFAC Proceedings Volumes 41 (2), 5107-5112, 2008 | 36 | 2008 |
Pattern-based analysis of automated production systems JC Campos, J Machado IFAC Proceedings Volumes 42 (4), 972-977, 2009 | 34 | 2009 |
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 | 33 | 2017 |