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