Rui Filipe Lima Maranhão de Abreu
AuthID: R-000-KWV
1
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; ...Mais
PUBLICAÇÃO: 2025, FONTE: ACM Transactions on Software Engineering and Methodology
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; ...Mais
PUBLICAÇÃO: 2025, FONTE: ACM Transactions on Software Engineering and Methodology
2
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
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
3
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
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

4
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
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
5
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
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
6
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
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
7
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
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
8
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
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

9
TÃTULO: Spectrum-based feature localization for families of systems? Full Text
AUTORES: Michelon, Gabriela K.; Martinez, Jabier; Sotto Mayor, Bruno; Arrieta, Aitor; Assuncao, Wesley K. G.; Abreu, Rui; Egyed, Alexander;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 195
AUTORES: Michelon, Gabriela K.; Martinez, Jabier; Sotto Mayor, Bruno; Arrieta, Aitor; Assuncao, Wesley K. G.; Abreu, Rui; Egyed, Alexander;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 195
10
TÃTULO: Software fault localization for programs with multiple bugs
AUTORES: Gao, R; Wong, WE; Abreu, R;
PUBLICAÇÃO: 2023, FONTE: Handbook of Software Fault Localization: Foundations and Advances
AUTORES: Gao, R; Wong, WE; Abreu, R;
PUBLICAÇÃO: 2023, FONTE: Handbook of Software Fault Localization: Foundations and Advances