???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.
Read full resume ↓
Identification

Personal identification

Full name
José Francisco Creissac Freitas de Campos

Citation names

  • José Creissac Campos
  • José C. Campos

Author identifiers

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

Email addresses

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

Addresses

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

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
French Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Spanish; Castilian Intermediate (B1) Intermediate (B1) Intermediate (B1) Beginner (A1)
Education
Degree Classification
2020/06/04
Concluded
 Provas de Agregação (Título de Agregado)
Major in Informática
Universidade do Minho, Portugal
 Aprovado por unanimidade
2001
Concluded
 D.Phil. in Computer Science (Doutoramento)
University of York, United Kingdom
"Automated Deduction and Usability Reasoning" (THESIS/DISSERTATION)
1993
Concluded
 Mestrado em Informática (Mestrado)
Universidade do Minho, Portugal
"GAMA-X: Geração Semi-Automática de Interfaces Sensíveis ao Contexto" (THESIS/DISSERTATION)
 Muito Bom
1985 - 1991
Concluded
 Engenharia de Sistemas e Informática (Licenciatura)
Universidade do Minho, Portugal
"Desenvolvimento de Interfaces Assistidas para Protótipos Funcionais" (THESIS/DISSERTATION)
 16
Affiliation

Science

Category
Host institution 		Employer
2013/11/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Universidade do Minho Escola de Engenharia, Portugal
2007/04 - 2007/12 Visiting Researcher (Research) Newcastle University, United Kingdom

Teaching in Higher Education

Category
Host institution 		Employer
2020/12/14 - Current Associate Professor (University Teacher) Universidade do Minho, Portugal
Universidade do Minho, Portugal
2000/08/01 - 2020/12/14 Assistant Professor (University Teacher) Universidade do Minho, Portugal
2015/04/06 - 2015/04/17 Visiting Professor (University Teacher) Universidade Pedagogica, Mozambique
1993/12 - 2000/07 Assistant (University Teacher) Universidade do Minho, Portugal
1991/10 - 1993/11 Trainee Assistant (University Teacher) Universidade do Minho, Portugal
1988/10 - 1990/07 Tutor (University Teacher) Universidade do Minho, Portugal

Others

Category
Host institution 		Employer
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
Projects

Contract

Designation Funders
2022/01/01 - 2033/06 SpecRep - Constraint-based Specification Repair
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2016 - 2019 Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Researcher
Fundação para a Ciência e a Tecnologia
Ongoing
2015/07 - 2018/06 High-Assurance Medical Cyber-physical Systems
NORTE-01-0145-FEDER-000016
Principal investigator
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
Researcher
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
Principal investigator
Ministério da Ciência Tecnologia e Ensino Superior
Concluded
2011/02 - 2014/07 APEX - Agile Prototyping for user EXperience
116069
Provided by PTCRIS: 116069
Principal investigator
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
Researcher
Agência Nacional de Inovação SA
2010/05 - 2013/07 SSaaPP: SpreadSheets as a Programming Paradigm
108613
Provided by PTCRIS: 108613
Researcher
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
Researcher
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
Researcher
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
Principal investigator
Fundação para a Ciência e a Tecnologia, I.P.

Other

Designation Funders
2020/10/26 - 2022/03/25 DigiLightRail
DLR
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Efacec Power Solutions
Concluded
2020/05 - 2020/11 Collaborative Visual Development
CVD
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 OutSystems
Concluded
2019/05/01 - 2020/03/31 OutSystems Learnability Model II
OLM II
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Centro de Computação Gráfica, Portugal

OutSystems, Portugal
OutSystems
Concluded
2018/05/01 - 2019/01/31 OutSystems Learnability Model
OLM
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Centro de Computação Gráfica, Portugal

OutSystems, Portugal
OutSystems
Concluded
2010/01 - 2011/08 GWS - Global Weighing Solutions
n/a
Principal investigator
Universidade do Minho, Portugal
 Cachapuz
Concluded
2010/01 - 2010/10 DataPeers Test Data Generator
n/a
Researcher
Universidade do Minho, Portugal
 IT Peers – Serviços em Tecnologia de Informação, S.A.
Concluded
2008/07 - 2010/06 InPACT - Integrated Engineering Tools for Protection, Automation and Control Systems
n/a
Principal investigator
Centro de Computação Gráfica, Portugal
 Efacec Power Solutions
