Giann Spilere Nandi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2019–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | DSN | Reducing the gap between theory and practice in real-time systems with MARS. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar, Lus Nogueira |
| 2024 | INDIN | MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar |
| 2021 | QUATIC | 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 Proena, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie |
| 2020 | RTSS | Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar |
| 2019 | INDIN | Security in Wireless Sensor Networks: A formal verification of protocols. | Giann Spilere Nandi, David Pereira, Martn Vigil, Ricardo de Moraes, Analcia Schiaffino Morales, Gustavo Medeiros de Arajo |