highlights

the most recent news...


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. 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

2024

  1. Blending Static and Dynamic Analysis for Web Application Vulnerability Detection: Methodology and Case Study
    Paulo Nunes, José Fonseca, and Marco Vieira
    IEEE Access, 2024
  2. A Large Scale Issue Report Dataset (Distinguished Paper Award)
    Renato Andrade, Nuno Laranjeiro, and Marco Vieira
    In 19th European Dependable Computing Conference, EDCC 2024, Leuven, Belgium, April 8-11, 2024

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