Concluded
Outputs

Publications

Book
  1. Moreira, S.; José, R.; Campos, J.C.. An empirical study on immersive prototyping dimensions. 2013.
    10.1007/978-3-642-39232-0_46
Book chapter
  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.
    Published • 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, United Kingdom: Springer, 2008.
    Published • 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, France: Cambridge University Press, 2008.
    Published
  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.
    Published • 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, United Kingdom: Idea Group Reference, 2006.
    Published • 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, Netherlands: Springer, 2006.
    Published
Conference abstract
  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". Paper presented in CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, Guimarães, 2006.
    Published
  4. S. Rodrigues; J. C. Campos; A. N. Ribeiro. "Adaptação de interfaces com o utilizador em dispositivos móveis". Paper presented in CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, Guimarães, 2006.
    Published
  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". Paper presented in HCI International 2005 -- 11th International Conference on Human-Computer Interaction, Las Vegas, 2005.
    Published
  7. J. C. Campos; A. R. Fernandes. "Testing AudioBrowser". Paper presented in HCI International -- 11th International Conference on Human-Computer Interaction, Las Vegas, 2005.
    Published
  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". Paper presented in VII Simpósio Internacional de Informática Educativa - SIIE'05, Leiria, 2005.
    Published
  9. A. Mano; J. C. Campos. "Aplicação de um Cognitive Walkthrough - estudo de caso". Paper presented in Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, Lisboa, 2004.
    Published
  10. J. C. Campos. "Integrating Automated Verification into Interactive Systems Development". Paper presented in 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, Honolulu, 1998.
    Published
