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 a post doctoral researcher at the department of Informatics of the University of Minho and a Researcher at HASLab/INESC TEC. My research interests lie in formal methods, user interaction, application of formal methods to user interaction, as well as in the intersection of Model Driven Development, Software Engineering, and Requirements Engineering.

I hold a PhD. in Informatics from the University of Minho, and have been working on the application of formal methods, model driven methodologies and user interaction since then. I am particularly interested in bringing closer the software engineering (SE) and human computer interaction (HCI) fields, with a focus on automated reasoning techniques and tools.

Recently, I've collaborated in the formal software verification tool IVY, in the European project InteGrid and in the European project UpGrid.

Interest
Topics
Details

Details

  • Name

    Rui Miguel Couto
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    01st July 2013
002
Publications

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

Improving the Visualization of Alloy Instances

Authors
Couto, R; Campos, JC; Macedo, N; Cunha, A;

Publication
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018.

Abstract
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis results, which is essential for the proper validation of the model. Alloy is a rich language but inherently static, so behavior needs to be explicitly encoded and reasoned about. Even though this is a common scenario, the visualizer presents limitations when dealing with such models. The main contribution of this paper is a principled approach to generate instance visualizations, which improves the current Alloy Visualizer, focusing on the representation of behavior. c R. Couto, J. C. Campos, N. Macedo & A. Cunha This work is licensed under the Creative Commons Attribution License.

2018

Improving Traces Visualisation through Layout Managers

Authors
Couto, R; Campos, JC;

Publication
Proceedings - ICGI 2018: International Conference on Graphics and Interaction

Abstract
Alloy supports reasoning about software designs in early development stages. It is composed of a modelling language and a tool that is able to find valid instances of the model. Alloy is able to produce graphical representations of analysis results, which is essential for their interpretation. In previous work we have improved the representations with the usage of layout managers. Here, we further extend that work by presenting the improvements on the approach, and by introducing a new case study to analyse the contribution of layout managers, and to support validation trough a user study. © 2018 IEEE.

2017

Towards new data management platforms for a DSO as market enabler – UPGRID Portugal demo

Authors
Alonso, A; Couto, R; Pacheco, H; Bessa, R; Gouveia, C; Seca, L; Moreira, J; Nunes, P; Matos, PG; Oliveira, A;

Publication
CIRED - Open Access Proceedings Journal

Abstract

Supervised
thesis

2015

MODUS: Geração de Interfaces Gráficas baseadas em Modelos

Author
Marina Machado

Institution
UM