Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

I am an Associate Professor at the Department of Informatics of the University of Minho and a senior researcher at HASLab - INESC TEC. I mainly work on the application of formal software engineering techniques and tools to the modelling and analysis of interactive system. 

Current and recent funded research includes: formal modelling and analysis of interactive systems (with a particular focus on medical devices); model-based testing of user interfaces; prototyping of ambience intelligence systems using virtual reality simulations; and the reverse engineering of the user interface layer of software systems.

I am a member of IFIP WG 2.7/13.4 on User Interface Engineering (currently chairing the group) and of the steering committee of EICS (the ACM SIGCHI Symposium on Engineering Interactive Computer Systems).

Interest
Topics
Details

Details

  • Name

    José Creissac Campos
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st November 2011
003
Publications

2023

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings

Authors
Glässer, U; Campos, JC; Méry, D; Palanque, PA;

Publication
ABZ

Abstract

2023

AMAN Case Study

Authors
Palanque, PA; Campos, JC;

Publication
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings

Abstract
This document presents the case study for the ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager), which is a partly-autonomous scheduler of landing sequences of aircraft in airports. This interactive systems interleaves Air Traffic Controllers activities with automation in AMAN. While some AMAN systems are currently deployed in airports, we consider here only a subset of functions which represent a challenge in modelling and verification. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2022

Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers

Authors
Ardito, C; Lanzilotti, R; Malizia, A; Lárusdóttir, M; Spano, LD; Campos, JC; Hertzum, M; Mentler, T; Abdelnour Nocera, JL; Piccolo, LSG; Sauer, S; der Veer, GCv;

Publication
INTERACT (Workshops)

Abstract

2022

Teaching HCI Engineering: Four Case Studies

Authors
Caffiau, S; Campos, JC; Martinie, C; Nigay, L; Palanque, P; Spano, LD;

Publication
SENSE, FEEL, DESIGN, INTERACT 2021

Abstract
The paper presents the work carried out at the HCI Engineering Education workshop, organised by IFIP working groups 2.7/13.4 and 13.1. It describes four case studies of projects and exercises used in Human-Computer Interaction Engineering courses. We propose a common framework for presenting the case studies and describe the four case studies in detail. We then draw conclusions on the differences between the presented case studies that highlight the diversity and multidisciplinary aspects to be taught in a Human-Computer Interaction Engineering course. As future work, we plan to create a repository of case studies as a resource for teachers.

2022

Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees

Authors
Campos, JC; Ribeiro, AN;

Publication
SENSE, FEEL, DESIGN, INTERACT 2021

Abstract
This paper arises from experience by the authors in teaching software engineering courses. It discusses the need for adequate coverage of Human-Computer Interaction topics in these courses and the challenges faced when addressing them. Three courses, at both licentiate and master's levels, are used as triggers for the discussion. The paper argues that the lack of relevant Human-Computer Interaction concepts creates challenges when teaching and learning requirements analysis, design, and implementation of software systems. The approaches adopted to address these challenges are described.

Supervised
thesis

2022

Formal models based interactive prototypes

Author
Miguel André da Silva Solino

Institution
UM

2022

A new models editor for the IVY Workbench

Author
Rui Filipe Moreira Mendes

Institution
UM

2022

Sistematização do desenvolvimento de interfaces web

Author
Nelson Tiago da Silva Sousa

Institution
UM

2022

Geração Automática de Interfaces de Utilizador para Aplicações Web

Author
Catarina Araújo Machado

Institution
UM

2022

Um contributo para melhorar a compreensão de model checkers usando língua natural

Author
Ezequiel José Veloso Ferreira Moreira

Institution
UM