???global.info.a_carregar???
José Creissac Campos is an Associate Professor (with Habilitation) at the Informatics Department of the School of Engineering of the University of Minho and a senior researcher at INESC TEC (Institute for Systems Engineering and Computer Technology and Science). He completed his D.Phil. in Computer Science in 2001 at the University of York (UK). He works at the intersection of Software Engineering and Human-Computer Interaction, with an emphasis on the modelling and analysis of interactive computing systems. Among various other roles, he is chair of the steering committee of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, a member of the editorial board of the journal ACM Proceedings in Human-Computer Interaction, and chaired IFIP WG 2.7/13.4 on User Interface Engineering between June 2016 and June 2022.
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
2013/11/01 - Atual 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
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
2022/01/01 - 2033/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
Em curso
2016 - 2019 Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Investigador
Fundação para a Ciência e a Tecnologia
Em curso
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
2012/04 - 2015/09 Pattern-Based GUI Testing
119479
Provided by PTCRIS: 119479
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
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
116069
Provided by PTCRIS: 116069
Investigador responsável
Fundação para a Ciência e a Tecnologia, I.P. & COMPETE 2020
2012/06 - 2014/05 PROVA - Platform for Software Verification and Validation
FCOMP-01-0202-FEDER- 023137
Investigador
Agência Nacional de Inovação SA
2010/05 - 2013/07 SSaaPP: SpreadSheets as a Programming Paradigm
108613
Provided by PTCRIS: 108613
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
2010/03 - 2013/06 CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software
108995
Provided by PTCRIS: 108995
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
2005/08 - 2008/06 Safety Control of Automated Production Systems (SCAPS)
Provided by PTCRIS: 61425
61425
Investigador
Fundação para a Ciência e a Tecnologia, I.P.
2005/07 - 2008/06 IVY - A model-based usability analysis environment
56646
Provided by PTCRIS: 56646
Investigador responsável
Fundação para a Ciência e a Tecnologia, I.P.

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
n/a
Investigador responsável
Universidade do Minho, Portugal
 Cachapuz
Concluído
2010/01 - 2010/10 DataPeers Test Data Generator
n/a
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
n/a
Investigador responsável
Centro de Computação Gráfica, Portugal
 Efacec Power Solutions
Concluído
Produções

Publicações

