A.K.巴塔查吉
人员信息
优化列表
2010 – 2019
2019 [j6] 巴格旺·N·巴瑟 , 巴蒂·哈里拉马尼 , A.K.巴塔查吉 , S.V.Kulgod公司 :
Salsa扩展到64位的对角线常数分析。 J.哈德。 系统。 安全。 三 ( 1 ) : 94-102 ( 2019 ) 2017 【c23】 巴格旺·N·巴瑟 , 巴蒂·哈里拉马尼 , A.K.巴塔查吉 , S.V.Kulgod公司 :
莎莎舞对角线常数的分析。 SPACE(空间) 2017 : 93-110 [公元22年] 莫妮卡·桑特拉 , 萨蒂什·K·佩多朱 , A.K.巴塔查吉 , 阿林达姆·汗 :
一种改进的远程认证协议的设计与分析。 TrustCom/BigDataSE/ICESS 2017 : 578-585 2015 【c21】 托沙纳尔·梅波尔(Toshanlal Meenpal) , A.K.巴塔查吉 :
水印去除攻击扩展到针对基于相关性的水印方案的伪造。 ICISS公司 2015 : 463-479 2014 [公元20年] Hemangi Gawand公司 , A.K.巴塔查吉 , 卡尔洛·罗伊 :
实时抖动和网络物理系统。 伊卡奇 2014 : 2004-2008 2013 [第19条] 阿莫尔·瓦坎卡 , 阿林达姆·汗 , G.阿拉瓦穆坦 , A.K.巴塔查吉 :
具有测试和严格的程序分析经验,以确保RTOS的合格性。 国际标准化委员会 2013 : 83-89 2012 [j5] 沙伊克·马达尔·萨赫布(Shaik Madhar Saheb) , A.K.巴塔查吉 , 赫马德拉萨法 , 拉吉卜·卡尔 :
针对ieee 802.11e网络中延迟敏感业务的增强混合协调功能控制的基于信道访问的自适应调度器。 IET网络 1 ( 4 ) : 281-288 ( 2012 ) [第18条] 德希拉吉·古普塔 , P.S.乔希 , A.K.巴塔查吉 , R.S.蒙达达 :
使用基于知识的评估对IDS警报进行分类。 通讯录 2012 : 1-8 [c17] 迪皮卡·杜塔·米什拉 , C.S.R.C.穆西 , 基斯莱·巴特 , A.K.巴塔查吉 , R.S.蒙达达 :
基于HPC的密码分析攻击框架的开发和性能分析。 立方体 2012 : 789-794 [第16条] 阿尼尔班·罗伊·乔杜里 , A.K.巴塔查吉 :
RED:使用抽象解释在C程序中进行运行时错误检测的工具。 国际标准化委员会 2012 : 37-40 2011 [第15条] Pratibha Sawhney公司 , G.加内什 , A.K.巴塔查吉 :
基于FPGA设计的运行时监视器的自动构造。 国际教育部 2011 : 164-169 [第1页] 苏亚·拉马钱德兰 , R.S.蒙达达 , A.K.巴塔查吉 , C.S.R.C.穆西 , R.夏尔马 :
主机异常分类:在信息安全监控中使用本体。 网络安全、网络犯罪和网络法医学 2011 : 70-86 2010 [第14条] 拉吉卜·卡尔 , 维卡斯·马赫什瓦里 , Maqbool马里兰州 , 阿什什·库马尔·马尔 , A.K.巴塔查吉 :
一种基于Burr分布函数的高速片上RC互连的闭式回转评估方法。 BAIP公司 2010 : 71-75 [第13条] 沙伊克·马达尔·萨赫布(Shaik Madhar Saheb) , A.K.巴塔查吉 , 阿提纳亚拉南·瓦拉瓦拉吉 :
IEEE 802.11e无线局域网中基于增强HCCA的多媒体流量自适应调度器。 ICWN公司 2010 : 446-453
2000 – 2009
2009 【j4】 乔代布·罗伊·乔杜里 , 赛扬提卡-帕塔纳亚克 , A.K.巴塔查吉 :
电池供电嵌入式系统的设计方法。在安全关键应用中。 计算。 站立。 接口 31 ( 2 ) : 499-503 ( 2009 ) [j3] A.K.巴塔查吉 , R.K.Shyamasundar先生 :
活动图:建模业务流程和代码生成的正式框架。 J.对象技术。 8 ( 1 ) : 189-220 ( 2009 ) [第12条] 杜巴达尔·曼达尔 , A.K.巴塔查吉 , 萨基·普拉萨德·戈沙尔 :
采用进化优化技术的非均匀激励同心圆天线阵的比较优化设计。 ICETET公司 2009 : 619-624 [第11条] 乔伊德布·罗乔杜里 , Tribeni Prasad Banerjee公司 , 赫马古龙 , A.K.巴塔查吉 , 斯瓦加塔姆达斯 :
使用卡尔曼滤波器实时预测电荷状态。 NaBIC公司 2009 : 1190-1194 [第10条] 杜巴达尔·曼达尔 , A.K.巴塔查吉 , 萨基·普拉萨德·戈沙尔 :
仿生优化技术在寻找同心圆天线阵列最佳组中的应用。 NaBIC公司 2009 : 1247-1252 2008 【c9】 A.K.巴塔查吉 , R.K.Shyamasundar先生 :
ScriptOrc:Web服务编排的规范语言。 APSCC公司 2008 : 1089-1096 【c8】 拉吉卜·卡尔 , 阿努拉·查塔拉吉 , 阿尼鲁达·钱德拉 , 阿希斯·库马尔·马尔 , A.K.巴塔查吉 :
基于威布尔分布函数的片上VLSI互连延迟估计。 ICIS公司 2008 : 1-3 【c7】 A.K.巴塔查吉 , R.K.Shyamasundar先生 :
编排=带脚本的编排+对话。 ICWS公司 2008 : 824-827 2007 【c6】 Ajith K.约翰 , 巴比塔·夏尔马 , A.K.巴塔查吉 , S.D.Dhodapkar公司 , S.拉梅什 :
MISRA C程序中运行时错误的检测:一种演绎方法。 SAFECOMP公司 2007 : 491-504 2005 【c5】 A.K.巴塔查吉 , R.K.Shyamasundar先生 :
活动图的验证代码生成。 ICDCIT公司 2005 : 508-521 2003 【c4】 阿斯夫·伊克巴尔 , A.K.巴塔查吉 , S.D.Dhodapkar公司 , S.拉梅什 :
分布式反应系统的可视化建模与验证。 SAFECOMP公司 2003 : 22-34 2001 [注2] A.K.巴塔查吉 , S.D.Dhodapkar公司 , R.K.Shyamasundar先生 :
PERTS:反应系统规范和验证的环境。 Reliab公司。 工程系统。 安全。 71 ( 三 ) : 299-310 ( 2001 ) [j1] A.K.巴塔查吉 , S.D.Dhodapkar公司 , R.K.Shyamasundar先生 :
PERTS:反应系统规范和验证环境:[可靠性工程和系统安全,71(3),2001,299-310]。 Reliab公司。 工程系统。 安全。 72 ( 2 ) : 223 ( 2001 ) 2000 【c3】 A.K.巴塔查吉 , 戈帕·森 , S.D.Dhodapkar公司 , Kundapur Karunakar村 , 巴桑特·拉詹 , R.K.Shyamasundar先生 :
目标代码验证系统。 FTRTFT公司 2000 : 152-169
1990 – 1999
1999 【c2】 桑吉特·塞希亚 , R.K.Shyamasundar先生 , A.K.巴塔查吉 , S.D.Dhodapkar公司 :
将状态图翻译为Esterel。 形式方法世界大会 1999 : 983-1007 【c1】 A.K.巴塔查吉 , S.D.Dhodapkar公司 , 桑吉特·塞希亚 , R.K.Shyamasundar先生 :
无功系统规范和验证的图形环境。 SAFECOMP公司 1999 : 431-444