???global.info.a_carregar???
José Creissac Campos is an Associate Professor (with Habilitation) in the Department of Informatics at the University of Minho and a Research Coordinator at the High-Assurance Software Laboratory (HASLab), INESC TEC. He is also Deputy Director of the INESC TEC hub at the University of Minho and Director of the BSc in Informatics Engineering programme. He obtained his D.Phil. in Computer Science from the University of York (UK) in 2001. His research lies at the intersection of Software Engineering and Human-Computer Interaction (HCI), with a focus on the modelling, analysis, and verification of interactive computing systems, particularly in safety-critical domains. His work combines formal methods, model-based development, and empirical evaluation to support the design of dependable interactive systems, with applications including medical devices and other high-assurance systems. He has an extensive publication record in leading venues in Software Engineering and HCI and has contributed to the development of tools and methods for the analysis of user interfaces. He has been principal investigator on several competitively funded research projects. He has played a leading role in the international research community, having chaired the steering committee of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems and IFIP WG 2.7/13.4 on User Interface Engineering. He is also a member of IFIP WG 13.11/12.14 on Human-Centred Intelligent Interactive Systems. He currently serves as the Portuguese representative to IFIP TC13 on Human-Computer Interaction and is a member of the editorial board of the ACM Proceedings on Human-Computer Interaction (EICS track). He has (co-)supervised 6 doctoral dissertations and over 50 master's dissertations.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
José Francisco Creissac Freitas de Campos

Nomes de citação

  • José Creissac Campos
  • José C. Campos

Identificadores de autor

Ciência ID
3F14-8E2B-22A5
ORCID iD
0000-0001-9163-580X
Google Scholar ID
PsEx0zkAAAAJ
Researcher Id
B-2506-2008
Scopus Author Id
7201617369

Endereços de correio eletrónico

  • jose.campos@di.uminho.pt (Profissional)
  • jose.campos@acm.org (Profissional)

Moradas

  • Universidade do Minho, Escola de Engenharia, Departamento de Informática. Campus de Gualtar, 4710-057, Gualtar, Braga, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Francês Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador elementar (A1)
Formação
Grau Classificação
2020/06/04
Concluído
 Provas de Agregação (Título de Agregado)
Especialização em Informática
Universidade do Minho, Portugal
 Aprovado por unanimidade
2001
Concluído
 D.Phil. in Computer Science (Doutoramento)
University of York, Reino Unido
"Automated Deduction and Usability Reasoning" (TESE/DISSERTAÇÃO)
1993
Concluído
 Mestrado em Informática (Mestrado)
Universidade do Minho, Portugal
"GAMA-X: Geração Semi-Automática de Interfaces Sensíveis ao Contexto" (TESE/DISSERTAÇÃO)
 Muito Bom
1985 - 1991
Concluído
 Engenharia de Sistemas e Informática (Licenciatura)
Universidade do Minho, Portugal
"Desenvolvimento de Interfaces Assistidas para Protótipos Funcionais" (TESE/DISSERTAÇÃO)
 16
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento		 Empregador
2023/10/01 - Atual Investigador Coordenador (carreira) (Investigação) INESC Porto, Portugal
2011/11/01 - 2023/09/30 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Universidade do Minho Escola de Engenharia, Portugal
2007/04 - 2007/12 Investigador visitante (Investigação) Newcastle University, Reino Unido

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento		 Empregador
2025/10/01 - Atual Professor Catedrático Convidado (Docente Universitário) Université de Toulouse, França
Université Toulouse III Paul Sabatier - IRIT (Institut de Recherche en Informatique de Toulouse), França
2020/12/14 - Atual Professor Associado (Docente Universitário) Universidade do Minho, Portugal
Universidade do Minho, Portugal
2000/08/01 - 2020/12/14 Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
2015/04/06 - 2015/04/17 Professor Visitante (Docente Universitário) Universidade Pedagogica, Moçambique
1993/12 - 2000/07 Assistente (Docente Universitário) Universidade do Minho, Portugal
1991/10 - 1993/11 Assistente Estagiário (Docente Universitário) Universidade do Minho, Portugal
1988/10 - 1990/07 Monitor (Docente Universitário) Universidade do Minho, Portugal

Outros

Categoria Profissional
Instituição de acolhimento		 Empregador
1991/06 - 1991/08 Programador F3M - Engenharia de Sistemas e Informática Lda., Portugal
1990/10 - 1991/05 Programador freelance CIAD - Centro de Informação e Análise de Dados Lda., Portugal
Projetos

Projeto

Designação Financiadores
2021/01/01 - 2025/12/31 INESC TEC - Strategic Project (FCT funding)
LA/P/0063/2020
10.54499/LA/P/0063/2020
168195UID
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2022/01/01 - 2023/06 SpecRep - Constraint-based Specification Repair
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2019/01 - 2019/12 INESC TEC - Strategic Project (FCT funding)
154759UID
UID/EEA/50014/2019
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2016 - 2019 Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2015/07 - 2018/06 High-Assurance Medical Cyber-physical Systems
NORTE-01-0145-FEDER-000016
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012/04 - 2015/09 Pattern-Based GUI Testing
119479
Provided by PTCRIS: 119479
PTDC/EIA-EIA/119479/2010
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia, I.P.

Fundação para a Ciência e a Tecnologia
Concluído
2013/01 - 2015/06 Languages and Tools for Critical Real Time Systems
NORTE-07-0124-FEDER-000062
Investigador responsável
Ministério da Ciência Tecnologia e Ensino Superior
Concluído
2011/02 - 2014/07 APEX - Agile Prototyping for user EXperience
PTDC/EIA-EIA/116069/2009
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2012/06 - 2014/05 PROVA - Platform for Software Verification and Validation
FCOMP-01-0202-FEDER- 023137
Investigador
Agência Nacional de Inovação SA
Concluído
2011/01/01 - 2013/12/31 Projecto Estratégico - UI 752 - 2011-2012
PEst-OE/EEI/UI0752/2011
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/05 - 2013/07 SSaaPP: SpreadSheets as a Programming Paradigm
108613
Provided by PTCRIS: 108613
PTDC/EIA-CCO/108613/2008
Investigador
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal
 Fundação para a Ciência e a Tecnologia, I.P.

Fundação para a Ciência e a Tecnologia
Concluído
2010/03 - 2013/06 CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software
108995
Provided by PTCRIS: 108995
PTDC/EIA-CCO/108995/2008
Investigador
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal
 Fundação para a Ciência e a Tecnologia, I.P.

Fundação para a Ciência e a Tecnologia
Concluído
2005/08/25 - 2008/06/30 Safety Control of Automated Production Systems (SCAPS)
POCI/EME/61425/2004
Provided by PTCRIS: 61425
61425
Investigador
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/07/01 - 2008/06/30 IVY - A model-based usability analysis environment
POSC/EIA/56646/2004
Investigador responsável
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Outro

Designação Financiadores
2020/10/26 - 2022/03/25 DigiLightRail
DLR
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Efacec Power Solutions
Concluído
2020/05 - 2020/11 Collaborative Visual Development
CVD
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 OutSystems
Concluído
2019/05/01 - 2020/03/31 OutSystems Learnability Model II
OLM II
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Centro de Computação Gráfica, Portugal

OutSystems, Portugal
 OutSystems
Concluído
2018/05/01 - 2019/01/31 OutSystems Learnability Model
OLM
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Centro de Computação Gráfica, Portugal

OutSystems, Portugal
 OutSystems
Concluído
2010/01 - 2011/08 GWS - Global Weighing Solutions
GWS
Investigador responsável
Universidade do Minho, Portugal
 Cachapuz
Concluído
2010/01 - 2010/10 DataPeers Test Data Generator
TDG
Investigador
Universidade do Minho, Portugal
 IT Peers – Serviços em Tecnologia de Informação, S.A.
Concluído
2008/07 - 2010/06 InPACT - Integrated Engineering Tools for Protection, Automation and Control Systems
InPACT
Investigador responsável
Centro de Computação Gráfica, Portugal
 Efacec Power Solutions
Concluído
Produções

Publicações