Artigo em conferência
  1. José C. Campos; Cunha, Alcino; Nuno Macedo; Iara Margolis Ribeiro; Sousa, Emanuel. "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
  2. Martins, J; Fonseca, JM; Costa, R; Campos, JC; Cunha, A; Macedo, N; Oliveira, JN. "Verification of railway network models with EVEREST". 2022.
    10.1145/3550355.3552439
  3. Machado, C; Campos, JC. "Towards the integration of user interface prototyping and model-based development". 2021.
  4. Campos, JC; Nicholas Graham, TC; Spano, LD; den Bergh, JV. "The Management of Risks and Benefits when Engineering Interactive Digital Systems". 2021.
  5. Couto, R; Campos, JC. "Improving Traces Visualisation through Layout Managers". 2019.
    10.1109/itcgi.2018.8602936
  6. Couto, R; Campos, JC. "IVY 2: A model-based analysis tool". 2019.
    10.1145/3319499.3328228
  7. Campos, JC; Harrison, MD. "Formal verification of interactive computing systems: Opportunities and challenges". 2019.
  8. Couto, R; Campos, JC. "High assurance on cyber-physical interactive systems". 2019.
  9. 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
  10. Araujo, JM; Couto, R; Campos, JC. "A generator of user interface prototypes for the IVY workbench". 2019.
    10.1109/icgi47575.2019.8955088
  11. 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
  12. Couto, R; Campos, JC; Macedo, N; Cunha, A. "Improving the Visualization of Alloy Instances". 2018.
    10.4204/eptcs.284.4
  13. 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
  14. Campos, JC; Sousa, N. "The MAL Interactors Animator: Supporting model validation through animation". 2018.
    10.1145/3220134.3220142
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. Couto, Rui; Ribeiro, António Nestor; Campos, José C.. "Avaliação de usabilidade da ferramenta uCat". 2017.
  21. Machado, Pedro; Couto, Rui; Campos, José C.. "Um editor tabular para modelação de interfaces". 2017.
  22. Couto, Rui; Ribeiro, António Nestor; Campos, José C.. "De requisitos a protótipos de UI: uma abordagem semi automatizada". 2017.
  23. Pinto, M; Goncalves, M; Masci, P; Campos, JC. "TOM: A Model-Based GUI Testing Framework". 2017.
    10.1007/978-3-319-68034-7_9
  24. 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
  25. 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
  26. Luyten, K.; Palanque, P.; Campos, J.C.; Schmidt, A.; Signer, B.; Roussel, N.. "Welcome to EICS 2016". 2016.
  27. 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
  28. Ziegler, J.; Nebeling, M.; Nigay, L.; Campos, J.; Winckler, M.. "Welcome to EICS 2015". 2015.
  29. 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
  30. 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
  31. 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.
  32. Machado, Marina; Campos, José C.; Couto, Rui. "MODUS: uma metodologia de prototipagem de interfaces baseada em modelos". 2015.
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. Silva, JC; Campos, JC; Saraiva, J; Silva, JL; Silva,JC; José Creissac Campos; João Alexandre Saraiva; José Luís Silva. "An Approach for Graphical User Interface External Bad Smells Detection". 2014.
    10.1007/978-3-319-05948-8_19
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. Silva, CE; Campos, JC; Silva,CE; José Creissac Campos. "Combining static and dynamic analysis for the reverse engineering of Web applications". 2013.
    10.1145/2480296.2480324
  46. 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.
  47. 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
  48. 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
  49. Campos, J.C.; Barbosa, S.D.J.; Palanque, P.; Kazman, R.; Harrison, M.; Reeves, S.. "Foreword". 2012.
  50. 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
  51. Rui Miguel Couto; António Nestor Ribeiro; José Creissac Campos. "A Patterns Based Reverse Engineering Approach for Java Source Code". 2012.
    http://dx.doi.org/10.1109/SEW.2012.21
  52. Couto, R.; Ribeiro, A.N.; Campos, J.C.. "A patterns based reverse engineering approach for Java source code". 2012.
    10.1109/SEW.2012.21
  53. Barbosa, A.; Paiva, A.C.R.; Campos, J.C.. "Test case generation from mutated task models". 2011.
    10.1145/1996461.1996516
  54. Freire, L; Arezes, PM; Campos, JC. "The importance of qualitative evaluation on E-learning systems". 2011.
  55. Machado, José Mendes; Campos, J. Creissac. "Partial plant models in formal verification of industrial automation discrete systems". 2011.
  56. Campos, J. Creissac; Machado, José Mendes. "Supporting requirements formulation in software formal verification". 2011.
  57. 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
  58. 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
  59. 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
  60. 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
  61. Freire, LL; Arezes, PM; Campos, JC. "Principles of Ergonomics and Design discussed through systems utilized for e-learning". 2010.
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. Silva, J.C.; Saraiva, J.; Campos, J.C.. "A generic library for GUI reasoning and testing". 2009.
    10.1145/1529282.1529307
  70. 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
  71. 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
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. Pinto, H; Jose, R; Campos, JC. "An interaction model and infrastructure for localized activities in pervasive computing environments". 2007.
    10.1109/perser.2007.4283921
  81. 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
  82. 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
  83. 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
  84. 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
  85. 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
  86. 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
  87. Fernandes, AR; Pereira, JR; Campos, JC. "Accessibility and visually impaired users". 2006.
    10.1007/1-4020-3675-2_37
  88. 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
  89. 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
  90. 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
  91. 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
  92. 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
  93. 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
  94. Fernandes, A; Pereira, J; Campos, JC. "Accessibility and Visually Impaired Users". 2004.
  95. 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
  96. 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
  97. 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
  98. 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
  99. Campos, JC. "A formal approach to the usability engineering". 2003.
  100. 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
  101. 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
  102. 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
  103. Campos, JC; Harrison, MD. "Formally verifying interactive systems: A review". 1997.
  104. J. C. Campos; F. M. Martins. "Context Sensitive User Interfaces". Trabalho apresentado em Formal Aspects of the Human Computer Interface, Sheffield, 1996.
    Publicado
  105. 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
  106. 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. João Carlos Silva; Campos, J. Creissac; João A. Saraiva; José L. Silva. "An approach for graphical user interface external bad smells detection". Advances in Intelligent Systems and Computing 276 1 (2014): 199-205. http://hdl.handle.net/1822/36508.
    Publicado
  15. Campos, J. Creissac. "High assurance interactive computing systems". HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems 1 (2014): 39-42.
    Publicado
  16. 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
  17. 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
  18. Silva, J.L.; Campos, J.C.; Harrison, M.D.; José Luís Silva; José Creissac Campos; Michael Douglas Harrison; Silva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael Douglas. "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
  19. Campos, JC; Doherty, G; Harrison, MD; José Creissac Campos; Doherty,G; Michael Douglas Harrison; 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
  20. 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". Sistemas e Tecnologias de Informação (CISTI 2013) 2 1 (2013): 142-146. http://hdl.handle.net/1822/26575.
    Publicado
  21. Silva, Carlos E.; Campos, José Creissac. "Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications". 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013) 1 (2013): 107-112. http://hdl.handle.net/1822/26601.
    Publicado
  22. Gomes, Tiago; Abade, Tiago; Harrison, Michael; Silva, José L.; Campos, José Creissac. "Developing Serious Games With The APEX Framework". Workshop on "Ubiquitous games and gamifiction for promoting behavior change and wellbeing" 1 (2013): 37-40. http://hdl.handle.net/1822/26577.
    Publicado
  23. Cruz, Paulo J.; Campos, José Creissac. "Ambiente de geração, mutação e execução de casos de teste para aplicações Web". Conferência Interação 2013 1 (2013): 45-52. http://hdl.handle.net/1822/26583.
    Publicado
  24. Abade, Tiago; Gomes, Tiago; Silva, José L.; Campos, José Creissac. "Avaliação de Ambientes Ubíquos na Plataforma APEX". Conferência Interação 2013 1 (2013): 177-178. http://hdl.handle.net/1822/26585.
    Publicado
  25. Gomes, Tiago; Abade, Tiago; Silva, José L.; Campos, José Creissac. "Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma". Conferência Interação 2013 1 (2013): 90-97. http://hdl.handle.net/1822/26591.
    Publicado
  26. 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
  27. 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
  28. Campos, JC; Machado, J; Campos, José Creissac; Machado, José; José Creissac Campos; Machado,J. "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
  29. 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
  30. Silva, Carlos Eduardo; Campos, J. Creissac; Silva, C.E.; Campos, J.C.. "Can GUI Implementation Markup Languages Be Used for Modelling?". Sem título 7623 1 (2012): 112-129. http://hdl.handle.net/1822/36514.
    Publicado • 10.1007/978-3-642-34347-6_7
  31. 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
  32. Campos, José. "Modelling and analysing the interactive behaviour of an infusion pump". Electronic Communications of the EASST (2011):
    10.14279/tuj.eceasst.45.641.657
  33. Campos, José. "GUI Inspection from Source Code Analysis". Electronic Communications of the EASST (2010):
    10.14279/tuj.eceasst.33.459
  34. Michael D. Harrison; José Creissac Campos; Harrison, MD; Campos, JC. "Analysing Human Aspects of Safety-Critical Software". ERCIM News 75 (2008): 18-18. http://ercim-news.ercim.org/images/stories/EN75/EN75-web.pdf.
    Publicado
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
Capítulo de livro
  1. José Creissac Campos; Laurence Nigay; Alan Dix; Anke Dittmar; Simone D. J. Barbosa; Lucio Davide Spano. "HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education". 2023.
    10.1007/978-3-031-42293-5_85
  2. Bruno Teixeira; José Creissac Campos. "Towards Automated Load Testing Through the User Interface". 2023.
    10.1007/978-3-031-42283-6_28
  3. Rafael Braga da Costa; José Creissac Campos. "Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design". 2023.
    10.1007/978-3-031-42283-6_27
  4. Philippe Palanque; José Creissac Campos. "AMAN Case Study". In Rigorous State-Based Methods - ABZ 2023. Springer, 2023.
    Publicado • 10.1007/978-3-031-33163-3_21
  5. José Creissac Campos; António Nestor Ribeiro. "Addressing Interactive Computing Systems’ Concerns in Software Engineering Degrees". 248-256. Springer International Publishing, 2022.
    10.1007/978-3-030-98388-8_22
  6. Sybille Caffiau; José C. Campos; Célia Martinie; Laurence Nigay; Philippe Palanque; Lucio Davide Spano. "Teaching HCI Engineering: Four Case Studies". 195-210. Springer International Publishing, 2022.
    10.1007/978-3-030-98388-8_18
  7. Konrad Baumann; José Creissac Campos; Alan Dix; Laurence Nigay; Philippe Palanque; Jean Vanderdonckt; Gerrit van der Veer; Benjamin Weyers. "HCI-E2: HCI Engineering Education". In For Developers, Designers and More. 2021.
    10.1007/978-3-030-85607-6_74
  8. Michael D. Harrison; Paolo Masci; José Creissac Campos. "Formal Modelling as a Component of User Centred Design". 2018.
    10.1007/978-3-030-04771-9_21
  9. Harrison, MD; Masci, PM; Campos, JC; Curzon, P; Michael Douglas Harrison; Paolo Masci; José Creissac Campos; Curzon,P. "The Specification and Analysis of Use Properties of a Nuclear Control System". Portugal, 2017.
    10.1007/978-3-319-51838-1_14
  10. Campos, José. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". 2012.
    10.5772/32931
  11. 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
  12. 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
  13. 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
  14. Campos, José Francisco Creissac Freitas de; Michael D. Harrison; Campos, JC; Harrison, MD. "Automated deduction and usability reasoning". In Encyclopedia of Human-Computer Interaction, 45-54. Reino Unido, Reino Unido: Idea Group Reference, 2006.
    Publicado • 10.4018/978-1-59140-562-7.ch008
  15. 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. Glässer, U; Campos, JC; Méry, D; Palanque, PA. Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. 2023.
  2. Ardito, C; Lanzilotti, R; Malizia, A; Lárusdóttir, M; Spano, LD; Campos, JC; Hertzum, M; et al. Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers. 2022.
  3. Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al. 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
  4. Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al. 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
  5. Campos, José. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017. 2017.
    10.1145/3102113
  6. Luyten, Kris; Palanque, Philippe; Campos, José C.; Schmidt, Albrecht. Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Portugal: Association for Computing Machinery (ACM). 2016.
  7. Barbosa, SDJ; Campos, JC; Kazman, R; Palanque, PA; Harrison, MD; Reeves, S. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. 2012.
  8. Campos, José Francisco Creissac Freitas de; Daniel Gonçalves; Teresa Romão; Luís Rato. 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.
  9. Teresa Chambel; Nuno J. Nunes; Teresa Romão; Campos, José Francisco Creissac Freitas de. 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.