Conference paper
  1. José C. Campos; Cunha, Alcino; Nuno Macedo; Iara Margolis Ribeiro; Sousa, Emanuel. "Assessing the impact of hints in learning formal specification". Paper presented in IEEE/ACM International Conference on Software Engineering (SEET track), 2024.
    Accepted
  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". Paper presented in FMIS 2010 -- 8th Formal Methods for Interactive Systems workshop, 2019.
    In press • 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.
    Published
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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". Paper presented in Interacção 2010, Aveiro, 2010.
    Published
  58. J. C. Silva; C. E. Silva; José Creissac Campos; J. Saraiva. "GUI Behavior from Source Code Analysis". Paper presented in Interacção 2010, Aveiro, 2010.
    Published
  59. P. Borges; E. Villani; J. Machado; J. Ferreira; José Creissac Campos. "Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais". Paper presented in XIV International Congress on Project Engineering, Madrid, 2010.
    Published
  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". Paper presented in IFAC Workshop on Intelligent Control Systems 2010, Sinaia, 2010.
    Published
  64. José Luís Silva; José Creissac Campos; Michael D. Harrison. "An infrastructure for experience centered agile prototyping of ambient intelligence". Paper presented in ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), Pittsburgh, 2009.
    Published • 10.1145/1570433.1570450
  65. José Creissac Campos; Sandrine Mendes. "FlexiXML: Um animador de modelos UsiXML". Paper presented in 17o. Encontro Português de Computação Gráfica, Viseu, 2009.
    Published
  66. Marco Antonio Barbosa; Luís Soares Barbosa; José Creissac Campos. "A coordination model for interactive components". Paper presented in 3rd International Conference on Fundamentals of Software Engineering (FSEN 2009), Kish Island, 2009.
    Published • 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". Paper presented in 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Moscovo, 2009.
    Published • 10.3182/20090603-3-ru-2001.0425
  68. Campos, JC; Harrison, MD; José Creissac Campos; Michael D. Harrison. "Interaction Engineering Using the IVY Tool". Paper presented in ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), Pittsburgh, 2009.
    Published • 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". Paper presented in 3a. Conferência Nacional em Interacção Pessoa-Máquina, Évora, 2008.
    Published
  72. N. Guerreiro; S. Mendes; V. Pinheiro; J. C. Campos. "AniMAL - a user interface prototyper and animator for MAL interactor models". Paper presented in 3a. Conferência Nacional em Interacção Pessoa-Máquina, Évora, 2008.
    Published
  73. J. C. Campos; M. D. Harrison; Campos, J.C.; Harrison, M.D.. "Systematic analysis of control panel interfaces using formal tools". Paper presented in XVth International Workshop on the Design, Verification and Specification of Interactive Systems, Kingston, 2008.
    Published • 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". Paper presented in XVth International Workshop on the Design, Verification and Specification of Interactive Systems, Kingston, 2008.
    Published • 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". Paper presented in Engineering Interactive Systems 2008, Salamanca, 2008.
    Published • 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". Paper presented in 17th IFAC World Congress 2008, Seoul, 2008.
    Published • 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". Paper presented in 19th International Congress of Mechanical Engineering (COBEM 2007), Brasília, 2007.
    Published
  78. A. N. Ribeiro; J. C. Campos; F. Martins. "Integrating HCI concerns into a UML based Software Engineering course". Paper presented in HCI Educators 2007, Aveiro, 2007.
    Published
  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". Paper presented in The XIII International Workshop on Design, Specification and Verification of Interactive Systems, Dublin, 2007.
    Published • 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". Paper presented in 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga, 2006.
    Published
  83. A. Mano; J. C. Campos. "Cognitive walkthroughs in the evaluation of user interfaces for children". Paper presented in Interacção 2006 -- Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, Porto, 2006.
    Published
  84. J. C. Silva; J. C. Campos; J. Saraiva. "Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing". Paper presented in 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga, 2006.
    Published
  85. J. C. Silva; J. C. Campos; J. Saraiva. "Models for the Reverse Engineering of Java/Swing Applications". Paper presented in 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering, Génova, 2006.
    Published
  86. N. M. E. Sousa; J. C. Campos. "IVY Trace Visualiser". Paper presented in 2a. Conferência Nacional em Interacção Pessoa-Máquina, Braga, 2006.
    Published
  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". Paper presented in 12th International Workshop on Design, Specification and Verification of Interactive Systems, Newcastle upon Tyne, 2005.
    Published • 10.1007/11752707_16
  89. A. Mano; J. C. Campos. "A study on usability criteria regarding interfaces for children". Paper presented in Workshop on Child Computer Intercation: Methodological Reasearch, 10th IFIP International Conference on Human Computer Interaction -- Interact 2005, Roma, 2005.
    Published
  90. J. C. Campos. "The modelling gap between software engineering and human-computer interaction". Paper presented in ICSE 2004 Workshop: Bridging the Gaps II, Edinburgo, 2004.
    Published
  91. J. C. Campos. "Análise de usabilidade baseada em modelos". Paper presented in Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, Lisboa, 2004.
    Published
  92. J. C. Campos; M. D. Harrison; Karsten Loer; Campos, JC; Harrison, MD; Loer, K. "Verifying user interface behaviour with model checking". Paper presented in Verification and Validation of Enterprise Information Systems -- VVEIS 2004, Porto, 2004.
    Published
  93. A. R. Fernandes; J. R. Pereira; J. C. Campos. "Accessibility and Visually Impaired Users". Paper presented in 6th International Conference on Enterprise Information Systems, Porto, 2004.
    Published
  94. Fernandes, A; Pereira, J; Campos, JC. "Accessibility and Visually Impaired Users". 2004.
  95. J. C. Campos. "Uma abordagem formal à Engenharia da Usabilidade". Paper presented in Congresso Latino-Americano de Interacção Humano-Computador, Rio de Janeiro, 2003.
    Published
  96. J. C. Campos; Campos, J.C.. "Using task knowledge to guide interactor specifications analysis". Paper presented in 10th International Workshop on Design, Specification and Verification of Interactive Systems, Funchal, 2003.
    Published • 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". Paper presented in 10th International Workshop on Design, Specification and Verification of Interactive Systems - DSV-IS 2003, Funchal, 2003.
    Published • 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". Paper presented in Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE '2003 workshop, Portland, 2003.
    Published
  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". Paper presented in Design, Specification and Verification of Interactive Systems '99, Braga, 1999.
    Published
  101. G. Doherty; J. C. Campos; M. D. Harrison. "Representational Reasoning and Verification". Paper presented in BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, Sheffield, 1998.
    Published
  102. Campos, JC; Harrison, MD; J. C. Campos; M. D. Harrison. "The role of verification in interactive systems design". Paper presented in Design, Specification and Verification of Interactive Systems '98, Abingdon, 1998.
    Published
  103. Campos, JC; Harrison, MD. "Formally verifying interactive systems: A review". 1997.
  104. J. C. Campos; F. M. Martins. "Context Sensitive User Interfaces". Paper presented in Formal Aspects of the Human Computer Interface, Sheffield, 1996.
    Published
  105. J. C. Campos; F. M. Martins. "O Sistema GAMA - Arquitectura e Implementação". Paper presented in 6o. Encontro Português de Computação Gráfica, Aveiro, 1994.
    Published
  106. J. C. Campos; F. M. Martins. "GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema". Paper presented in 5o. Encontro Português de Computação Gráfica, Braga, 1993.
    Published