Artigo em conferência
  1. Castro, João Peixoto; Campos, José Creissac. "Automating Code Generation from User Interface Prototypes". Trabalho apresentado em 2025 International Conference on Graphics and Interaction (ICGI), 2025.
    Publicado • 10.1109/icgi68463.2025.11302722
  2. Ezequiel José Veloso Ferreira Moreira; José Creissac Campos. "A Language for Explaining Counterexamples". Trabalho apresentado em 13th Symposium on Languages, Applications and Technologies (SLATE 2024), 2024.
    Publicado
  3. José C. Campos; Cunha, Alcino; Nuno Macedo; Iara Margolis Ribeiro; Sousa, Emanuel; Alcino Cunha; Nuno Macedo; et al. "Assessing the impact of hints in learning formal specification". Trabalho apresentado em IEEE/ACM International Conference on Software Engineering (SEET track), 2024.
    Aceite para publicação • 10.1145/3639474.3640050
  4. Martins, João; Fonseca, José M.; Costa, Rafael; Campos, José C.; Cunha, Alcino; Macedo, Nuno; Oliveira, José N.. "Verification of railway network models with EVEREST". Trabalho apresentado em 25th International Conference on Model Driven Engineering Languages and Systems (MODELS'22), 2022.
    10.1145/3550355.3552439
  5. Machado, C; Campos, JC. "Towards the integration of user interface prototyping and model-based development". Trabalho apresentado em 2021 International Conference on Graphics and Interaction (ICGI), 2021.
  6. Campos, JC; Nicholas Graham, TC; Spano, LD; den Bergh, JV. "Workshop proposal: The Management of Risks and Benefits when Engineering Interactive Digital Systems". Trabalho apresentado em EICS '21: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2021.
  7. Couto, R; Campos, JC. "Improving Traces Visualisation through Layout Managers". Trabalho apresentado em 2018 International Conference on Graphics and Interaction (ICGI), 2019.
    10.1109/itcgi.2018.8602936
  8. Couto, R; Campos, JC. "IVY 2: A model-based analysis tool". Trabalho apresentado em EICS '19: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019.
    10.1145/3319499.3328228
  9. Campos, JC; Harrison, MD. "Formal verification of interactive computing systems: Opportunities and challenges". 2019.
  10. Couto, R; Campos, JC. "High assurance on cyber-physical interactive systems". 2019.
  11. Distante, D.; Winckler, M.; Bernhaupt, R.; Bowen, J.; Campos, J.C.; Müller, F.; Palanque, P.; et al. "Trends on engineering interactive systems: An overview of works presented in workshops at EICS 2019". 2019.
    10.1145/3319499.3335655
  12. Araujo, JM; Couto, R; Campos, JC. "A generator of user interface prototypes for the IVY workbench". 2019.
    10.1109/icgi47575.2019.8955088
  13. Canny, A; Navarre, D; Campos, JC; Palanque, PA; Alexandre Canny; David Navarre; José Creissac Campos; Philippe Palanque. "Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets". Trabalho apresentado em FMIS 2010 -- 8th Formal Methods for Interactive Systems workshop, 2019.
    No prelo • 10.1007/978-3-030-54994-7_35
  14. Couto, R; Campos, JC; Macedo, N; Cunha, A. "Improving the Visualization of Alloy Instances". 2018.
    10.4204/eptcs.284.4
  15. Silva, C; Campos, JC; Silva, C.; Campos, J.C.. "Towards a Simulation-Based Medical Education Platform for PVSio-Web". 2018.
    10.1109/itcgi.2018.8602845
  16. Campos, JC; Sousa, N. "The MAL Interactors Animator: Supporting model validation through animation". 2018.
    10.1145/3220134.3220142
  17. Harrison, MD; Drinnan, M; Campos, JC; Masci, P; Freitas, L; di Maria, C; Whitaker, M. "Safety Analysis of Software Components of a Dialysis Machine Using Model Checking". 2017.
    10.1007/978-3-319-68034-7_8
  18. Masci, P; Zhang, Y; Jones, PL; Campos, JC; Paolo Masci; Zhang,Y; Jones,PL; José Creissac Campos. "A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices". 2017.
    10.1007/978-3-319-66197-1_18
  19. Harrison, MD; Masci, P; Campos, JC; Curzon, P; Harrison, Michael douglas; Masci, Paolo; Campos, José C.; et al. "Demonstrating that Medical Devices Satisfy User Related Safety Requirements". 2017.
    10.1007/978-3-319-63194-3_8
  20. Fayollas, C.; Martinie, C.; Palanque, P.; Masci, P.; Harrison, M.D.; Campos, J.C.; E Silva, S.R.. "Evaluation of formal IDEs for human-machine interface design and analysis: The case of CIRCUS and PVSio-web". 2017.
    10.4204/EPTCS.240.1
  21. Machado, Marina; Couto, Rui; Campos, José C.; Campos, José; Machado,M; Rui Miguel Couto; José Creissac Campos. "MODUS: model-based user interfaces prototyping". 2017.
    10.1145/3102113.3102146
  22. Couto, Rui; Ribeiro, António Nestor; Campos, José C.. "Avaliação de usabilidade da ferramenta uCat". 2017.
  23. Machado, Pedro; Couto, Rui; Campos, José C.. "Um editor tabular para modelação de interfaces". 2017.
  24. Couto, Rui; Ribeiro, António Nestor; Campos, José C.. "De requisitos a protótipos de UI: uma abordagem semi automatizada". 2017.
  25. Pinto, M; Goncalves, M; Masci, P; Campos, JC. "TOM: A Model-Based GUI Testing Framework". 2017.
    10.1007/978-3-319-68034-7_9
  26. Campos, JC; Fayollas, C; Martinie, C; Navarre, D; Palanque, PA; Pinto, M. "Systematic automation of scenario-based testing of user interfaces". 2016.
    10.1145/2933242.2948735
  27. Harrison, M.D.; Campos, J.C.; Rukšenas, R.; Curzon, P.; Harrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas; et al. "Modelling information resources and their salience in medical device design". 2016.
    10.1145/2933242.2933250
  28. Luyten, K.; Palanque, P.; Campos, J.C.; Schmidt, A.; Signer, B.; Roussel, N.. "Welcome to EICS 2016". 2016.
  29. T. Abade; J.C. Campos; R. Moreira; C.C.L. Silva; J.L. Silva; Abade,T; José Creissac Campos; et al. "Immersiveness of Ubiquitous Computing Environments Prototypes: A case study". 2015.
    10.1007/978-3-319-20804-6_22
  30. Ziegler, J.; Nebeling, M.; Nigay, L.; Campos, J.; Winckler, M.. "Welcome to EICS 2015". 2015.
  31. D. Almeida; J.C. Campos; J. Saraiva; J.C. Silva; Almeida,D; José Creissac Campos; João Alexandre Saraiva; Silva,JC. "Towards a Catalog of Usability Smells". 2015.
    10.1145/2695664.2695670
  32. Harrison, Michael; Campos, Jose; Masci, Paolo; Curzon, Paul. "Templates as heuristics for proving properties of medical devices". 2015.
    10.4108/eai.14-10-2015.2261743
  33. Campos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglas. "Layers, resources and property templates in the specification and analysis of two interactive systems". 2015.
  34. Machado, Marina; Campos, José C.; Couto, Rui. "MODUS: uma metodologia de prototipagem de interfaces baseada em modelos". 2015.
  35. J.C. Campos; J.L. Silva; M. Harrison. "Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes". 2015.
    10.1007/978-3-319-26410-3_6
  36. Sousa, M.; Campos, J.C.; Alves, M.; Harrison, M.D.; Manuel Sousa; Campos, J. Creissac; Miriam Alves; et al. "Formal verification of safety-critical user interfaces: A space system case study". 2014.
    Publicado
  37. Ziegler, J.; Campos, J.C.; Nigay, L.; Ziegler,J; José Creissac Campos; Nigay,L; Ziegler, Jürgen; Campos, José C.; Nigay, Laurence. "HCI engineering: Charting the way towards methods and tools for advanced interactive systems". 2014.
    10.1145/2607023.2610289
  38. Gomes, T.; Abade, T.; Campos, J.C.; Harrison, M.; Silva, J.L.; Tiago Gomes; Tiago Abade; et al. "Rapid development of first person serious games using the APEX platform: The Asthma Game". 2014.
    Publicado • 10.1145/2554850.2554969
  39. Rui Couto; Antonio Nestor Ribeiro; José Creissac Campos; Rui Miguel Couto; António Nestor Ribeiro. "A Study on the Viability of Formalizing Use Cases". 2014.
    10.1109/quatic.2014.23
  40. Silva, CE; Campos, JC; Silva, Carlos Eduardo; Campos, J. Creissac; Silva,CE; José Creissac Campos. "Characterizing the Control Logic of Web Applications' User Interfaces". 2014.
    Publicado • 10.1007/978-3-319-09153-2_20
  41. Silva, JC; Campos, JC; Saraiva, J; Silva, JL; Silva,JC; José Creissac Campos; João Alexandre Saraiva; et al. "An Approach for Graphical User Interface External Bad Smells Detection". 2014.
    10.1007/978-3-319-05948-8_19
  42. J.M. Machado; J.C. Campos; Machado,J; José Creissac Campos; José Mendes Machado; Campos, J. Creissac; Machado, José Mendes. "Development of Dependable Controllers in the Context of Machines Design". 2014.
    Publicado • 10.1007/978-3-319-05203-8_18
  43. Sampaio,AI; José Creissac Campos; Ana I. Sampaio; Campos, J. Creissac; Sampaio, A.I.; Campos, J.C.. "Towards a Framework for Adaptive Web Applications". 2014.
    Publicado • http://dx.doi.org/10.1007/978-3-319-07857-1_43
  44. Abade,T; Gomes,T; José Luís Silva; José Creissac Campos; Abade, Tiago; Gomes, Tiago; Silva, José Luís; et al. "Design and evaluation of a smart library using the APEX framework". 2014.
    Publicado • http://dx.doi.org/10.1007/978-3-319-07788-8_29
  45. Rui Miguel Couto; António Nestor Ribeiro; José Creissac Campos; Couto, R; Ribeiro, AN; Campos, JC. "The Modelery: A Collaborative Web Based Repository". 2014.
    http://dx.doi.org/10.1007/978-3-319-09153-2_1
  46. Rui Miguel Couto; António Nestor Ribeiro; José Creissac Campos; R. Couto; A.N. Ribeiro; J.C. Campos. "Application of ontologies in identifying requirements patterns in use cases". 2014.
    http://dx.doi.org/10.4204/eptcs.147.5
  47. Cruz, Paulo J.; Campos, José Creissac. "Ambiente de geração, mutação e execução de casos de teste para aplicações Web". Trabalho apresentado em Conferência Interação 2013, 2013.
    Publicado
  48. Gomes, Tiago; Abade, Tiago; Silva, José L.; Campos, José Creissac. "Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma". Trabalho apresentado em Conferência Interação 2013, 2013.
    Publicado
  49. Silva, CE; Campos, JC; Silva,CE; José Creissac Campos; Silva, Carlos E.; Campos, José Creissac. "Combining static and dynamic analysis for the reverse engineering of Web applications". 2013.
    10.1145/2480296.2480324
  50. Silva, JC; Silva, JL; Campos, JC; Saraiva, JA; Silva,JC; José Luís Silva; José Creissac Campos; João Alexandre Saraiva. "A Model-based Approach for Test Cases Generation". 2013.
  51. Rui Miguel Couto; António Nestor Ribeiro; José Creissac Campos; Couto, R.; Nestor Ribeiro, A.; Creissac Campos, J.; Couto, Rui; Ribeiro, António; Campos, José Creissac. "MapIt: A model based pattern recovery tool". 2013.
    Publicado • http://dx.doi.org/10.1007/978-3-642-38209-3_2
  52. Oliveira,L; António Nestor Ribeiro; José Creissac Campos; Oliveira, L.; Ribeiro, A.N.; Campos, J.C.; Oliveira, Luís; Ribeiro, António; Campos, José Creissac. "The mobile context framework: Providing context to mobile applications". 2013.
    Publicado • http://dx.doi.org/10.1007/978-3-642-39351-8_17
  53. Campos, J.C.; Barbosa, S.D.J.; Palanque, P.; Kazman, R.; Harrison, M.; Reeves, S.. "Foreword". 2012.
  54. Silva, JL; Campos, JC; Harrison, MD; Silva, José Luís Cardoso; Campos, J. Creissac; Harrison, M. D.; Silva, José Luís; Harrison, Michael. "Formal analysis of ubiquitous computing environments through the APEX framework". 2012.
    Publicado • 10.1145/2305484.2305506
  55. Rui Miguel Couto; António Nestor Ribeiro; José Creissac Campos; Couto, R.; Ribeiro, A.N.; Campos, J.C.. "A Patterns Based Reverse Engineering Approach for Java Source Code". 2012.
    http://dx.doi.org/10.1109/SEW.2012.21
  56. Barbosa, A.; Paiva, A.C.R.; Campos, J.C.. "Test case generation from mutated task models". 2011.
    10.1145/1996461.1996516
  57. Freire, L; Arezes, PM; Campos, JC. "The importance of qualitative evaluation on E-learning systems". 2011.
  58. Machado, José Mendes; Campos, J. Creissac. "Partial plant models in formal verification of industrial automation discrete systems". 2011.
  59. Campos, J. Creissac; Machado, José Mendes. "Supporting requirements formulation in software formal verification". 2011.
  60. J. L. Silva; O. R. Ribeiro; J. M. Fernandes; José Creissac Campos; M.D. Harrison. "Prototipagem rápida de ambientes ubíquos". Trabalho apresentado em Interacção 2010, Aveiro, 2010.
    Publicado
  61. J. C. Silva; C. E. Silva; José Creissac Campos; J. Saraiva. "GUI Behavior from Source Code Analysis". Trabalho apresentado em Interacção 2010, Aveiro, 2010.
    Publicado
  62. P. Borges; E. Villani; J. Machado; J. Ferreira; José Creissac Campos. "Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais". Trabalho apresentado em XIV International Congress on Project Engineering, Madrid, 2010.
    Publicado
  63. Silva, João C.; Silva, José L.; Campos, José Creissac; Saraiva, João. "Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos". Trabalho apresentado em Sistemas e Tecnologias de Informação (CISTI 2013), 2010.
    Publicado
  64. Silva, JL; Ribeiro, OR; Fernandes, JM; Campos, JC; Harrison, MD. "The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets". 2010.
    10.1007/978-3-642-16488-0_2
  65. Freire, LL; Arezes, PM; Campos, JC. "Principles of Ergonomics and Design discussed through systems utilized for e-learning". 2010.
  66. Silva, JC; Silva, C; Goncalo, R; Saraiva, J; Campos, JC. "The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code". 2010.
    10.1145/1822018.1822045
  67. Borges, P; MacHado, J; Villani, E; Campos, JC; P. Borges; E. Villani; J. Machado; José Creissac Campos. "From SFC specification to C programming language on the context of aerospace systems control". Trabalho apresentado em IFAC Workshop on Intelligent Control Systems 2010, Sinaia, 2010.
    Publicado
  68. José Luís Silva; José Creissac Campos; Michael D. Harrison. "An infrastructure for experience centered agile prototyping of ambient intelligence". Trabalho apresentado em ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), Pittsburgh, 2009.
    Publicado • 10.1145/1570433.1570450
  69. José Creissac Campos; Sandrine Mendes. "FlexiXML: Um animador de modelos UsiXML". Trabalho apresentado em 17o. Encontro Português de Computação Gráfica, Viseu, 2009.
    Publicado
  70. Marco Antonio Barbosa; Luís Soares Barbosa; José Creissac Campos. "A coordination model for interactive components". Trabalho apresentado em 3rd International Conference on Fundamentals of Software Engineering (FSEN 2009), Kish Island, 2009.
    Publicado • 10.1007/978-3-642-11623-0_25
  71. Campos, JC; Machado, J; José Creissac Campos; José Machado; Campos, J. Creissac; Machado, José. "Pattern-based analysis of automated production systems". Trabalho apresentado em 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Moscovo, 2009.
    Publicado • 10.3182/20090603-3-ru-2001.0425
  72. Campos, JC; Harrison, MD; José Creissac Campos; Michael D. Harrison. "Interaction Engineering Using the IVY Tool". Trabalho apresentado em ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), Pittsburgh, 2009.
    Publicado • 10.1145/1570433.1570442
  73. Silva, J.C.; Saraiva, J.; Campos, J.C.. "A generic library for GUI reasoning and testing". 2009.
    10.1145/1529282.1529307
  74. Paulo, R.; Carrapatoso, A.; Lemos, M.; Bernardo, R.; Campos, J.C.. "Advanced engineering tools for next generation substation automation systems: The added value of IEC 61850 and the InPACT project". 2009.
    10.1049/cp.2009.0680
  75. M. Borges; J. C. Campos; A. N. Ribeiro. "Framework de distribuição assíncrona de aplicações móveis situadas". Trabalho apresentado em 3a. Conferência Nacional em Interacção Pessoa-Máquina, Évora, 2008.
    Publicado
  76. N. Guerreiro; S. Mendes; V. Pinheiro; J. C. Campos. "AniMAL - a user interface prototyper and animator for MAL interactor models". Trabalho apresentado em 3a. Conferência Nacional em Interacção Pessoa-Máquina, Évora, 2008.
    Publicado
  77. J. C. Campos; M. D. Harrison; Campos, J.C.; Harrison, M.D.. "Systematic analysis of control panel interfaces using formal tools". Trabalho apresentado em XVth International Workshop on the Design, Verification and Specification of Interactive Systems, Kingston, 2008.
    Publicado • 10.1007/978-3-540-70569-7_6
  78. G. J. Doherty; J. C. Campos; M. D. Harrison; Doherty, G.; Campos, J.; Harrison, M.. "Resources for Situated Actions". Trabalho apresentado em XVth International Workshop on the Design, Verification and Specification of Interactive Systems, Kingston, 2008.
    Publicado • 10.1007/978-3-540-70569-7_19
  79. Campos, JC; Harrison, MD; J.C. Campos; M.D. Harrison. "Considering Context and Users in Interactive Systems Analysis". Trabalho apresentado em Engineering Interactive Systems 2008, Salamanca, 2008.
    Publicado • 10.1007/978-3-540-92698-6_12
  80. Campos, JC; Machado, J; Seabra, E; Campos, J. Creissac; Machado, José; Seabra, Eurico; J. C. Campos; J. Machado; E. Seabra. "Property patterns for the formal verification of automated production systems". Trabalho apresentado em 17th IFAC World Congress 2008, Seoul, 2008.
    Publicado • 10.3182/20080706-5-KR-1001.4192
  81. J. Machado; E. Seabra; J.C. Campos; F. Soares; C.P. Leao; J.F. Silva. "Simulation and Formal Verification of Industrial Systems Controllers". Trabalho apresentado em 19th International Congress of Mechanical Engineering (COBEM 2007), Brasília, 2007.
    Publicado
  82. A. N. Ribeiro; J. C. Campos; F. Martins. "Integrating HCI concerns into a UML based Software Engineering course". Trabalho apresentado em HCI Educators 2007, Aveiro, 2007.
    Publicado
  83. Silva, JC; Campos, JC; Saraiva, J; J. C. Silva; J. C. Campos; J. Saraiva. "Combining formal methods and functional strategies regarding the reverse engineering of interactive applications". Trabalho apresentado em The XIII International Workshop on Design, Specification and Verification of Interactive Systems, Dublin, 2007.
    Publicado • 10.1007/978-3-540-69554-7_11
  84. Pinto, H; Jose, R; Campos, JC. "An interaction model and infrastructure for localized activities in pervasive computing environments". 2007.
    10.1109/perser.2007.4283921
  85. Machado, José; Seabra, Eurico; Soares, Filomena; Campos, J. Creissac. "A new plant modelling approach for formal verification purposes". 2007.
    10.3182/20070723-3-PL-2917.00027
  86. J. C. Campos; A. N. Ribeiro. "UML no Desenvolvimento de Sistemas Interactivos". Trabalho apresentado em 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga, 2006.
    Publicado
  87. A. Mano; J. C. Campos. "Cognitive walkthroughs in the evaluation of user interfaces for children". Trabalho apresentado em Interacção 2006 -- Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, Porto, 2006.
    Publicado
  88. J. C. Silva; J. C. Campos; J. Saraiva. "Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing". Trabalho apresentado em 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga, 2006.
    Publicado
  89. J. C. Silva; J. C. Campos; J. Saraiva. "Models for the Reverse Engineering of Java/Swing Applications". Trabalho apresentado em 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering, Génova, 2006.
    Publicado
  90. N. M. E. Sousa; J. C. Campos. "IVY Trace Visualiser". Trabalho apresentado em 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga, 2006.
    Publicado
  91. Fernandes, AR; Pereira, JR; Campos, JC. "Accessibility and visually impaired users". 2006.
    10.1007/1-4020-3675-2_37
  92. J. C. Campos; G. J. Doherty; Campos, J.C.; Doherty, G.J.. "Supporting resource-based analysis of task information needs". Trabalho apresentado em 12th International Workshop on Design, Specification and Verification of Interactive Systems, Newcastle upon Tyne, 2005.
    Publicado • 10.1007/11752707_16
  93. A. Mano; J. C. Campos. "A study on usability criteria regarding interfaces for children". Trabalho apresentado em Workshop on Child Computer Intercation: Methodological Reasearch, 10th IFIP International Conference on Human Computer Interaction -- Interact 2005, Roma, 2005.
    Publicado
  94. J. C. Campos. "The modelling gap between software engineering and human-computer interaction". Trabalho apresentado em ICSE 2004 Workshop: Bridging the Gaps II, Edinburgo, 2004.
    Publicado
  95. J. C. Campos. "Análise de usabilidade baseada em modelos". Trabalho apresentado em Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, Lisboa, 2004.
    Publicado
  96. J. C. Campos; M. D. Harrison; Karsten Loer; Campos, JC; Harrison, MD; Loer, K. "Verifying user interface behaviour with model checking". Trabalho apresentado em Verification and Validation of Enterprise Information Systems -- VVEIS 2004, Porto, 2004.
    Publicado
  97. A. R. Fernandes; J. R. Pereira; J. C. Campos. "Accessibility and Visually Impaired Users". Trabalho apresentado em 6th International Conference on Enterprise Information Systems, Porto, 2004.
    Publicado
  98. Fernandes, A; Pereira, J; Campos, JC. "Accessibility and Visually Impaired Users". 2004.
  99. J. C. Campos. "Uma abordagem formal à Engenharia da Usabilidade". Trabalho apresentado em Congresso Latino-Americano de Interacção Humano-Computador, Rio de Janeiro, 2003.
    Publicado
  100. J. C. Campos; Campos, J.C.. "Using task knowledge to guide interactor specifications analysis". Trabalho apresentado em 10th International Workshop on Design, Specification and Verification of Interactive Systems, Funchal, 2003.
    Publicado • 10.1007/978-3-540-39929-2_12
  101. J. C. Campos; G. J. Doherty; Campos, J.C.; Doherty, G.J.. "Reasoning about Dynamic Information Displays". Trabalho apresentado em 10th International Workshop on Design, Specification and Verification of Interactive Systems - DSV-IS 2003, Funchal, 2003.
    Publicado • 10.1007/978-3-540-39929-2_20
  102. Campos, JC; Harrison, MD; J. C. Campos; M. D. Harrison. "From HCI to Software Engineering and Back". Trabalho apresentado em Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE '2003 workshop, Portland, 2003.
    Publicado
  103. Campos, JC. "A formal approach to the usability engineering". 2003.
  104. Campos, JC; Harrison, MD; J. C. Campos; M. D. Harrison. "Using automated reasoning in the design of an audio-visual communication system". Trabalho apresentado em Design, Specification and Verification of Interactive Systems '99, Braga, 1999.
    Publicado
  105. G. Doherty; J. C. Campos; M. D. Harrison. "Representational Reasoning and Verification". Trabalho apresentado em BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, Sheffield, 1998.
    Publicado
  106. Campos, JC; Harrison, MD; J. C. Campos; M. D. Harrison. "The role of verification in interactive systems design". Trabalho apresentado em Design, Specification and Verification of Interactive Systems '98, Abingdon, 1998.
    Publicado
  107. Campos, JC; Harrison, MD. "Formally verifying interactive systems: A review". 1997.
  108. J. C. Campos; F. M. Martins. "Context Sensitive User Interfaces". Trabalho apresentado em Formal Aspects of the Human Computer Interface, Sheffield, 1996.
    Publicado
  109. J. C. Campos; F. M. Martins. "O Sistema GAMA - Arquitectura e Implementação". Trabalho apresentado em 6o. Encontro Português de Computação Gráfica, Aveiro, 1994.
    Publicado
  110. J. C. Campos; F. M. Martins. "GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema". Trabalho apresentado em 5o. Encontro Português de Computação Gráfica, Braga, 1993.
    Publicado
