[Photo]
[UM][EEng]
Publicações
Accepted
abstracts off (turn on)
A "More Intelligent" Test Case Generation Approach through Task Models Manipulation
Campos, J.C., Fayollas, C., Gonçalves, M., Martinie, C., Navarre, D., Palanque, P. and Pinto, M. (forthcoming) Proceedings of the ACM on Human Computer Interaction. (accepted)
The specification and analysis of use properties of a nuclear control system
Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P. (forthcoming) In Weyers, B., Palanque, P., Bowen, J. and Dix, A., editors, The Handbook on Formal Methods in Human Computer Interaction, Human-Computer Interaction Series. Springer. (in press)
2017
abstracts off (turn on)
Don't Go In There! Using the APEX framework in the design of ambient assisted living systems   visit publisher   visit publisher download
Campos, J.C., Abade, T., Silva, J.L. and Harrison, M.D. (2017) Journal of Ambient Intelligence and Humanized Computing. (in press)
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web   visit publisher
Fayollas, C., Martinie, C., Palanque, P., Masci, P., Harrison, M.D., Campos, J.C. and Silva, S.R. (2017) In Proceedings of the Third Workshop on Formal Integrated Development Environment, volume 240 of Electronic Proceedings in Theoretical Computer Science, pages 1-19.
2016
abstracts off (turn on)
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16   visit publisher
Luyten, K., Palanque, P., Campos, J.C. and Schmidt, A., editor(s) (2016) ACM.
Systematic Automation of Scenario-Based Testing of User Interfaces   visit publisher download
J.C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2016) In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 138-148. ACM.
Modelling information resources and their salience in medical device design   visit publisher download
M. Harrison, J.C. Campos, R. Ruksenas and P. Curzon (2016) In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 194-203. ACM.
Validating an approach to formalize use cases with ontologies   visit publisher
R. Couto, A.N. Ribeiro and J.C. Campos (2016) In Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, volume 205 of Electronic Proceedings in Theoretical Computer Science, pages 1-15. Open Publishing Association.
Formal Verification of a Space System's User Interface with the IVY workbench   visit publisher download
J.C. Campos, M. Sousa, M. Alves and M.D. Harrison (2016) IEEE Transactions on Human-Machine Systems, 46(2):303-316.
2015
abstracts off (turn on)
Templates as heuristics for proving properties of medical devices   visit publisher
M. Harrison, J.C. Campos, P. Masci and P. Curzon (2015) In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes   visit publisher download
J.C. Campos, J.L. Silva and M. Harrison (2015) In Ian Cleland, Luis Guerrero and José Bravo, editors, Ambient Assisted Living. ICT-based Solutions in Real Life Situations, volume 9455 of Lecture Notes in Computer Science, pages 49-61. Springer.
MODUS: uma metodologia de prototipagem de interfaces baseada em modelos download
M. Machado, J.C. Campos and R. Couto (2015) In Inforum 2015: Atas do 7º Simpósio Nacional de Informática, pages 17-32. UBI - Universidade da Beira Interior.
Immersiveness of Ubiquitous Computing Environments Prototypes: A case study   visit publisher download
T. Abade, J.C. Campos, R. Moreira, C.C.L. Silva and J.L. Silva (2015) In N. Streitz and P. Markopoulos, editors, Distributed, Ambient and Pervasive Interactions, volume 9189 of Lecture Notes in Computer Science, pages 237-248. Springer.
Layers, resources and property templates in the specification and analysis of two interactive systems download
J.C. Campos, P. Masci, P. Curzon and M.D. Harrison (2015) In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, pages 38-43. Universitätsbibliothek, RWTH Aachen University.
The Modelery: A Model-Based Software Development Repository   visit publisher download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2015) International Journal of Web Information Systems, 11(2):205-225.
Towards a Catalog of Usability Smells   visit publisher download
D. Almeida, J.C. Campos, J. Saraiva and J.C. Silva (2015) In ACM SAC 2015 proceedings - Volume I: Artificial Intelligence and Agents, Distributed Systems, and Information Systems, pages 175-181. ACM.
Reusing models and properties in the analysis of similar interactive devices   visit publisher download from RepositoriUM
M.D. Harrison, J.C. Campos and P. Masci (2015) Innovations in Systems and Software Engineering, 11(2):95-111, June.
Measuring end-to-end delay in real-time auralisation systems download
J. Lamas, C.C.L. Silva, M. Silva, S. Mouta, J.C. Campos, J.A. Santos (2015) In Euronoise - 10th European Congress and Exposition on Noise Control Engineering, pages 791-796. EAA-NAG-ABAV.
2014
abstracts off (turn on)
Analysing interactive devices based on information resource constraints   visit publisher download from RepositoriUM
J.C. Campos, G. Doherty and M.D. Harrison (2014) International Journal of Human-Computer Studies, 72(3):284-297, March.
Prototyping and Analysing Ubiquitous Computing Environments using Multiple Layers   visit publisher download from RepositoriUM
J.L. Silva, J.C. Campos and M.D Harrison (2014) International Journal of Human-Computer Studies, 72(5):488-506, May.
A Virtual Environment based Serious Game to Support Health Education   visit publisher download from RepositoriUM
T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014) EAI Endorsed Transactions on Ambient Systems, 14(3):e5, March.
Demonstrating that medical devices satisfy user related safety requirements download
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (forthcoming) In Proceedings of the 4th International Symposium on Foundations of Health Information Engineering and Systems with 6th International Workshop on Software Engineering in Healthcare (FHIES/SEHC 2014).
Characterizing the Control Logic of Web Applications' User Interfaces   visit publisher download
C.E. Silva and J.C. Campos (2014) In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 263-276. Springer.
A Study on the Viability of Formalizing Use Cases   visit publisher download from RepositoriUM
Rui Couto, Antonio Nestor Ribeiro and José Creissac Campos (2014) In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, pages 130-133. IEEE.
The Modelery: A Collaborative Web Based Repository   visit publisher download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2014) In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 1-16. Springer.
Design and Evaluation of a Smart Library using the APEX Framework   visit publisher download
T. Abade, T. Gomes, J.L. Silva and J.C. Campos (2014) In N. Streitz and P. Markopoulos, editors, Distributed, Ambient, and Pervasive Interactions, volume 8530 of Lecture Notes in Computer Science, pages 307-318. Springer.
Towards a Framework for Adaptive Web Applications   visit publisher download
A.I. Sampaio and J.C. Campos (2014) In C. Stephanidis, editor, HCI International 2014 - Posters' Extended Abstracts, Part I, volume 434 of Communications in Computer and Information Science, pages 240-245. Springer.
Rapid Development of First Person Serious Games using the APEX Platform: The Asthma Game   visit publisher download
T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014) In ACM SAC 2014 proceedings - Volume I: Artificial Intelligence & Agents, Distributed Systems, and Information Systems, pages 169-174. ACM.
High assurance interactive computing systems download
J.C. Campos (2014) In J. Ziegler, J. C. Campos and L. Nigay, editors, HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, pages 39-42.
Application of Ontologies in Identifying Requirements Patterns in Use Cases   visit publisher download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2014) In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014), volume 147 of Electronic Proceedings in Theoretical Computer Science, pages 62-76.
Formal Verification of Safety-Critical User Interfaces: a space system case study download
M. Sousa, J.C. Campos, M. Alves and M.D. Harrison (2014) In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press.
An approach for graphical user interface external bad smells detection   visit publisher
J.C. Silva, J.C. Campos, J. Saraiva and J.L. Silva (2014) In New Perspectives in Information Systems and Technologies, vol. 2, volume 276 of Advances in Intelligent Systems and Computing, pages 199-205. Springer.
Development of Dependable Controllers in the Context of Machines Design   visit publisher
J.M. Machado and J.C. Campos (2014) In Modern Methods of Construction Design, Lecture Notes in Mechanical Engineering, pages 125-131. Springer.
HCI engineering: Charting the way towards methods and tools for advanced interactive systems   visit publisher
J. Ziegler, J.C. Campos and L. Nigay (2014) In Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2014), pages 299-300. ACM.
2013
abstracts off (turn on)
Automated theorem proving for the systematic analysis of interactive systems   visit publisher
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2013) Electronic Communications of the EASST, 69: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
Depth cues and perceived audiovisual synchrony of biological motion   visit publisher download from RepositoriUM
C. Silva, C. Mendonça, S. Mouta, R. Silva, J.C. Campos and J. Santos (2013) PLoS ONE, 8(11):e80096, November.
Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma download from RepositoriUM
T. Gomes, T. Abade, J.L. Silva and J.C. Campos (2013) In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 90-97. Universidade de Trás-os-Montes e Alto Douro.
Avaliação de Ambientes Ubíquos na Plataforma APEX download from RepositoriUM
T. Abade, T. Gomes, J.L. Silva and J. C. Campos (2013) In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 177-178. Universidade de Trás-os-Montes e Alto Douro.
Ambiente de geração, mutação e execução de casos de teste para aplicações Web download from RepositoriUM
P.J. Cruz and J.C. Campos (2013) In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 45-52. Universidade de Trás-os-Montes e Alto Douro.
Developing Serious Games With The APEX Framework download from RepositoriUM
T. Gomes, T. Abade, M.D. Harrison, J.L. Silva and J.C. Campos (2013) In Proceedings of the Workshop on "Ubiquitous games and gamification for promoting behavior change and wellbeing", pages 37-40.
Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications   visit publisher download from RepositoriUM
C.E. Silva and J.C. Campos (2013) In P. Forbrig, P. Dewan, M. Harrison, K. Luyten, C. Santoro and S.D.J. Barbosa, editors, Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013), pages 107-112. ACM.
Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos   visit publisher download from RepositoriUM
J.C. Silva, J.L. Silva, J.C. Campos and J.A. Saraiva (2013) In Sistemas e Tecnologias de Informação (CISTI 2013), volume 2, pages 142-146. AISTI.
A Specification Patterns System for Discrete Event Systems' Analysis   visit publisher download from RepositoriUM
J.C. Campos and J. Machado (2013) International Journal of Advanced Robotic Systems, 10:315.
An empirical study on immersive prototyping dimensions   visit publisher download from RepositoriUM
S. Moreira, R. José and J.C. Campos (2013) In M. Kurosu, editor, Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments, volume 8004 of Lecture Notes in Computer Science, pages 421-430. Springer.
The Mobile Context Framework: providing context to mobile applications   visit publisher download from RepositoriUM
L. Oliveira, A.N. Ribeiro and J.C. Campos (2013) In N. Streitz and C. Stephanidis, editors, Distributed, Ambient and Pervasive Interactions, volume 8028 of Lecture Notes in Computer Science, pages 144-153. Springer.
MapIt: A model based pattern recovery tool   visit publisher download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2013) In R.J. Machado, R.S.P. Maciel, J. Rubin and G. Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, volume 7706 of Lecture Notes in Computer Science, pages 19-37. Springer.
2012
abstracts off (turn on)
A patterns based reverse engineering approach for Java source code   visit publisher download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2012) In 35th Annual IEEE Software Engineering Workshop, pages 140-147. IEEE Computer Society.
Can GUI implementation markup languages be used for modelling?   visit publisher
C.E. Silva and J.C. Campos (2012) In Marco Winckler, Peter Forbrig and Regina Bernhaupt, editors, Human Centred Software Engineering (HCSE 2012), volume 7623 of Lecture Notes in Computer Science, pages 112-129. Springer.
Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12   visit publisher
S. Barbosa, J.C. Campos, R. Kazman, P. Palanque, M. Harrison and S. Reeves, editor(s) (2012) ACM, Copenhagen, Denmark.
Modelling and systematic analysis of interactive systems   visit publisher download from RepositoriUM
M.D. Harrison, J.C. Campos, P. Masci and N. Thomas (2012) In Matthew L. Bolton, Asaf Degani and Philippe Palanque, editors, Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H), pages 25-28.
Formal analysis of Ubiquitous Computing environments through the APEX framework   visit publisher
J.L. Silva, J.C. Campos and M.D. Harrison (2012) In ACM Symposium on Engineering Interactive Computing Systems (EICS2012), pages 131-140. ACM.
A literature review about usability evaluation methods for e-learning platforms download from RepositoriUM
L. Freire, P.M. Arezes and J.C. Campos (2012) Work: A Journal of Prevention, Assessment and Rehabilitation, 41:1038-1044.
GUIsurfer: A Reverse Engineering Framework for User Interface Software   visit publisher download from RepositoriUM
J.C. Campos, J. Saraiva, C. Silva and J.C. Silva (2012) In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech.
2011
abstracts off (turn on)
FlexiXML - A portable user interface rendering engine for UsiXML download from RepositoriUM
J.C. Campos and S.A. Mendes (2011) In User Interface Extensible Markup Language - UsiXML'2011, pages 158-168. Thales Research and Technology. (ISBN: 978-2-9536757-1-9)
Modelling and analysing the interactive behaviour of an infusion pump   visit publisher
J.C. Campos and M.D. Harrison (2011) Electronic Communications of the EASST, 45: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
Supporting requirements formulation in software formal verification download
J.C. Campos and J. Machado (2011) In Ambrosio, A.M., Mattiello-Francisco, M.F., Batista, J.C., Barbosa, R. and Cancela, H., editors, Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings. INPE.
Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems download
J. Machado and J.C. Campos (2011) In Ambrosio, A.M., Mattiello-Francisco, M.F., Batista, J.C., Barbosa, R. and Cancela, H., editors, Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings. INPE.
Test case generation from mutated task models   visit publisher
A. Barbosa, A. Paiva and J.C. Campos (2011) In Fabio Paternò, Kris Luyten, Frank Maurer, Prasun Dewan and Carmen Santoro, editors, ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. ACM. (ISBN: 978-1-4503-0778-9)
Safe Controllers Design for Industrial Automation Systems   visit publisher download from RepositoriUM
J. Machado, E. Seabra, J.C. Campos, F. Soares and C. Leão (2011) Computers & Industrial Engineering, 60(4):635-653, May. (ISSN: 0360-8352)
A importância das avaliações qualitativas em sistemas E-learning
L. Freire, P.M. Arezes and J.C. Campos (2011) In P. Arezes, J.S. Baptista, M.P. Barroso, P. Carneiro, P. Cordeiro, N. Costa, R. Melo, A.S. Miguel and G.P. Perestrelo, editors, Occupational Safety and Hygiene (SHO 2011), pages 274-278.
2010
abstracts off (turn on)
GUI Inspection from Source Code Analysis download
J. C. Silva, J. C. Campos and J. A. Saraiva (2010) Electronic Communications of the EASST, 33: Foundations and Techniques for Open Source Software Certification 2010).
From SFC Specification to C Programming Language on the Context of Aerospace Systems Control
P. Borges, J. Machado, E. Villani and J. C. Campos (2010) In Ioan Dumitrache and Catalin Buiu, editors, IFAC Workshop on Intelligent Control Systems 2010, pages 46-51. Elsevier. (ISBN: 978-1-61782-758-7)
The APEX framework: prototyping of ubiquitous environments based on Petri nets download
J. L. Silva, O. R. Ribeiro, J. M. Fernandes, J. C. Campos and M. D. Harrison (2010) In R. Bernhaupt, P. Forbrig, J. Gulliksen and M.K. Lárusdóttir, editors, Human-Centred Software Engineering, volume 6409 of Lecture Notes in Computer Science, pages 6-21. Springer.
GUI Behavior from Source Code Analysis download
J. C. Silva, C. E. Silva, J. C. Campos and J. A. Saraiva (2010) In O. Mealha, J. Madeira, D. Tércio and B.S. Santos, editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 81-88. GPCG (Eurographics - Portuguese Chapter).
Prototipagem rápida de ambientes ubíquos download
J.L. Silva, O.R. Ribeiro, J.M. Fernandes, J.C. Campos and M.D. Harrison (2010) In O. Mealha, J. Madeira, D. Tércio and B.S. Santos, editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 121-128. GPCG (Eurographics - Portuguese Chapter).
Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais
P. Borges, E. Villani, J. Machado, J. Ferreira and J. Campos (2010) In XIV International Congress on Project Engineering, pages 2666-2676. FGUPM.
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code   visit publisher
J.C. Silva, C. Silva, R. Goncalo, J. Saraiva and J.C. Campos (2010) In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive computing systems, pages 181-186. ACM. (ISBN: 978-1-4503-0083-4)
A coordination model for interactive components
M.A. Barbosa, L.S. Barbosa and J.C. Campos (2010) In Fundamentals of Software Engineering, volume 5961 of Lecture Notes in Computer Science, pages 416-430. Springer-Verlag. (ISBN: 978-3-642-11622-3)
Princípios de Ergonomia e Design discutidos através de plataformas utilizadas para e-learning
L. Freire, P.M. Arezes and J.C. Campos (2010) In P. Arezes, J.S. Baptista, M.P. Barroso, P. Carneiro, P. Cordeiro, N. Costa, R. Melo, A.S. Miguel and G.P. Perestrelo, editors, Occupational Safety and Hygiene (SHO 2010), pages 256-260. (ISBN: 978-972-99504-6-9)
2009
abstracts off (turn on)
Pattern-based Analysis of Automated Production Systems   visit publisher
J. C. Campos and J. Machado (2009) In Bakhtadze, Natalia and Dolgui, Alexandre, editors, 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), pages 972-977. IFAC.
FlexiXML: Um animador de modelos UsiXML download
J. C. Campos and S. Mendes (2009) In 17o. Encontro Português de Computação Gráfica (17o. EPCG), pages 185-194. GPCG (Eurographics - Portuguese Chapter). (ISBN: 978-972-98464-3-4)
Advanced Engineering Tools for Next Generation Substation Automation Systems: The Added Value of IEC 61850 and the InPACT Project download
R. Paulo, A. Carrapatoso, M. Lemos, R. Bernardo and J. Campos (2009) In 20th International Conference and Exhibition on Electricity Distribution (CIRED 2009), volume PEP0550Z of IET Conference Publications, pages 0322/1-4. IET. (ISSN: 0537-9989, ISBN: 978-1-84919-126-5)
Interaction engineering using the IVY tool   visit publisher download
J. C. Campos and M. D. Harrison (2009) In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 35-44. ACM.
An infrastructure for experience centered agile prototyping of ambient intelligence   visit publisher download
J. L. Silva, J. C. Campos and M. D. Harrison (2009) In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 79-84. ACM.
A Generic Library for GUI Reasoning and Testing   visit publisher
J.C. Silva, J. Saraiva and J.C. Campos (2009) In SAC '09: Proceedings of the 2009 ACM Symposium on Applied Computing, pages 121-128. ACM. (ISBN: 978-1-60558-166-8)
2008
abstracts off (turn on)
Considering context and users in interactive systems analysis
J.C. Campos and M.D. Harrison (2008) In Engineering Interactive Systems, volume 4940 of Lecture Notes in Computer Science, pages 193-209. Springer-Verlag. (ISBN: 978-3-540-92697-9)
Analysing Human Aspects of Safety-Critical Software   visit publisher
M. Harrison and J. C. Campos (2008) ERCIM News, 75:18, October. (Invited paper; ISSN: 0926-4981)
Formal analysis of interactive systems: opportunities and weaknesses   visit publisher
M. D. Harrison, J. C. Campos and K. Loer (2008) In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction, pages 88-111. Cambridge University Press.
Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina
J. C. Campos, Daniel Gonçalves, T. Romão and L. Rato, editor(s) (2008) Grupo Português de Computação Gráfica. (ISBN: 972-98464-9-9)
AniMAL - a user interface prototyper and animator for MAL interactor models
N. Guerreiro, S. Mendes, V. Pinheiro and J. C. Campos (2008) In J.C. Campos, D. Gonçalves, T. Romão and L. Rato, editors, Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, pages 93-102. Grupo Português de Computação Gráfica.
Framework de distribuição assíncrona de aplicações móveis situadas
M. Borges, J. C. Campos and A. N. Ribeiro (2008) In J.C. Campos, D. Gonçalves, T. Romão and L. Rato, editors, Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, pages 181-186. Grupo Português de Computação Gráfica.
Property Patterns for the Formal Verification of Automated Production Systems download
J. C. Campos, J. Machado and E. Seabra (2008) In Proceedings of the 17th IFAC World Congress, pages 5107-5112. IFAC.
Systematic analysis of control panel interfaces using formal tools   visit publisher
J. C. Campos and M. D. Harrison (2008) In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 72-85. Springer-Verlag.
Resources for Situated Actions   visit publisher
G. J. Doherty, J. C. Campos and M. D. Harrison (2008) In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 194-207. Springer-Verlag.
Connecting rigorous system analysis to experience centred design   visit publisher
M. D. Harrison, J. C. Campos, G. Doherty and K. Loer (2008) In E. Law, E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series, pages 56-74. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
Model-based user interface testing with Spec Explorer and ConcurTaskTrees   visit publisher
J. L. Silva, J. C. Campos and A. Paiva (2008) Electronic Notes in Theoretical Computer Science, 208:77-93.
Exploring an option space to engineer a ubiquitous computing system   visit publisher
M. Harrison, C. Kray and J. C. Campos (2008) Electronic Notes in Theoretical Computer Science, 208:41-55.
2007
abstracts off (turn on)
Simulation and Formal Verification of Industrial Systems Controllers
J. Machado, E. Seabra, J.C. Campos, F. Soares, C.P. Leao and J.F. Silva (2007) In 19th International Congress of Mechanical Engineering (COBEM 2007). ABCM. (ISBN: 978-85-85769-34-5)
A New Plant Modelling Approach For Formal Verification Purposes   visit publisher
J. Machado, E. Seabra, F. Soares and J. Campos (2007) In Large Scale Complex Systems Theory and Applications, volume 11, pages 167-172. IFAC.
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments   visit publisher download from RepositoriUM
H. Pinto, R. José and J. C. Campos (2007) In IEEE International Conference on Pervasive Services 2007 (ICPS'07), pages 232-241. IEEE Computer Society Press. (ar: 18/64 ~.28)
Integrating HCI into a UML based Software Engineering course
A. N. Ribeiro, J. C. Campos and F. Martins (2007) In Proceedings HCI Educators 2007, pages 48-57. GPCG (Eurographics - Portuguese Chapter).
Processes: Working group report   visit publisher
S. Chatty, J. C. Campos, M. P. Gonzalez, S. Lepreux, E. G. Nilsson, V. Penichet and M. Santos J. Van den Bergh (2007) In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 262-264. Springer-Verlag.
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications   visit publisher download from RepositoriUM
J. C. Silva, J. C. Campos and J. Saraiva (2007) In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 137-150. Springer-Verlag.
Towards a coordination model for interactive systems   visit publisher download from RepositoriUM
M. A. Barbosa, L. S. Barbosa and J. C. Campos (2007) Electronic Notes in Theorectical Computer Science, 183:73-88.
2006
abstracts off (turn on)
Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina
T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editor(s) (2006) Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
Supporting resource-based analysis of task information needs   visit publisher download from RepositoriUM
J. C. Campos and G. J. Doherty (2006) In S.W. Gilroy and M.D. Harrison, editors, Interactive Systems: Design, Specification and Verification, volume 3941 of Lecture Notes in Computer Science, pages 188-200. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-34145-5)
Automated deduction and usability reasoning
J. C. Campos and M. D. Harrison (2006) In Claude Ghaoui, editor, Encyclopedia of Human-Computer Interaction, pages 45-54. Idea Group Reference. (ISBN: 1-59140-562-9 - hardcover / 1-59140-798-2 - ebook)
UML no Desenvolvimento de Sistemas Interactivos download from RepositoriUM
J. C. Campos and A. N. Ribeiro (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 77-80. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
Accessibility and Visually Impaired Users   visit publisher
A. R. Fernandes, J. R. Pereira and J. C. Campos (2006) In I. Seruca, J. Filipe, S. Hammoudi and J. Cordeiro, editors, Enterprise Information Systems VI. Springer. (ISBN: 1-4020-3674-4). (Best papers from ICEIS 2005 - ar (ICEIS 2005): .19)
Usabilidade em interfaces para crianças   visit publisher
A. Mano and J. C. Campos (2006) Jornal de Ciências Cognitivas, Setembro. (ISSN: 1646-365X)
Cognitive walkthroughs in the evaluation of user interfaces for children
A. Mano and J. C. Campos (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 195-198. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
A Push Infrastructure for Mobile Application Deployment in Mobile Environments
M. Borges, A. N. Ribeiro and J. C. Campos (2006) In R. José and C. Baquero, editors, CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, pages 175-178. Escola de Engenharia, Universidade do Minho. (ISBN: 972-8692-29-3)
Adaptação nativa de interfaces com o utilizador em dispositivos móveis
S. Rodrigues, J. C. Campos and A. N. Ribeiro (2006) In CSMU 2006 - Conference on Mobile and Ubiquitous Systems, pages 171-174. Escola de Engenharia, Universidade do Minho. (ISBN: 972-8692-29-3)
Models for the Reverse Engineering of Java/Swing Applications   visit publisher download from RepositoriUM
J. C. Silva, J. C. Campos and J. Saraiva (2006) In J. M. Favre, D. Gasevic, R. Lämmel and A. Winter, editors, 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering, number 1/2006 of Informatik-Bericht series. Johannes Gutenberg-Universität Mainz, Institut füur Informatik - FB 8. (ISSN: 0931-9972)
Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing download from RepositoriUM
J. C. Silva, J. C. Campos and J. Saraiva (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 63-72. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
IVY Trace Visualiser download from RepositoriUM
N. M. E. Sousa and J. C. Campos (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 181-190. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
2005
abstracts off (turn on)
Model based web interfaces' analysis
J. C. Campos (2005) In HCI International 2005 - 11th International Conference on Human-Computer Interaction (posters section). Laurence Erlbaum Associates, Inc. (ISBN: 0-8085-5807-5 - CD-ROM edition)
Testing AudioBrowser
J. C. Campos and A. R. Fernandes (2005) In HCI International - 11th International Conference on Human-Computer Interaction (posters section). Laurence Erlbaum Associates, Inc.. (ISBN: 0-8085-5807-5 - CD-ROM edition)
Is there a role for rigorous system analysis in experience centred design?
M.Harrison, G. Doherty and J. C. Campos (2005) Position paper for the Workshop on Space, Place, and Experience in Human Computer Interaction, 10th IFIP International Conference on Human Computer Interaction -- Interact 2005. September.
A study on usability criteria regarding interfaces for children download from RepositoriUM
A. Mano and J. C. Campos (2005) In Interact 2005 Workshop on Child Computer Interaction: Methodological Research, pages 32-35.
Laboratórios virtuais: duas aplicações no ensino de engenharia
L. Teixeira, ó. Costa, V. Pereira, C. P. Leão, F. O. Soares, M. T. Restivo, F. Chouzal, J. Mendes and J. C. Campos (2005) In A. Mendes, I. Pereira and R. Costa, editors, VII Simpósio Internacional de Informática Educativa -- SIIE'05 (posters section). (ISBN: 972-95207-4-7 (CD-ROM edition))
2004
abstracts off (turn on)
Interactors as Boundary Objects
J. C. Campos (2004) Position paper at the CHI 2004 workshop: Identifying Gaps between HCI, Software Engineering, and Design, and Boundary Objects to Bridge Them. April.
The modelling gap between software engineering and human-computer interaction download from RepositoriUM
J. C. Campos (2004) In Rick Kazman, Len Bass and Bonnie John, editors, ICSE 2004 Workshop: Bridging the Gaps II, pages 54-61. The IEE. (ISBN: 0-86341-416-8)
Análise de usabilidade baseada em modelos
J. C. Campos (2004) In Interação 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, pages 171-176. Grupo Português de Computação Gráfica. (ISBN: 972-98464-4-8 (proceedings also available as a special number of the {Virtual} electronic journal, ISSN: 0873-1837))
Verifying user interface behaviour with model checking download
J. C. Campos, M. D. Harrison and Karsten Loer (2004) In J. C. Augusto and U. Ultes-Nitsche, editors, Verification and Validation of Enterprise Information Systems (VVEIS 2004), pages 87-96. INSTICC Press. (ISBN: 972-8865-03-1)
Accessibility and Visually Impaired Users
A. R. Fernandes, J. R. Pereira and J. C. Campos (2004) In I. Seruca, J. Filipe, S. Hammoudi and J. Cordeiro, editors, ICEIS 2004: Proceedings of the 6th International Conference on Enterprise Information Systems, volume 5, pages 75-80. INSTICC Press. (ISBN: 972-8865-00-7)
A study about usability criteria on computer interfaces for children
A. Mano and J. C. Campos (2004) In First Portuguese Forum of Experimental Psychology.
Aplicação de um Cognitive Walkthrough - estudo de caso
A. Mano and J. C. Campos (2004) In Interação 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, pages 256-258. Grupo Português de Computação Gráfica. (ISBN: 972-98464-4-8 (proceedings also available as a special number of the {Virtual} electronic journal, ISSN: 0873-1837))
2003
abstracts off (turn on)
Using task knowledge to guide interactor specifications analysis
J. C. Campos (2003) In J. A. Jorge, N. J. Nunes and J. Falcão e Cunha, editors, Interactive Systems: Design, Specification and Verification, volume 2844 of Lecture Notes in Computer Science, pages 171-186. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-20159-9)
Uma abordagem formal à Engenharia da Usabilidade   visit publisher
J. C. Campos (2003) In Simone D. J. Barbosa and Cleotilde Gonzalez, editors, CLIHC 2003 Conference Proceedings, ACM International Conference Proceeding Series, pages 17-28. ACM. (ISBN: 85-87926-05-5)
Reasoning about Dynamic Information Displays download
J. C. Campos and G. J. Doherty (2003) In J. A. Jorge, N. J. Nunes and J. Falcão e Cunha, editors, Interactive Systems: Design, Specification and Verification, volume 2844 of Lecture Notes in Computer Science, pages 288-302. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-20159-9)
From HCI to Software Engineering and back download
J. C. Campos and M. D. Harrison (2003) In Rick Kazman, Len Bass and Jan Bosch, editors, Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE '2003 workshop, pages 49-56.
2001
abstracts off (turn on)
Reasoning about Time in Dynamic Information Displays download from RepositoriUM
J. C. Campos and G. J. Doherty (2001) In G.J. Doherty, M. Massink and M.D. Wilson, editors, Continuity in Future Computing Systems - Proceedings of I3 Spring Days Workshop, volume RAL-CONF-2001-001 of RAL Conference Proceedings, pages 80-95. Council for the Central Laboratory of the Research Councils. (ISSN: 1362-0231)
Model Checking Interactor Specifications   visit publisher download from RepositoriUM
J. C. Campos and M. D. Harrison (2001) Automated Software Engineering, 8(3):275-310, August. (ISSN: 0928-8910)
2000
abstracts off (turn on)
Representational Reasoning and Verification   visit publisher download
G. J. Doherty, J. C. Campos and M. D. Harrison (2000) Formal Aspects of Computing, 12(4):260-277. (ISSN: 0934-5043)
1999
abstracts off (turn on)
Automated Deduction and Usability Reasoning download
J. C. Campos (1999) DPhil thesis, Department of Computer Science, University of York. (Also available as Technical Report YCST 2000/9, Department of Computer Science, University of York)
Using automated reasoning in the design of an audio-visual communication system download
J. C. Campos and M. D. Harrison (1999) In D. J. Duke and A. Puerta, editors, Design, Specification and Verification of Interactive Systems '99, Springer Computer Science, pages 167-188. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83405-2)
From Interactors to SMV: A Case Study in the Automated Analysis of Interactive Systems download
J. C. Campos and M. D. Harrison (1999) Technical Report YCS-99-317, Department of Computer Science, University of York.
1998
abstracts off (turn on)
Integrating Automated Verification into Interactive Systems Development download from RepositoriUM
J. C. Campos (1998) In 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, pages 13-15.
The role of verification in interactive systems design download
J. C. Campos and M. D. Harrison (1998) In P. Markopoulos and P. Johnson, editors, Design, Specification and Verification of Interactive Systems '98, Springer Computer Science, pages 155-170. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83212-2)
Representational Reasoning and Verification
G. Doherty, J. C. Campos and M. D. Harrison (1998) In J. I. Siddiqi, editor, Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, pages 193-212. SHU Press. (ISBN: 0-86339-7948)
1997
abstracts off (turn on)
Formally Verifying Interactive Systems: A Review download
J. C. Campos and M. D. Harrison (1997) In M. D. Harrison and J. C. Torres, editors, Design, Specification and Verification of Interactive Systems '97, Springer Computer Science, pages 109-124. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83055-3)
1996
abstracts off (turn on)
Context Sensitive User Interfaces download from RepositoriUM
J. C. Campos and F. M. Martins (1996) In C. R. Roast and J. I. Siddiqi, editors, Formal Aspects of the Human Computer Interface, electronic Workshops in Computing. Springer-Verlag London. (ISBN: 3-540-76105-5)
1994
abstracts off (turn on)
O Sistema GAMA - Arquitectura e Implementação download from RepositoriUM
J. C. Campos and F. M. Martins (1994) In F. M. Martins, J. J. Almeida and J. G. Rocha, editors, 6o. Encontro Português de Computação Gráfica, number UMDIAR9414, pages 2-15.
1993
abstracts off (turn on)
GAMA-X Geração Semi-Automática de Interfaces Sensíveis ao Contexto
J. C. Campos (1993) MSc. thesis, Departamento de Informática, Universidade do Minho.
GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema
J. C. Campos and F. M. Martins (1993) In 5o. Encontro Português de Computação Gráfica, number UMDIAR9310, pages 197-209.
1991
abstracts off (turn on)
IAPF - Interfaces Assistidas para Protótipos Funcionais
J. C. Campos (1991) Relatório de Estágio, Departamento de Informática, Universidade do Minho.

Generated by mkBiblio 2.6.11