Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I am an assistant 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

2019

Formal techniques in the safety analysis of software components of a new dialysis machine

Authors
Harrison, MD; Freitas, L; Drinnan, M; Campos, JC; Masci, P; di Maria, C; Whitaker, M;

Publication
SCIENCE OF COMPUTER PROGRAMMING

Abstract
The paper is concerned with the practical use of formal techniques to contribute to the risk analysis of a new neonatal dialysis machine. The described formal analysis focuses on the controller component of the software implementation. The controller drives the dialysis cycle and deals with error management. The logic was analysed using model checking techniques and the source code was analysed formally, checking type correctness conditions, use of pointers and shared memory. The analysis provided evidence of the verification of risk control measures relating to the software component. The productive dialogue between the developers of the device, who had no experience or knowledge of formal methods, and the analyst using the formal analysis tools, provided a basis for the development of rationale for the effectiveness of the evidence.

2019

Verification Templates for the Analysis of User Interface Software Design

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

Publication
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Abstract
The paper describes templates for model-based analysis of usability and safety aspects of user interface software design. The templates crystallize general usability principles commonly addressed in user-centred safety requirements, such as the ability to undo user actions, the visibility of operational modes, and the predictability of user interface behavior. These requirements have standard forms across different application domains, and can be instantiated as properties of specific devices. The modeling and analysis process is carried out using the Prototype Verification System (PVS), and is further facilitated by structuring the specification of the device using a format that is designed to be generic across interactive systems. A concrete case study based on a commercial infusion pump is used to illustrate the approach. A detailed presentation of the automated verification process using PVS shows how failed proof attempts provide precise information about problematic user interface software features.

2019

IVY 2: A model-based analysis tool

Authors
Couto, R; Campos, JC;

Publication
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019

Abstract
The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them. © ACM 2019.

2019

IVY 2

Authors
Couto, R; Campos, JC;

Publication
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '19

Abstract

2018

Formal Modelling as a Component of User Centred Design

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

Publication
Software Technologies: Applications and Foundations - Lecture Notes in Computer Science

Abstract

Supervised
thesis

2018

BlockChain as a PKI for Ownership Control of IoT Devices

Author
Guilherme Vieira Pinto

Institution
UP-FEUP

2017

TOM Framework: Uma ferramenta de testes baseados em modelos para interfaces gráficas web

Author

Institution
UM

2017

A Library of User Interface Widgets Prototypes for Car Dashboards

Author

Institution
UM

2017

Model-based Testing of User Interfaces

Author

Institution
UM

2017

A Tabular Editor for MAL Interactors

Author

Institution
UM