[Photo - click for the photo]
esta página em português ...
José Creissac Campos
Department of Informatics, School of Engineering, University of Minho & HASLab / INESC TEC
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: jose.campos@di / Office: Ei 2.10 / Tel.: +351 253 60 4447 / Fax.: +351 253 60 4471
My research interests focus on Interactive Systems Engineering, at the intersection of Formal Methods, Software Engineering, and Human-Computer Interaction. I have a particular interest in automated reasoning techniques and tools. I am the current chair of IFIP working group 2.7/13.4 on User Interface Engineering and a Senior Member of the ACM.
Past research
Working with me
IFIP WG 2.7/13.4
FCT public key: J009310PW0L9
ORCID: 0000-0001-9163-580X
Recent Publications (see more...):
Verification Templates for the Analysis of User Interface Software Design (IEEE Transactions on Software Engineeringvisit publisher   download  
IVY 2 - A model-based analysis tool (The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019visit publisher  
Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine (Science of Computer Programmingvisit publisher  
Current Projects:
High-Assurance Medical Cyber-physical Systems (NanoStima - RL1.4) (P2020) [PI]
Trustworthy Software Design with Alloy (TRUST) (POCI-01-0145-FEDER-016826)
OutSystems Learnability Model (OutSystems)
Current Supervisions (research proposals):
Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
Conferences (pc - programme committee / oc - organising committee):
3rd World Congress on Formal Methods (FM 2019) [oc]
8th Formal Methods for Interactive Systems workshop (FMIS 2019) (co-located with FM 2019) [oc]
The 24rd ACM Conference on Intelligent User Interfaces (ACM IUI 2019) [pc]
The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (ACM EICS 2019) [pc]
2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems (HCI Engineering 2019) (co-located with EICS 2019) [oc]
The 34rd ACM/SIGAPP Symposium on Applied Computing (ACM SAC 2019) / Software Engineering Track [pc]
The 17th IFIP TC.13 International Conference on Human-Computer Interaction - INTERACT 2019 [pc]
2nd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS 2019) [pc]
20th international conference Interaccion 2019 [pc]
5th Workshop on Formal Integrated Development Environment (F-IDE 2019) [pc]
2nd International Conference on Graphics and Interaction (ICGI 2019) [pc]
3rd EAI International Conference on Technology, Innovation, Entrepreneurship and Education (TEI 2019) [pc]
Know more here... (in portuguese)
jfc © 2010