![[Photo - click for a different photo]](images/jfc08intran.JPG)
-
![[UM]](images/corReitoria50.gif)
![[EEng]](images/eng50.gif)
esta página em português
-
José Creissac Campos
- Research
-
- Recent Publications (see more...):
- Automated theorem proving for the systematic analysis of interactive systems
- Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications
- A Specification Patterns System for Discrete Event Systems' Analysis
- Reusing models and properties in the analysis of similar interactive devices
- Current Projects:
- PROVA - Platform for Software Verification and Validation (AdI)
- PBGT - Pattern Based GUI Testing (FCT, started 01/04/2012 - 3 years)
- APEX - Agile Prototyping for user EXperience (PI - FCT, started 01/02/2011 - 3 years)
- CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software (FCT, started 15/03/2010)
- SSaaPP - Spreadsheets as a Programming Paradigm (FCT, started 01/05/2010)
- Current Supervisions (research proposals):
- Avaliação de usabilidade em plataformas educativas (Luciana Freire, PhD student)
- User Interface Migration and Adaptation (Carlos E Silva, PhD student)
- Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
- Mode-based software development (Rui Couto, PhD student)
- Conferences (pc - programme committee / oc - organising committee):
- CHI 2013 - ACM SIGCHI Conference on Human Factors in Computing Systems [wip pc]
- EICS 2013 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems [oc]
- INTERACT 2013 - 14th IFIP TC13 Conference on Human-Computer Interaction [pc]
- FMIS 2013 - Formal Methods for Interactive Systems [pc]
- Lectures
- Know more here... (in portuguese)
jfc © 2010