[Photo]
[UM][EEng]
Publicações
Accepted
abstracts off (turn on)
M.D. Harrison, M. Drinnan, J.C. Campos, P. Masci, L. Freitas, C. di Maria and M. Whitaker
Safety analysis of software components of a dialysis machine using model checking. In FACS'17. (accepted)
M. Pinto, M. Gonçalves, P. Masci, and J.C. Campos
TOM: a Model-Based GUI Testing framework. In FACS'17. (accepted)
P. Masci, Y. Zhang, P. Jones and J.C. Campos
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. In SEFM'17. (accepted)
M. Machado, R. Couto and J.C. Campos
MODUS: Model-based user interfaces prototyping. In EICS 2017. (accepted)
Harrison, M.D., Masci, P., Campos, J.C. and Curzon, P.
Verification of User Interface Software: the Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human-Machine Systems. (accepted)
  visit publisher
2017
abstracts off (turn on)
J.C. Campos, C. Fayollas, M. Gonçalves, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2017)
A "More Intelligent" Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human Computer Interaction - EICS, 1(1):9:1-9:20.
  visit publisher
Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P. (2017)
The specification and analysis of use properties of a nuclear control system. In Weyers, B., Palanque, P., Bowen, J. and Dix, A., editors, The Handbook on Formal Methods in Human Computer Interaction, Human-Computer Interaction Series, chapter 14. Springer.
Campos, J.C., Abade, T., Silva, J.L. and Harrison, M.D. (2017)
Don't Go In There! Using the APEX framework in the design of ambient assisted living systems. Journal of Ambient Intelligence and Humanized Computing, 8(4):551-566.
  visit publisher   visit publisher download
Fayollas, C., Martinie, C., Palanque, P., Masci, P., Harrison, M.D., Campos, J.C. and Silva, S.R. (2017)
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web. In Proceedings of the Third Workshop on Formal Integrated Development Environment, volume 240 of Electronic Proceedings in Theoretical Computer Science, pages 1-19.
  visit publisher
2016
abstracts off (turn on)
Luyten, K., Palanque, P., Campos, J.C. and Schmidt, A., editor(s) (2016)
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16. ACM.
  visit publisher
J.C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2016)
Systematic Automation of Scenario-Based Testing of User Interfaces. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 138-148. ACM.
  visit publisher download
M. Harrison, J.C. Campos, R. Ruksenas and P. Curzon (2016)
Modelling information resources and their salience in medical device design. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 194-203. ACM.
  visit publisher download
R. Couto, A.N. Ribeiro and J.C. Campos (2016)
Validating an approach to formalize use cases with ontologies. 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.
  visit publisher
J.C. Campos, M. Sousa, M. Alves and M.D. Harrison (2016)
Formal Verification of a Space System's User Interface with the IVY workbench. IEEE Transactions on Human-Machine Systems, 46(2):303-316.
  visit publisher download
2015
abstracts off (turn on)
M. Harrison, J.C. Campos, P. Masci and P. Curzon (2015)
Templates as heuristics for proving properties of medical devices. In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
  visit publisher
J.C. Campos, J.L. Silva and M. Harrison (2015)
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. 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.
  visit publisher download
M. Machado, J.C. Campos and R. Couto (2015)
MODUS: uma metodologia de prototipagem de interfaces baseada em modelos. In Inforum 2015: Atas do 7º Simpósio Nacional de Informática, pages 17-32. UBI - Universidade da Beira Interior.
download
T. Abade, J.C. Campos, R. Moreira, C.C.L. Silva and J.L. Silva (2015)
Immersiveness of Ubiquitous Computing Environments Prototypes: A case study. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient and Pervasive Interactions, volume 9189 of Lecture Notes in Computer Science, pages 237-248. Springer.
  visit publisher download
