Giann Spilere Nandi

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Messages Exchanged

Wireless Sensor Networks

Safety Analysis

Formal Verification

Top Venues

Publications

José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert
Spreadsheet-based Configuration of Families of Real-Time Specifications. TiCSA@ETAPS (2023)
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. RSSRail (2022)
Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC (2021)
Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. RTSS (2020)
Giann Spilere Nandi, David Pereira, Martín Vigil, Ricardo de Moraes, Analúcia Schiaffino Morales, Gustavo Medeiros de Araújo
Security in Wireless Sensor Networks: A formal verification of protocols. INDIN (2019)