José Francisco Creissac Freitas de Campos (3F14-8E2B-22A5)

Curriculum Vitae

José Francisco Creissac Freitas de Campos

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

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

http://www.di.uminho.pt/~jfc (Professional)

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
2023/10/01 - Current	Coordinating Researcher (Research)	INESC Porto, Portugal

2011/11/01 - 2023/09/30	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
2025/10/01 - Current	Invited Full Professor (University Teacher)	Université de Toulouse, France
	Université Toulouse III Paul Sabatier - IRIT (Institut de Recherche en Informatique de Toulouse), France
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
2021/01/01 - 2025/12/31	INESC TEC - Strategic Project (FCT funding) LA/P/0063/2020 10.54499/LA/P/0063/2020 168195UID Researcher Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2022/01/01 - 2023/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 Concluded
2019/01 - 2019/12	INESC TEC - Strategic Project (FCT funding) 154759UID UID/EEA/50014/2019 Researcher Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2016 - 2019	Trustworthy Software Design with Alloy POCI-01-0145-FEDER-016826 Researcher	Fundação para a Ciência e a Tecnologia Concluded
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 Concluded
2012/04 - 2015/09	Pattern-Based GUI Testing 119479 Provided by PTCRIS: 119479 PTDC/EIA-EIA/119479/2010 Researcher Universidade do Porto Faculdade de Engenharia, Portugal Universidade do Minho, Portugal	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluded
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 PTDC/EIA-EIA/116069/2009 Principal investigator	Fundação para a Ciência e a Tecnologia Concluded
2012/06 - 2014/05	PROVA - Platform for Software Verification and Validation FCOMP-01-0202-FEDER- 023137 Researcher	Agência Nacional de Inovação SA Concluded
2011/01/01 - 2013/12/31	Projecto Estratégico - UI 752 - 2011-2012 PEst-OE/EEI/UI0752/2011 Universidade do Minho, Portugal Universidade do Minho Centro ALGORITMI, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2010/05 - 2013/07	SSaaPP: SpreadSheets as a Programming Paradigm 108613 Provided by PTCRIS: 108613 PTDC/EIA-CCO/108613/2008 Researcher Universidade do Minho, Portugal Universidade do Minho Centro ALGORITMI, Portugal	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluded
2010/03 - 2013/06	CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software 108995 Provided by PTCRIS: 108995 PTDC/EIA-CCO/108995/2008 Researcher Universidade do Minho, Portugal Universidade do Minho Centro ALGORITMI, Portugal	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluded
2005/08/25 - 2008/06/30	Safety Control of Automated Production Systems (SCAPS) POCI/EME/61425/2004 Provided by PTCRIS: 61425 61425 Researcher Universidade do Minho, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2005/07/01 - 2008/06/30	IVY - A model-based usability analysis environment POSC/EIA/56646/2004 Principal investigator Universidade do Minho Centro ALGORITMI, Portugal Universidade do Porto Faculdade de Engenharia, Portugal Instituto de Engenharia de Sistemas e Computadores, Portugal Universidade do Minho, Portugal	Fundação para a Ciência e a Tecnologia Concluded

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 GWS Principal investigator Universidade do Minho, Portugal	Cachapuz Concluded
2010/01 - 2010/10	DataPeers Test Data Generator TDG 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 InPACT Principal investigator Centro de Computação Gráfica, Portugal	Efacec Power Solutions Concluded

Outputs

Publications

