Giann Nandi (Publications)
PhD Student
Giann was born in the Nova Veneza, south of Brazil, in 1994. During his early ages, he showed interest in computer-related subjects, which motivated him to obtain his Computing certificate in 2011 and his bachelor degree in Computer Engineering in 2017. Giann received multiple scholarships to work researching both in Brazil and in the Netherlands. His interests include physical experiments using embedded systems, formal verification, and real-time processing.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conference or Workshop Papers/Talks
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems CISTER-TR-221101
Giann Nandi, David Pereira, José Proença, José Santos, Lourenço A. Rodrigues, André Lourenço, Eduardo TovarReal-Time Systems Symposium (RTSS). 5 to 8, Dec, 2022, Explainability of Real-Time Systems and their Analysis. Houston, U.S.A..
Giann Nandi, David Pereira, José Proença, José Santos, Lourenço A. Rodrigues, André Lourenço, Eduardo TovarReal-Time Systems Symposium (RTSS). 5 to 8, Dec, 2022, Explainability of Real-Time Systems and their Analysis. Houston, U.S.A..
PDFVerification of multiple models of a safety-critical motor controller in railway systems CISTER-TR-220504
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiReliability, Safety, and Security of Railway Systems (RSSRail 2022). 1 to 2, Jun, 2022, Safety and new technologies, pp 83-94. Paris, France.
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiReliability, Safety, and Security of Railway Systems (RSSRail 2022). 1 to 2, Jun, 2022, Safety and new technologies, pp 83-94. Paris, France.
Towards the safe deployment of runtime monitors in mode-change supported Cyber-Physical Systems CISTER-TR-210608
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 21). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 21). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems CISTER-TR-201002
Giann Nandi, David Pereira, José Proença, Eduardo TovarWork in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020, pp 395-398. Online.
Giann Nandi, David Pereira, José Proença, Eduardo TovarWork in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020, pp 395-398. Online.
Security in Wireless Sensor Networks: A formal verification of protocols CISTER-TR-190506
Giann Nandi, David Pereira, Martín Vigil, Ricardo Moraes, Analúcia Schiaffino Morales, Gustavo Araújo17th IEEE International Conference on Industrial Informatics (INDIN 2019). 22 to 25, Jul, 2019, Safety and Security in Industrial Applications, pp 425-431. Helsinki-Espoo, Finland.
Giann Nandi, David Pereira, Martín Vigil, Ricardo Moraes, Analúcia Schiaffino Morales, Gustavo Araújo17th IEEE International Conference on Industrial Informatics (INDIN 2019). 22 to 25, Jul, 2019, Safety and Security in Industrial Applications, pp 425-431. Helsinki-Espoo, Finland.
Conference or Workshop Posters/Demos
Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS CISTER-TR-190606
Giann NandiPoster presented in 3rd Doctoral Congress in Engineering (DCE 2019). 27 to 28, Jun, 2019. Porto, Portugal.
Giann NandiPoster presented in 3rd Doctoral Congress in Engineering (DCE 2019). 27 to 28, Jun, 2019. Porto, Portugal.