Benchmarking the Security of Virtualization Infrastructures: Motivation and Approach. - Charles F. Gonçalves (ISSRE Workshops, 2017)

Evaluating the Applicability of Robustness Testing in Virtualized Environments. - Charles F. Gonçalves; Nuno Antunes; Marco Vieira (LADC, 2018)

Towards Testing the Software Aging Behavior of Hypervisor Hypercall Interfaces. - Lukas Beierlieb; Lukas Iffländer; Aleksandar Milenkoski; Charles F. Gonçalves; Nuno Antunes; Samuel Kounev (ISSRE Workshops, 2019)

An Availability Model for DSS and OLTP Applications in Virtualized Environments. - Matheus Torquato 001; Charles F. Gonçalves; Marco Vieira (EDCC, 2020)

Vulnerability Analysis as Trustworthiness Evidence in Security Benchmarking: A Case Study on Xen. - Charles F. Gonçalves; Nuno Antunes (ISSRE Workshops, 2020)

A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate. - Charles F. Gonçalves; Daniel S. Menasché; Alberto Avritzer; Nuno Antunes; Marco Vieira (MedComNet, 2020)

Intrusion Injection for Virtualized Systems: Concepts and Approach. - Charles F. Gonçalves; Nuno Antunes; Marco Vieira (DSN, 2023)

Detecting Anomalies Through Sequential Performance Analysis in Virtualized Environments. - Charles F. Gonçalves; Daniel Sadoc Menasché; Alberto Avritzer; Nuno Antunes; Marco Vieira (IEEE Access, 2023)