Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
José Creissac Campos
Investigador Coordenador
Sou Professor Associado (com Agregação) no Departamento de Informática da Universidade do Minho e investigador sénior do HASLab/INESC TEC. Trabalho na aplicação de técnicas e ferramentas formais de engenharia de software à modelação e análise de sistemas interactivos.
Investigação financiada recente inclui: modelação e análise formais de sistemas interactivos (com um foco particular em dispoisitivos médicos); teste de interfaces com o utilizador baseado em modelos; prototipagem de sistemas de computação ubíqua utilziando realidade virtual; e engenharia reversa da cama de interface de aplicações.
Sou membro do grupo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering (a que actualmente presido), do editorial board da revista Proc. of the ACM on HCI e do comité de steering da EICS (ACM SIGCHI Symposium on Engineering Interactive Computer Systems).
Projetos
Publicações
Towards Automated Load Testing Through the User Interface
Teixeira, B;Campos, JC;
2023
HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT II
Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
Ferreira Moreira, EJV;Campos, JC;
2023
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers
An Online Repository for Educational Resources in HCI-Engineering
Spano, LD;Campos, JC;Dittmar, A;Forbrig, P;
2024
DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I
Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
Spano, LD;Campos, JC;Dittmar, A;
2024
DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I
Teses Supervisionadas
Ensuring Time Series Data Privacy via Complex Networks
Jaime Amaro Soares do Vale
M - 2023
UP-FCUP
