author-photo

Giann Spilere Nandi

International Student Exchange Programs

4

Papers

0

Citations

Citation Trend

Filter By

Papers (4) Sort By

Journal Conference Others

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems.

2022 | RSSRail
Show All
- Source
- Cite
- Save
Citations (0)
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.

2021 QUATIC | Quality of Information and Communications Technology
Show All
- Source
- Cite
- Save
Citations (0)
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

2020 RTSS | Real-Time Systems Symposium
Show All
- Source
- Cite
- Save
Citations (0)
Security in Wireless Sensor Networks: A formal verification of protocols

2019 INDIN | International Conference on Industrial Informatics
Show All
- Source
- Cite
- Save
Citations (0)