Livro
  1. Moreira, S.; José, R.; Campos, J.C.. An empirical study on immersive prototyping dimensions. 2013.
    10.1007/978-3-642-39232-0_46
Resumo em conferência
  1. Silva, C; Mouta, S; Basso, D; Santos, J; Campos, J. "Distance Perception in Immersive Environments - The Role of Photorealism". 2015.
  2. Silva, CCL; Mouta, S; Santos, JA; Creissac, J. "Spatial limits for audiovisual unity assumption". 2014.
  3. 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
  4. 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
  5. 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
  6. 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
  7. J. C. Campos; A. R. Fernandes. "Testing AudioBrowser". Trabalho apresentado em HCI International -- 11th International Conference on Human-Computer Interaction, Las Vegas, 2005.
    Publicado
  8. 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
  9. 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
  10. 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. Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. 2021. Ait Ameur, Y; Bowen, J; Campos, J; Palanque, P; Weyers, B.
    10.1093/iwc/iwab005
  2. Welcome to the First Issue of PACMHCI EICS. [Extract] It is our great pleasure to welcome you to the first issue of PACMHCI EICS, which features full papers appearing at the 9th ACM SIGCHI Symposium on Engineering Interactive Systems (EICS’17). The conference takes place in Lisbon, Portugal on 26-29 June, 2017. EICS gathers researchers that aim to improve the ways we build interactive systems. Building interactive systems is a multi-faceted. 2017. Calvary, Gaelle; Nichols, Jeffrey; Campos, José C.; Nunes, Nuno; Campos, Pedro; Calvary, G; Nichols, J; et al. http://hdl.handle.net/1822/51058.
    10.1145/3106386
  3. A specification patterns system for discrete event systems analysis. As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express properties of a system's behavior is needed in order to guarantee that properties correctly encode the intent of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skillful process. Erro. 2013. Campos, J. Creissac; Machado, José Mendes. http://hdl.handle.net/1822/26489.
    10.5772/56412
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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
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
2018 - Atual Membro da comissão científica da INTUITESTBEDS – International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software [2018-] (2018)
2015 - Atual Membro da comissão científica da SAC – The ACM/SIGAPP Symposium on Applied Computing/Software Engineering track [2015-] (2015)
2015 - Atual Membro da comissão científica da IDE – Workshop on Formal Integrated Development Environment [2015-] (2015)
2012 - Atual Membro da comissão científica da IUI – ACM International Conference on Intelligent User Interfaces [2020-2018, 2015, 2013, 2012] (2012)
2009 - Atual Membro da comissão científica da EICS – The ACM SIGCHI Symposium on Engineering Interactive Computing Systems [2009-] (2009)
2006 - Atual Membro da comissão científica da FMIS – International Workshop on Formal Methods for Interactive Systems [2006-] (2006)
2005 - Atual Membro da comissão científica da INTERACT – IFIP TC13 Conference on Human-Computer Interaction [2005-] (2005)
2018/07/17 - 2019/10/11 Financial chair do 3rd World Congress on Formal Methods (FM'19) (2019/10/07 - 2019/10/11)
Congresso (Membro da Comissão Organizadora)
 Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade do Minho, Portugal
2019 - 2019/10 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/06 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)
2016 - 2017/07/29 Co-presidente (com N. Nunes, IST, Portugal) 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/08 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 revista