Artigo em revista
  1. Harrison, MD; Masci, P; Campos, JC. "Balancing the Formal and the Informal in User-centred Design". INTERACTING WITH COMPUTERS (2021):
    10.1093/iwcomp/iwab012
  2. Campos, JC; Fayollas, C; Harrison, MD; Martinie, C; Masci, P; Palanque, P. "Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools". ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION (2020):
    10.1145/3404199
  3. Silva, C; Vieira, J; Campos, JC; Couto, R; Ribeiro, AN. "Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform". HUMAN FACTORS (2020):
    10.1177/0018720820920429
  4. Harrison, MD; Freitas, L; Drinnan, M; Campos, JC; Masci, P; di Maria, C; Whitaker, M. "Formal techniques in the safety analysis of software components of a new dialysis machine". SCIENCE OF COMPUTER PROGRAMMING (2019):
    10.1016/j.scico.2019.02.003
  5. Harrison, MD; Masci, P; Campos, JC. "Verification Templates for the Analysis of User Interface Software Design". IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2019):
    10.1109/tse.2018.2804939
  6. Silva, C.; Masci, P.; Zhang, Y.; Jones, P.; Campos, J.C.. "A use error taxonomy for improving human-machine interface design in medical devices". ACM SIGBED Review 16 2 (2019): 24-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-85071228932&partnerID=MN8TOARS.
    10.1145/3357495.3357498
  7. Campos, JC; Fayollas, C; Gonçalves, M; Martinie, C; Navarre, D; Palanque, PA; Pinto, M. "A More Intelligent Test Case Generation Approach through Task Models Manipulation". PACMHCI (2017):
    10.1145/3095811
  8. Campos, JC; Abade, T; Silva, JL; Harrison, MD; José Creissac Campos; Abade,Tiago; Silva,JoseLuis; et al. "Don't go in there! using the APEX framework in the design of ambient assisted living systems". J. Ambient Intelligence and Humanized Computing (2017): http://repositorio.inesctec.pt/handle/123456789/6717.
    10.1007/s12652-016-0444-6
  9. Harrison, M.D.; Masci, P.; Campos, J.C.; Curzon, P.. "Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices". IEEE Transactions on Human-Machine Systems (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85029008070&partnerID=MN8TOARS.
    10.1109/THMS.2017.2717910
  10. Jose Creissac Campos; Manuel Sousa; Miriam C. Bergue Alves; Michael D. Harrison. "Formal Verification of a Space System's User Interface With the IVY Workbench". IEEE Transactions on Human-Machine Systems 46 2 (2016): 303-316. http://dx.doi.org/10.1109/THMS.2015.2421511.
    10.1109/thms.2015.2421511
  11. Couto, R; Ribeiro, AN; Campos, JC. "Validating an Approach to Formalize Use Cases with Ontologies". ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2016):
    10.4204/EPTCS.205.1
  12. R. Couto; A.N. Ribeiro; J.C. Campos. "The Modelery: A Model-Based Software Development Repository". International Journal of Web Information Systems 11 2 (2015): 205-225. http://hdl.handle.net/1822/36444.
    10.1108/ijwis-12-2014-0045
  13. M.D. Harrison; J.C. Campos; P. Masci. "Reusing models and properties in the analysis of similar interactive devices". Innovations in Systems and Software Engineering 11 2 (2015): 95-111. http://hdl.handle.net/1822/34018.
    10.1007/s11334-013-0201-3
  14. Silva, C.C.; Mendonca¸, C.; Mouta, S.; Silva, R.; Campos, J.C.; Santos, J.. "Correction: Depth cues and perceived audiovisual synchrony of biological motion (PLoS ONE)". PLoS ONE 9 1 (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84896460593&partnerID=MN8TOARS.
    10.1371/annotation/d0e27a68-ad6d-452f-bfca-337487fc933c
  15. T. Gomes; T. Abade; J.C. Campos; M.D. Harrison; J.L. Silva. "A Virtual Environment based Serious Game to Support Health Education". EAI Endorsed Transactions on Ambient Systems 14 3 (2014): e5-e5. http://hdl.handle.net/1822/34737.
    10.4108/amsys.1.3.e5
  16. José Luís Silva; José Creissac Campos; Michael Douglas Harrison. "Prototyping and analysing ubiquitous computing environments using multiple layers". International Journal of Human Computer Studies 72 5 (2014): 488-506. http://www.scopus.com/inward/record.url?eid=2-s2.0-84896998013&partnerID=MN8TOARS.
    10.1016/j.ijhcs.2014.02.001
  17. Campos, José Creissac; Doherty, Gavin; Harrison, Michael D.. "Analysing interactive devices based on information resource constraints". INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES 71 3 (2014): 284-297. http://hdl.handle.net/1822/26596.
    Publicado • 10.1016/j.ijhcs.2013.10.005
  18. M.D. Harrison; P. Masci; J.C. Campos; P. Curzon; Campos, José; Michael Douglas Harrison; Paolo Masci; José Creissac Campos; Paul Curzon. "Automated theorem proving for the systematic analysis of interactive systems". Electronic Communications of the EASST 69 1 (2013): 1-10. http://hdl.handle.net/1822/36507.
    Publicado • 10.14279/tuj.eceasst.69.962.943
  19. Silva, CC; Mendonca, C; Mouta, S; Silva, R; Campos, JC; Santos, J; Silva, Carlos C.; et al. "Depth Cues and Perceived Audiovisual Synchrony of Biological Motion". PLOS ONE 8 11 (2013): 1-10.
    Publicado • 10.1371/journal.pone.0080096
  20. Campos, JC; Machado, J; Campos, José Creissac; Machado, José; José Creissac Campos; Machado,J; Campos, J. Creissac; Machado, José Mendes. "A Specification Patterns System for Discrete Event Systems Analysis". INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS 10 1 (2013): 1-10. http://repositorio.inesctec.pt/handle/123456789/4132.
    Publicado • 10.5772/56412
  21. Freire, L.L.; Arezes, P.M.; Campos, J.C.. "A literature review about usability evaluation methods for e-learning platforms". Work: A Journal of Prevention, Assessment and Rehabilitation 41 SUPPL.1 (2012): 1038-1044.
    Publicado • 10.3233/WOR-2012-0281-1038
  22. Machado, José; Seabra, Eurico; Campos, José C.; Soares, Filomena; Leão, Celina P.. "Safe controllers design for industrial automation systems". Computers & Industrial Engineering 60 4 (2011): 635-653.
    Publicado • 10.1016/j.cie.2010.12.020
  23. Campos, José; Harrison, Michael. "Modelling and analysing the interactive behaviour of an infusion pump". Electronic Communications of the EASST (2011):
    10.14279/tuj.eceasst.45.641.657
  24. J.C. Silva; Campos, José; Saraiva, João. "GUI Inspection from Source Code Analysis". Electronic Communications of the EASST (2010):
    10.14279/tuj.eceasst.33.459
  25. J. L. Silva; José Creissac Campos; A. Paiva. "Model-based user interface testing with Spec Explorer and ConcurTaskTrees". Electronic Notes in Theoretical Computer Science 208 (2008): 77-93.
    Publicado • 10.1016/j.entcs.2008.03.108
  26. M. D. Harrison; C. Kray; José Creissac Campos. "Exploring an option space to engineer a ubiquitous computing system". Electronic Notes in Theoretical Computer Science 208 (2008): 41-55.
    Publicado • 10.1016/j.entcs.2008.03.106
  27. Marco Antonio Barbosa; Luís Soares Barbosa; José Creissac Campos. "Towards a coordination model for interactive systems". Electronic Notes in Theorectical Computer Science 183 (2008): 73-88.
    Publicado • 10.1016/j.entcs.2007.01.063
  28. Alexandre Mano; Campos, José Francisco Creissac Freitas de. "Usabilidade em interfaces para crianças". Jornal de Ciências Cognitivas Set.06 (2006): 0-0. http://jcienciascognitivas.home.sapo.pt/06-09_creissac.html.
    Publicado
  29. Campos, José Francisco Creissac Freitas de; Michael D. Harrison. "Model Checking Interactor Specifications". Automated Software Engineering 8 3-4 (2001): 275-310. http://www.springerlink.com/content/m67k51042wk27604/.
    Publicado • 10.1023/A:1011265604021
  30. Gavin J. Doherty; Campos, José Francisco Creissac Freitas de; Michael D. Harrison. "Representational Reasoning and Verification". Formal Aspects of Computing 12 4 (2000): 260-277. http://www.springerlink.com/content/t7300jw01dx06d57/.
    Publicado • 10.1007/PL00003934
Artigo em revista (magazine)
  1. Michael D. Harrison; José Creissac Campos. "Analysing Human Aspects of Safety-Critical Software", ERCIM News, 2008, http://ercim-news.ercim.org/images/stories/EN75/EN75-web.pdf.
Capítulo de livro
  1. João Gomes; Mário Arcipreste; Miguel Gomes; José Creissac Campos. "Towards a More Natural Approach to Property Specification in the IVY Workbench". In Human-Computer Interaction - INTERACT 2025, 509-531. Springer, 2026.
    10.1007/978-3-032-05005-2_26
  2. Spano, Lucio Davide; Palanque, Philippe; Martinie, Célia; Campos, José Creissac; Schmidt, Albrecht; Barricelli, Barbara Rita; ElAgroudy, Passant; Luyten, Kris. "Workshop proposal: Engineering Methods for HCI and UX in AI-Driven Systems". In Human-Computer Interaction – INTERACT 2025, 351-357. Springer Nature Switzerland, 2026.
    Publicado • 10.1007/978-3-032-05008-3_66
  3. José Creissac Campos; Harrison, Michael D.. "Formal Approaches for Interactive Systems". In Handbook of Human Computer Interaction, 1-28. Springer Nature Switzerland, 2025.
    10.1007/978-3-319-27648-9_120-1
  4. Ezequiel José Veloso Ferreira Moreira; José Creissac Campos. "On the Role of Generative AI in Explaining Model Checking Counterexamples". In Engineering Interactive Computer Systems. Springer, 2025.
    Publicado • 10.1007/978-3-031-91760-8_10
  5. Lucio Davide Spano; José Creissac Campos; Anke Dittmar; Peter Forbrig. "An Online Repository for Educational Resources in HCI-Engineering". In Design for Equality and Justice, 183-200. Springer, 2024.
    10.1007/978-3-031-61688-4_19
  6. Lucio Davide Spano; José Creissac Campos; Anke Dittmar. "Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education". In Design for Equality and Justice, 177-182. Springer, 2024.
    Publicado • 10.1007/978-3-031-61688-4_18
  7. Ezequiel José Veloso Ferreira Moreira; José Creissac Campos. "Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language". In Engineering Interactive Computer Systems, 179-197. Springer, 2024.
    10.1007/978-3-031-59235-5_15
  8. José Creissac Campos; Laurence Nigay; Alan Dix; Anke Dittmar; Simone D. J. Barbosa; Lucio Davide Spano. "Workshop proposal: HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education". In Human-Computer Interaction – INTERACT 2023. INTERACT 2023, 632-637. Springer, 2023.
    Publicado • 10.1007/978-3-031-42293-5_85
  9. Bruno Teixeira; José Creissac Campos. "Towards Automated Load Testing Through the User Interface". In Human-Computer Interaction – INTERACT 2023, 514-522. Springer, 2023.
    10.1007/978-3-031-42283-6_28
  10. Rafael Braga da Costa; José Creissac Campos. "Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design". In Human-Computer Interaction – INTERACT 2023, 504-513. Springer, 2023.
    10.1007/978-3-031-42283-6_27
  11. Philippe Palanque; José Creissac Campos. "AMAN Case Study". In Rigorous State-Based Methods - ABZ 2023, 265-283. Springer, 2023.
    Publicado • 10.1007/978-3-031-33163-3_21
  12. José Creissac Campos; António Nestor Ribeiro. "Addressing Interactive Computing Systems’ Concerns in Software Engineering Degrees". In Sense, Feel, Design, 248-256. Springer International Publishing, 2022.
    10.1007/978-3-030-98388-8_22
  13. Sybille Caffiau; José C. Campos; Célia Martinie; Laurence Nigay; Philippe Palanque; Lucio Davide Spano. "Teaching HCI Engineering: Four Case Studies". In Sense, Feel, Design, 195-210. Springer International Publishing, 2022.
    10.1007/978-3-030-98388-8_18
  14. Konrad Baumann; José Creissac Campos; Alan Dix; Laurence Nigay; Philippe Palanque; Jean Vanderdonckt; Gerrit van der Veer; Benjamin Weyers. "Workshop proposal: HCI-E2: HCI Engineering Education: For Developers, Designers and More". In Human-Computer Interaction – INTERACT 2021, 542-547. Springer, 2021.
    10.1007/978-3-030-85607-6_74
  15. Michael D. Harrison; Paolo Masci; José Creissac Campos. "Formal Modelling as a Component of User Centred Design". In Software Technologies: Applications and Foundations, 275-289. Springer, 2018.
    10.1007/978-3-030-04771-9_21
  16. Harrison, MD; Masci, PM; Campos, JC; Curzon, P. "The Specification and Analysis of Use Properties of a Nuclear Control System". In The Handbook of Formal Methods in Human-Computer Interaction, 379-403. Springer, 2017.
    Publicado • 10.1007/978-3-319-51838-1_14
  17. Moreira, Samuel; José, Rui; Campos, José Creissac. "An Empirical Study on Immersive Prototyping Dimensions". In Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 421-430. Springer Berlin Heidelberg, 2013.
    10.1007/978-3-642-39232-0_46
  18. Silva, Carlos Eduardo; Campos, J. Creissac. "Can GUI Implementation Markup Languages Be Used for Modelling?". In Human Centred Software Engineering (HCSE 2012), 112-129. Sem local: Springer, 2012.
    Publicado • 10.1007/978-3-642-34347-6_7
  19. Campos, José Creissac; Saraiva, João; Silva, Carlos; Silva, João Carlos. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". In Reverse Engineering - Recent Advances and Applications. InTech, 2012.
    10.5772/32931
  20. Michael D. Harrison; Campos, José Francisco Creissac Freitas de; Gavin J. Doherty; Karsten Loer. "Connecting rigorous system analysis to experience centred design". In Research Methods in Human Computer Interaction, 56-74. n/a, Reino Unido: Springer, 2008.
    Publicado • 10.1007/978-1-84628-941-5
  21. Michael D. Harrison; Campos, José Francisco Creissac Freitas de; Karsten Loer. "Formal analysis of interactive systems: opportunities and weaknesses". In Research Methods in Human Computer Interaction, 88-111. UK, França: Cambridge University Press, 2008.
    Publicado
  22. Chatty, Stéphane; Campos, José Creissac; González, María Paula; Lepreux, Sophie; Nilsson, Erik G.; Penichet, Victor M. R.; Santos, Mónica; Bergh, Jan. "Processes: Working Group Report". In Interactive Systems. Design, Specification, and Verification, 262-264. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.
    Publicado • 10.1007/978-3-540-69554-7_21
  23. Campos, José Francisco Creissac Freitas de; António R. Fernandes; J. R. Pereira. "Accessibility and Visually Impaired Users". In Enterprise Information Systems VI, 310-315. Holanda, Países Baixos: Springer, 2006.
    Publicado
Edição de livro
  1. Alves, Tomás; José Creissac Campos, ed. 2025 International Conference on Graphics and Interaction (ICGI). IEEE. 2025.
  2. Zaina, Luciana; José Creissac Campos; SPANO, LUCIO DAVIDE; Luyten, Kris; Palanque, Philippe; Gerrit van der Veer; Ebert, Achim; Humayoun, Shah Rukh; Memmesheimer, Vera Marie, ed. Engineering Interactive Computer Systems. Springer. 2025.
  3. Marto, Anabela; José Creissac Campos, ed. 2024 International Conference on Graphics and Interaction (ICGI). IEEE. 2024.
    Publicado
  4. Glässer, U; Campos, JC; Méry, D; Palanque, PA, ed. Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Springer. 2023.
    Publicado
  5. Ardito, C; Lanzilotti, R; Malizia, A; Lárusdóttir, M; Spano, LD; Campos, JC; Hertzum, M; et al, ed. Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers. Springer. 2022.
    Publicado
  6. Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al, ed. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. 2020.
    10.1007/978-3-030-54997-8
  7. Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al, ed. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. 2020.
    10.1007/978-3-030-54994-7
  8. Campos, José; Nunes, Nuno Jardim, ed. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017. 2017.
    10.1145/3102113
  9. Luyten, Kris; Palanque, Philippe; Campos, José C.; Schmidt, Albrecht, ed. Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Portugal: Association for Computing Machinery (ACM). 2016.
  10. Barbosa, SDJ; Campos, JC; Kazman, R; Palanque, PA; Harrison, MD; Reeves, S, ed. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. 2012.
  11. Campos, José Francisco Creissac Freitas de; Daniel Gonçalves; Teresa Romão; Luís Rato, ed. Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina. Évora, Portugal: Grupo Português de Computação Gráfica. 2008.
  12. José Creissac Campos; Daniel Gonçalves; Teresa Romão; Luis Rato, ed. Actas do Interacção 2008 - 3ª Conferência Interacção Pessoa-Máquina. 2008.
    Publicado
  13. Teresa Chambel; Nuno J. Nunes; Teresa Romão; Campos, José Francisco Creissac Freitas de, ed. Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina. Braga, Portugal: Grupo Português de Computação Gráfica. 2006.
Edição de número de revista
  1. Alves, Tomás; José Creissac Campos; Chalmers, Alan. "Special section on Recent Advances in Graphics and Interaction 2025". Computers & Graphics (2026): https://www.sciencedirect.com/special-issue/10R1S821219.
    Publicado • Editor convidado
  2. Marto, Anabela; José Creissac Campos; Johnsen, Kyle. "Special section on Recent Advances in Graphics and Interaction 2024". Computers & Graphics 130 (2025):
    Publicado • Editor convidado
  3. Ameur, Yamine Ait; Bowen, Judy; José Creissac Campos; Palanque, Philippe; Weyers, Benjamin. "Special issue on Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems". Interacting with Computers 33 1 (2021):
  4. Calvary, Gaelle; Nichols, Jeffrey; José Creissac Campos; Nunes, Nuno Jardim; Campos, Pedro José Ramos Moreira de. "First issue of PACMHCI EICS". Proceedings of the ACM on Human-Computer Interaction 1 EICS (2017):
    Publicado
Entrada de enciclopédia
  1. Campos, José Creissac; Michael D. Harrison. "Automated deduction and usability reasoning". In Encyclopedia of Human-Computer Interaction. Idea Group Reference, 2006. http://www.igi-pub.com/reference/details.asp?id=4467.
    Publicado • 10.4018/978-1-59140-562-7.ch008
Resumo em conferência
  1. Barricelli, Barbara Rita; Campos, José Creissac; Luyten, Kris; Mayer, Sven; Palanque, Philippe; Panizzi, Emanuele; Spano, Lucio Davide; Stumpf, Simone. "Engineering Interactive Systems Embedding AI Technologies (3rd workshop on)". Trabalho apresentado em EICS '25 Companion: Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2025.
    Publicado • 10.1145/3731406.3735965
  2. Campos, José Creissac; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paternò, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean. "Panel: 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey". Trabalho apresentado em EICS '24 Companion: Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2024.
    10.1145/3660515.3663603
  3. Silva, C; Mouta, S; Basso, D; Santos, J; Campos, J. "Distance Perception in Immersive Environments - The Role of Photorealism". 2015.
  4. Campos, J. Creissac. "High assurance interactive computing systems". Trabalho apresentado em HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, 2014.
  5. Silva, CCL; Mouta, S; Santos, JA; Creissac, J. "Spatial limits for audiovisual unity assumption". 2014.
  6. Gomes, Tiago; Abade, Tiago; Harrison, Michael; Silva, José L.; Campos, José Creissac. "Developing Serious Games With The APEX Framework". Trabalho apresentado em Workshop on "Ubiquitous games and gamification for promoting behavior change and wellbeing", 2013.
  7. Abade, Tiago; Gomes, Tiago; Silva, José L.; Campos, José Creissac. "Avaliação de Ambientes Ubíquos na Plataforma APEX". Trabalho apresentado em Conferência Interação 2013, 2013.
    Publicado
  8. M. Borges; A. N. Ribeiro; J. C. Campos. "A Push Infrastructure for Mobile Application Deployment in Mobile Environments". Trabalho apresentado em CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, Guimarães, 2006.
    Publicado
  9. S. Rodrigues; J. C. Campos; A. N. Ribeiro. "Adaptação de interfaces com o utilizador em dispositivos móveis". Trabalho apresentado em CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, Guimarães, 2006.
    Publicado
  10. Doherty, G.J.; Du Bousquet, L.; Campos, J.C.; El Atifi, E.M.; Falquet, G.; Massink, M.; Santoro, C.. "Ambience and mobility". 2006.
    10.1007/11752707_24
  11. J. C. Campos. "Model based web interfaces' analysis". Trabalho apresentado em HCI International 2005 -- 11th International Conference on Human-Computer Interaction, Las Vegas, 2005.
    Publicado
  12. J. C. Campos; A. R. Fernandes. "Testing AudioBrowser". Trabalho apresentado em HCI International -- 11th International Conference on Human-Computer Interaction, Las Vegas, 2005.
    Publicado
  13. L. Teixeira; Óscar Costa; V. Pereira; C.P. Leao; F. Soares; M. T. Restivo; F. Chouzal; J. Mendes; J.C. Campos. "Laboratórios virtuais: duas aplicações no ensino de engenharia". Trabalho apresentado em VII Simpósio Internacional de Informática Educativa - SIIE'05, Leiria, 2005.
    Publicado
  14. A. Mano; J. C. Campos. "Aplicação de um Cognitive Walkthrough - estudo de caso". Trabalho apresentado em Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, Lisboa, 2004.
    Publicado
  15. J. C. Campos. "Integrating Automated Verification into Interactive Systems Development". Trabalho apresentado em 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, Honolulu, 1998.
    Publicado
Tese / Dissertação
  1. Campos, J. Creissac; José, Rui; Moreira, Samuel. "Simulating ubiquitous computing environments". Mestrado, 2013. http://hdl.handle.net/1822/28040.

Outros

Outra produção
  1. Editorial: Foreword to the special section on Recent Advances in Graphics and Interaction (RAGI 2025). Computers & Graphics, Volume 134, February 2026.. 2026. José Creissac Campos. https://doi.org/10.1016/j.cag.2025.104509.
    10.1016/j.cag.2025.104509
  2. Editorial: Foreword to the special section on Recent Advances in Graphics and Interaction (RAGI 2024). Computers & Graphics, Volume 130, August 2025.. 2025. José Creissac Campos. https://doi.org/10.1016/j.cag.2025.104263.
    10.1016/j.cag.2025.104263
  3. Editorial: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Special issue of Interacting with Computers on "Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems". Interacting with Computers, Volume 33, Issue 1, January 2021, Pages 1–2.. 2021. Ait Ameur, Y; Bowen, J; Campos, J; Palanque, P; Weyers, B.
    10.1093/iwc/iwab005
  4. Editorial Statement. Proceedings of the ACM on Human-Computer Interaction, Volume 1, Issue EICS. 2017. Lampe, Cliff; Nichols, Jeffrey; Karahalios, Karrie; Monroy-Hernandez, Andres; Calvary, Gaelle; Campos, José C.; Nunes, Nuno; Campos, Pedro. https://doi.org/10.1145/3106386.
    10.1145/3106386
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2025/11/21 Bridging Formal Methods and User-Centred Design café FSL, Dept. Reliability Systems and Software, IRIT
2021/10/21 Formal Methods for User-centred Design Verifiability Talk series
Verifiability Node UK (Reino Unido)
2021/05/28 Formal Methods for User-Centred Design Informatics Seminars, University of Leicester
Prof. Effie Law (Online, Reino Unido)
2021/05/12 Supporting the analysis of safety critical user interfaces: an exploration of three formal tools CHI 2021 - ACM Conference on Human Factors in Computing Systems
ACM (Online)
2018/11/27 Engineering safer interactive computing systems Comunicação convidada
Universidade do País Basco (San Sebastian, Espanha)
2018/06/22 High Assurance Interactive Systems CISUC Software and Systems Engineering group away day
CISUC Software and Systems Engineering group away day, Universidade de Coimbra (Figueira da Foz, Portugal)
2018/06/19 High Assurance Interactive Systems EICS 2018 Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems
(Paris, França)
2016/07/21 Taking account of users in the automated analysis of interactive computing systems INTUITEST 2016: 2nd International Workshop on User Interface Test Automation
(Saarbrücken, Alemanha)
2014/11/27 Design of an AAL System Using APEX
Universidade de A Coruña (Ferrol, Espanha)
2014/10/24 Enabling participatory Design of an AAL System Using Virtual reality Prototypes
Queen Mary University of London (Londres, Reino Unido)
2014/04/24 Utilização de Realidade Virtual para conceber uma Casa Inteligente
Universidade Pedagógica (Maputo, Moçambique)
2012/05/29 Formal Analysis of Ubiquitous Computing Environments
Queen Mary University of London (Londres, Reino Unido)
2012/04/19 Verificação formal de interfaces com o usuário
Instituto de Aeronáutica e Espaço (São José dos Campos, Brasil)
2007/08/09 Considering Context and Users in Interactive Systems Analysis with the IVY workbench
Universidade de Swansea (Swansea, País de Gales, Reino Unido)
2007/08 Considering Context and Users in Interactive Systems Analysis with the IVY workbench HUM project workshop
Universidade de Londres (UCL, QueenMary) (Londres, Reino Unido)
2005/09/26 Interacção Humano-Computador no DI/CCTC, UM
Escola Superior de Enxeñería Informática, Universidade de Vigo (Ourense, Espanha)

Orientação

Título / Tema
Papel desempenhado		 Curso (Tipo)
Instituição / Organização
2024 - 2025 Support tool for the Cognitive Walkthrough
Orientador de Ricardo Lopes de Lucena
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2024 - 2025 Automatização do desenvolvimento de aplicações web
Orientador de João Paulo Peixoto Castro
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2024 - 2025 Executable user interface prototypes
Orientador
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2023 - 2025 Automação de testes de carga
Orientador de Francisco Alberto do Fundo Novo
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2023 - 2025 TakeMy Data - Segmentação de Utilizadores com IA
Orientador de Marco António Rodrigues Sampaio
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2023 - 2024 Hospitality Interfaces - For a Property Management System
Orientador de João Luís Lopes Giesteira
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2022 - 2023 e-Saúde - Design e Desenvolvimento de Serviços Web de Telemonitorização
Orientador de Carlos João Teixeira Preto
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2022 - 2023 Análise de cenários para especificação de interfaces web
Orientador de Rui Alexandre da Costa Gonçalves
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2022 - 2023 Deteção de conflitos em programas de Home Automation
Orientador de Pedro Miguel Dias Veloso
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2022 - 2023 Gestão de templates através de web builders WYSIWYG
Orientador de Bruna Filipa Abreu Peixoto
 Engenharia de Sistemas (Mestrado)
Universidade do Minho, Portugal
2021 - 2023 Aplicação móvel para inventário
Orientador de Ricardo Loureiro da Silva
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2021 - 2022 Automação de Testes de Carga a partir da Interface Gráfica com o Utilizador
Orientador de Bruno Miguel Fernandes Teixeira
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2021 - 2022 Improving human resources management via UX/UI
Orientador de Maria Moutinho Figueiredo da Silva
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2021 - 2022 Formal models based interactive prototypes
Orientador de Miguel André da Silva Solino
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2021 - 2022 A new models editor for the IVY Workbench
Orientador de Rui Filipe Moreira Mendes
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2009 - 2022 Método Integrado para Avaliação de Usabilidade em E-Learning
Coorientador de Luciana Lopes Freire
 Engenharia Industrial e de Sistemas (Doutoramento)
Universidade do Minho, Portugal
2020 - 2021 Modelação de Frameworks de Desenvolvimento Web
Orientador de Catarina Araújo Machado
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2020 - 2021 Sistematização do desenvolvimento de interfaces web
Orientador de Nelson Tiago Silva Sousa
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2019 - 2020 Animating user interface prototypes with formal models
Orientador de Rafael Braga Gomes da Costa
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2019 - 2020 Microinteractions in Business Applications
Orientador de Gonçalo Gomes Marques
 Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2018 - 2019 Gerador de protótipos de interfaces gráficas
Orientador de João Miguel Matela Aidos Manso de Araújo
 Mestrado integrado em Engenharia Informática
Universidade do Minho, Portugal
2011 - 2019 Audiovisual Perception in a Virtual World: An Application of Human-Computer Interaction Evaluation to the Development of Immersive Environments
Orientador de Carlos César Loureiro Silva
 Programa Doutoral em Informática (Doutoramento)
Universidade do Minho, Portugal
2017 - 2018 Modern Front-End Web Development
Orientador de António Manuel Pereira do Anjo
 Mestrado integrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017 - 2018 Design and development of an arcade simulation environment for PVSio-web
Coorientador de José Carlos Silva Brandão Gonçalves
 Mestrado integrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017 - 2018 Simulação de dispositivos médicos em Android
Coorientador de André Miguel Bonjardim Pinto
 Mestrado integrado em Engenharia Informática (Mestrado)
2017 - 2018 Teste baseado em modelos de aplicações Android
Orientador de Pedro Miguel Braga do Vale
 Mestrado integrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2017 - 2018 JxAppDev Framework for Hybrid Applications: Hybrid Desktop/Web Application Development
Coorientador de Ricardo Ribeiro Ferreira
 Mestrado integrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2016 - 2018 Aplicações Multimédia Educacionais: Estímulo à Aprendizagem da Geometria Descritiva
Coorientador de Sérgio Cumbucane Estefáneo Witimisse
 Mestrado em Design e Multimédia (Mestrado)
Universidade Pedagógica de Moçambique, Moçambique
2012 - 2017/06 Pattern Based Software Development
Coorientador de Rui Miguel Silva Couto
 Programa Doutoral em Informática (Doutoramento)
Universidade do Minho, Portugal
2016 - 2017 A Tabular Editor for MAL Interactors
Orientador de Pedro Filipe da Costa Machado
 Mestrado em Engenharia Informática (Mestrado)
2016 - 2017 A Library of User Interface Widgets Prototypes for Car Dashboards
Orientador de Henrique Jorge Caldas Pacheco
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2016 - 2017 Model-based Testing of User Interfaces
Orientador de Marcelo José Rodrigues Gonçalves
Universidade do Minho, Portugal
2016 - 2017 TOM Framework: Uma ferramenta de testes baseados em modelos para interfaces gráficas web
Orientador de Luís Miguel Carvalho Pinto
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2015 - 2016 Minium Recorder – Browser interaction recording
Orientador de José Miguel Morais Morgado
 Mestrado em Engenharia Informática
Universidade do Minho, Portugal
2010 - 2015/01 Reverse Engineering of Web Applications
Orientador de Carlos Eduardo Bastos e Marques da Silva
 Programa Doutoral MAP-i (Doutoramento)
Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade do Porto, Portugal
2014 - 2015 MODUS – Generation of Interfaces based on Models
Orientador de Marina Machado
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2014 - 2015 Testes Baseados em Modelos
Orientador de Raphael Julien Rodrigues
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2014 - 2015 Catálogo de Usability Smells
Coorientador de Diogo Francisco de Carvalho Almeida
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2014 Modelação de Ambientes Ubíquos na Plataforma APEX
Orientador de Tiago Filipe de Azevedo Abade
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2014 Geração Dinâmica de Interfaces
Orientador de Paulo Jorge Paradela Camacho
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2013 - 2014 Web-base user interface prototyping and simulation
Orientador de Paulo Cristiano Pinheiro Faria
 Mestrado em Engenharia Informática (Mestrado)
Universidade do Minho, Portugal
2012 - 2013 3D Virtual Environments’ Generation
Orientador de Tiago Emanuel Oliveira Gomes
Universidade do Minho, Portugal
2012 - 2013 Development of an environment for the generation, mutation and execution of test cases
Orientador de Paulo Filipe de Jesus Cruz
Universidade do Minho, Portugal
2012 - 2013 Responsive Web Design
Orientador de Ana Isabel Sampaio
Universidade do Minho, Portugal
2012 - 2013 Application of Formal Methods in the ITASAT Project
Coorientador de Daniel Quinta
Universidade do Minho, Portugal

Instituto Tecnológico de Aeronáutica, Brasil
2012 - 2013 Improving the usability of web applications: more results with less effort
Orientador de Fábio Samuel Coelho da Silva
Universidade do Minho, Portugal
2012 - 2013 Simulating Ubiquitous Computing Environments
Orientador de Samuel da Silva Moreira
Universidade do Minho, Portugal
2008 - 2013 Suporte à Interoperabilidade entre o Automation Studio e Sistemas SCADA: Tradução de sinópticos de XAML para SVG
Orientador de Nuno Miguel Milhases da Silva
Universidade do Minho, Portugal
2008 - 2012/11 An infrastructure for experience centred agile prototyping of ambient intelligence
Orientador de José Luís Cardoso da Silva
 Programa Doutoral MAP-i (Doutoramento)
Universidade do Minho, Portugal

Universidade do Porto, Portugal

Universidade de Aveiro, Portugal
2011 - 2012 WildAniMAL: MAL Interactors Model Animator
Orientador de Nuno Miguel Eira de Sousa
Universidade do Minho, Portugal
2011 - 2012 Safety Critical Interactive Computing Systems’ Modelling
Orientador de Manuel António Freitas de Sousa
Universidade do Minho, Portugal
2011 - 2012 Concepção da CAZ Framework
Orientador de Miguel Esteves
Universidade do Minho, Portugal
2011 - 2012 Desenvolvimento de uma aplicação web para dispositivos móveis – Monitorização e controlo de uma rede de digital signage
Orientador de Joaquim Alberto da Costa Anacleto
Universidade do Minho, Portugal
2010 - 2011 Integrating a 3D Application Server with a CAVE
Orientador de Rui Manuel Ferreira de Carvalho Azevedo Moreira
Universidade do Minho, Portugal
2006 - 2010/12 GUIsurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces
Coorientador de João Carlos Cardoso da Silva
 Doutoramento em Informática (Doutoramento)
Universidade do Minho, Portugal
2009 - 2010 Software Seguro para Sistemas Mecatrónicos Temporizados
Coorientador de Paulo André Mendes Borges
Universidade do Minho, Portugal
2009 - 2010 Reverse Engineering of Rich Internet Applications
Orientador de Carlos Eduardo Silva
Universidade do Minho, Portugal
2008 - 2009 FlexiXML – Um animador de modelos de interfaces com o utilizador
Orientador de Sandrine Alves Mendes
Universidade do Minho, Portugal
2003 - 2005 Interfaces de computador para crianças – avaliação e construção
Orientador de Alexandre Sérgio Mano
Universidade do Minho, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)		 Instituição / Organização
2025 - 2025 Program chair da ICGI 2025 — International Conference on Graphics and Interaction (2025/11/13 - 2025/11/14)
Conferência (Membro da Comissão Científica)
2025 - 2025 EMUXAI@INTERACT 2025 — Workshop on Engineering Methods for HCI and UX in AI-Driven Systems (2025/09/09 - 2025/09/09)
Oficina (workshop) (Coorganizador)
2025 - 2025 EISEAIT@EICS 2025 — Workshop on Engineering Interactive Systems Embedding AI Technologies (2025/06/24 - 2025/06/24)
Oficina (workshop) (Coorganizador)
2025 - 2025 SubCommittee chair da INTERACT 2025 - IFIP TC13 International Conference on Human-Computer Interaction (2025/09/08 - 2025/09/12)
Conferência (Membro da Comissão Científica)
2024 - 2024 Program chair da ICGI 2024 — International Conference on Graphics and Interaction (2024/11/07 - 2024/11/08)
Conferência (Membro da Comissão Científica)
2023 - 2024 Technical Program chair da EICS 2024 - The 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2024/06/24 - 2024/06/28)
Conferência (Membro da Comissão Organizadora)
2023 - 2023 SubCommittee chair da INTERACT 2023 - IFIP TC13 International Conference on Human-Computer Interaction (2023/08/28 - 2023/09/01)
Conferência (Membro da Comissão Científica)
2022 - 2022 Tech Notes chair da EICS 2022 - The 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2022/06/21 - 2022/06/24)
Conferência (Membro da Comissão Organizadora)
2021 - 2021 Management of Risks and Benefits when Engineering Interactive Digital Systems (@ EICS 2021) (2021/06/08 - 2021/06/08)
Oficina (workshop) (Coorganizador)
2021 - 2021 HCI-E2 @ INTERACT 2021 — Workshop on HCI Engineering Education (2021/08/31 - 2021/08/31)
Oficina (workshop) (Coorganizador)
2019 - 2020 NII Shonan Meeting — Engineering Methods and Techniques for Interactive Systems (cancelled – COVID) (2020/05/18 - 2020/05/21)
Encontro (Coorganizador)
2019 - 2019 Co-organizador da 8th Formal Methods for Interactive Systems workshop (FMIS’19), co-located with FM 2019. (2019/10/07 - 2019/10/07)
Oficina (workshop) (Coorganizador)
2019 - 2019 Co-organizador da HCI Engineering 2019, workshop co-localizada com o ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019) (2018/06/17 - 2018/06/18)
Oficina (workshop) (Coorganizador)
2018 - 2019 Financial chair do 3rd World Congress on Formal Methods (FM'19) (2019/10/07 - 2019/10/11)
Congresso (Membro da Comissão Organizadora)
2016 - 2017 Co-presidente do EICS 2017: 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2017/06/26 - 2017/06/29)
Simpósio (Presidente da Comissão Organizadora)
2015 - 2015 Co-organizador da sessão convidada Prototyping of Ubiquitous Computing Environment na 3rd International Conference on Distributed, Ambient and Pervasive Interactions (DAPI 2015) (2015/08/02 - 2015/08/07)
Conferência (Coorganizador)
2014 - 2015 Late-Breaking Results co-chair da ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS2015) (2015/06/23 - 2015/06/26)
Simpósio (Membro da Comissão Organizadora)
2014 - 2014 Co-organizador da HCI Engineering 2014, workshop co-localizada com o ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2014) (2014/06/17 - 2014/06/17)
Oficina (workshop) (Coorganizador)
2014 - 2014 Co-organizador da sessão convidada Prototyping of Ubiquitous Computing Environment, na 2nd International Conference on Distributed, Ambient and Pervasive Interactions (DAPI 2014) (2014/06/22 - 2014/06/22)
Conferência
2012 - 2013 Doctoral Consortium co-chair do ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013) (2013/06/24 - 2013/06/27)
Simpósio (Membro da Comissão Organizadora)
2011 - 2012 Co-presidente da EICS 2012: 4rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2012/06/25 - 2012/06/28)
Conferência (Presidente da Comissão Organizadora)
2010 - 2011 Tutorials co-chair da IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011) (2011/09/05 - 2011/09/09)
Conferência
2010 - 2011 Finance Chair da International Conference on Software Language Engineering (SLE 2011) (2011/07/03 - 2011/07/09)
Conferência (Membro da Comissão Organizadora)
2005 - 2006 Co-presidente da Interacção 2006 – 2a. Conferência Nacional de Interacção Pessoa-Máquina (2006/10 - 2006/10)
Conferência (Presidente da Comissão Organizadora)
1998 - 1999 Membro da Comissão Organizadora local da International Workshop on Design, Specification and Verification of Interactive Systems (DSV- IS’99) (1999/06/02 - 1999/06/04)
Oficina (workshop) (Membro da Comissão Organizadora)
1996 - 1996 Membro da Comissão Organizadora local do Encontro Nacional de Informática ’96 (1996 - 1996)
Conferência (Membro da Comissão Organizadora)
1993 - 1994 Membro da Comissão Organizadora local do Encontro Português de Computação Gráfica (EPCG’94) (1993/02 - 1993/02)
Conferência (Membro da Comissão Organizadora)

