Marco Paulo Amorim Vieira
AuthID: R-000-ABN
11
TÃTULO: Leveraging LLMs for Trustworthy Software Engineering: Insights and Challenges Full Text
AUTORES: Marco Vieira;
PUBLICAÇÃO: 2025, FONTE: Computer, VOLUME: 58, NÚMERO: 7
AUTORES: Marco Vieira;
PUBLICAÇÃO: 2025, FONTE: Computer, VOLUME: 58, NÚMERO: 7
12
TÃTULO: A Survey on Survivable Safety-Critical Systems
AUTORES: Helber Silva; Marco Vieira; Augusto Neto;
PUBLICAÇÃO: 2025, FONTE: IEEE Access, VOLUME: 13
AUTORES: Helber Silva; Marco Vieira; Augusto Neto;
PUBLICAÇÃO: 2025, FONTE: IEEE Access, VOLUME: 13
13
TÃTULO: Benchmarking Software Aging Effects in Container Platforms Full Text
AUTORES: Melo, Pedro; Ferreira, Joao; Araujo, Jean; Vieira, Marco;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 74, NÚMERO: 4
AUTORES: Melo, Pedro; Ferreira, Joao; Araujo, Jean; Vieira, Marco;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 74, NÚMERO: 4
14
TÃTULO: Why We Should Trust Systems, Not Just Their AI/ML Components Full Text
AUTORES: Marco Vieira;
PUBLICAÇÃO: 2025, FONTE: Computer, VOLUME: 58, NÚMERO: 11
AUTORES: Marco Vieira;
PUBLICAÇÃO: 2025, FONTE: Computer, VOLUME: 58, NÚMERO: 11
15
TÃTULO: SE Perspective on LLMs: Biases in Code Generation, Code Interpretability, and Code Security Risks Full Text
AUTORES: Rrezarta Krasniqi; Depeng Xu; Marco Vieira;
PUBLICAÇÃO: 2025, FONTE: ACM Computing Surveys, VOLUME: 58, NÚMERO: 5
AUTORES: Rrezarta Krasniqi; Depeng Xu; Marco Vieira;
PUBLICAÇÃO: 2025, FONTE: ACM Computing Surveys, VOLUME: 58, NÚMERO: 5
16
TÃTULO: Beyond Functional Correctness: An Empirical Evaluation of Large Language Models for Text-to-Code Generation
AUTORES: Rodrigo Pato Nogueira; Marco Paulo Amorim Vieira; João Campos;
PUBLICAÇÃO: 2025, FONTE: 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025 in Proceedings - International Symposium on Software Reliability Engineering, ISSRE
AUTORES: Rodrigo Pato Nogueira; Marco Paulo Amorim Vieira; João Campos;
PUBLICAÇÃO: 2025, FONTE: 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025 in Proceedings - International Symposium on Software Reliability Engineering, ISSRE
17
TÃTULO: Adapting to the new normal: Understanding public transport use and willingness-to-pay for social distancing during a pandemic context
AUTORES: Filgueiras, Manuel; Amorim, Marco; Lobo, Antonio; Couto, Antonio ; Kern, Mira; Ferreira, Sara ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF URBAN MOBILITY, VOLUME: 5
AUTORES: Filgueiras, Manuel; Amorim, Marco; Lobo, Antonio; Couto, Antonio ; Kern, Mira; Ferreira, Sara ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF URBAN MOBILITY, VOLUME: 5
18
TÃTULO: BugHub: A Large Scale Issue Report Dataset
AUTORES: Andrade, Renato; Laranjeiro, Nuno; Vieira, Marco;
PUBLICAÇÃO: 2024, FONTE: 19th European Dependable Computing Conference (EDCC) in 2024 19TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE, EDCC
AUTORES: Andrade, Renato; Laranjeiro, Nuno; Vieira, Marco;
PUBLICAÇÃO: 2024, FONTE: 19th European Dependable Computing Conference (EDCC) in 2024 19TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE, EDCC
19
TÃTULO: Mining Vulnerability and Code Repositories to Study Software Security
AUTORES: Henriques, Joao Rafael; Pereira, Jose D'Abruzzo; Vieira, Marco;
PUBLICAÇÃO: 2024, FONTE: 13th Latin-American Symposium on Dependable and Secure Computing in 13TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2024
AUTORES: Henriques, Joao Rafael; Pereira, Jose D'Abruzzo; Vieira, Marco;
PUBLICAÇÃO: 2024, FONTE: 13th Latin-American Symposium on Dependable and Secure Computing in 13TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2024
20
TÃTULO: Availability and Performance Analysis of Cloud Services
AUTORES: Callou, Gustavo; Vieira, Marco;
PUBLICAÇÃO: 2024, FONTE: 13th Latin-American Symposium on Dependable and Secure Computing in 13TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2024
AUTORES: Callou, Gustavo; Vieira, Marco;
PUBLICAÇÃO: 2024, FONTE: 13th Latin-American Symposium on Dependable and Secure Computing in 13TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2024