Nome da revista (ISSN) Editora
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
2011 - Atual International Journal of Human-Computer Studies (1095-9300) Elsevier
2009 - Atual Software Testing Verification and Reliability (1099-1689) Wiley (John Wiley & Sons)
1999 - Atual ACM Transactions on Computer-Human Interaction (1557-7325) Association for Computing Machinery

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
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
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 Fundação para a Ciência e a Tecnologia
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
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
Avaliador
 Fondo para la Investigación Científica y Tecnológica, Argentina Fondo para la Investigación Científica y Tecnológica
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
2016 - 2016 Avaliação de uma proposta de projecto para o FWO – The Research Foundation Flanders
Avaliador
 Fonds Wetenschappelijk Onderzoek Vlaanderen, Bélgica Fonds Wetenschappelijk Onderzoek Vlaanderen
2008 - 2008 Avaliação de uma proposta de projecto para o EPSRC – Engineering and Physical Sciences Research Council, Reino Unido
Avaliador
 Engineering and Physical Sciences Research Council, Reino Unido Engineering and Physical Sciences Research Council

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
2014 - Atual Sistemas Interativos Cursos de Mestrado em Informática e em Engenharia Informática (Mestrado) Universidade do Minho, Portugal
2008 - Atual Desenvolvimento de Sistemas 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
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
2017 - Atual Formal Methods Europe Membro
2015/03 - Atual Institute of Electrical and Electronics Engineers (IEEE)
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
2020/10 - Atual Editorial Board da ACM Proceedings on Human-Computer Interaction
Membro
 Association for Computing Machinery, Estados Unidos
