Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Publicações Confirmadas: 201



1
TÍTULO: Software Testing in the Quantum World
AUTORES: Rui Abreu ; Shaukat Ali; Paolo Arcaini; José Campos; Michael Felderer; Claude Gravel; Fuyuki Ishikawa; Stefan Klikovits; Andriy Miranskyy; Anila Mjeda; Mohammad Reza Mousavi; Masaomi Yamaguchi; Lei Zhang; Jianjun Zhao;
PUBLICAÇÃO: 2026, FONTE: COMPUTER, VOLUME: 59, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
2
TÍTULO: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTORES: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
3
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4
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
5
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
8
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
9
TÍTULO: Generation of Fixed Margin Binary Matrices Using Quantum Annealing
AUTORES: Bergerault, Alexandre; Fortunato, Daniel; Abreu, Rui ;
PUBLICAÇÃO: 2024, FONTE: 2024 International Conference on Quantum Computing and Engineering in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 2, VOLUME: 2
INDEXADO EM: Scopus WOS
10
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
Página 1 de 21. Total de resultados: 201.

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

Links Úteis

Ajuda

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