Security in Wireless Sensor Networks: A formal verification of protocols. - Giann Spilere Nandi; David Pereira; Martín Vigil; Ricardo de Moraes; Analúcia Schiaffino Morales; Gustavo Medeiros de Araújo (INDIN, 2019)

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. - Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar (RTSS, 2020)

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. - Jose Luis de la Vara; Thomas Bauer 002; Bernhard Fischer; Mustafa Karaca; Henrique Madeira; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença; Rupert Schlick; et al. (QUATIC, 2021)

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. - José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi (RSSRail, 2022)

Spreadsheet-based Configuration of Families of Real-Time Specifications. - José Proença; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert (TiCSA@ETAPS, 2023)

Reducing the gap between theory and practice in real-time systems with MARS. - Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar; Luís Nogueira (DSN-S, 2024)

MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems. - Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar (INDIN, 2024)