highlights

the most recent news...


Member, Center for Trustworthy AI Through Model Risk Management (TAIM), February 2025

Position Paper, “Engineering Trustworthy Software - A Mission for LLMs!”, November 2024

Keynote at LADC 2024, “LLMs for Trustworthy Software Engineering - Insights and Challenges”, Recife, PE, Brazil, November 28, 2024


selected recent publications

2025

  1. Leveraging LLMs for Trustworthy Software Engineering: Insights and Challenges
    Marco Vieira
    Computer, 2025
  2. Predicting Failures in Complex Systems
    Joao Campos, Ernesto Costa, and Marco Vieira
    Computer, 2025
  3. Evaluation of time-based virtual machine migration as moving target defense against host-based attacks
    Matheus Torquato, Paulo R. M. Maciel, and Marco Vieira
    J. Syst. Softw., 2025

2023

  1. Online Failure Prediction for Complex Systems: Methodology and Case Studies
    João R. Campos, Ernesto Costa, and Marco Vieira
    IEEE Trans. Dependable Secur. Comput., 2023
  2. Intrusion Injection for Virtualized Systems: Concepts and Approach
    Charles F. Gonçalves, Nuno Antunes, and Marco Vieira
    In 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, 2023