斯里尼瓦斯·皮尼塞蒂
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2024 [公元14年] 亚历克斯·贝尔德 , 阿比南丹熊猫 , 哈蒙德·皮尔斯 , 斯里尼瓦斯·皮尼塞蒂 , 帕塔S.罗普 :
网络物理系统的可扩展安全实施。 IEEE接入 12 : 14385-14410 ( 2024 ) [j13] 索米亚·尚卡尔 , 安基特·普拉丹 , 斯里尼瓦斯·皮尼塞蒂 , 安托万卷轴 , 伊利耶斯·法尔科内 :
具有概率和性能分析的有限内存运行时强制。 形式方法系统。 设计。 62 ( 1 ) : 141-180 ( 2024 ) [公元12年] Rahul Bharadwaj Pendyala公司 , 阿比南丹熊猫 , 斯里尼瓦斯·皮尼塞蒂 :
VSMoN:基于运行时监测的数据驱动远程生命体征监测系统。 J.对象技术。 23 ( 2 ) : 1 ( 2024 ) [公元11年] 高瑞夫·古普塔 , 索米亚·尚卡尔 , 斯里尼瓦斯·皮尼塞蒂 :
利用运行时强制实现以工件为中心的工作流的安全框架。 J.对象技术。 23 ( 2 ) : 2 ( 2024 ) [i5] 迪伦·特里普拉马尔卢 , 斯瓦普尼·辛格 , Shrirang Deshmukh先生 , 斯里尼瓦斯·皮尼塞蒂 , Shinde Arjun Shivaji公司 , 拉贾·巴卢萨米 , 阿贾甘纳·班德帕 :
朝向C/C++换向器,使其更安全地生锈。 CoRR公司 abs/2401.08264 ( 2024 ) 2023 [公元10年] 阿比南丹熊猫 , 亚历克斯·贝尔德 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
网络物理系统的增量安全实施。 IEEE接入 11 : 18475-18498 ( 2023 ) [公元9年] 阿披南丹熊猫 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
一种新的心电图和PPG映射,以确保健康监测应用的安全性。 IEEE嵌入。 系统。 莱特。 15 ( 1 ) : 49-52 ( 2023 ) [j8] 安基特·普拉丹 , 乔纳森·金 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
网络物理系统中尖峰神经网络的基于模型的验证。 IEEE传输。 计算机 72 ( 9 ) : 2426-2439 ( 2023 ) [公元26年] 索米亚·尚卡尔 , 斯里尼瓦斯·皮尼塞蒂 :
安全定时属性的串行合成运行时强制。 国际标准化委员会 2023 : 5:1-5:11 [公元25年] Saumya Shankar公司 , 斯里尼瓦斯·皮尼塞蒂 , 蒂埃里·杰伦 :
定时属性的有界内存运行时强制。 时间 2023 : 6:1-6:22 2022 [公元24年] 阿比南丹熊猫 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
使用正式运行时验证监视器进行基于策略的糖尿病检测。 哥伦比亚广播公司 2022 : 333-338 【c23】 Aashay Palliwar公司 , 斯里尼瓦斯·皮尼塞蒂 :
使用Gossip支持的分布式电路中断来提高分布式系统的弹性。 ICSA公司 2022 : 13-23 [公元22年] Aashay Palliwar公司 , 斯里尼瓦斯·皮尼塞蒂 :
用于测量绯闻驱动的分布式断路相对效能的工件。 ICSA公司 2022 : 55 【c21】 阿比南丹熊猫 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
使用正式运行时验证监视器的基于策略的高血压监测。 伊斯布拉银行 2022 : 169-179 [公元20年] 亚历克斯·贝尔德 , 斯里尼瓦斯·皮尼塞蒂 , 内森·艾伦 , 尼蒂什·D·帕特尔 , Partha S.Roop公司 :
临床可解释心律失常分类的运行时验证。 记忆码 2022 : 1-10 [第19条] 亚历克斯·贝尔德 , 哈蒙德·皮尔斯 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
自适应攻击执行器的运行时交换:无人机安全分析框架。 记忆码 2022 : 1-11 [第18条] 高瑞夫·古普塔 , 索米亚·尚卡尔 , 斯里尼瓦斯·皮尼塞蒂 :
使用深度学习和正式运行时监控的自动化手术辅助框架。 RV汽车 2022 : 25-44 [第17条] Saumya Shankar公司 , 安托万·罗尔特 , 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 :
绑定内存运行时强制。 自旋蛋白 2022 : 114-133 [i4] 阿比南丹熊猫 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
心电图和PPG相关性分析的运行时监测和统计方法。 CoRR公司 abs/2202.00559 ( 2022 ) 2021 [j7] 斯里尼瓦斯·皮尼塞蒂 , 安基特·普拉丹 , Partha S.Roop公司 , 斯塔夫罗斯·特里帕基斯 :
重新访问合成运行时强制。 形式方法系统。 设计。 59 ( 1 ) : 205-252 ( 2021 ) [第16条] 阿比南丹熊猫 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
使用验证监视器的安全胰岛素输注系统。 记忆码 2021 : 56-65 [第15条] 阿披南丹熊猫 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 , K.Ajay巴布 , M.Sabarimalai Manikandan先生 :
使用多种生理信号对植入式医疗设备进行运行时验证。 囊 2021 : 1837-1840 [i3] 哈蒙德·皮尔斯 , 辛阳 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
智能网络物理系统控制器自适应重用的运行时交换。 CoRR公司 abs/2110.01974 ( 2021 ) 2020 [j6] 哈蒙德·皮尔斯 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 , 马修·M·Y·郭 , 阿披实乌基尔 :
用于缓解工业控制系统网络物理攻击的智能I/O模块。 IEEE传输。 工业信息学 16 ( 7 ) : 4659-4669 ( 2020 ) [第14条] 索米亚·尚卡尔 , Ujwal V.R公司 , 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 :
自动车辆的正式运行时监测方法。 覆盖层 2020 : 89-94
2010 – 2019
2019 [第13条] Shivani三联症 , Debiprasanna Sahoo公司 , Manoranjan Satpathy公司 , 斯里尼瓦斯·皮尼塞蒂 :
支持高级操作的NAND闪存的形式化建模和验证。 ICCD公司 2019 : 313-316 [第12条] 哈蒙德·皮尔斯 , 马修·M·Y·郭 , Partha S.Roop公司 , 斯里尼瓦斯·皮尼塞蒂 :
使用运行时强制硬件保护植入式医疗设备。 记忆码 2019 : 3:1-3:9 [第11条] 伊利耶斯·法尔科内 , 斯里尼瓦斯·皮尼塞蒂 :
关于定时属性的运行时强制。 RV汽车 2019 : 48-69 2018 [第10条] 斯里尼瓦斯·皮尼塞蒂 , 杰拉尔多·施奈德 , 大卫·桑德斯 :
确定性程序超属性的运行时验证。 FormaliSE@ICSE 2018 : 20-29 【c9】 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 , 维杜拉·萨凡特 , 杰拉尔多·施奈德 :
使用运行时验证的起搏器安全。 记忆码 2018 : 51-61 [i2] 斯里尼瓦斯·皮尼塞蒂 , Thibaud安提尼克 , 大卫·桑德斯 , 杰拉尔多·施奈德 :
监控数据最小化。 CoRR公司 abs/1801.02484 ( 2018 ) 2017 [j5] 斯里尼瓦斯·皮尼塞蒂 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 , 蒂埃里·杰伦 , 伊利耶斯·法尔科内 , 埃尔维·马尔坎德 :
预测运行时强制。 形式方法系统。 设计。 51 ( 1 ) : 154-199 ( 2017 ) 【j4】 斯里尼瓦斯·皮尼塞蒂 , 蒂埃里·杰伦 , 斯塔夫罗斯·特里帕基斯 , 伊利耶斯·法尔科内 , 埃尔维·马尔坎德 , 紫罗兰Preoteasa :
定时属性的预测运行时验证。 J.系统。 柔和。 132 : 353-365 ( 2017 ) [j3] 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 , 史蒂文·斯迈思 , 内森·艾伦 , 斯塔夫罗斯·特里帕基斯 , 莱因哈德·冯·汉克斯利登 :
网络物理系统的运行时执行。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 5秒 ) : 178:1-178:25 ( 2017 ) 【c8】 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 , 史蒂文·斯迈思 , 斯塔夫罗斯·特里帕基斯 , 莱因哈德·冯·汉克斯利登 :
使用同步执行器的反应式系统的运行时执行。 自旋蛋白 2017 : 80-89 2016 [注2] 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 斯里尼瓦斯·皮尼塞蒂 :
通过抑制和延迟事件对常规定时属性进行运行时强制。 科学。 计算。 程序。 123 : 2-41 ( 2016 ) 【c7】 斯里尼瓦斯·皮尼塞蒂 , 斯塔夫罗斯·特里帕基斯 :
合成运行时强制。 非金融市场 2016 : 82-99 【c6】 斯里尼瓦斯·皮尼塞蒂 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 , 蒂埃里·杰伦 , 伊利耶斯·法尔科内 , 埃尔维·马尔坎德 :
预测运行时强制。 囊 2016 : 1628-1633 [i1] 斯里尼瓦斯·皮尼塞蒂 , Partha S.Roop公司 , 史蒂文·斯迈思 , 斯塔夫罗斯·特里帕基斯 , 莱因哈德·冯·汉克斯利登 :
使用同步执行器的反应式系统的运行时执行。 CoRR公司 abs/1612.05030 ( 2016 ) 2015 【b1】 斯里尼瓦斯·皮尼塞蒂 :
定时属性的运行时强制。 (临时财产的强制执行)。 法国雷恩1大学, 2015 【c5】 马蒂厄·雷纳德 , 伊利耶斯·法尔科内 , 安托万卷轴 , 斯里尼瓦斯·皮尼塞蒂 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
使用不可控事件强制执行(定时)属性。 ICTAC公司 2015 : 542-560 【c4】 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
TiPEX:执行期间用于定时属性执行的工具链。 RV汽车 2015 : 306-320 2014 [j1] 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 安托万卷轴 , 奥马尔·恩格纳·蒂莫 :
已重新访问定时属性的运行时强制。 形式方法系统。 设计。 45 ( 三 ) : 381-422 ( 2014 ) 【c3】 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
常规定时属性的运行时强制。 囊 2014 : 1279-1286 【c2】 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 :
带实际应用程序的参数定时属性的运行时强制。 WODES公司 2014 : 420-427 2012 【c1】 斯里尼瓦斯·皮尼塞蒂 , 伊利耶斯·法尔科内 , 蒂埃里·杰伦 , 埃尔维·马尔坎德 , 安托万卷轴 , 奥马尔·兰德里·恩格纳·蒂莫 :
定时属性的运行时强制。 RV汽车 2012 : 229-244
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)