J.C. Campos, P. Masci, P. Curzon and M.D. Harrison (2015)
Layers, resources and property templates in the specification and analysis of two interactive systems. In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, pages 38-43. Universitätsbibliothek, RWTH Aachen University.
download
R. Couto, A.N. Ribeiro and J.C. Campos (2015)
The Modelery: A Model-Based Software Development Repository. International Journal of Web Information Systems, 11(2):205-225.
  visit publisher download from RepositoriUM
D. Almeida, J.C. Campos, J. Saraiva and J.C. Silva (2015)
Towards a Catalog of Usability Smells. In ACM SAC 2015 proceedings - Volume I: Artificial Intelligence and Agents, Distributed Systems, and Information Systems, pages 175-181. ACM.
  visit publisher download
M.D. Harrison, J.C. Campos and P. Masci (2015)
Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering, 11(2):95-111, June.
  visit publisher download from RepositoriUM
J. Lamas, C.C.L. Silva, M. Silva, S. Mouta, J.C. Campos, J.A. Santos (2015)
Measuring end-to-end delay in real-time auralisation systems. In Euronoise - 10th European Congress and Exposition on Noise Control Engineering, pages 791-796. EAA-NAG-ABAV.
download
2014
abstracts off (turn on)
J.C. Campos, G. Doherty and M.D. Harrison (2014)
Analysing interactive devices based on information resource constraints. International Journal of Human-Computer Studies, 72(3):284-297, March.
  visit publisher download from RepositoriUM
J.L. Silva, J.C. Campos and M.D Harrison (2014)
Prototyping and Analysing Ubiquitous Computing Environments using Multiple Layers. International Journal of Human-Computer Studies, 72(5):488-506, May.
  visit publisher download from RepositoriUM
T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014)
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Transactions on Ambient Systems, 14(3):e5, March.
  visit publisher download from RepositoriUM
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon
Demonstrating that medical devices satisfy user related safety requirements. 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).
download
C.E. Silva and J.C. Campos (2014)
Characterizing the Control Logic of Web Applications' User Interfaces. In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 263-276. Springer.
  visit publisher download
Rui Couto, Antonio Nestor Ribeiro and José Creissac Campos (2014)
A Study on the Viability of Formalizing Use Cases. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, pages 130-133. IEEE.
  visit publisher download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2014)
The Modelery: A Collaborative Web Based Repository. In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 1-16. Springer.
  visit publisher download from RepositoriUM
T. Abade, T. Gomes, J.L. Silva and J.C. Campos (2014)
Design and Evaluation of a Smart Library using the APEX Framework. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient, and Pervasive Interactions, volume 8530 of Lecture Notes in Computer Science, pages 307-318. Springer.
  visit publisher download
A.I. Sampaio and J.C. Campos (2014)
Towards a Framework for Adaptive Web Applications. 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.
  visit publisher download
T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014)
Rapid Development of First Person Serious Games using the APEX Platform: The Asthma Game. In ACM SAC 2014 proceedings - Volume I: Artificial Intelligence & Agents, Distributed Systems, and Information Systems, pages 169-174. ACM.
  visit publisher download
J.C. Campos (2014)
High assurance interactive computing systems. 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.
download
R. Couto, A.N. Ribeiro and J.C. Campos (2014)
Application of Ontologies in Identifying Requirements Patterns in Use Cases. 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.
  visit publisher download from RepositoriUM
M. Sousa, J.C. Campos, M. Alves and M.D. Harrison (2014)
Formal Verification of Safety-Critical User Interfaces: a space system case study. In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press.
download
J.C. Silva, J.C. Campos, J. Saraiva and J.L. Silva (2014)
An approach for graphical user interface external bad smells detection. In New Perspectives in Information Systems and Technologies, vol. 2, volume 276 of Advances in Intelligent Systems and Computing, pages 199-205. Springer.
  visit publisher
J.M. Machado and J.C. Campos (2014)
Development of Dependable Controllers in the Context of Machines Design. In Modern Methods of Construction Design, Lecture Notes in Mechanical Engineering, pages 125-131. Springer.
  visit publisher
