José Creissac Campos
José Creissac Campos
Department of Informatics, University of Minho & HASLab / INESC TEC
Verified email at di.uminho.pt - Homepage
TitleCited byYear
Model checking interactor specifications
JC Campos, MD Harrison
Automated Software Engineering 8 (3-4), 275-310, 2001
1042001
Formally verifying interactive systems: A review
JC Campos, MD Harrison
Design, Specification and Verification of Interactive Systems’ 97, 109-124, 1997
871997
Systematic analysis of control panel interfaces using formal tools
JC Campos, MD Harrison
International Workshop on Design, Specification, and Verification of …, 2008
852008
Interaction engineering using the IVY tool
JC Campos, MD Harrison
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
792009
Mode of peroxisome proliferator-activated receptor γ activation by luteolin
AC Puhl, A Bernardes, RL Silveira, J Yuan, JLO Campos, ...
Molecular pharmacology 81 (6), 788-799, 2012
732012
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
632010
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
512008
A literature review about usability evaluation methods for e-learning platforms
LL Freire, PM Arezes, JC Campos
Work 41 (Supplement 1), 1038-1044, 2012
472012
Modelling and analysing the interactive behaviour of an infusion pump
JC Campos, M Harrison
Electronic Communications of the EASST 45, 2011
382011
Representational reasoning and verification
GJ Doherty, JC Campos, MD Harrison
Formal Aspects of Computing 12 (4), 260-277, 2000
372000
Ground potential rise characteristics of urban step-down substations fed by power cables-a practical example
ST Sobral, JA Barbosa, JVC Nunes, E Chinelli, AF Netto, VS Costa, ...
IEEE transactions on power delivery 3 (4), 1564-1572, 1988
361988
Reusing models and properties in the analysis of similar interactive devices
MD Harrison, JC Campos, P Masci
Innovations in Systems and Software Engineering 11 (2), 95-111, 2015
352015
The APEX framework: prototyping of ubiquitous environments based on Petri nets
JL Silva, OR Ribeiro, JM Fernandes, JC Campos, MD Harrison
International Conference on Human-Centred Software Engineering, 6-21, 2010
312010
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
312009
Formal analysis of ubiquitous computing environments through the APEX framework
JL Silva, J Campos, M Harrison
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
272012
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
272011
Property Patterns for the Formal Verification of Automated Production Systemsstar
JC Campos, J Machado, E Seabra
IFAC Proceedings Volumes 41 (2), 5107-5112, 2008
272008
Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
JC Silva, JC Campos, J Saraiva
International Workshop on Design, Specification, and Verification of …, 2006
272006
Automated deduction and usability reasoning
JC Campos, MD Harrison
Encyclopedia of Human Computer Interaction, 45-52, 2006
252006
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
242013
The system can't perform the operation now. Try again later.
Articles 1–20