2020/01 - Atual Presidente da Comissão de Steering do ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)
Presidente / Vice-presidente
2018/07 - Atual Membro da Comissão de Coordenação do Laboratório de Software Confiável (HASLab – High- Assurance Software Laboratory)
Membro
 Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2017/03 - Atual Membro do IFIP TC13 – IFIP Technical Committee 13 on Human-Computer Interaction
Membro
 International Federation for Information Processing (IFIP), Austrália
2017/02 - Atual Membro da 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
2016/06 - Atual Membro do IFIP TC2 – IFIP Technical Committee 2 on Software: Theory and Practice
Membro
 International Federation for Information Processing (IFIP), Austrália
2016/06 - Atual Chair do IFIP Working Group 2.7/13.4 on User Interface Engineering
Presidente / Vice-presidente
 International Federation for Information Processing (IFIP), Austrália
2016/05 - Atual Membro da Comissão Directiva do Programa Doutoral em Informática da Universidade do Minho.
Membro
 Universidade do Minho Escola de Engenharia, Portugal
2007/11 - Atual Membro do IFIP Working Group 2.7/13.4 on User Interface Engineering
Membro
 International Federation for Information Processing (IFIP), Austrália

Outro júri / avaliação

Descrição da atividade Instituição / Organização
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
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

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

2016 Certificate of Outstanding Contribution in Reviewing
International Journal of Human-Computer Studies, Países Baixos
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
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

2019 ACM SIGCHI Recognition of Excellent Service
ACM SIGCHI - Special Interest Group on Computer-Human Interaction, Estados Unidos