J. Ziegler, J.C. Campos and L. Nigay (2014)
HCI engineering: Charting the way towards methods and tools for advanced interactive systems. In Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2014), pages 299-300. ACM.
  visit publisher
2013
abstracts off (turn on)
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2013)
Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST, 69: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
  visit publisher
C. Silva, C. Mendonça, S. Mouta, R. Silva, J.C. Campos and J. Santos (2013)
Depth cues and perceived audiovisual synchrony of biological motion. PLoS ONE, 8(11):e80096, November.
  visit publisher download from RepositoriUM
T. Gomes, T. Abade, J.L. Silva and J.C. Campos (2013)
Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma. 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.
download from RepositoriUM
T. Abade, T. Gomes, J.L. Silva and J. C. Campos (2013)
Avaliação de Ambientes Ubíquos na Plataforma APEX. 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.
download from RepositoriUM
P.J. Cruz and J.C. Campos (2013)
Ambiente de geração, mutação e execução de casos de teste para aplicações Web. 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.
download from RepositoriUM
T. Gomes, T. Abade, M.D. Harrison, J.L. Silva and J.C. Campos (2013)
Developing Serious Games With The APEX Framework. In Proceedings of the Workshop on "Ubiquitous games and gamification for promoting behavior change and wellbeing", pages 37-40.
download from RepositoriUM
C.E. Silva and J.C. Campos (2013)
Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications. 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.
  visit publisher download from RepositoriUM
J.C. Silva, J.L. Silva, J.C. Campos and J.A. Saraiva (2013)
Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos. In Sistemas e Tecnologias de Informação (CISTI 2013), volume 2, pages 142-146. AISTI.
  visit publisher download from RepositoriUM
J.C. Campos and J. Machado (2013)
A Specification Patterns System for Discrete Event Systems' Analysis. International Journal of Advanced Robotic Systems, 10:315.
  visit publisher download from RepositoriUM
S. Moreira, R. José and J.C. Campos (2013)
An empirical study on immersive prototyping dimensions. 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.
  visit publisher download from RepositoriUM
L. Oliveira, A.N. Ribeiro and J.C. Campos (2013)
The Mobile Context Framework: providing context to mobile applications. In N. Streitz and C. Stephanidis, editors, Distributed, Ambient and Pervasive Interactions, volume 8028 of Lecture Notes in Computer Science, pages 144-153. Springer.
  visit publisher download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2013)
MapIt: A model based pattern recovery tool. 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.
  visit publisher download from RepositoriUM
2012
abstracts off (turn on)
R. Couto, A.N. Ribeiro and J.C. Campos (2012)
A patterns based reverse engineering approach for Java source code. In 35th Annual IEEE Software Engineering Workshop, pages 140-147. IEEE Computer Society.
  visit publisher download from RepositoriUM
C.E. Silva and J.C. Campos (2012)
Can GUI implementation markup languages be used for modelling?. 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.
  visit publisher
S. Barbosa, J.C. Campos, R. Kazman, P. Palanque, M. Harrison and S. Reeves, editor(s) (2012)
Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12. ACM, Copenhagen, Denmark.
  visit publisher
M.D. Harrison, J.C. Campos, P. Masci and N. Thomas (2012)
Modelling and systematic analysis of interactive systems. 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.
  visit publisher download from RepositoriUM
J.L. Silva, J.C. Campos and M.D. Harrison (2012)
Formal analysis of Ubiquitous Computing environments through the APEX framework. In ACM Symposium on Engineering Interactive Computing Systems (EICS2012), pages 131-140. ACM.
  visit publisher
