Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Publicações Confirmadas: 202



1
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: João Pascoal Faria; Emanuel Trigo; Rui Abreu ;
PUBLICAÇÃO: 2025, FONTE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Lecture Notes in Computer Science, VOLUME: 15593 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
2
TÍTULO: Leveraging Risk Models to Improve Productivity for Effective Code Un-Freeze at Scale  Full Text
AUTORES: Audris Mockus; Rui Abreu ; Peter C Rigby; David Amsallem; Parveen Bansal; Kaavya Chinniah; Brian Ellis; Peng Fan; Jun Ge; Bingjie He; Kelly Hirano; Sahil Kumar; Ajay Lingapuram; Andrew Loe; Megh Mehta; Venus Montes; Maher Saba; Gursharan Singh; Matt Steiner; Weiyan Sun; Siri Uppalapati; Nachiappan Nagappan; ...Mais
PUBLICAÇÃO: 2025, FONTE: ACM Transactions on Software Engineering and Methodology
INDEXADO EM: CrossRef
NO MEU: ORCID
3
TÍTULO: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTORES: Luís F Gomes; Vincent J Hellendoorn; Jonathan Aldrich; Rui Abreu ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2412.13386
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Deep Reinforcement Learning Strategies for Noise-Adaptive Qubit Routing
AUTORES: Pascoal, Goncalo; Fernandes, Joao Paulo; Abreu, Rui ;
PUBLICAÇÃO: 2024, FONTE: 3rd IEEE International Conference on Quantum Software (IEEE QSW) in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE, IEEE QSW 2024
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
5
TÍTULO: Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
AUTORES: Pinconschi, Eduard; Gopinath, Divya; Abreu, Rui ; Pasareanu, Corina S.;
PUBLICAÇÃO: 2024, FONTE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, VOLUME: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
6
TÍTULO: Gate Branch Coverage: A Metric for Quantum Software Testing
AUTORES: Fortunato, Daniel; Campos, Jose; Abreu, Rui ;
PUBLICAÇÃO: 2024, FONTE: 1st ACM International Workshop on Quantum Software Engineering:The Next Evolution (QSE-NE) in PROCEEDINGS OF THE 1ST ACM INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING:THE NEXT EVOLUTION, QSE-NE 2024
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
7
TÍTULO: Message from the General Co-Chairs: International Conference on Software Engineering (ICSE) 2024
AUTORES: Ana R Paiva ; Rui Abreu ;
PUBLICAÇÃO: 2024, FONTE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings - International Conference on Software Engineering
INDEXADO EM: Scopus
NO MEU: ORCID
8
TÍTULO: Programming languages ranking based on energy measurements  Full Text
AUTORES: Gordillo, Alberto; Calero, Coral; Moraga, M. angeles; Garcia, Felix; Fernandes, Joao Paulo; Abreu, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 32, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
9
TÍTULO: Are security commit messages informative? Not enough!
AUTORES: Reis, Sofia; Abreu, Rui ; Pasareanu, Corina;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
10
TÍTULO: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTORES: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui ; Roy, Subhajit;
PUBLICAÇÃO: 2023, FONTE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
NO MEU: ORCID
Página 1 de 21. Total de resultados: 202.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service