highlights

the most recent news...


Steering Commitee Member, International Symposium on Reliable Distributed Systems (SRDS), June 2025

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


5 selected recent publications

2025

  1. Beyond Functional Correctness: An Empirical Evaluation of Large Language Models for Text-to-Code Generation
    Rodrigo Nogueira, João Campos, and Marco Vieira
    In IEEE 36th International Symposium on Software Reliability Engineering, ISSRE 2025, São Paulo, SP, Brazil, October 21 - 24, 2025
  2. Developing Attack Detection Models for Microservice Applications: A Comprehensive Framework and Its Illustration and Validation on DoS Attacks
    Jessica Castro, Nuno Laranjeiro, Katerina Goseva-Popstojanova, and 1 more author
    IEEE Transactions on Dependable and Secure Computing, 2025
  3. Static Code Analysis for IoT Security: A Systematic Literature Review
    Diego Gomes, Eduardo Felix, Fernando Lins, and 1 more author
    ACM Comput. Surv., 2025
  5. Predicting Failures in Complex Systems
    João R. Campos, Ernesto Costa, and Marco Vieira
    Computer, 2025