马来语K.Ganai
人员信息
优化列表
2010 – 2019
2014 [公元56年] 李开拓 , 帕拉维·乔希 , 阿尔蒂·古普塔 , 马来语K.Ganai :
ReploLite:快速复制硬系统错误的轻量级工具。 SoCC公司 2014 : 25:1-25:13 [公元55年] 于林 , 弗兰乔·伊万西奇 , 帕拉维·乔希 , 果古勒·巴拉克里希南 , 马来语K.Ganai , 阿尔蒂·古普塔 :
分布式服务编排的环境敏感性能调整。 VECPAR公司 2014 : 209-223 [电子2] 马来语K.Ganai , 阿尔珀·森 :
2013年10月19日,美国俄勒冈州波特兰第二届正式工具和系统设计与实现国际研讨会论文集。 CEUR研讨会记录 1130, CEUR-WS.org公司 2014 [目录] 2013 [公元54年] 马来语K.Ganai :
基于时间戳锁历史的增量推理的高效数据竞争预测。 ASE公司 2013 : 37-47 [公元53年] 帕拉维·乔希 , 马来语K.Ganai , 果古勒·巴拉克里希南 , 阿尔蒂·古普塔 , 娜迪娅·帕帕孔斯坦蒂努 :
SETSUDŌ:可扩展分布式系统的基于扰动的测试框架。 三合一@SOSP 2013 : 7:1-7:14 2012 [第52条] 马来语K.Ganai :
多线程程序的动态Livelock分析。 RV汽车 2012 : 3-18 [第51条] 马来语K.Ganai , 东洋·李 , 阿尔蒂·古普塔 :
DTAM:针对相关性的多线程程序的动态污点分析。 SIGSOFT FSE公司 2012 : 46 [电子1] 马来语K.Ganai , 阿明·比尔 :
2011年11月3日,美国奥斯汀,第一届正式工具和系统设计与实现国际研讨会论文集。 CEUR研讨会记录 832, CEUR-WS.org公司 2012 [目录] 2011 [j7] 王超(Chao Wang) , Sudipta昆都 , 里希克什·利马耶 , 马来语K.Ganai , 阿尔蒂·古普塔 :
并发程序的符号预测分析。 形式方面计算。 23 ( 6 ) : 781-805 ( 2011 ) [公元50年] 马来语K.Ganai :
原子性违规的可扩展和精确的符号分析。 ASE公司 2011 : 123-132 [公元49年] 马来语K.Ganai , 尼普·阿罗拉 , 王超(Chao Wang) , 阿尔蒂·古普塔 , 果古勒·巴拉克里希南 :
BEST:用于预测多线程程序故障的符号测试工具。 ASE公司 2011 : 596-599 [公元48年] 王超(Chao Wang) , 马来语K.Ganai :
预测x86可执行文件的广义执行轨迹中的并发故障。 RV汽车 2011 : 4-18 2010 [公元47年] Sudipta昆都 , 马来语K.Ganai , 王超(Chao Wang) :
竞赛:通过符号分析增强的并发测试。 腔静脉 2010 : 127-131 [公元46年] 四川高 , 马来语K.Ganai , 弗兰乔·伊万西奇 , 阿尔蒂·古普塔 , 斯里拉姆·桑卡拉纳拉亚南 , 埃德蒙·克拉克 :
集成ICP和LRA求解器以确定非线性实数算术问题。 FMCAD公司 2010 : 81-89 [c45] 马来语K.Ganai :
使用careset推进SAT和基于SAT的BMC。 FMCAD公司 2010 : 231-238 [公元44年] 果古勒·巴拉克里希南 , 马来语K.Ganai , 阿尔蒂·古普塔 , 弗兰乔·伊万西奇 , 维尼特·卡隆 , 李伟红 , 前田直人 , 娜迪娅·帕帕孔斯坦蒂努 , 斯里拉姆·桑卡拉纳拉亚南 , Nishant Sinha公司 , 王超(Chao Wang) :
NEC可扩展且精确的项目分析。 FMCAD公司 2010 : 273-274 [公元43年] 马来语K.Ganai , 王超(Chao Wang) , 李伟红 :
高效的状态空间探索:交错进行无状态和基于状态的模型检查。 国际计算机辅助设计协会 2010 : 786-793 [公元42年] 弗兰乔·伊万西奇 , 马来语K.Ganai , 斯里拉姆·桑卡拉纳拉亚南 , 阿尔蒂·古普塔 :
使用软件模型检查进行浮点计算的数值稳定性分析。 记忆码 2010 : 49-58 [公元41年] 马来语K.Ganai , 王超(Chao Wang) :
使用事务序列图的并发跟踪程序的区间分析。 RV汽车 2010 : 253-269 [公元40年] 王超(Chao Wang) , 里希克什·利马耶 , 马来语K.Ganai , 阿尔蒂·古普塔 :
原子性违规的基于痕迹的符号分析。 TACAS公司 2010 : 328-342
2000 – 2009
2009 [公元39年] 王超(Chao Wang) , Sudipta昆都 , 马来语K.Ganai , 阿尔蒂·古普塔 :
并发程序的符号预测分析。 FM公司 2009 : 256-272 [公元38年] 马来语K.Ganai , 弗兰乔·伊万西奇 :
使用CORDIC的非线性算法约束的高效决策过程。 FMCAD公司 2009 : 61-68 [公元37年] 马来语K.Ganai , 李伟红 :
实事求是:简化和安排验证引擎以有效利用资源。 记忆码 2009 : 8-17 [公元36年] 马来语K.Ganai , Sudipta昆都 :
使用相互原子事务的并发系统验证条件的简化。 自旋蛋白 2009 : 68-87 2008 [j6] 亚历山大·扎克斯 , 资江杨 , 伊利亚·什利亚克特 , 弗兰乔·伊万西奇 , Srihari Cadambi公司 , 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
通过符号区间分析降低软件模型检查的比特宽度。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 8 ) : 1513-1517 ( 2008 ) [j5] 弗兰乔·伊万西奇 , 资江杨 , 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
用于软件验证的高效SAT有界模型检查。 西奥。 计算。 科学。 404 ( 三 ) : 256-274 ( 2008 ) [公元35年] 马来语K.Ganai , 阿尔蒂·古普塔 :
隧道和切片:实现可扩展的BMC。 数模转换器 2008 : 137-142 [公元34年] Sudipta昆都 , 马来语K.Ganai , 拉杰什·古普塔 :
系统C TLM设计可扩展测试的部分订单减少。 数模转换器 2008 : 936-941 [公元33年] 马来语K.Ganai , 阿尔蒂·古普塔 :
软件程序基于SMT的BMC的完整性。 日期 2008 : 831-836 [公元32年] 马来语K.Ganai :
使用SMT()的有界整数非线性运算的有效决策过程。 海法核查会议 2008 : 68-83 [公元31年] 马来语K.Ganai , 李伟红 :
d-TSR:在分布式框架上使用隧道并行化基于SMT的BMC。 海法核查会议 2008 : 194-199 [公元30年] 王超(Chao Wang) , 马来语K.Ganai , Shuvendu K.Lahiri公司 , 丹尼尔·克罗宁 :
嵌入式软件验证:挑战和解决方案。 国际计算机辅助设计协会 2008 : 5 [公元29年] 果古勒·巴拉克里希南 , 马来语K.Ganai :
PED:通过程序错误原因三角剖分进行验证性错误诊断。 SEFM公司 2008 : 268-278 [公元28年] 马来语K.Ganai , 阿尔蒂·古普塔 :
BMC中并发系统的高效建模。 自旋蛋白 2008 : 114-133 2007 【b1】 马来语K.Ganai , 阿尔蒂·古普塔 :
基于SAT的可扩展形式验证解决方案。 集成电路与系统系列 , 施普林格 2007 ,国际标准图书编号 978-0-387-69166-4 ,第1-326页 【j4】 马来语K.Ganai , 塔卢普尔壁画 , 阿尔蒂·古普塔 :
SDSAT:在解决差异逻辑时,将小域编码和惰性方法紧密结合在一起。 J.满意。 布尔模型。 计算。 三 ( 1-2 ) : 91-114 ( 2007 ) [公元27年] 马来语K.Ganai , 阿尔蒂·古普塔 :
具有时钟规范的多时钟系统的高效BMC。 ASP-DAC公司 2007 : 310-315 [公元26年] 马来语K.Ganai , 阿基拉·穆凯亚马 , 阿尔蒂·古普塔 , Kazutoshi Wakabayashi公司 :
综合“验证感知”模型:为什么以及如何? 超大型积体电路设计 2007 : 50-56 [i1] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
使用高效内存建模验证嵌入式内存系统。 CoRR公司 abs/0710.4666 ( 2007 ) 2006 [j3] 马来语K.Ganai , 阿尔蒂·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 :
高效的分布式SAT和基于SAT的分布式有界模型检查。 国际期刊软件。 工具技术。 Transf公司。 8 ( 4-5 ) : 387-396 ( 2006 ) [公元25年] 王超(Chao Wang) , 阿尔蒂·古普塔 , 马来语K.Ganai :
差分逻辑求解器的谓词学习和选择性理论推导。 数模转换器 2006 : 235-240 [公元24年] 马来语K.Ganai , 阿尔蒂·古普塔 :
加速高级有界模型检查。 国际计算机辅助设计协会 2006 : 794-801 [c23] 阿尔蒂·古普塔 , 马来语K.Ganai , 王超(Chao Wang) :
基于SAT的验证方法及其在硬件验证中的应用。 SFM公司 2006 : 108-143 [公元22年] 马来语K.Ganai , 塔卢普尔壁画 , 阿尔蒂·古普塔 :
SDSAT公司 :紧密集成 小型域编码 和 懒惰 分离逻辑求解器中的方法。 TACAS公司 2006 : 135-150 2005 【c21】 弗兰乔·伊万西奇 , 资江杨 , 马来语K.Ganai , 阿尔蒂·古普塔 , 伊利亚·什利亚克特 , 普拉纳夫·阿沙尔 :
F-Soft:软件验证平台。 腔静脉 2005 : 301-306 [公元20年] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
超越安全:定制基于SAT的模型检查。 数模转换器 2005 : 738-743 [第19条] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
使用高效内存建模验证嵌入式内存系统。 日期 2005 : 1096-1101 [第18条] 弗兰乔·伊万西奇 , 伊利亚·什利亚克特 , 阿尔蒂·古普塔 , 马来语K.Ganai , 维尼特·卡隆 , 王超(Chao Wang) , 资江杨 :
使用F-SOFT对C程序进行模型检查。 ICCD公司 2005 : 297-308 [第17条] 王超(Chao Wang) , 弗兰乔·伊万西奇 , 马来语K.Ganai , 阿尔蒂·古普塔 :
用SAT和增量负循环消除法确定分离逻辑公式。 LPAR公司 2005 : 322-336 [第16条] 印度 , 弗兰乔·伊万西奇 , 阿尔蒂·古普塔 , 马来语K.Ganai :
谓词抽象的定位和寄存器共享。 TACAS公司 2005 : 397-412 [第15条] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
迪维尔 :用于验证大型系统的基于SAT的模型检查平台。 TACAS公司 2005 : 575-580 [第14条] 阿尔蒂·古普塔 , 马来语K.Ganai , 普拉纳夫·阿沙尔 :
基于证明的抽象的惰性约束和SAT启发式。 超大型积体电路设计 2005 : 183-188 2004 [第13条] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
有界模型检查中嵌入式存储器的高效建模。 腔静脉 2004 : 440-452 [第12条] 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
基于SAT的无界符号模型的电路协同分解高效检测。 国际计算机辅助设计协会 2004 : 510-517 [第11条] 普拉纳夫·阿沙尔 , 马来语K.Ganai , 阿尔蒂·古普塔 , 弗兰乔·伊万西奇 , 资江杨 :
用于软件验证的高效SAT有界模型检查。 ISoLA(初步程序) 2004 : 157-164 2003 [c10] 阿尔蒂·古普塔 , 马来语K.Ganai , 王超(Chao Wang) , 资江杨 , 普拉纳夫·阿沙尔 :
抽象和BDD补充了DiVer中基于SAT的BMC。 腔静脉 2003 : 206-209 【c9】 马来语K.Ganai , 阿尔蒂·古普塔 , 资江杨 , 普拉纳夫·阿沙尔 :
高效的分布式SAT和基于SAT的分布式有界模型检查。 CHARME公司 2003 : 334-347 【c8】 阿尔蒂·古普塔 , 马来语K.Ganai , 王超(Chao Wang) , 资江杨 , 普拉纳夫·阿沙尔 :
在基于SAT的有界模型检查中学习BDD。 数模转换器 2003 : 824-829 【c7】 阿尔蒂·古普塔 , 马来语K.Ganai , 资江杨 , 普拉纳夫·阿沙尔 :
使用基于SAT的BMC和证明分析进行迭代抽象。 国际计算机辅助设计协会 2003 : 416-423 2002 [注2] 安德烈亚斯·库尔曼 , 维雷什·帕鲁西 , 弗洛里安·克罗姆 , 马来语K.Ganai :
用于等价性检查和功能属性验证的稳健布尔推理。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 21 ( 12 ) : 1377-1394 ( 2002 ) 【c6】 马来语K.Ganai , 普拉纳夫·阿沙尔 , 阿尔蒂·古普塔 , 张林涛 , 莎拉·马利克 :
结合基于电路和基于CNF的算法的优点,实现高性能SAT求解器。 数模转换器 2002 : 747-750 【c5】 马来语K.Ganai , 阿德南·阿齐兹 :
改进了基于SAT的有界可达性分析。 ASP-DAC/VLSI设计 2002 : 729-734 2001 [j1] 马来语K.Ganai , 普拉文·雅拉甘杜拉 , 阿德南·阿齐兹 , 安德烈亚斯·库尔曼 , 维吉安·辛哈尔 :
SIVA:一个覆盖定向状态空间搜索系统。 《电子杂志》。 测试。 17 ( 1 ) : 11-27 ( 2001 ) 【c4】 安德烈亚斯·库尔曼 , 马来语K.Ganai , 维雷什·帕鲁西 :
基于电路的布尔推理。 数模转换器 2001 : 232-237 【c3】 马来语K.Ganai , 阿德南·阿齐兹 :
基于稀少的引导状态空间搜索。 ACM大湖区超大规模集成电路研讨会 2001 : 97-102
1990 – 1999
1999 【c2】 马来语K.Ganai , 阿德南·阿齐兹 , 安德烈亚斯·库尔曼 :
使用BDD和ATPG增强仿真。 数模转换器 1999 : 385-390 【c1】 刘泰洪 , 马来语K.Ganai , 阿德南·阿齐兹 , 杰弗里·伯恩斯 :
通-晶体管逻辑的性能驱动综合。 超大型积体电路设计 1999 : 372-377