Giann Spilere Nandi

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

Collaborative distances:

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

2024

MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems.

Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar

Proceedings of the 22nd IEEE International Conference on Industrial Informatics, 2024

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

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

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