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

2025

Mind the gap: The missing features of the tools to support user studies in software engineering

Authors
Costa, L; Barbosa, S; Cunha, J;

Publication
JOURNAL OF COMPUTER LANGUAGES

Abstract
User studies are paramount for advancing research in software engineering, particularly when evaluating tools and techniques involving programmers. However, researchers face several barriers when performing them despite the existence of supporting tools. We base our study on a set of tools and researcher-reported barriers identified in prior work on user studies in software engineering. In this work, we study how existing tools and their features cope with previously identified barriers. Moreover, we propose new features for the barriers that lack support. We validated our proposal with 102 researchers, achieving statistically significant positive support for all but one feature. We study the current gap between tools and barriers, using features as the bridge. We show there is a significant lack of support for several barriers, as some have no single tool to support them.

2025

A MILP Approach to Optimising Energy Storage in a Commercial Building

Authors
Tomás Barosa Santos; Filipe Tadeu Oliveira; Hermano Bernardo;

Publication
RE&PQJ

Abstract
To achieve carbon neutrality by 2050, commercial buildings have installed photovoltaic systems to reduce carbon emissions and operational costs. Nevertheless, PV generation does not always match the building’s energy demand profile, therefore storage systems are needed to store excess energy and supply it when necessary. This paper presents a Mixed Integer Linear Programming optimisation algorithm designed to schedule the operation of the electric storage system, aiming to minimise the building’s energy-related costs. An annual hourly simulation of the optimised system was performed to assess the cost reduction. To prevent excessive operation of the electric storage system, an approach to penalise low energy charging was studied, with results showing a significant increase in the system’s lifespan.

2025

Overcoming Data Scarcity in Load Forecasting: A Transfer Learning Approach for Office Buildings

Authors
Dantas do Carmo, F; Soares, T; Fonseca, W;

Publication
U.Porto Journal of Engineering

Abstract
Load forecasting is an asset for sustainable building energy management, as accurate predictions enable efficient energy consumption and con- tribute to decarbonisation efforts. However, data-driven models are often limited by dataset length and quality. This study investigates the effectiveness of transfer learning (TL) for load forecasting in office buildings, with the aim of addressing data scarcity issues and improving forecasting accuracy. The case study consists in a group of eight virtual buildings (VB) located in Porto, Portugal. VB A2 serves as pre-trained base model to transfer knowledge to the remaining VBs, which are analysed in varying degrees of data availability. Our findings indicate that TL can significantly reduce training time, for up to 87%, while maintaining accuracy levels comparable to those of models trained with full dataset, and exhibiting superior performance when com- pared to models trained with scarce data, with average RMSE reduction of 42.76%.

2025

Generative Adversarial Networks for Synthetic Meteorological Data Generation

Authors
Viana, D; Teixeira, R; Soares, T; Baptista, J; Pinto, T;

Publication
PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II

Abstract
This study explores models for synthetic data generation of time series. In order to improve the achieved results, i.e., the data generated, new ways of improvement are explored and different models of synthetic data generation are compared. The model addressed in this work is the Generative Adversarial Networks (GANs), known for generating data similar to the original basis data through the training of a generator. The GANs are applied using the datasets of Quinta de Santa Barbara and the Pinhao region, with the main variables being the Average temperature, Wind direction, Average wind speed, Maximum instantaneous wind speed and Solar radiation. The model allowed to generate missing data in a given period and, in turn, enables to analyze the results and compare them with those of a multiple linear regression method, being able to evaluate the effectiveness of the generated data. In this way, through the study and analysis of the GANs we can see if the model presents effectiveness and accuracy in the synthetic generation of meteorological data. With the proper conclusions of the results, this information can be used in order to improve the search for different models and the ability to generate synthetic time series data, which is representative of the real, original, data.

2025

A three-phase algorithm for the three-dimensional loading vehicle routing problem with split pickups and time windows

Authors
Leloup, E; Paquay, C; Pironet, T; Oliveira, JF;

Publication
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
In a survey of Belgian logistics service providers, the efficiency of first-mile pickup operations was identified as a key area for improvement, given the increasing number of returns in e-commerce, which has a significant impact on traffic congestion, carbon emissions, energy consumption and operational costs. However, the complexity of first-mile pickup operations, resulting from the small number of parcels to be collected at each pickup location, customer time windows, and the need to efficiently accommodate the highly heterogeneous cargo inside the vans, has hindered the development of real-world solution approaches. This article tackles this operational problem as a vehicle routing problem with time windows, time-dependent travel durations, and split pickups and integrates practical 3D container loading constraints such as vertical and horizontal stability as well as amore realistic reachability constraint to replace the classical Last In First Out (LIFO) constraint. To solve it, we propose a three-phase heuristic based on a savings constructive heuristic, an extreme point concept for the loading aspect and a General Variable Neighborhood Search as an improvement phase for both routing and packing. Numerical experiments are conducted to assess the performance of the algorithm on benchmark instances and new instances are tested to validate the positive managerial impacts oncost when allowing split pickups and on driver working duration when extending customer time windows. In addition, we show the impacts of considering the reachability constraint oncost and of the variation of speed during peak hours on schedule feasibility.

2025

Revisiting the Security and Privacy of FIDO2

Authors
Barbosa, M; Boldyreva, A; Chen, S; Cheng, K; Esquível, L;

Publication
IACR Cryptol. ePrint Arch.

Abstract

  • 11
  • 4292