L. Freire, P.M. Arezes and J.C. Campos (2012)
A literature review about usability evaluation methods for e-learning platforms. Work: A Journal of Prevention, Assessment and Rehabilitation, 41:1038-1044.
download from RepositoriUM
J.C. Campos, J. Saraiva, C. Silva and J.C. Silva (2012)
GUIsurfer: A Reverse Engineering Framework for User Interface Software. In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, chapter 2, pages 31-54. InTech.
  visit publisher download from RepositoriUM
2011
abstracts off (turn on)
J.C. Campos and S.A. Mendes (2011)
FlexiXML - A portable user interface rendering engine for UsiXML. In User Interface Extensible Markup Language - UsiXML'2011, pages 158-168. Thales Research and Technology. (ISBN: 978-2-9536757-1-9)
download from RepositoriUM
J.C. Campos and M.D. Harrison (2011)
Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST, 45: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
  visit publisher
J.C. Campos and J. Machado (2011)
Supporting requirements formulation in software formal verification. 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.
download
J. Machado and J.C. Campos (2011)
Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems. 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.
download
A. Barbosa, A. Paiva and J.C. Campos (2011)
Test case generation from mutated task models. 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)
  visit publisher
J. Machado, E. Seabra, J.C. Campos, F. Soares and C. Leão (2011)
Safe Controllers Design for Industrial Automation Systems. Computers & Industrial Engineering, 60(4):635-653, May. (ISSN: 0360-8352)
  visit publisher download from RepositoriUM
L. Freire, P.M. Arezes and J.C. Campos (2011)
A importância das avaliações qualitativas em sistemas E-learning. 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)
J. C. Silva, J. C. Campos and J. A. Saraiva (2010)
GUI Inspection from Source Code Analysis. Electronic Communications of the EASST, 33: Foundations and Techniques for Open Source Software Certification 2010).
download
P. Borges, J. Machado, E. Villani and J. C. Campos (2010)
From SFC Specification to C Programming Language on the Context of Aerospace Systems Control. In Ioan Dumitrache and Catalin Buiu, editors, IFAC Workshop on Intelligent Control Systems 2010, pages 46-51. Elsevier. (ISBN: 978-1-61782-758-7)
J. L. Silva, O. R. Ribeiro, J. M. Fernandes, J. C. Campos and M. D. Harrison (2010)
The APEX framework: prototyping of ubiquitous environments based on Petri nets. 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.
download
J. C. Silva, C. E. Silva, J. C. Campos and J. A. Saraiva (2010)
GUI Behavior from Source Code Analysis. 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).
download
J.L. Silva, O.R. Ribeiro, J.M. Fernandes, J.C. Campos and M.D. Harrison (2010)
Prototipagem rápida de ambientes ubíquos. 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).
download
P. Borges, E. Villani, J. Machado, J. Ferreira and J. Campos (2010)
Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais. In XIV International Congress on Project Engineering, pages 2666-2676. FGUPM.
J.C. Silva, C. Silva, R. Goncalo, J. Saraiva and J.C. Campos (2010)
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive computing systems, pages 181-186. ACM. (ISBN: 978-1-4503-0083-4)
  visit publisher
M.A. Barbosa, L.S. Barbosa and J.C. Campos (2010)
A coordination model for interactive components. In Fundamentals of Software Engineering, volume 5961 of Lecture Notes in Computer Science, pages 416-430. Springer-Verlag. (ISBN: 978-3-642-11622-3)
L. Freire, P.M. Arezes and J.C. Campos (2010)
Princípios de Ergonomia e Design discutidos através de plataformas utilizadas para e-learning. 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)
J. C. Campos and J. Machado (2009)
Pattern-based Analysis of Automated Production Systems. In Bakhtadze, Natalia and Dolgui, Alexandre, editors, 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), pages 972-977. IFAC.
  visit publisher
