[Photo]
[UM][EEng]
José Creissac Campos
Past research
Funded Projects
PI: Principal Investigator
Research & Development
Trustworthy Software Design with Alloy (TRUST) (POCI-01-0145-FEDER-016826)
High-Assurance Medical Cyber-physical Systems (NanoStima - RL1.4) (P2020) [PI]
BEST CASE RL8 - Languages and Tools for Critical Real Time Systems (ON.2, started 01/01/2013 - 2.5 years) [PI]
PBGT - Pattern Based GUI Testing (FCT, started 01/04/2012 - 3 years)
APEX - Agile Prototyping for user EXperience (FCT, started 01/02/2011 - 3.5 years) [PI]
SSaaPP - Spreadsheets as a Programming Paradigm (FCT, 05/2010-04/2013)
CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software (FCT, 03/2010-03/2013)
IVY - A model-based usability analysis environment (FCT, 07/2005-06/2008) [PI]
SCAPS - Safe Control of Automated Production Systems (FCT, 07/2005-06/2008)
AudioBrowser - A web accessibility tool for blind and visually impaired users (FCT, 05/2003-04/2004)
XtrmSWING - Reverse Engineering of Java/Swing (Algoritmi internal project) (Algoritmi, 01/2002-12/2002) [PI]
Sistema Integrado de Acesso à Internet para Pessoas com Deficiências Visuais (SNRIPD - CITE 2001, 09/2001-08/2002)
Technology Transfer
Collaborative Visual Development (OutSystems, 2020)
OutSystems Learnability Model 2 (OutSystems, 2019)
OutSystems Learnability Model (OutSystems, 2018)
PROVA - Platform for Software Verification and Validation (AdI)
GWS - Global Weighing Solution (Cachapuz/QREN, 2009/2011)
TDG - Test Data Generator (IT Peers/QREN, 2009/2010)
InPACT - Integrated Engineering Tools for Protection, Automation and Control Systems (EFACEC/QREN, 07/2008-12/2010)
Networks
REVVIS - Reunião de Especialistas em Verificação e Validação de Software (CYTED)
Supervisions
PhD students
Carlos C.L. Silva (12/2019)
Using Predictive and Descriptive Cognitive Models for Evaluation of Interactive Computing Systems
Rui Couto (06/2017)
Pattern Based Software Development
Carlos Eduardo Silva (09/2015)
Reverse Engineering of Web Applications
José Luís Silva (11/2012)
Rapid Prototyping of Ubiquitous Computing Environments
João Carlos Silva (12/2010)
GUISurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces.
MSc students
Cristiano Faria (04/2014)
Web-based user interface prototyping and simulation
Tiago Gomes (12/2013)
3D Virtual Environments' Generation
Paulo Cruz (12/2013)
Development of an environment for the generation, mutation and execution of test cases
Nuno Milhases (12/2013)
Suporte à Interoperabilidade entre o Automation Studio e Sistemas SCADA: Tradução de sinópticos de XAML para SVG
Ana Isabel Sampaio (12/2013)
Responsive Web Design
Fábio Silva (07/2013)
Melhorar a usabilidade de aplicaçães web: mais resultados com menos esforço
Daniel Quinta (07/2013)
Application of Formal Methods in ITASAT Project
Samuel Moreira (01/2013)
Simulating Ubiquitous Computing Environments
Nuno Sousa (11/2012)
WildAniMAL: MAL Interactors Model Animator
Manuel Sousa (11/2012)
Safety Critical Interactive Computing Systems' Modelling
Miguel Esteves (10/2012)
CazDataProvider: A solution to the object-relational mismatch
Joaquim Anacleto (07/2012)
Desenvolvimento de uma aplicação web para dispositivos móveis - Monitorização e controlo de uma rede de digital signage
Rui Moreira (12/2011)
Integrating a 3D application server with a CAVE
Paulo Borges (01/2011)
Software Seguro para Sistemas Mecatrónicos Temporizados
Carlos Silva (09/2010)
Reverse Engineering of Rich Internet Applications
Sandrine Mendes (12/2009)
FlexiXML: Um animador de modelos de interfaces com o utilizador
Alexandre Mano (02/2006)
User interfaces for children
Conferences
PC: Programme Committee OC: Organising Committee
jfc © 2010