Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Confirmed Publications: 159



31
TITLE: SmartBugs. a framework to analyze solidity smart contracts
AUTHORS: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXED IN: CrossRef: 1
IN MY: ORCID
32
TITLE: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTHORS: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
33
TITLE: Visual sketching. from image sketches to code
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
INDEXED IN: CrossRef: 1
IN MY: ORCID
34
TITLE: Visual Sketching: From Image Sketches to Code
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020)
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
35
TITLE: An Analysis of 35+Million Jobs of Travis CI  Full Text
AUTHORS: Durieux, T; Abreu, R ; Monperrus, M; Bissyande, TF; Cruz, L;
PUBLISHED: 2019, SOURCE: 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
36
TITLE: An Empirical Study on the Use of Defect Prediction for Test Case Prioritization
AUTHORS: Paterson, D; Campos, J ; Abreu, R ; Kapfhammer, GM; Fraser, G; McMinn, P;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP
37
TITLE: Catalog of energy patterns for mobile applications PDF  Full Text
AUTHORS: Cruz, L; Abreu, R ;
PUBLISHED: 2019, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 24, ISSUE: 4
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 26
IN MY: DBLP
38
TITLE: Critical Review of BugSwarm for Fault Localization and Program Repair PDF
AUTHORS: Thomas Durieux; Rui Abreu ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.09375
INDEXED IN: DBLP arXiv
IN MY: DBLP
39
TITLE: Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization
AUTHORS: Sofia Reis; Rui Abreu ; Marcelo d'Amorim;
PUBLISHED: 2019, SOURCE: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, VOLUME: 2019-August
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
40
TITLE: Do Energy-oriented Changes Hinder Maintainability? PDF  Full Text
AUTHORS: Cruz, L; Abreu, R ; Grundy, J; Li, L; Xia, X;
PUBLISHED: 2019, SOURCE: 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019)
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 8
IN MY: ORCID | DBLP
Page 4 of 16. Total results: 159.

A place for researchers and their institutions

Useful Links

Get Help

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