Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Rui Filipe Lima Maranhão de Abreu
AuthID:
R-000-KWV
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (144)
Article (32)
Editorial Material (11)
Book Chapter (5)
Unpublished (4)
Article in Press (3)
Proceedings (1)
Phd Thesis (1)
Review (1)
Year Start - End:
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 202
11
TÃTULO:
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTORES:
João Pascoal Faria
;
Rui Abreu
;
PUBLICAÇÃO:
2023
,
FONTE:
10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023
in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
VOLUME:
14155 LNCS
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
12
TÃTULO:
Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
AUTORES:
Will Shackleton; Katriel Cohn Gordon; Peter C Rigby;
Rui Abreu
; James Gill; Nachiappan Nagappan; Karim Nakad; Ioannis Papagiannis; Luke Petre; Giorgi Megreli; Patrick Riggs; James Saindon;
PUBLICAÇÃO:
2023
,
FONTE:
ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
13
TÃTULO:
GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTORES:
Ribeiro, Francisco
;
Castro de Macedo, Jose Nuno
; Tsushima, Kanae;
Abreu, Rui
;
Saraiva, Joao
;
PUBLICAÇÃO:
2023
,
FONTE:
16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference
in
PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
4
NO MEU:
ORCID
14
TÃTULO:
Message from the Fast Abstract Chairs
AUTORES:
Rui Abreu
; Ganesh Pai;
PUBLICAÇÃO:
2023
,
FONTE:
34th IEEE International Symposium on Software Reliability Engineering Workshop, ISSREW 2023
in
Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshop, ISSREW 2023
INDEXADO EM:
Scopus
NO MEU:
ORCID
15
TÃTULO:
Modeling the Centrality of Developer Output with Software Supply Chains
AUTORES:
Audris Mockus; Peter C Rigby;
Rui Abreu
; Parth Suresh; Yifen Chen; Nachiappan Nagappan;
PUBLICAÇÃO:
2023
,
FONTE:
ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
16
TÃTULO:
REXSTEPPER: a Reference Debugger for JavaScript Regular Expressions
AUTORES:
Almeida, Luis
;
Gonzaga, Miguel
;
Santos, Jose Fragoso
;
Abreu, Rui
;
PUBLICAÇÃO:
2023
,
FONTE:
45th IEEE/ACM International Conference on Software Engineering (ICSE)
in
2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION
INDEXADO EM:
Scopus
WOS
CrossRef
:
1
NO MEU:
ORCID
17
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
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
18
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
INDEXADO EM:
Scopus
WOS
CrossRef
:
2
NO MEU:
ORCID
19
TÃTULO:
Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTORES:
Pinconschi, Eduard; Reis, Sofia; Zhang, Chi;
Abreu, Rui
; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLICAÇÃO:
2023
,
FONTE:
IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN)
in
2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN
INDEXADO EM:
Scopus
WOS
CrossRef
NO MEU:
ORCID
20
TÃTULO:
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AUTORES:
Trinca, Miguel; Ferreira, Joao F.;
Abreu, Rui
;
PUBLICAÇÃO:
2022
,
FONTE:
15th IEEE International Conference on Software Testing, Verification and Validation (ICST)
in
2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022)
INDEXADO EM:
Scopus
WOS
CrossRef
:
2
NO MEU:
ORCID
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 2 de 21. Total de resultados: 202.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service