Edited book
  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.
Journal article
  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.
    Published
  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.
    Published
  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.
    Published • 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.
    Published
  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.
    Published
  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.
    Published
  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.
    Published
  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.
    Published
  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.
    Published
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published
  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/.
    Published • 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/.
    Published • 10.1007/PL00003934
Thesis / Dissertation
  1. Campos, J. Creissac; José, Rui; Moreira, Samuel. "Simulating ubiquitous computing environments". Master, 2013. http://hdl.handle.net/1822/28040.

Other

Other output
  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
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2021/05/28 Formal Methods for User-Centred Design Informatics Seminars, University of Leicester
Prof. Effie Law (Online, United Kingdom)
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, Spain)
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, France)
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, Germany)
2014/11/27 Design of an AAL System Using APEX
Universidade de A Coruña (Ferrol, Spain)
2014/10/24 Enabling participatory Design of an AAL System Using Virtual reality Prototypes
Queen Mary University of London (Londres, United Kingdom)
2014/04/24 Utilização de Realidade Virtual para conceber uma Casa Inteligente
Universidade Pedagógica (Maputo, Mozambique)
2012/05/29 Formal Analysis of Ubiquitous Computing Environments
Queen Mary University of London (Londres, United Kingdom)
2012/04/19 Verificação formal de interfaces com o usuário
Instituto de Aeronáutica e Espaço (São José dos Campos, Brazil)
2007/08/09 Considering Context and Users in Interactive Systems Analysis with the IVY workbench
Universidade de Swansea (Swansea, País de Gales, United Kingdom)
2007/08 Considering Context and Users in Interactive Systems Analysis with the IVY workbench HUM project workshop
Universidade de Londres (UCL, QueenMary) (Londres, United Kingdom)
2005/09/26 Interacção Humano-Computador no DI/CCTC, UM
Escola Superior de Enxeñería Informática, Universidade de Vigo (Ourense, Spain)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2018 - 2019 Gerador de protótipos de interfaces gráficas
Supervisor of 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
Supervisor of Carlos César Loureiro Silva
 Programa Doutoral em Informática (PhD)
Universidade do Minho, Portugal
2017 - 2018 Modern Front-End Web Development
Supervisor of António Manuel Pereira do Anjo
 Mestrado integrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2017 - 2018 Design and development of an arcade simulation environment for PVSio-web
Co-supervisor of José Carlos Silva Brandão Gonçalves
 Mestrado integrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2017 - 2018 Simulação de dispositivos médicos em Android
Co-supervisor of André Miguel Bonjardim Pinto
 Mestrado integrado em Engenharia Informática (Master)
2017 - 2018 Teste baseado em modelos de aplicações Android
Supervisor of Pedro Miguel Braga do Vale
 Mestrado integrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2017 - 2018 JxAppDev Framework for Hybrid Applications: Hybrid Desktop/Web Application Development
Co-supervisor of Ricardo Ribeiro Ferreira
 Mestrado integrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2016 - 2018 Aplicações Multimédia Educacionais: Estímulo à Aprendizagem da Geometria Descritiva
Co-supervisor of Sérgio Cumbucane Estefáneo Witimisse
 Mestrado em Design e Multimédia (Master)
Universidade Pedagógica de Moçambique, Mozambique
2012 - 2017/06 Pattern Based Software Development
Co-supervisor of Rui Miguel Silva Couto
 Programa Doutoral em Informática (PhD)
Universidade do Minho, Portugal
2016 - 2017 A Tabular Editor for MAL Interactors
Supervisor of Pedro Filipe da Costa Machado
 Mestrado em Engenharia Informática (Master)
2016 - 2017 A Library of User Interface Widgets Prototypes for Car Dashboards
Supervisor of Henrique Jorge Caldas Pacheco
 Mestrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2016 - 2017 Model-based Testing of User Interfaces