J. C. Campos and S. Mendes (2009)
FlexiXML: Um animador de modelos UsiXML. 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)
download
R. Paulo, A. Carrapatoso, M. Lemos, R. Bernardo and J. Campos (2009)
Advanced Engineering Tools for Next Generation Substation Automation Systems: The Added Value of IEC 61850 and the InPACT Project. 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)
download
J. C. Campos and M. D. Harrison (2009)
Interaction engineering using the IVY tool. In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 35-44. ACM.
  visit publisher download
J. L. Silva, J. C. Campos and M. D. Harrison (2009)
An infrastructure for experience centered agile prototyping of ambient intelligence. In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 79-84. ACM.
  visit publisher download
J.C. Silva, J. Saraiva and J.C. Campos (2009)
A Generic Library for GUI Reasoning and Testing. In SAC '09: Proceedings of the 2009 ACM Symposium on Applied Computing, pages 121-128. ACM. (ISBN: 978-1-60558-166-8)
  visit publisher
2008
abstracts off (turn on)
J.C. Campos and M.D. Harrison (2008)
Considering context and users in interactive systems analysis. In Engineering Interactive Systems, volume 4940 of Lecture Notes in Computer Science, pages 193-209. Springer-Verlag. (ISBN: 978-3-540-92697-9)
M. Harrison and J. C. Campos (2008)
Analysing Human Aspects of Safety-Critical Software. ERCIM News, 75:18, October. (Invited paper; ISSN: 0926-4981)
  visit publisher
M. D. Harrison, J. C. Campos and K. Loer (2008)
Formal analysis of interactive systems: opportunities and weaknesses. In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction, chapter 5, pages 88-111. Cambridge University Press.
  visit publisher
J. C. Campos, Daniel Gonçalves, T. Romão and L. Rato, editor(s) (2008)
Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina. Grupo Português de Computação Gráfica. (ISBN: 972-98464-9-9)
N. Guerreiro, S. Mendes, V. Pinheiro and J. C. Campos (2008)
AniMAL - a user interface prototyper and animator for MAL interactor models. 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.
M. Borges, J. C. Campos and A. N. Ribeiro (2008)
Framework de distribuição assíncrona de aplicações móveis situadas. 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.
J. C. Campos, J. Machado and E. Seabra (2008)
Property Patterns for the Formal Verification of Automated Production Systems. In Proceedings of the 17th IFAC World Congress, pages 5107-5112. IFAC.
download
J. C. Campos and M. D. Harrison (2008)
Systematic analysis of control panel interfaces using formal tools. 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.
  visit publisher
G. J. Doherty, J. C. Campos and M. D. Harrison (2008)
Resources for Situated Actions. 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.
  visit publisher
M. D. Harrison, J. C. Campos, G. Doherty and K. Loer (2008)
Connecting rigorous system analysis to experience centred design. In E. Law, E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series, chapter 3, pages 56-74. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
  visit publisher
J. L. Silva, J. C. Campos and A. Paiva (2008)
Model-based user interface testing with Spec Explorer and ConcurTaskTrees. Electronic Notes in Theoretical Computer Science, 208:77-93.
  visit publisher
M. Harrison, C. Kray and J. C. Campos (2008)
Exploring an option space to engineer a ubiquitous computing system. Electronic Notes in Theoretical Computer Science, 208:41-55.
  visit publisher
2007
abstracts off (turn on)
J. Machado, E. Seabra, J.C. Campos, F. Soares, C.P. Leao and J.F. Silva (2007)
Simulation and Formal Verification of Industrial Systems Controllers. In 19th International Congress of Mechanical Engineering (COBEM 2007). ABCM. (ISBN: 978-85-85769-34-5)
J. Machado, E. Seabra, F. Soares and J. Campos (2007)
A New Plant Modelling Approach For Formal Verification Purposes. In Large Scale Complex Systems Theory and Applications, volume 11, pages 167-172. IFAC.
  visit publisher
