Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Confirmed Publications: 201



1
TITLE: Software Testing in the Quantum World
AUTHORS: 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;
PUBLISHED: 2026, SOURCE: COMPUTER, VOLUME: 59, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
2
TITLE: An Exploratory Study of ML Sketches and Visual Code Assistants
AUTHORS: Gomes, Luis F.; Hellendoorn, Vincent J.; Aldrich, Jonathan; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 47th International Conference on Software Engineering-ICSE in 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, VOLUME: abs/2412.13386
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
3
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
4
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
5
6
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: 2
IN MY: DBLP
7
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
8
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
9
TITLE: Generation of Fixed Margin Binary Matrices Using Quantum Annealing
AUTHORS: Bergerault, Alexandre; Fortunato, Daniel; Abreu, Rui ;
PUBLISHED: 2024, SOURCE: 2024 International Conference on Quantum Computing and Engineering in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 2, VOLUME: 2
INDEXED IN: Scopus WOS
10
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
Page 1 of 21. Total results: 201.

footer slogan

Useful Links

Get Help

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