Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Confirmed Publications: 202



1
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
2
TITLE: Leveraging Risk Models to Improve Productivity for Effective Code Un-Freeze at Scale  Full Text
AUTHORS: 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; ...More
PUBLISHED: 2025, SOURCE: ACM Transactions on Software Engineering and Methodology
INDEXED IN: CrossRef
IN MY: ORCID
3
TITLE: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTHORS: Luís F Gomes; Vincent J Hellendoorn; Jonathan Aldrich; Rui Abreu ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.13386
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: Deep Reinforcement Learning Strategies for Noise-Adaptive Qubit Routing
AUTHORS: Pascoal, Goncalo; Fernandes, Joao Paulo; Abreu, Rui ;
PUBLISHED: 2024, SOURCE: 3rd IEEE International Conference on Quantum Software (IEEE QSW) in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE, IEEE QSW 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
5
TITLE: Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
AUTHORS: Pinconschi, Eduard; Gopinath, Divya; Abreu, Rui ; Pasareanu, Corina S.;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Gate Branch Coverage: A Metric for Quantum Software Testing
AUTHORS: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Message from the General Co-Chairs: International Conference on Software Engineering (ICSE) 2024
AUTHORS: Ana R Paiva ; Rui Abreu ;
PUBLISHED: 2024, SOURCE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings - International Conference on Software Engineering
INDEXED IN: Scopus
IN MY: ORCID
8
TITLE: Programming languages ranking based on energy measurements  Full Text
AUTHORS: Gordillo, Alberto; Calero, Coral; Moraga, M. angeles; Garcia, Felix; Fernandes, Joao Paulo; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 32, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
9
TITLE: Are security commit messages informative? Not enough!
AUTHORS: Reis, Sofia; Abreu, Rui ; Pasareanu, Corina;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTHORS: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui ; Roy, Subhajit;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
IN MY: ORCID
Page 1 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service