H. Pinto, R. José and J. C. Campos (2007)
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments. In IEEE International Conference on Pervasive Services 2007 (ICPS'07), pages 232-241. IEEE Computer Society Press. (ar: 18/64 ~.28)
  visit publisher download from RepositoriUM
A. N. Ribeiro, J. C. Campos and F. Martins (2007)
Integrating HCI into a UML based Software Engineering course. In Proceedings HCI Educators 2007, pages 48-57. GPCG (Eurographics - Portuguese Chapter).
S. Chatty, J. C. Campos, M. P. Gonzalez, S. Lepreux, E. G. Nilsson, V. Penichet and M. Santos J. Van den Bergh (2007)
Processes: Working group report. 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.
  visit publisher
J. C. Silva, J. C. Campos and J. Saraiva (2007)
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. 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.
  visit publisher download from RepositoriUM
M. A. Barbosa, L. S. Barbosa and J. C. Campos (2007)
Towards a coordination model for interactive systems. Electronic Notes in Theorectical Computer Science, 183:73-88.
  visit publisher download from RepositoriUM
2006
abstracts off (turn on)
T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editor(s) (2006)
Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
J. C. Campos and G. J. Doherty (2006)
Supporting resource-based analysis of task information needs. 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)
  visit publisher download from RepositoriUM
J. C. Campos and M. D. Harrison (2006)
Automated deduction and usability reasoning. 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)
J. C. Campos and A. N. Ribeiro (2006)
UML no Desenvolvimento de Sistemas Interactivos. 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)
download from RepositoriUM
A. R. Fernandes, J. R. Pereira and J. C. Campos (2006)
Accessibility and Visually Impaired Users. 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)
  visit publisher
A. Mano and J. C. Campos (2006)
Usabilidade em interfaces para crianças. Jornal de Ciências Cognitivas, Setembro. (ISSN: 1646-365X)
  visit publisher
A. Mano and J. C. Campos (2006)
Cognitive walkthroughs in the evaluation of user interfaces for children. 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)
M. Borges, A. N. Ribeiro and J. C. Campos (2006)
A Push Infrastructure for Mobile Application Deployment in Mobile Environments. 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)
S. Rodrigues, J. C. Campos and A. N. Ribeiro (2006)
Adaptação nativa de interfaces com o utilizador em dispositivos móveis. In CSMU 2006 - Conference on Mobile and Ubiquitous Systems, pages 171-174. Escola de Engenharia, Universidade do Minho. (ISBN: 972-8692-29-3)
J. C. Silva, J. C. Campos and J. Saraiva (2006)
Models for the Reverse Engineering of Java/Swing Applications. 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)
  visit publisher download from RepositoriUM
J. C. Silva, J. C. Campos and J. Saraiva (2006)
Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing. 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)
download from RepositoriUM
N. M. E. Sousa and J. C. Campos (2006)
IVY Trace Visualiser. 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)
download from RepositoriUM
2005
abstracts off (turn on)
J. C. Campos (2005)
Model based web interfaces' analysis. 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)
J. C. Campos and A. R. Fernandes (2005)
Testing AudioBrowser. In HCI International - 11th International Conference on Human-Computer Interaction (posters section). Laurence Erlbaum Associates, Inc.. (ISBN: 0-8085-5807-5 - CD-ROM edition)
M.Harrison, G. Doherty and J. C. Campos (2005)
Is there a role for rigorous system analysis in experience centred design?. 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. Mano and J. C. Campos (2005)
A study on usability criteria regarding interfaces for children. In Interact 2005 Workshop on Child Computer Interaction: Methodological Research, pages 32-35.
download from RepositoriUM
L. Teixeira, ó. Costa, V. Pereira, C. P. Leão, F. O. Soares, M. T. Restivo, F. Chouzal, J. Mendes and J. C. Campos (2005)
Laboratórios virtuais: duas aplicações no ensino de engenharia. 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)
J. C. Campos (2004)
Interactors as Boundary Objects. Position paper at the CHI 2004 workshop: Identifying Gaps between HCI, Software Engineering, and Design, and Boundary Objects to Bridge Them. April.
J. C. Campos (2004)
The modelling gap between software engineering and human-computer interaction. 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)
download from RepositoriUM
J. C. Campos (2004)
Análise de usabilidade baseada em modelos. 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))
J. C. Campos, M. D. Harrison and Karsten Loer (2004)
Verifying user interface behaviour with model checking. 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)
download
A. R. Fernandes, J. R. Pereira and J. C. Campos (2004)
Accessibility and Visually Impaired Users. 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. Mano and J. C. Campos (2004)
A study about usability criteria on computer interfaces for children. In First Portuguese Forum of Experimental Psychology.
A. Mano and J. C. Campos (2004)
Aplicação de um Cognitive Walkthrough - estudo de caso. 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)
J. C. Campos (2003)
Using task knowledge to guide interactor specifications analysis. 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)
J. C. Campos (2003)
Uma abordagem formal à Engenharia da Usabilidade. 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)
  visit publisher