Júri de grau académico

Tema
Tipo de participação		 Nome do candidato (Tipo de grau)
Instituição / Organização
2022/02/23 Cultural Gestures and Virtual and Augmented Reality to enable Non-Experts to Explore Systemic Concepts and Complexity
Arguente
 Luís Miguel Alves Fernandes (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/12/20 Lightweight Trustworthy High-Level Software Design
Vogal
 Liu Chong (Doutoramento)
Universidade do Minho, Portugal
2021/07/21 Safety Verification for ROS Applications
Vogal
 André Filipe Faria dos Santos (Doutoramento)
Universidade do Minho, Portugal
2020/07 Formal Modelling and Analysis of Safety-Critical Interactive Systems using Coloured Petri Nets
Arguente
 Sapna Jaidka (Doutoramento)
The University of Waikato, Nova Zelândia
2018/12 Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking
Vogal
 Giovanna Broccia (Doutoramento)
Università degli Studi di Pisa, Itália
2017/01 Automated Pattern-Based Testing of Mobile Applications
Arguente
 Inês Coimbra Morgado (Doutoramento)
Universidade do Porto, Portugal
2015/12 Model-drivenSoftware Development with Alloy
Arguente
 Ana Gabriela Garis (Doutoramento)
Universidad Nacional de San Luis, Argentina
2015/12 HI3: una aproximación integrada a la construcción de sistemas de Inteligencia Ambiental
Arguente
 Alejandro Paz López (Doutoramento)
Universidade da Coruña, Espanha
2015/12 Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision
Arguente
 Raquel Araújo de Oliveira (Doutoramento)
Université Grenoble Alpes, França
2015/07 Pattern-Based GUI Testing
Arguente
 Rodrigo Manuel Lopes de Matos Moreira (Doutoramento)
Universidade do Porto, Portugal
2015/06 AutonomousAdapta- tion of User Interfaces During Application Mobility Processes in Ambient Intelligence Scenarios
Arguente
 Gervasio Varela Fernández (Doutoramento)
Universidade da Coruña, Espanha
2014/05 Structural Usability Techniques for Dependable HCI
Arguente
 Andrew Gimblett (Doutoramento)
Swansea University, Reino Unido
2012/04 Web Interaction Environments: Characterising Web Accessibility at the Large
Vogal
 Rui Miguel do Nascimento Dias Lopes (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09 GUILX - Produção Automática de Interfaces com o Utilizador a partir de um Modelo Baseado em Atributos Declarativos
Arguente
 Marco António de Oliveira Monteiro (Doutoramento)
Universidade de Trás-os-Montes e Alto Douro, Portugal
2011/03 Model-based Spreadsheet Engineering
Vogal
 Jácome Miguel Costa da Cunha (Doutoramento)
Universidade do Minho, Portugal
2009/09 Um modelo de grupos para aplicações interactivas distribuídas
Arguente
 Carmen Pires Morgado (Doutoramento)
Universidade Nova de Lisboa, Portugal
2009/09 Specification and Refinement of Software Connectors
Vogal
 Marco António de Castro Barbosa (Doutoramento)
Universidade do Minho, Portugal
2008/09 An activity-centered ubiquitous computing framework for supporting occasional human activities in public places
Vogal
 Hélder Manuel da Silva Pinto (Doutoramento)
Universidade do Minho, Portugal
2008/03 Sistematización de la validación de Interacción del usuario sobre la visualización en Interfaces de Usuario usando Especificación Abstracta
Presidente do júri
 Susana Gómez Carnero (Doutoramento)
Universidade de Vigo, Espanha
2007/04 Editor MetaSketch: Construção Reflexiva de Linguagens de Modelação
Vogal
 Leonel Domingos Telo Nóbrega (Doutoramento)
Universidade da Madeira, Portugal
2007/02 Automated Specification-Based Testing of Graphical User Interfaces
Vogal
 Ana Cristina Ramada Paiva Pimenta (Doutoramento)
Universidade do Porto, Portugal
2005/04 An Adaptation Methodology For The Presentation Of Multimedia Contents In The Virtual Home Environment
Arguente
 José Manuel Soares Oliveira (Doutoramento)
Universidade do Porto, Portugal
2003/10 Sistematização da Animação de Programas
Vogal
 Maria João Tinoco Varanda Pereira (Doutoramento)
Universidade do Minho, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2018/01 - Atual ICGI - International Conference of Graphics and Interaction (interrupção em 2020).
2015 - Atual SAC – The ACM/SIGAPP Symposium on Applied Computing (Software Engineering track). Interrupção em 2023.
2009/01 - Atual EICS - ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Interrupção em 2017.
2005/01 - Atual INTERACT - IFIP TC13 International Conference on Human-Computer Interaction
2023 - 2024 ABZ – International Conference on Rigorous State-Based Methods
2012 - 2024 IUI – ACM International Conference on Intelligent User Interfaces. Interrupções em 2014, 2016, 2017.
2020 - 2023 CIFMA – International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
2015 - 2023 INTUITEST/INTUITESTBEDS – International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software. Interrupções em 2021, 2022.
2011 - 2023 Interacción – International Conference on Human-Computer Interaction. 5 participações.
2021 - 2022 VL/HCC – IEEE Symposium on Visual Languages and Human-Centric Computing
2015 - 2021 F-IDE – Workshop on Formal Integrated Development Environment (co-localizada com a FM). 5 participações.
2006 - 2019 FMIS —Formal Methods for Interactive Systems. Participei nos PC das 8 edições organizadas.
2015 - 2017 EPCGI – Encontro Português de Computação Gráfica e Interação
2013 - 2015 CHI – ACM Conference on Human Factors in Computing Systems (work in progress PC)
2009 - 2015 CLIHC – Latin American Conference on Computer-Human Interaction. Duas edições.
2010 - 2014 MexIHC – Mexican Conference on Human-Computer Interaction
2008 - 2014 HCSE – IFIP WG 13.2 Working Conference on Human-Centered Software Engineering
2004 - 2013 Interação – Conferência Nacional em Interação Pessoa-Máquina
2009 - 2012 SEW – IEEE Software Engineering Workshop
2005 - 2008 DSV-IS – InternationalWorkshop on Design, Specification and Verification of Interactive Systems

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2022 - Atual ACM Proceedings on Human-Computer Interaction, EICS Track Editorial Board ACM

Comissão de avaliação

Descrição da atividade
Tipo de assessoria		 Instituição / Organização Entidade financiadora
2026/03 - Atual Membro do júri do Prémio Professor José Luís Encarnação, 2026. Grupo Português de Computação Gráfica , Portugal
2018/01 - Atual Membro do Colégio de Avaliadores do Ministério dos Negócios, Inovação e Emprego da Nova Zelândia (MBIE College of Assessors) para o programa de financiamento Endeavour Fund.
Avaliador
 Ministry of Business, Innovation and Employment, Nova Zelândia
2021 - 2021 Participação no exercício de Avaliação da Qualidade da Investigação em Itália (VQR 2015-2019).
Avaliador
 Agenzia Nazionale Di Valutazione Del Sistema Universitario E Della Ricerca, Itália
2020/06 - 2020/11 Membro do painel de Ciências da Computação e da Informação do Concurso FCT para Atribuição de Bolsas de Doutoramento
Avaliador
 Fundação para a Ciência e a Tecnologia, Portugal
2019 - 2019 Membro do painel de Ciências da Computação e da Informação do Concurso FCT para Atribuição de Bolsas de Doutoramento – 2019.
Avaliador
 Fundação para a Ciência e a Tecnologia, Portugal
2018 - 2018 Membro do júri do Prémio Professor José Luís Encarnação, 2018.
Avaliador
 Grupo Português de Computação Gráfica , Portugal
2016 - 2017 Participação no exercício de Avaliação da Qualidade da Investigação em Itália (VQR 2011-2014).
Avaliador
 Agenzia Nazionale Di Valutazione Del Sistema Universitario E Della Ricerca, Itália

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2010/10 - 2012/09 Consultor no projeto “Verificação e Validação de Sistemas de Software para Projetos Espaciais” (V&VSS). No âmbito deste projeto colaborei com o IAE na área da verificação formal de interfaces gráficas, tendo supervisionado a aplicação da ferramenta IVY workbench ao Banco de Controle de Veículos Lançadores de Satélites do programa espacial brasileiro. Instituto de Aeronáutica e Espaço (IAE), Brasil

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022 - Atual Interface Pessoa-Máquina Engenharia Informática (Licenciatura) Universidade do Minho, Portugal
2022 - Atual Sistemas Interativos Confiáveis Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2008 - Atual Desenvolvimento de Sistemas de Software Licenciatura/Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2007 - Atual Programação Orientada aos Objetos Licenciatura/Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação (Mestrado integrado) Universidade do Minho, Portugal
2014 - 2021 Sistemas Interativos Cursos de Mestrado em Informática e em Engenharia Informática (Mestrado) Universidade do Minho, Portugal
2019 - 2020 Seminars Curso de doutoramento MAP-i (Doutoramento) Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade do Porto, Portugal
2017 - 2018 Programação Imperativa Licenciatura em Ciências da Computação e Mestrado integrado em Engenharia Física (Mestrado integrado) Universidade do Minho, Portugal
2013 - 2016 Interactive Computing Systems Curso de doutoramento MAP-i (Doutoramento) Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade do Porto, Portugal
2015/04/13 - 2015/04/24 Tecnologias de Interfaces Mestrado em Design & Multimedia (Master) Universidade Pedagogica, Moçambique
2007 - 2014 Engenharia de Aplicações Cursos de Mestrado em Informática e em Engenharia Informática (Mestrado) Universidade do Minho, Portugal
2008 - 2013 System Software and Applications for Ambient Intelligence Curso de doutoramento MAP-i (Doutoramento) Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade do Porto, Portugal
2007 - 2009 Análise e Concepção de Software Cursos de Mestrado em Informática e em Engenharia Informática (Mestrado) Universidade do Minho, Portugal
2007 - 2008 Model Driven Software Engineering Curso de doutoramento MAP-i (Doutoramento) Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade do Porto, Portugal
2004 - 2007 Interacção Humano-Computador em Ambientes Ubíquos Cursos de Mestrado e Especialização em Sistemas Móveis (Mestrado) Universidade do Minho, Portugal
2005 - 2006 Paradigmas da Programaçao I Licenciatura em Engenharia de Sistemas e Informática (Licenciatura) Universidade do Minho, Portugal
2002 - 2006 Interacção Humano-Computador Cursos de Mestrado e Especialização em In- formática (Mestrado) Universidade do Minho, Portugal
2001 - 2005 Desenvolvimento de Sistemas de Informação Licenciatura em Engenharia de Sistemas e Informática e Licenciatura em Matemática e Ciências da Computação (Licenciatura) Universidade do Minho, Portugal
2000 - 2005 Paradigmas da Programação III Licenciatura em Engenharia de Sistemas e Informática (Licenciatura) Universidade do Minho, Portugal
1999 - 2003 Paradigmas da Programação IV Licenciaturas em Engenharia de Sistemas e Informática e em Matemática e Ciências da Computação (Licenciatura) Universidade do Minho, Portugal
1995 - 1996 Prototipagem Rápida de Software Licenciatura em Engenharia de Sistemas e Informática (Menos de 4 anos de escolaridade) Universidade do Minho, Portugal
1993 - 1996 Algoritmos e Estruturas de Dados Licenciaturas em Engenharia da Produção e em Engenharia do Vestuário (Licenciatura) Universidade do Minho, Portugal
1993 - 1996 Linguagens de Programação Licenciaturas em Engenharia da Produção e em Engenharia do Vestuário (Licenciatura) Universidade do Minho, Portugal

Entrevista (jornal / revista)

Descrição da atividade Jornal / Forum
2017/12/22 Entrevista à Agência LUSA sobre a participação do HASLab/INESC TEC no pro- grama de investigação em Medical Device Interoperability da Food and Drug Administration (EUA) Agência Lusa

Entrevista / Programa (rádio / tv)

Programa Tema
2006/10/06 - 2006/10/06 Participação no programa de rádio “Mais cedo ou mais tarde” (TSF) para entrevista sobre o trabalho “Interfaces de computador para crianças – avaliação e construção”. Interfaces de computador para crianças – avaliação e construção

Membro de associação

Nome da associação Tipo de participação
2025 - Atual Ordem dos Engenheiros Membro
2016 - Atual Formal Methods Europe Membro
2015/03 - Atual Institute of Electrical and Electronics Engineers (IEEE) Membro IEEE de 2015 a 2025. Membro da IEEE SMC Society a partir de 2025.
2004/07 - Atual Eurographics
2004/07 - Atual Grupo Português de Computação Gráfica (GPCG) Membro por inerência, em virtude de ser membro da Eurographics.
2001/08 - Atual Association for Computing Machinery Membro Sénior desde dezembro de 2017

Membro de comissão

Descrição da atividade
Tipo de participação		 Instituição / Organização
2026/02/02 - Atual Deputy head of INESC TEC's Hub at the University of Minho (INESCTEC.UMINHO)
Presidente / Vice-presidente
 Universidade do Minho Escola de Engenharia, Portugal
2022/11 - Atual Comissão de Curso da Licenciatura em Engenharia Informática da Universidade do Minho. Diretor de Curso desde 04/2025.
Membro
 Universidade do Minho, Portugal
2022/11 - Atual Comissão de Curso do Mestrado em Engenharia Informática da Universidade do Minho
Membro
2018/07 - Atual Comissão de Coordenação do Laboratório de Software Confiável do INESC TEC (HASLab – High-Assurance Software Laboratory)
Membro
 Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2017 - Atual IFIP TC13 on Human-Computer Interaction. Interrupção na participação entre 2022 e 2025. Representante de Portugal desde 11/2025. International Federation for Information Processing, Áustria
2016/05 - Atual Comissão Directiva do Programa Doutoral em Informática da Universidade do Minho.
Membro
 Universidade do Minho Escola de Engenharia, Portugal
2011 - Atual Comissão de Steering do ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS). Interrupção na participação entre 2014 e 2015. Presidente da comissão entre 2020 e 2024.
Presidente / Vice-presidente
2007/11 - Atual Membro do IFIP Working Group 2.7/13.4 on User Interface Engineering. Chair de 2016 a 2022.
Membro
 International Federation for Information Processing (IFIP), Austrália
2017/02 - 2022/11 Comissão de Curso da Licenciatura em Ciências da Computação da Universidade do Minho.
Membro
 Universidade do Minho Escola de Ciências, Portugal
2020/10 - 2022/06 Editorial Board, ACM Proceedings on Human-Computer Interaction
Membro
 Association for Computing Machinery, Estados Unidos
2016/06 - 2022 IFIP TC2 – IFIP Technical Committee 2 on Software: Theory and Practice
Membro
 International Federation for Information Processing (IFIP), Austrália

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2025 - 2025 NSERC — evaluation of an Alliance-Mitacs proposal, Natural Sciences and Engineering Research Council of Canada, Canadá
2018 - 2018 Elaboração de parecer sobre o desempenho científico de um docente, no âmbito de um pedido de promoção a Full Professor na Universidade de Hasselt, Bélgica. Universiteit Hasselt, Bélgica
2017 - 2017 Avaliação de uma proposta de projecto para o programa PICT 2017 do Fondo para la Investigación Científica y Tecnológica ( FONCYT), Argentina Fondo para la Investigación Científica y Tecnológica, Argentina
2016 - 2016 Avaliação de uma proposta de projecto para o FWO – The Research Foundation Flanders Fonds Wetenschappelijk Onderzoek Vlaanderen, Bélgica
2009 - 2009 Elaboração de parecer sobre o desempenho científico de um investigador/docente, no âmbito de mecanismo de classificação de investigadores da África do Sul. National Research Foundation, África do Sul
2008 - 2008 Avaliação de uma proposta de projecto para o EPSRC – Engineering and Physical Sciences Research Council, Reino Unido Engineering and Physical Sciences Research Council, Reino Unido

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
2021 - Atual International Journal of Human-Computer Interaction Taylor & Francis
2021 - Atual Array Elsevier
2020 - Atual International Journal of Medical Informatics Elsevier
2019 - Atual PLoS ONE (1932-6203) Public Library of Science
2019 - Atual Journal of Systems and Software (0164-1212) Elsevier
2019 - Atual Software Quality Journal (1573-1367) Springer-Verlag
2019 - Atual Digital Health (2055-2076) SAGE Publications
2018 - Atual Interacting with Computers (1873-7951) Oxford University Press
2018 - Atual IEEE Access (2169-3536) Institute of Electrical and Electronics Engineers
2017 - Atual Computer Standards & Interfaces (0920-5489) Elsevier
2017 - Atual Journal of Software Evolution and Process (2047-7481) Wiley (John Wiley & Sons)
2015 - Atual Software Practice and Experience (1097-024X) Wiley (John Wiley & Sons)
2015 - Atual Journal of Logical and Algebraic Methods in Programming (2352-2208) Elsevier
2014 - Atual IEEE Transactions on Human-Machine Systems (2168-2305) Institute of Electrical and Electronics Engineers
2014 - Atual IEEE Transactions on Industrial Informatics (1941-0050) Institute of Electrical and Electronics Engineers
2014 - Atual IEEE Transactions on Software Engineering (1939-3520) Institute of Electrical and Electronics Engineers
2013 - Atual Software & Systems Modeling (1619-1374) Springer-Verlag
2012 - Atual Science of Computer Programming Elsevier
2011 - Atual International Journal of Human-Computer Studies (1095-9300) Elsevier
2011 - Atual Empirical Software Engineering Springer
2009 - Atual Software Testing Verification and Reliability (1099-1689) Wiley (John Wiley & Sons)
2007 - Atual Innovations in System and Software Engineering Springer
2006 - Atual Cognition Technology and Work Springer
1999 - Atual ACM Transactions on Computer-Human Interaction (1557-7325) Association for Computing Machinery

Tutoria

Tópico Nome do aluno
2016/02 - 2017/05 Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems. Saulo Rodrigues e Silva
Distinções

Prémio

2019 ACM SIGCHI Recognition of Excellent Service
ACM SIGCHI - Special Interest Group on Computer-Human Interaction, Estados Unidos
2016 ACM SIG Governing Body Recognition of Service Award.
Association for Computing Machinery, Estados Unidos
2016 EICS 2016 Best Paper Honourable Mention Award
8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Bélgica
2012 ACM SIG Governing Body Recognition of Service Award
Association for Computing Machinery, Estados Unidos
2009 BCS HCI International Excellence Award
BSC The Chartered Institute for IT, Reino Unido

Título

2017 ACM Senior Member
Association for Computing Machinery, Estados Unidos

Outra distinção

2025 FCT Mobility grant (FCT/Mobility/1340210111/2024-25) — University of Toulouse, November 2025 - April 2026
Fundação para a Ciência e a Tecnologia, Portugal
2025 Université de Toulouse Visiting Professor grant — October 2025
Université de Toulouse, França
2016 Certificate of Outstanding Contribution in Reviewing
International Journal of Human-Computer Studies, Países Baixos
2007 EPSRC Visiting Research Fellow grant (EP/F01404X/1) — University of Newcastle, May–December 2007
Engineering and Physical Sciences Research Council, Reino Unido