Book chapter	João Gomes; Mário Arcipreste; Miguel Gomes; José Creissac Campos. "Towards a More Natural Approach to Property Specification in the IVY Workbench". In Human-Computer Interaction - INTERACT 2025, 509-531. Springer, 2026. 10.1007/978-3-032-05005-2_26 Spano, Lucio Davide; Palanque, Philippe; Martinie, Célia; Campos, José Creissac; Schmidt, Albrecht; Barricelli, Barbara Rita; ElAgroudy, Passant; Luyten, Kris. "Workshop proposal: Engineering Methods for HCI and UX in AI-Driven Systems". In Human-Computer Interaction – INTERACT 2025, 351-357. Springer Nature Switzerland, 2026. Published • 10.1007/978-3-032-05008-3_66 José Creissac Campos; Harrison, Michael D.. "Formal Approaches for Interactive Systems". In Handbook of Human Computer Interaction, 1-28. Springer Nature Switzerland, 2025. 10.1007/978-3-319-27648-9_120-1 Ezequiel José Veloso Ferreira Moreira; José Creissac Campos. "On the Role of Generative AI in Explaining Model Checking Counterexamples". In Engineering Interactive Computer Systems. Springer, 2025. Published • 10.1007/978-3-031-91760-8_10 Lucio Davide Spano; José Creissac Campos; Anke Dittmar; Peter Forbrig. "An Online Repository for Educational Resources in HCI-Engineering". In Design for Equality and Justice, 183-200. Springer, 2024. 10.1007/978-3-031-61688-4_19 Lucio Davide Spano; José Creissac Campos; Anke Dittmar. "Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education". In Design for Equality and Justice, 177-182. Springer, 2024. Published • 10.1007/978-3-031-61688-4_18 Ezequiel José Veloso Ferreira Moreira; José Creissac Campos. "Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language". In Engineering Interactive Computer Systems, 179-197. Springer, 2024. 10.1007/978-3-031-59235-5_15 José Creissac Campos; Laurence Nigay; Alan Dix; Anke Dittmar; Simone D. J. Barbosa; Lucio Davide Spano. "Workshop proposal: HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education". In Human-Computer Interaction – INTERACT 2023. INTERACT 2023, 632-637. Springer, 2023. Published • 10.1007/978-3-031-42293-5_85 Bruno Teixeira; José Creissac Campos. "Towards Automated Load Testing Through the User Interface". In Human-Computer Interaction – INTERACT 2023, 514-522. Springer, 2023. 10.1007/978-3-031-42283-6_28 Rafael Braga da Costa; José Creissac Campos. "Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design". In Human-Computer Interaction – INTERACT 2023, 504-513. Springer, 2023. 10.1007/978-3-031-42283-6_27 Philippe Palanque; José Creissac Campos. "AMAN Case Study". In Rigorous State-Based Methods - ABZ 2023, 265-283. Springer, 2023. Published • 10.1007/978-3-031-33163-3_21 José Creissac Campos; António Nestor Ribeiro. "Addressing Interactive Computing Systems’ Concerns in Software Engineering Degrees". In Sense, Feel, Design, 248-256. Springer International Publishing, 2022. 10.1007/978-3-030-98388-8_22 Sybille Caffiau; José C. Campos; Célia Martinie; Laurence Nigay; Philippe Palanque; Lucio Davide Spano. "Teaching HCI Engineering: Four Case Studies". In Sense, Feel, Design, 195-210. Springer International Publishing, 2022. 10.1007/978-3-030-98388-8_18 Konrad Baumann; José Creissac Campos; Alan Dix; Laurence Nigay; Philippe Palanque; Jean Vanderdonckt; Gerrit van der Veer; Benjamin Weyers. "Workshop proposal: HCI-E2: HCI Engineering Education: For Developers, Designers and More". In Human-Computer Interaction – INTERACT 2021, 542-547. Springer, 2021. 10.1007/978-3-030-85607-6_74 Michael D. Harrison; Paolo Masci; José Creissac Campos. "Formal Modelling as a Component of User Centred Design". In Software Technologies: Applications and Foundations, 275-289. Springer, 2018. 10.1007/978-3-030-04771-9_21 Harrison, MD; Masci, PM; Campos, JC; Curzon, P. "The Specification and Analysis of Use Properties of a Nuclear Control System". In The Handbook of Formal Methods in Human-Computer Interaction, 379-403. Springer, 2017. Published • 10.1007/978-3-319-51838-1_14 Moreira, Samuel; José, Rui; Campos, José Creissac. "An Empirical Study on Immersive Prototyping Dimensions". In Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 421-430. Springer Berlin Heidelberg, 2013. 10.1007/978-3-642-39232-0_46 Silva, Carlos Eduardo; Campos, J. Creissac. "Can GUI Implementation Markup Languages Be Used for Modelling?". In Human Centred Software Engineering (HCSE 2012), 112-129. Sem local: Springer, 2012. Published • 10.1007/978-3-642-34347-6_7 Campos, José Creissac; Saraiva, João; Silva, Carlos; Silva, João Carlos. "GUIsurfer: A Reverse Engineering Framework for User Interface Software". In Reverse Engineering - Recent Advances and Applications. InTech, 2012. 10.5772/32931 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 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 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 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	Barricelli, Barbara Rita; Campos, José Creissac; Luyten, Kris; Mayer, Sven; Palanque, Philippe; Panizzi, Emanuele; Spano, Lucio Davide; Stumpf, Simone. "Engineering Interactive Systems Embedding AI Technologies (3rd workshop on)". Paper presented in EICS '25 Companion: Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2025. Published • 10.1145/3731406.3735965 Campos, José Creissac; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paternò, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean. "Panel: 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey". Paper presented in EICS '24 Companion: Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2024. 10.1145/3660515.3663603 Silva, C; Mouta, S; Basso, D; Santos, J; Campos, J. "Distance Perception in Immersive Environments - The Role of Photorealism". 2015. Campos, J. Creissac. "High assurance interactive computing systems". Paper presented in HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, 2014. Silva, CCL; Mouta, S; Santos, JA; Creissac, J. "Spatial limits for audiovisual unity assumption". 2014. Gomes, Tiago; Abade, Tiago; Harrison, Michael; Silva, José L.; Campos, José Creissac. "Developing Serious Games With The APEX Framework". Paper presented in Workshop on "Ubiquitous games and gamification for promoting behavior change and wellbeing", 2013. Abade, Tiago; Gomes, Tiago; Silva, José L.; Campos, José Creissac. "Avaliação de Ambientes Ubíquos na Plataforma APEX". Paper presented in Conferência Interação 2013, 2013. Published 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 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 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 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 J. C. Campos; A. R. Fernandes. "Testing AudioBrowser". Paper presented in HCI International -- 11th International Conference on Human-Computer Interaction, Las Vegas, 2005. Published 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 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 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	Castro, João Peixoto; Campos, José Creissac. "Automating Code Generation from User Interface Prototypes". Paper presented in 2025 International Conference on Graphics and Interaction (ICGI), 2025. Published • 10.1109/icgi68463.2025.11302722 Ezequiel José Veloso Ferreira Moreira; José Creissac Campos. "A Language for Explaining Counterexamples". Paper presented in 13th Symposium on Languages, Applications and Technologies (SLATE 2024), 2024. Published José C. Campos; Cunha, Alcino; Nuno Macedo; Iara Margolis Ribeiro; Sousa, Emanuel; Alcino Cunha; Nuno Macedo; et al. "Assessing the impact of hints in learning formal specification". Paper presented in IEEE/ACM International Conference on Software Engineering (SEET track), 2024. Accepted • 10.1145/3639474.3640050 Martins, João; Fonseca, José M.; Costa, Rafael; Campos, José C.; Cunha, Alcino; Macedo, Nuno; Oliveira, José N.. "Verification of railway network models with EVEREST". Paper presented in 25th International Conference on Model Driven Engineering Languages and Systems (MODELS'22), 2022. 10.1145/3550355.3552439 Machado, C; Campos, JC. "Towards the integration of user interface prototyping and model-based development". Paper presented in 2021 International Conference on Graphics and Interaction (ICGI), 2021. Campos, JC; Nicholas Graham, TC; Spano, LD; den Bergh, JV. "Workshop proposal: The Management of Risks and Benefits when Engineering Interactive Digital Systems". Paper presented in EICS '21: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2021. Couto, R; Campos, JC. "Improving Traces Visualisation through Layout Managers". Paper presented in 2018 International Conference on Graphics and Interaction (ICGI), 2019. 10.1109/itcgi.2018.8602936 Couto, R; Campos, JC. "IVY 2: A model-based analysis tool". Paper presented in EICS '19: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019. 10.1145/3319499.3328228 Campos, JC; Harrison, MD. "Formal verification of interactive computing systems: Opportunities and challenges". 2019. Couto, R; Campos, JC. "High assurance on cyber-physical interactive systems". 2019. 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 Araujo, JM; Couto, R; Campos, JC. "A generator of user interface prototypes for the IVY workbench". 2019. 10.1109/icgi47575.2019.8955088 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 Couto, R; Campos, JC; Macedo, N; Cunha, A. "Improving the Visualization of Alloy Instances". 2018. 10.4204/eptcs.284.4 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 Campos, JC; Sousa, N. "The MAL Interactors Animator: Supporting model validation through animation". 2018. 10.1145/3220134.3220142 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 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 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 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 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 Couto, Rui; Ribeiro, António Nestor; Campos, José C.. "Avaliação de usabilidade da ferramenta uCat". 2017. Machado, Pedro; Couto, Rui; Campos, José C.. "Um editor tabular para modelação de interfaces". 2017. Couto, Rui; Ribeiro, António Nestor; Campos, José C.. "De requisitos a protótipos de UI: uma abordagem semi automatizada". 2017. Pinto, M; Goncalves, M; Masci, P; Campos, JC. "TOM: A Model-Based GUI Testing Framework". 2017. 10.1007/978-3-319-68034-7_9 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 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 Luyten, K.; Palanque, P.; Campos, J.C.; Schmidt, A.; Signer, B.; Roussel, N.. "Welcome to EICS 2016". 2016. 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 Ziegler, J.; Nebeling, M.; Nigay, L.; Campos, J.; Winckler, M.. "Welcome to EICS 2015". 2015. 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 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 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. Machado, Marina; Campos, José C.; Couto, Rui. "MODUS: uma metodologia de prototipagem de interfaces baseada em modelos". 2015. 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 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 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 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 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 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 Silva, JC; Campos, JC; Saraiva, J; Silva, JL; Silva,JC; José Creissac Campos; João Alexandre Saraiva; et al. "An Approach for Graphical User Interface External Bad Smells Detection". 2014. 10.1007/978-3-319-05948-8_19 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 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 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 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 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 Cruz, Paulo J.; Campos, José Creissac. "Ambiente de geração, mutação e execução de casos de teste para aplicações Web". Paper presented in Conferência Interação 2013, 2013. Published Gomes, Tiago; Abade, Tiago; Silva, José L.; Campos, José Creissac. "Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma". Paper presented in Conferência Interação 2013, 2013. Published Silva, CE; Campos, JC; Silva,CE; José Creissac Campos; Silva, Carlos E.; Campos, José Creissac. "Combining static and dynamic analysis for the reverse engineering of Web applications". 2013. 10.1145/2480296.2480324 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. 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 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 Campos, J.C.; Barbosa, S.D.J.; Palanque, P.; Kazman, R.; Harrison, M.; Reeves, S.. "Foreword". 2012. 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 Rui Miguel Couto; António Nestor Ribeiro; José Creissac Campos; Couto, R.; Ribeiro, A.N.; Campos, J.C.. "A Patterns Based Reverse Engineering Approach for Java Source Code". 2012. http://dx.doi.org/10.1109/SEW.2012.21 Barbosa, A.; Paiva, A.C.R.; Campos, J.C.. "Test case generation from mutated task models". 2011. 10.1145/1996461.1996516 Freire, L; Arezes, PM; Campos, JC. "The importance of qualitative evaluation on E-learning systems". 2011. Machado, José Mendes; Campos, J. Creissac. "Partial plant models in formal verification of industrial automation discrete systems". 2011. Campos, J. Creissac; Machado, José Mendes. "Supporting requirements formulation in software formal verification". 2011. 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 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 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 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". Paper presented in Sistemas e Tecnologias de Informação (CISTI 2013), 2010. Published 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 Freire, LL; Arezes, PM; Campos, JC. "Principles of Ergonomics and Design discussed through systems utilized for e-learning". 2010. 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 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 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 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 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 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 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 Silva, J.C.; Saraiva, J.; Campos, J.C.. "A generic library for GUI reasoning and testing". 2009. 10.1145/1529282.1529307 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 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 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 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 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 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 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 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 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 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 Pinto, H; Jose, R; Campos, JC. "An interaction model and infrastructure for localized activities in pervasive computing environments". 2007. 10.1109/perser.2007.4283921 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 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 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 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 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 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 Fernandes, AR; Pereira, JR; Campos, JC. "Accessibility and visually impaired users". 2006. 10.1007/1-4020-3675-2_37 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 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 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 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 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 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 Fernandes, A; Pereira, J; Campos, JC. "Accessibility and Visually Impaired Users". 2004. 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 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 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 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 Campos, JC. "A formal approach to the usability engineering". 2003. 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 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 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 Campos, JC; Harrison, MD. "Formally verifying interactive systems: A review". 1997. J. C. Campos; F. M. Martins. "Context Sensitive User Interfaces". Paper presented in Formal Aspects of the Human Computer Interface, Sheffield, 1996. Published 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 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	Alves, Tomás; José Creissac Campos, ed. 2025 International Conference on Graphics and Interaction (ICGI). IEEE. 2025. Zaina, Luciana; José Creissac Campos; SPANO, LUCIO DAVIDE; Luyten, Kris; Palanque, Philippe; Gerrit van der Veer; Ebert, Achim; Humayoun, Shah Rukh; Memmesheimer, Vera Marie, ed. Engineering Interactive Computer Systems. Springer. 2025. Marto, Anabela; José Creissac Campos, ed. 2024 International Conference on Graphics and Interaction (ICGI). IEEE. 2024. Published Glässer, U; Campos, JC; Méry, D; Palanque, PA, ed. Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Springer. 2023. Published Ardito, C; Lanzilotti, R; Malizia, A; Lárusdóttir, M; Spano, LD; Campos, JC; Hertzum, M; et al, ed. Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers. Springer. 2022. Published Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al, ed. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. 2020. 10.1007/978-3-030-54997-8 Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al, ed. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. 2020. 10.1007/978-3-030-54994-7 Campos, José; Nunes, Nuno Jardim, ed. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017. 2017. 10.1145/3102113 Luyten, Kris; Palanque, Philippe; Campos, José C.; Schmidt, Albrecht, ed. Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Portugal: Association for Computing Machinery (ACM). 2016. Barbosa, SDJ; Campos, JC; Kazman, R; Palanque, PA; Harrison, MD; Reeves, S, ed. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. 2012. Campos, José Francisco Creissac Freitas de; Daniel Gonçalves; Teresa Romão; Luís Rato, ed. Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina. Évora, Portugal: Grupo Português de Computação Gráfica. 2008. José Creissac Campos; Daniel Gonçalves; Teresa Romão; Luis Rato, ed. Actas do Interacção 2008 - 3ª Conferência Interacção Pessoa-Máquina. 2008. Published Teresa Chambel; Nuno J. Nunes; Teresa Romão; Campos, José Francisco Creissac Freitas de, ed. Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina. Braga, Portugal: Grupo Português de Computação Gráfica. 2006.
Encyclopedia entry	Campos, José Creissac; Michael D. Harrison. "Automated deduction and usability reasoning". In Encyclopedia of Human-Computer Interaction. Idea Group Reference, 2006. http://www.igi-pub.com/reference/details.asp?id=4467. Published • 10.4018/978-1-59140-562-7.ch008
Journal article	Harrison, MD; Masci, P; Campos, JC. "Balancing the Formal and the Informal in User-centred Design". INTERACTING WITH COMPUTERS (2021): 10.1093/iwcomp/iwab012 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 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 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 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 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 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 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 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 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 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 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 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 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 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 José Luís Silva; José Creissac Campos; Michael Douglas Harrison. "Prototyping and analysing ubiquitous computing environments using multiple layers". International Journal of Human Computer Studies 72 5 (2014): 488-506. http://www.scopus.com/inward/record.url?eid=2-s2.0-84896998013&partnerID=MN8TOARS. 10.1016/j.ijhcs.2014.02.001 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 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 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 Campos, JC; Machado, J; Campos, José Creissac; Machado, José; José Creissac Campos; Machado,J; Campos, J. Creissac; Machado, José Mendes. "A Specification Patterns System for Discrete Event Systems Analysis". INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS 10 1 (2013): 1-10. http://repositorio.inesctec.pt/handle/123456789/4132. Published • 10.5772/56412 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 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 Campos, José; Harrison, Michael. "Modelling and analysing the interactive behaviour of an infusion pump". Electronic Communications of the EASST (2011): 10.14279/tuj.eceasst.45.641.657 J.C. Silva; Campos, José; Saraiva, João. "GUI Inspection from Source Code Analysis". Electronic Communications of the EASST (2010): 10.14279/tuj.eceasst.33.459 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 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 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 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 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 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
Journal issue	Alves, Tomás; José Creissac Campos; Chalmers, Alan. "Special section on Recent Advances in Graphics and Interaction 2025". Computers & Graphics (2026): https://www.sciencedirect.com/special-issue/10R1S821219. Published • Invited editor Marto, Anabela; José Creissac Campos; Johnsen, Kyle. "Special section on Recent Advances in Graphics and Interaction 2024". Computers & Graphics 130 (2025): Published • Invited editor Ameur, Yamine Ait; Bowen, Judy; José Creissac Campos; Palanque, Philippe; Weyers, Benjamin. "Special issue on Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems". Interacting with Computers 33 1 (2021): Calvary, Gaelle; Nichols, Jeffrey; José Creissac Campos; Nunes, Nuno Jardim; Campos, Pedro José Ramos Moreira de. "First issue of PACMHCI EICS". Proceedings of the ACM on Human-Computer Interaction 1 EICS (2017): Published
Magazine article	Michael D. Harrison; José Creissac Campos. "Analysing Human Aspects of Safety-Critical Software", ERCIM News, 2008, http://ercim-news.ercim.org/images/stories/EN75/EN75-web.pdf.
Thesis / Dissertation	Campos, J. Creissac; José, Rui; Moreira, Samuel. "Simulating ubiquitous computing environments". Master, 2013. http://hdl.handle.net/1822/28040.

Other

Other output

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

Activities

Oral presentation

	Presentation title	Event name Host (Event location)
2025/11/21	Bridging Formal Methods and User-Centred Design	café FSL, Dept. Reliability Systems and Software, IRIT
2021/10/21	Formal Methods for User-centred Design	Verifiability Talk series Verifiability Node UK (United Kingdom)
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
2024 - 2025	Support tool for the Cognitive Walkthrough Supervisor of Ricardo Lopes de Lucena	Engenharia Informática (Master) Universidade do Minho, Portugal
2024 - 2025	Automatização do desenvolvimento de aplicações web Supervisor of João Paulo Peixoto Castro	Engenharia Informática (Master) Universidade do Minho, Portugal
2024 - 2025	Executable user interface prototypes Supervisor	Engenharia Informática (Master) Universidade do Minho, Portugal
2023 - 2025	Automação de testes de carga Supervisor of Francisco Alberto do Fundo Novo	Engenharia Informática (Master) Universidade do Minho, Portugal
2023 - 2025	TakeMy Data - Segmentação de Utilizadores com IA Supervisor of Marco António Rodrigues Sampaio	Engenharia Informática (Master) Universidade do Minho, Portugal
2023 - 2024	Hospitality Interfaces - For a Property Management System Supervisor of João Luís Lopes Giesteira	Engenharia Informática (Master) Universidade do Minho, Portugal
2022 - 2023	e-Saúde - Design e Desenvolvimento de Serviços Web de Telemonitorização Supervisor of Carlos João Teixeira Preto	Engenharia Informática (Master) Universidade do Minho, Portugal
2022 - 2023	Análise de cenários para especificação de interfaces web Supervisor of Rui Alexandre da Costa Gonçalves	Engenharia Informática (Master) Universidade do Minho, Portugal
2022 - 2023	Deteção de conflitos em programas de Home Automation Supervisor of Pedro Miguel Dias Veloso	Engenharia Informática (Master) Universidade do Minho, Portugal
2022 - 2023	Gestão de templates através de web builders WYSIWYG Supervisor of Bruna Filipa Abreu Peixoto	Engenharia de Sistemas (Master) Universidade do Minho, Portugal
2021 - 2023	Aplicação móvel para inventário Supervisor of Ricardo Loureiro da Silva	Engenharia Informática (Master) Universidade do Minho, Portugal
2021 - 2022	Automação de Testes de Carga a partir da Interface Gráfica com o Utilizador Supervisor of Bruno Miguel Fernandes Teixeira	Engenharia Informática (Master) Universidade do Minho, Portugal
2021 - 2022	Improving human resources management via UX/UI Supervisor of Maria Moutinho Figueiredo da Silva	Engenharia Informática (Master) Universidade do Minho, Portugal
2021 - 2022	Formal models based interactive prototypes Supervisor of Miguel André da Silva Solino	Engenharia Informática (Master) Universidade do Minho, Portugal
2021 - 2022	A new models editor for the IVY Workbench Supervisor of Rui Filipe Moreira Mendes	Engenharia Informática (Master) Universidade do Minho, Portugal
2009 - 2022	Método Integrado para Avaliação de Usabilidade em E-Learning Co-supervisor of Luciana Lopes Freire	Engenharia Industrial e de Sistemas (PhD) Universidade do Minho, Portugal
2020 - 2021	Modelação de Frameworks de Desenvolvimento Web Supervisor of Catarina Araújo Machado	Engenharia Informática (Master) Universidade do Minho, Portugal
2020 - 2021	Sistematização do desenvolvimento de interfaces web Supervisor of Nelson Tiago Silva Sousa	Engenharia Informática (Master) Universidade do Minho, Portugal
2019 - 2020	Animating user interface prototypes with formal models Supervisor of Rafael Braga Gomes da Costa	Engenharia Informática (Master) Universidade do Minho, Portugal
2019 - 2020	Microinteractions in Business Applications Supervisor of Gonçalo Gomes Marques	Engenharia Informática (Master) Universidade do Minho, Portugal
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
2025 - 2025	Program chair da ICGI 2025 — International Conference on Graphics and Interaction (2025/11/13 - 2025/11/14) Conference (Member of the Scientific Committee)
2025 - 2025	EMUXAI@INTERACT 2025 — Workshop on Engineering Methods for HCI and UX in AI-Driven Systems (2025/09/09 - 2025/09/09) Workshop (Co-organisor)
2025 - 2025	EISEAIT@EICS 2025 — Workshop on Engineering Interactive Systems Embedding AI Technologies (2025/06/24 - 2025/06/24) Workshop (Co-organisor)
2025 - 2025	SubCommittee chair da INTERACT 2025 - IFIP TC13 International Conference on Human-Computer Interaction (2025/09/08 - 2025/09/12) Conference (Member of the Scientific Committee)
2024 - 2024	Program chair da ICGI 2024 — International Conference on Graphics and Interaction (2024/11/07 - 2024/11/08) Conference (Member of the Scientific Committee)
2023 - 2024	Technical Program chair da EICS 2024 - The 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2024/06/24 - 2024/06/28) Conference (Member of the Organising Committee)
2023 - 2023	SubCommittee chair da INTERACT 2023 - IFIP TC13 International Conference on Human-Computer Interaction (2023/08/28 - 2023/09/01) Conference (Member of the Scientific Committee)
2022 - 2022	Tech Notes chair da EICS 2022 - The 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2022/06/21 - 2022/06/24) Conference (Member of the Organising Committee)
2021 - 2021	Management of Risks and Benefits when Engineering Interactive Digital Systems (@ EICS 2021) (2021/06/08 - 2021/06/08) Workshop (Co-organisor)
2021 - 2021	HCI-E2 @ INTERACT 2021 — Workshop on HCI Engineering Education (2021/08/31 - 2021/08/31) Workshop (Co-organisor)
2019 - 2020	NII Shonan Meeting — Engineering Methods and Techniques for Interactive Systems (cancelled – COVID) (2020/05/18 - 2020/05/21) Meeting (Co-organisor)
2019 - 2019	Co-organizador da 8th Formal Methods for Interactive Systems workshop (FMIS’19), co-located with FM 2019. (2019/10/07 - 2019/10/07) Workshop (Co-organisor)
2019 - 2019	Co-organizador da HCI Engineering 2019, workshop co-localizada com o ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019) (2018/06/17 - 2018/06/18) Workshop (Co-organisor)
2018 - 2019	Financial chair do 3rd World Congress on Formal Methods (FM'19) (2019/10/07 - 2019/10/11) Congress (Member of the Organising Committee)
2016 - 2017	Co-presidente 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	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

Ad Hoc journal article review

	Journal title (ISSN)	Publisher
2021 - Current	International Journal of Human-Computer Interaction	Taylor & Francis
2021 - Current	Array	Elsevier
2020 - Current	International Journal of Medical Informatics	Elsevier
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
2012 - Current	Science of Computer Programming	Elsevier
2011 - Current	International Journal of Human-Computer Studies (1095-9300)	Elsevier
2011 - Current	Empirical Software Engineering	Springer
2009 - Current	Software Testing Verification and Reliability (1099-1689)	Wiley (John Wiley & Sons)
2007 - Current	Innovations in System and Software Engineering	Springer
2006 - Current	Cognition Technology and Work	Springer
1999 - Current	ACM Transactions on Computer-Human Interaction (1557-7325)	Association for Computing Machinery

Association member

	Society Organization name	Role
2025 - Current	Ordem dos Engenheiros	Membro
2016 - Current	Formal Methods Europe	Membro
2015/03 - Current	Institute of Electrical and Electronics Engineers (IEEE)	Membro IEEE de 2015 a 2025. Membro da IEEE SMC Society a partir de 2025.
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
2026/02/02 - Current	Deputy head of INESC TEC's Hub at the University of Minho (INESCTEC.UMINHO) President / Vice-president	Universidade do Minho Escola de Engenharia, Portugal
2022/11 - Current	Comissão de Curso da Licenciatura em Engenharia Informática da Universidade do Minho. Diretor de Curso desde 04/2025. Member	Universidade do Minho, Portugal
2022/11 - Current	Comissão de Curso do Mestrado em Engenharia Informática da Universidade do Minho Member
2018/07 - Current	Comissão de Coordenação do Laboratório de Software Confiável do INESC TEC (HASLab – High-Assurance Software Laboratory) Member	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2017 - Current	IFIP TC13 on Human-Computer Interaction. Interrupção na participação entre 2022 e 2025. Representante de Portugal desde 11/2025.	International Federation for Information Processing, Austria
2016/05 - Current	Comissão Directiva do Programa Doutoral em Informática da Universidade do Minho. Member	Universidade do Minho Escola de Engenharia, Portugal
2011 - Current	Comissão de Steering do ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS). Interrupção na participação entre 2014 e 2015. Presidente da comissão entre 2020 e 2024. President / Vice-president
2007/11 - Current	Membro do IFIP Working Group 2.7/13.4 on User Interface Engineering. Chair de 2016 a 2022. Member	International Federation for Information Processing (IFIP), Australia
2017/02 - 2022/11	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
2020/10 - 2022/06	Editorial Board, ACM Proceedings on Human-Computer Interaction Member	Association for Computing Machinery, United States
2016/06 - 2022	IFIP TC2 – IFIP Technical Committee 2 on Software: Theory and Practice Member	International Federation for Information Processing (IFIP), Australia