Supervisor of 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
Supervisor of Luís Miguel Carvalho Pinto
 Mestrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2015 - 2016 Minium Recorder – Browser interaction recording
Supervisor of José Miguel Morais Morgado
 Mestrado em Engenharia Informática
Universidade do Minho, Portugal
2010 - 2015/01 Reverse Engineering of Web Applications
Supervisor of Carlos Eduardo Bastos e Marques da Silva
 Programa Doutoral MAP-i (PhD)
Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

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

Instituto Tecnológico de Aeronáutica, Brazil
2012 - 2013 Improving the usability of web applications: more results with less effort
Supervisor of Fábio Samuel Coelho da Silva
Universidade do Minho, Portugal
2012 - 2013 Simulating Ubiquitous Computing Environments
Supervisor of 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
Supervisor of Nuno Miguel Milhases da Silva
Universidade do Minho, Portugal
2008 - 2012/11 An infrastructure for experience centred agile prototyping of ambient intelligence
Supervisor of José Luís Cardoso da Silva
 Programa Doutoral MAP-i (PhD)
Universidade do Minho, Portugal

Universidade do Porto, Portugal

Universidade de Aveiro, Portugal
2011 - 2012 WildAniMAL: MAL Interactors Model Animator
Supervisor of Nuno Miguel Eira de Sousa
Universidade do Minho, Portugal
2011 - 2012 Safety Critical Interactive Computing Systems’ Modelling
Supervisor of Manuel António Freitas de Sousa
Universidade do Minho, Portugal
2011 - 2012 Concepção da CAZ Framework
Supervisor of 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
Supervisor of Joaquim Alberto da Costa Anacleto
Universidade do Minho, Portugal
2010 - 2011 Integrating a 3D Application Server with a CAVE
Supervisor of 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
Co-supervisor of João Carlos Cardoso da Silva
 Doutoramento em Informática (PhD)
Universidade do Minho, Portugal
2009 - 2010 Software Seguro para Sistemas Mecatrónicos Temporizados
Co-supervisor of Paulo André Mendes Borges
Universidade do Minho, Portugal
2009 - 2010 Reverse Engineering of Rich Internet Applications
Supervisor of Carlos Eduardo Silva
Universidade do Minho, Portugal
2008 - 2009 FlexiXML – Um animador de modelos de interfaces com o utilizador
Supervisor of Sandrine Alves Mendes
Universidade do Minho, Portugal
2003 - 2005 Interfaces de computador para crianças – avaliação e construção
Supervisor of Alexandre Sérgio Mano
Universidade do Minho, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018 - Current 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 - Current Membro da comissão científica da SAC – The ACM/SIGAPP Symposium on Applied Computing/Software Engineering track [2015-] (2015)
2015 - Current Membro da comissão científica da IDE – Workshop on Formal Integrated Development Environment [2015-] (2015)
2012 - Current Membro da comissão científica da IUI – ACM International Conference on Intelligent User Interfaces [2020-2018, 2015, 2013, 2012] (2012)
2009 - Current Membro da comissão científica da EICS – The ACM SIGCHI Symposium on Engineering Interactive Computing Systems [2009-] (2009)
2006 - Current Membro da comissão científica da FMIS – International Workshop on Formal Methods for Interactive Systems [2006-] (2006)
2005 - Current 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)
Congress (Member of the Organising Committee)
 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)
