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
006
Publications

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

Verification of railway network models with EVEREST

Authors
Martins, J; Fonseca, JM; Costa, R; Campos, JC; Cunha, A; Macedo, N; Oliveira, JN;

Publication
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022

Abstract
Models-at different levels of abstraction and pertaining to different engineering views-are central in the design of railway networks, in particular signalling systems. The design of such systems must follow numerous strict rules, which may vary from project to project and require information from different views. This renders manual verification of railway networks costly and error-prone. This paper presents EVEREST, a tool for automating the verification of railway network models that preserves the loosely coupled nature of the design process. To achieve this goal, EVEREST first combines two different views of a railway network model-the topology provided in signalling diagrams containing the functional infrastructure, and the precise coordinates of the elements provided in technical drawings (CAD)-in a unified model stored in the railML standard format. This railML model is then verified against a set of user-defined infrastructure rules, written in a custom modal logic that simplifies the specification of spatial constraints in the network. The violated rules can be visualized both in the signalling diagrams and technical drawings, where the element(s) responsible for the violation are highlighted. EVEREST is integrated in a long-term effort of EFACEC to implement industry-strong tools to automate and formally verify the design of railway solutions. © 2022 ACM.

2021

Balancing the formal and the informal in user-centred design

Authors
Harrison, MD; Masci, P; Campos, JC;

Publication
INTERACTING WITH COMPUTERS

Abstract

2021

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems

Authors
Ait Ameur, Y; Bowen, J; Campos, J; Palanque, P; Weyers, B;

Publication
INTERACTING WITH COMPUTERS

Abstract

2021

The Management of Risks and Benefits when Engineering Interactive Digital Systems

Authors
Campos, JC; Nicholas Graham, TC; Spano, LD; den Bergh, JV;

Publication
EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021

Abstract

Supervised
thesis

2021

Autonomous navigation with simultaneous localization and mapping in/outdoor

Author
Carlos Miguel da Silva de Freitas

Institution
UP-FEUP

2020

Prototipagem de Interfaces

Author
Rafael Braga Gomes da Costa

Institution
UM

2019

Using Predictive and Descriptive Cognitive Models for Evaluation of Interactive Computing Systems

Author
Carlos César Loureiro Silva

Institution
UM

2019

Gerador de protótipos de interfaces gráficas para IVY Workbench

Author
João Miguel Matela Aidos Manso de Araújo

Institution
UM

2018

Data Analytics in IoT FaaS with DataFlasks

Author
Paulo Ricardo Cunha Correia Araújo

Institution
UM