吉安·斯皮勒·南迪
人员信息
优化列表
2020年–今天
2023 【c5】 何塞·普伦萨 , 大卫·佩雷拉 , 吉安·斯皮勒·南迪 , 新浪博拉米 , 乔纳斯·梅尔切特 :
实时规范系列的基于电子表格的配置。 TiCSA@ETAPS 2023 : 27-39 2022 【c4】 何塞·普伦萨 , 新浪博拉米 , 豪尔赫·桑切斯·德诺瓦 , 大卫·佩雷拉 , 吉安·斯皮勒尔·南迪 :
铁路系统中安全临界电机控制器的多模型验证。 RSS邮件 2022 : 83-94 2021 【c3】 何塞·路易斯·德拉瓦拉 , 托马斯·鲍尔 , 伯恩哈德·菲舍尔 , 穆斯塔法·卡拉卡 , 恩里克·马代拉 , 马丁·马施尼格 , 西尔维娅·马齐尼 , 吉安·斯皮勒·南迪 , 法比奥·帕特龙 , 大卫·佩雷拉 , 若泽·普罗恩萨 , 鲁珀特·施利克 , 斯特凡诺·托内塔 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
自动化系统安全、网络安全和隐私的验证和确认方法分类提案。 QUATIC公司 2021 : 325-340 2020 【c2】 吉安·斯皮勒·南迪 , 大卫·佩雷拉 , 若泽·普罗恩萨 , 爱德华多·托瓦尔 :
正在进行的工作:用于在网络物理系统中安全部署运行时监控器的DSL。 RTSS系统 2020 : 395-398
2010 – 2019
2019 【c1】 吉安·斯皮勒·南迪 , 大卫·佩雷拉 , 马汀守夜 , 里卡多·德莫莱斯 , Anaücia Schiaffo Morales公司 , 古斯塔沃·梅代罗斯·德·阿劳霍 :
无线传感器网络中的安全:协议的正式验证。 印度 2019 : 425-431