Workshop (Co-organisor)
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)
Workshop (Co-organisor)
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)
Symposium (President of the Organising Committee)
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)
Conference (Co-organisor)
2014 - 2015 Late-Breaking Results co-chair da ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS2015) (2015/06/23 - 2015/06/26)
Symposium (Member of the Organising Committee)
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)
Workshop (Co-organisor)
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)
Conference
2012 - 2013 Doctoral Consortium co-chair do ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013) (2013/06/24 - 2013/06/27)
Symposium (Member of the Organising Committee)
2011 - 2012 Co-presidente da EICS 2012: 4rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2012/06/25 - 2012/06/28)
Conference (President of the Organising Committee)
2010 - 2011 Tutorials co-chair da IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011) (2011/09/05 - 2011/09/09)
Conference
2010 - 2011 Finance Chair da International Conference on Software Language Engineering (SLE 2011) (2011/07/03 - 2011/07/09)
Conference (Member of the Organising Committee)
2005 - 2006 Co-presidente da Interacção 2006 – 2a. Conferência Nacional de Interacção Pessoa-Máquina (2006/10 - 2006/10)
Conference (President of the Organising Committee)
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)
Workshop (Member of the Organising Committee)
1996 - 1996 Membro da Comissão Organizadora local do Encontro Nacional de Informática ’96 (1996 - 1996)
Conference (Member of the Organising Committee)
1993 - 1994 Membro da Comissão Organizadora local do Encontro Português de Computação Gráfica (EPCG’94) (1993/02 - 1993/02)
Conference (Member of the Organising Committee)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2022/02/23 Cultural Gestures and Virtual and Augmented Reality to enable Non-Experts to Explore Systemic Concepts and Complexity
(Thesis) Arguer
 Luís Miguel Alves Fernandes (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/12/20 Lightweight Trustworthy High-Level Software Design
Thesis Member
 Liu Chong (PhD)
Universidade do Minho, Portugal
2021/07/21 Safety Verification for ROS Applications
Thesis Member
 André Filipe Faria dos Santos (PhD)
Universidade do Minho, Portugal
2020/07 Formal Modelling and Analysis of Safety-Critical Interactive Systems using Coloured Petri Nets
(Thesis) Arguer
 Sapna Jaidka (PhD)
The University of Waikato, New Zealand
2018/12 Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking
Thesis Member
 Giovanna Broccia (PhD)
Università degli Studi di Pisa, Italy
2017/01 Automated Pattern-Based Testing of Mobile Applications
(Thesis) Arguer
 Inês Coimbra Morgado (PhD)
Universidade do Porto, Portugal
2015/12 Model-drivenSoftware Development with Alloy
(Thesis) Arguer
 Ana Gabriela Garis (PhD)
Universidad Nacional de San Luis, Argentina
2015/12 HI3: una aproximación integrada a la construcción de sistemas de Inteligencia Ambiental
(Thesis) Arguer
 Alejandro Paz López (PhD)
Universidade da Coruña, Spain
2015/12 Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision
(Thesis) Arguer
 Raquel Araújo de Oliveira (PhD)
Université Grenoble Alpes, France
2015/07 Pattern-Based GUI Testing
(Thesis) Arguer
 Rodrigo Manuel Lopes de Matos Moreira (PhD)
Universidade do Porto, Portugal
2015/06 AutonomousAdapta- tion of User Interfaces During Application Mobility Processes in Ambient Intelligence Scenarios
(Thesis) Arguer
 Gervasio Varela Fernández (PhD)
Universidade da Coruña, Spain
2014/05 Structural Usability Techniques for Dependable HCI
(Thesis) Arguer
 Andrew Gimblett (PhD)
Swansea University, United Kingdom
2012/04 Web Interaction Environments: Characterising Web Accessibility at the Large
Thesis Member
 Rui Miguel do Nascimento Dias Lopes (PhD)
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
(Thesis) Arguer
 Marco António de Oliveira Monteiro (PhD)
Universidade de Trás-os-Montes e Alto Douro, Portugal
2011/03 Model-based Spreadsheet Engineering
Thesis Member
 Jácome Miguel Costa da Cunha (PhD)
Universidade do Minho, Portugal
2009/09 Um modelo de grupos para aplicações interactivas distribuídas
(Thesis) Arguer
 Carmen Pires Morgado (PhD)
Universidade Nova de Lisboa, Portugal
2009/09 Specification and Refinement of Software Connectors
Thesis Member
 Marco António de Castro Barbosa (PhD)
Universidade do Minho, Portugal
2008/09 An activity-centered ubiquitous computing framework for supporting occasional human activities in public places
Thesis Member
 Hélder Manuel da Silva Pinto (PhD)
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
President of the jury
 Susana Gómez Carnero (PhD)
Universidade de Vigo, Spain
2007/04 Editor MetaSketch: Construção Reflexiva de Linguagens de Modelação
Thesis Member
 Leonel Domingos Telo Nóbrega (PhD)
Universidade da Madeira, Portugal
2007/02 Automated Specification-Based Testing of Graphical User Interfaces
Thesis Member
 Ana Cristina Ramada Paiva Pimenta (PhD)
Universidade do Porto, Portugal
2005/04 An Adaptation Methodology For The Presentation Of Multimedia Contents In The Virtual Home Environment
(Thesis) Arguer
 José Manuel Soares Oliveira (PhD)
Universidade do Porto, Portugal
2003/10 Sistematização da Animação de Programas
Thesis Member
 Maria João Tinoco Varanda Pereira (PhD)
Universidade do Minho, Portugal

Association member

Society Organization name Role
2017 - Current Formal Methods Europe Membro
2015/03 - Current Institute of Electrical and Electronics Engineers (IEEE)
2004/07 - Current Eurographics
2004/07 - Current Grupo Português de Computação Gráfica (GPCG) Membro por inerência, em virtude de ser membro da Eurographics.
2001/08 - Current Association for Computing Machinery Membro Sénior desde dezembro de 2017

Committee member

Activity description
Role 		Institution / Organization
2020/10 - Current Editorial Board da ACM Proceedings on Human-Computer Interaction
Member
 Association for Computing Machinery, United States
2020/01 - Current Presidente da Comissão de Steering do ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)
President / Vice-president
2018/07 - Current Membro da Comissão de Coordenação do Laboratório de Software Confiável (HASLab – High- Assurance Software Laboratory)
Member
 Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2017/03 - Current Membro do IFIP TC13 – IFIP Technical Committee 13 on Human-Computer Interaction
