阿努什里·贾纳
人员信息
隶属关系: 印度浦那塔塔咨询服务公司
优化列表
2020年–今天
2022 【c7】 维迪希·吉米 , 安基塔·卡德萨雷 , 阿努什里·贾纳 , 巴蒂·奇迪瓦尔 :
IR映射:基于中间表示(IR)的映射,以促进增量静态分析。 国际标准化委员会 2022 : 23:1-23:5 【c6】 阿努什里·贾纳 , Bharti Chimdyalwar公司 , 希拉旺·库玛 , R.文卡特斯 :
进化软件系统的快速分析。 ISSRE研讨会 2022 : 49-54 【c5】 巴蒂·奇迪瓦尔 , 阿努什里·贾纳 , 希拉旺·库玛 , 安基塔·卡德萨雷 , 维迪希·吉米 :
识别演化软件系统增量验证的相关变更。 桑纳 2022 : 657-661 2021 【c4】 阿努什里·贾纳 , 安基塔·卡德萨雷 , 巴蒂·奇迪瓦尔 , 希拉旺·库玛 , 维迪希·吉米 , R.文卡特斯 :
用于演进软件系统的基于快速变化的警报报告。 ISSRE公司 2021 : 546至556
2010 – 2019
2016 【c3】 阿努什里·贾纳 , 乌代·P·凯德克 , Advaita数据器 , R.文卡特斯 , 尼亚斯C :
通过使用数组转换程序来缩放有界模型检查。 洛普斯特 2016 : 275-292 [i2] 阿努什里·贾纳 , Uday P.Khedker公司 , Advaita数据器 , R.文卡特斯 , 尼亚斯C :
通过使用数组转换程序来缩放有界模型检查。 CoRR公司 abs/1606.06974 ( 2016 ) [i1] 阿努什里·贾纳 , 乌代·P·凯德克 , Advaita数据器 , R.文卡特斯 , 尼亚斯C :
通过使用数组转换程序来缩放有界模型检查。 CoRR公司 abs/1608.05368 ( 2016 ) 2012 【c2】 阿努什里·贾纳 , 拉文德拉·奈克 :
使用动态分析精确检测未初始化变量-扩展到聚合和向量类型。 WCRE公司 2012 : 197-201 2011 【c1】 阿努什里·阿格拉瓦尔 , 拉文德拉·奈克 :
确保不会再次发生导致事务中断的故障:对稳定业务应用程序的实验。 国际标准化委员会 2011 : 107-110