Conference scientific committee

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

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
2022 - Current	Interface Pessoa-Máquina	Engenharia Informática (Licenciatura)	Universidade do Minho, Portugal
2022 - Current	Sistemas Interativos Confiáveis	Engenharia Informática (Mestrado integrado)	Universidade do Minho, Portugal
2008 - Current	Desenvolvimento de Sistemas de 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
2014 - 2021	Sistemas Interativos	Cursos de Mestrado em Informática e em Engenharia Informática (Mestrado)	Universidade do Minho, Portugal
2019 - 2020	Seminars	Curso de doutoramento MAP-i (Doutoramento)	Universidade do Minho, Portugal Universidade de Aveiro, Portugal Universidade do Porto, Portugal
2017 - 2018	Programação Imperativa	Licenciatura em Ciências da Computação e Mestrado integrado em Engenharia Física (Mestrado integrado)	Universidade do Minho, Portugal
2013 - 2016	Interactive Computing Systems	Curso de doutoramento MAP-i (Doutoramento)	Universidade do Minho, Portugal Universidade de Aveiro, Portugal Universidade do Porto, Portugal
2015/04/13 - 2015/04/24	Tecnologias de Interfaces	Mestrado em Design & Multimedia (Master)	Universidade Pedagogica, 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
2026/03 - Current	Membro do júri do Prémio Professor José Luís Encarnação, 2026.	Grupo Português de Computação Gráfica , Portugal
2018/01 - 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
2021 - 2021	Participação no exercício de Avaliação da Qualidade da Investigação em Itália (VQR 2015-2019). Evaluator	Agenzia Nazionale Di Valutazione Del Sistema Universitario E Della Ricerca, Italy
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
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
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

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
2022 - Current	ACM Proceedings on Human-Computer Interaction, EICS Track Editorial Board	ACM

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
2025 - 2025	NSERC — evaluation of an Alliance-Mitacs proposal,	Natural Sciences and Engineering Research Council of Canada, Canada
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
2017 - 2017	Avaliação de uma proposta de projecto para o programa PICT 2017 do Fondo para la Investigación Científica y Tecnológica ( FONCYT), Argentina	Fondo para la Investigación Científica y Tecnológica, Argentina
2016 - 2016	Avaliação de uma proposta de projecto para o FWO – The Research Foundation Flanders	Fonds Wetenschappelijk Onderzoek Vlaanderen, 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
2008 - 2008	Avaliação de uma proposta de projecto para o EPSRC – Engineering and Physical Sciences Research Council, Reino Unido	Engineering and Physical Sciences Research Council, United Kingdom

Distinctions

Award

2019	ACM SIGCHI Recognition of Excellent Service ACM SIGCHI - Special Interest Group on Computer-Human Interaction, United States
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
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

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