Member
 International Federation for Information Processing (IFIP), Australia
2017/02 - Current Membro da Comissão de Curso da Licenciatura em Ciências da Computação da Universidade do Minho.
Member
 Universidade do Minho Escola de Ciências, Portugal
2016/06 - Current Membro do IFIP TC2 – IFIP Technical Committee 2 on Software: Theory and Practice
Member
 International Federation for Information Processing (IFIP), Australia
2016/06 - Current Chair do IFIP Working Group 2.7/13.4 on User Interface Engineering
President / Vice-president
 International Federation for Information Processing (IFIP), Australia
2016/05 - Current Membro da Comissão Directiva do Programa Doutoral em Informática da Universidade do Minho.
Member
 Universidade do Minho Escola de Engenharia, Portugal
2007/11 - Current Membro do IFIP Working Group 2.7/13.4 on User Interface Engineering
Member
 International Federation for Information Processing (IFIP), Australia

Consulting

Activity description Institution / Organization
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), Brazil

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2014 - Current Sistemas Interativos Cursos de Mestrado em Informática e em Engenharia Informática (Mestrado) Universidade do Minho, Portugal
2008 - Current Desenvolvimento de Sistemas Software Licenciatura/Mestrado Integrado em Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2007 - Current 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, Mozambique
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

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2018/01 - Current 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.
Evaluator
 Ministry of Business, Innovation and Employment, New Zealand
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
Evaluator
 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.
Evaluator
 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.
Evaluator
 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
Evaluator
 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).
Evaluator
 Agenzia Nazionale Di Valutazione Del Sistema Universitario E Della Ricerca, Italy
2016 - 2016 Avaliação de uma proposta de projecto para o FWO – The Research Foundation Flanders
Evaluator
 Fonds Wetenschappelijk Onderzoek Vlaanderen, Belgium Fonds Wetenschappelijk Onderzoek Vlaanderen
2008 - 2008 Avaliação de uma proposta de projecto para o EPSRC – Engineering and Physical Sciences Research Council, Reino Unido
Evaluator
 Engineering and Physical Sciences Research Council, United Kingdom Engineering and Physical Sciences Research Council

Interview (newspaper / magazine)

Activity description Newspaper / 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

Interview (tv / radio show)

Program Topic
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

Journal scientific committee

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

Mentoring / Tutoring

Topic Student name
2016/02 - 2017/05 Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems. Saulo Rodrigues e Silva

Other jury / evaluation

Activity description Institution / Organization
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, Belgium
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, South Africa
Distinctions

Award

2016 Certificate of Outstanding Contribution in Reviewing
International Journal of Human-Computer Studies, Netherlands
2016 ACM SIG Governing Body Recognition of Service Award.
Association for Computing Machinery, United States
2016 EICS 2016 Best Paper Honourable Mention Award
8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Belgium
2016 Best Paper Honourable Mention Award
8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Belgium
2012 ACM SIG Governing Body Recognition of Service Award
Association for Computing Machinery, United States
2009 BCS HCI International Excellence Award
BSC The Chartered Institute for IT, United Kingdom

Title

2017 ACM Senior Member
Association for Computing Machinery, United States

Other distinction

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