Giann Spilere Nandi

According to our database, Giann Spilere Nandi authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Spreadsheet-based Configuration of Families of Real-Time Specifications.

José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

2022

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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021

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

Proceedings of the Quality of Information and Communications Technology, 2021

2020

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

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

2019

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

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019