J. C. Campos and G. J. Doherty (2003)
Reasoning about Dynamic Information Displays. 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)
download
J. C. Campos and M. D. Harrison (2003)
From HCI to Software Engineering and back. 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.
download
2001
abstracts off (turn on)
J. C. Campos and G. J. Doherty (2001)
Reasoning about Time in Dynamic Information Displays. 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)
download from RepositoriUM
J. C. Campos and M. D. Harrison (2001)
Model Checking Interactor Specifications. Automated Software Engineering, 8(3):275-310, August. (ISSN: 0928-8910)
  visit publisher download from RepositoriUM
2000
abstracts off (turn on)
G. J. Doherty, J. C. Campos and M. D. Harrison (2000)
Representational Reasoning and Verification. Formal Aspects of Computing, 12(4):260-277. (ISSN: 0934-5043)
  visit publisher download
1999
abstracts off (turn on)
J. C. Campos (1999)
Automated Deduction and Usability Reasoning. DPhil thesis, Department of Computer Science, University of York. (Also available as Technical Report YCST 2000/9, Department of Computer Science, University of York)
download
J. C. Campos and M. D. Harrison (1999)
Using automated reasoning in the design of an audio-visual communication system. 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)
download
J. C. Campos and M. D. Harrison (1999)
From Interactors to SMV: A Case Study in the Automated Analysis of Interactive Systems. Technical Report YCS-99-317, Department of Computer Science, University of York.
download
1998
abstracts off (turn on)
J. C. Campos (1998)
Integrating Automated Verification into Interactive Systems Development. In 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, pages 13-15.
download from RepositoriUM
J. C. Campos and M. D. Harrison (1998)
The role of verification in interactive systems design. 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)
download
G. Doherty, J. C. Campos and M. D. Harrison (1998)
Representational Reasoning and Verification. 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)
J. C. Campos and M. D. Harrison (1997)
Formally Verifying Interactive Systems: A Review. 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)
download
1996
abstracts off (turn on)
J. C. Campos and F. M. Martins (1996)
Context Sensitive User Interfaces. 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)
download from RepositoriUM
1994
abstracts off (turn on)
J. C. Campos and F. M. Martins (1994)
O Sistema GAMA - Arquitectura e Implementação. 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.
download from RepositoriUM
1993
abstracts off (turn on)
J. C. Campos (1993)
GAMA-X Geração Semi-Automática de Interfaces Sensíveis ao Contexto. MSc. thesis, Departamento de Informática, Universidade do Minho.
J. C. Campos and F. M. Martins (1993)
GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema. In 5o. Encontro Português de Computação Gráfica, number UMDIAR9310, pages 197-209.
1991
abstracts off (turn on)
J. C. Campos (1991)
IAPF - Interfaces Assistidas para Protótipos Funcionais. Relatório de Estágio, Departamento de Informática, Universidade do Minho.

Generated by mkBiblio 2.6.16