![[Photo - click for the photo]](images/jfc-logo-bw.png)
-
![[UM]](images/corReitoria50.gif)
![[EEng]](images/eng50.gif)
![[HASLab/INESC TEC]](images/haslab-logo50.jpg)
esta página em português
-
José Creissac Campos
- Research
-
- Recent Publications (see more...):
- Verification Templates for the Analysis of User Interface Software Design (IEEE Transactions on Software Engineering)
- IVY 2 - A model-based analysis tool (The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019)
- Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine (Science of Computer Programming)
- Current Projects:
- Trustworthy Software Design with Alloy (TRUST) (POCI-01-0145-FEDER-016826)
- OutSystems Learnability Model 2 (OutSystems)
- Current Supervisions (research proposals):
- Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
- Conferences (pc - programme committee / oc - organising committee):
- 2nd International Conference on Graphics and Interaction (ICGI 2019), November 21-22, 2019 [pc]
- 25th ACM International Conference on Intelligent User Interfaces (IUI 2020), March 17-20, 2020 [Senior pc]
- 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), March 30-April 3, 2020 [pc]
- Lectures
- Know more here... (in portuguese)
jfc © 2010