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
Publications

Publications by HASLab

2022

Framing Program Repair as Code Completion

Authors
Ribeiro, F; Abreu, R; Saraiva, J;

Publication
INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022)

Abstract

2022

A tribute to José Manuel Valença

Authors
Oliveira, JN; Pinto, JS; Barbosa, LS; Henriques, PR;

Publication
Journal of Logical and Algebraic Methods in Programming

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.

2022

A Logic for Paraconsistent Transition Systems

Authors
Cruz, A; Madeira, A; Barbosa, LS;

Publication
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Lódz, Poland, 14-18 March 2022.

Abstract

2022

Extending EcoAndroid with Automated Detection of Resource Leaks

Authors
Pereira, RB; Ferreira, JF; Mendes, A; Abreu, R;

Publication
9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022

Abstract

2022

A Case for Partitioned Bloom Filters

Authors
Almeida, PS;

Publication
IEEE Transactions on Computers

Abstract

  • 1
  • 130