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
Reducing the gap between theory and practice in real-time systems with MARS CISTER-TR-240602
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Luis Miguel NogueiraDependable Systems and Networks (DSN 2024). 24 to 27, Jun, 2024, Doctoral Forum. Brisbane, Australia.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Luis Miguel NogueiraDependable Systems and Networks (DSN 2024). 24 to 27, Jun, 2024, Doctoral Forum. Brisbane, Australia.
PDFSecure integration of extremely resource-constrained nodes on distributed ROS2 applications CISTER-TR-230703
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Aythami Salvador RodriguezOpen Research Europe (ORE). 14, Jul, 2023. Online, Albania.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Aythami Salvador RodriguezOpen Research Europe (ORE). 14, Jul, 2023. Online, Albania.
Spreadsheet-based Configuration of Families of Real-Time Specifications CISTER-TR-230407
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiProceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA 2023). 23, Apr, 2023. Paris, France.
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiProceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA 2023). 23, Apr, 2023. Paris, France.
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..
Verification 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.
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems CISTER-TR-210905
Giann Nandi, Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Fabio Patrone, David Pereira, José Proença, Rupert Sclick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021). 8, Sep, 2021. Portugal.
Giann Nandi, Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Fabio Patrone, David Pereira, José Proença, Rupert Sclick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021). 8, Sep, 2021. Portugal.
Towards the safe deployment of runtime monitors in mode-change supported Cyber-Physical Systems CISTER-TR-210612
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 2021). 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 2021). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
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.
Technical Reports
Verificattion of Multiple Models of a Safety-Critical Motor Controller in Railway Systems CISTER-TR-220611
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Nandi13, Jun, 2022.
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Nandi13, Jun, 2022.