José Creissac Campos

Cited by

	All	Since 2019
Citations	2380	816
h-index	28	16
i10-index	66	26

220

110

165

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 9 18 22 3 39 19 18 32 28 47 57 91 68 107 122 207 176 111 215 126 174 187 137 105 130 82

Public access

View all

43 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michael HarrisonProfessor of Informatics, Newcastle UniversityVerified email at ncl.ac.uk
Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterVerified email at nasa.gov
José Luís SilvaAssistant Professor - ITI, LARSyS, Iscte - Instituto Universitário de Lisboa, PortugalVerified email at iscte.pt
Rui CoutoHASLab/INESC TECVerified email at di.uminho.pt
J.C. SilvaPolytechnic University of Cávado and AveVerified email at ipca.pt
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECVerified email at di.uminho.pt
Philippe PalanqueProfessor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse IIIVerified email at irit.fr
Gavin DohertyProfessor in Computer Science, Trinity College DublinVerified email at tcd.ie
Paul CurzonProfessor in Computer Science, Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Célia MartinieAssociate Professor (HDR) - Head of the ICS group - IRIT - Université Paul Sabatier Toulouse 3Verified email at irit.fr
Filomena SoaresUniversidade do MinhoVerified email at dei.uminho.pt
Pedro ArezesFull Professor, Human Engineering, University of MinhoVerified email at dps.uminho.pt
Camille FayollasUniversité Toulouse Capitole ; IRITVerified email at irit.fr
C P LeãoSchool of Engineering, University of MinhoVerified email at dps.uminho.pt
David NavarreUniversité Toulouse Capitole ; IRITVerified email at irit.fr
Ana C. R. PaivaFaculdade de Engenharia da Universidade do PortoVerified email at fe.up.pt
João M. FernandesFull Professor, Universidade do MinhoVerified email at di.uminho.pt
Sandra MoutaCenter for Graphics ComputationVerified email at ccg.pt
Rui JoseUniversity of MinhoVerified email at dsi.uminho.pt
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt

José Creissac Campos

Department of Informatics, University of Minho & HASLab / INESC TEC

Verified email at di.uminho.pt - Homepage

Formal Methods Human-Computer Interaction Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A literature review about usability evaluation methods for e-learning platforms LL Freire, PM Arezes, JC Campos Work 41 (Supplement 1), 1038-1044, 2012	122	2012
Model checking interactor specifications JC Campos, MD Harrison Automated Software Engineering 8, 275-310, 2001	120	2001
Systematic analysis of control panel interfaces using formal tools JC Campos, MD Harrison International Workshop on Design, Specification, and Verification of …, 2008	109	2008
Interaction engineering using the IVY tool JC Campos, MD Harrison Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009	104	2009
Formally verifying interactive systems: A review JC Campos, MD Harrison Design, Specification and Verification of Interactive Systems’ 97 …, 1997	99	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 JC Campos, MD Harrison	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	49	2015
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	46	2021
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	42	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
Property Patterns for the Formal Verification of Automated Production Systemsstar JC Campos, J Machado, E Seabra IFAC Proceedings Volumes 41 (2), 5107-5112, 2008	41	2008
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
Safe controllers design for industrial automation systems J Machado, E Seabra, JC Campos, F Soares, CP Leão Computers & Industrial Engineering 60 (4), 635-653, 2011	36	2011
Pattern-based analysis of automated production systems JC Campos, J Machado IFAC Proceedings Volumes 42 (4), 972-977, 2009	36	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors