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

Budget-Constrained Collaborative Renewable Energy Forecasting Market

Authors
Gonçalves, C; Bessa, RJ; Teixeira, T; Vinagre, J;

Publication
IEEE TRANSACTIONS ON SUSTAINABLE ENERGY

Abstract
Accurate power forecasting from renewable energy sources (RES) is crucial for integrating additional RES capacity into the power system and realizing sustainability goals. This work emphasizes the importance of integrating decentralized spatio-temporal data into forecasting models. However, decentralized data ownership presents a critical obstacle to the success of such spatio-temporal models, and incentive mechanisms to foster data-sharing need to be considered. The main contributions are a) a comparative analysis of the forecasting models, advocating for efficient and interpretable spline LASSO regression models, and b) a bidding mechanism within the data/analytics market to ensure fair compensation for data providers and enable both buyers and sellers to express their data price requirements. Furthermore, an incentive mechanism for time series forecasting is proposed, effectively incorporating price constraints and preventing redundant feature allocation. Results show significant accuracy improvements and potential monetary gains for data sellers. For wind power data, an average root mean squared error improvement of over 10% was achieved by comparing forecasts generated by the proposal with locally generated ones.

2025

Inferring multiple helper Dafny assertions with LLMs

Authors
Silva, AF; Mendes, A; Martins, R;

Publication
CoRR

Abstract

2025

Conditional Score-based Diffusion Models for Lung CT Scans Generation

Authors
Cardoso A.F.; Sousa P.; Oliveira H.P.; Pereira T.;

Publication
Annual International Conference of the IEEE Engineering in Medicine and Biology Society IEEE Engineering in Medicine and Biology Society Annual International Conference

Abstract
Chest CT scans are essential in diagnosing lung abnormalities, including lung cancer, but their utility in training deep learning models is often pushed back by limited data availability, high labeling costs, and privacy concerns. To address these challenges, this study explores the use of score-based diffusion models for the conditional generation of lung CT scans slices. Two generation scenarios are explored: one limited to lung segmentation masks and another incorporating both lung and nodule segmentation mappings to guide the synthesis process. The proposed methods are custom U-Net architecture models trained to predict the scores in Variance Preserving (VP) and Variance Exploding (VE) Stochastic Differential Equations (SDEs), composing the primary ground for comparison in conditional sample generation. The results demonstrate the VP SDEs model's superiority in generating high-fidelity images, as evidenced by high SSIM (0.894) and PSNR (28.6) values, as well as low domain-specific FID (173.4), MMD (0.0133) and ECS (0.78) scores. The generated images consistently followed the conditional mapping guidance during the generation process, effectively producing realistic lung and nodule structures, highlighting their potential for data augmentation in medical imaging tasks. While the models achieved notable success in generating accurate 2D lung CT scan slices given simple conditional image region mappings, future work surrounds the extension of these methods to 3D conditional generation and the use of richer conditional mappings to account for broader anatomical variations. Nevertheless, this study holds promise for improvement in computer-aided systems through the support in deep learning model training for lung disease diagnosis and classification.

2025

eSUPPLY: Efficient Energy-Aware Multi-UAV Placement in Flying Networks

Authors
Ribeiro, P; Coelho, A; Campos, R;

Publication
2025 13th Wireless Days Conference (WD)

Abstract

2025

Quality Inspection on Transparent and Reflective Parts: A Systematic Review

Authors
Nascimento, R; Gonzalez, DG; Pires, EJS; Filipe, V; Silva, MF; Rocha, LF;

Publication
IEEE ACCESS

Abstract
The increasing demand for automated quality inspection in modern industry, particularly for transparent and reflective parts, has driven significant interest in vision-based technologies. These components pose unique challenges due to their optical properties, which often hinder conventional inspection techniques. This systematic review analyzes 24 peer-reviewed studies published between 2015 and 2025, aiming to assess the current state of the art in computer vision-based inspection systems tailored to such materials. The review synthesizes recent advancements in imaging setups, illumination strategies, and deep learning-based defect detection methods. It also identifies key limitations in current approaches, particularly regarding robustness under variable industrial conditions and the lack of standardized benchmarks. By highlighting technological trends and research gaps, this work offers valuable insights and directions for future research-emphasizing the need for adaptive, scalable, and industry-ready solutions to enhance the reliability and effectiveness of inspection systems for transparent and reflective parts.

  • 207
  • 4387