Kedar S.Namjoshi公司
人员信息
优化列表
2020年–今天
2024 [i5] 淮西路 , Akshay Jajoo公司 , Kedar S.Namjoshi公司 :
交叉链相互作用的原子性和抽象。 CoRR公司 abs/2403.07248 ( 2024 ) 2022 [公元58年] 张若曦 , 理查德·特雷弗 , Kedar S.Namjoshi公司 :
从时间规范合成局部对称参数化协议。 FMCAD公司 2022 : 235-244 [公元57年] Kedar S.Namjoshi公司 , 尼萨·帕特尔 :
协调计划紧凑策略综合。 TACAS(1) 2022 : 46-63 2021 [公元56年] 马丁·卡罗尔 , Kedar S.Namjoshi公司 , 伊泰·塞格尔 :
多机器人编配的Resh编程语言。 ICRA公司 2021 : 4026-4032 [公元55年] Kedar S.Namjoshi公司 , 薛安东(Anton Xue) :
WebAssembly的自认证编译框架。 VMCAI公司 2021 : 127-148 [电子4] 塞扎拉·德拉戈伊 , 苏瓦姆·穆克吉 , Kedar S.Namjoshi公司 :
静态分析-第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17-19日,会议记录。 计算机科学课堂讲稿 12913, 施普林格 2021 ,国际标准图书编号 978-3-030-88805-3 [目录] [i4] 马丁·卡罗尔 , Kedar S.Namjoshi公司 , 伊泰·塞格尔 :
多机器人编配的Resh编程语言。 CoRR公司 abs/2103.13921 ( 2021 ) 2020 [公元10年] 苏古曼·班萨尔 , Kedar S.Namjoshi公司 , 亚尼夫·萨阿尔 :
从线性时间规范合成协调程序。 程序。 ACM计划。 语言。 4 ( POPL公司 ) : 54:1-54:27 ( 2020 ) [公元54年] Kedar S.Namjoshi公司 , 卢卡斯·塔巴加拉 :
见证安全编译。 VMCAI公司 2020 : 1-22
2010 – 2019
2019 [i3] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
局部Mu-Calculus的对称约简。 CoRR公司 abs/1903.10405 ( 2019 ) [i2] 苏古曼·班萨尔 , Kedar S.Namjoshi公司 , 亚尼夫·萨阿尔 :
从线性时序逻辑合成协调程序。 CoRR公司 abs/1911.03807 ( 2019 ) [i1] Kedar S.Namjoshi公司 , 卢卡斯·塔巴加拉 :
见证安全编译。 CoRR公司 abs/1911.05866 ( 2019 ) 2018 [公元9年] 邓超强 , Kedar S.Namjoshi公司 :
保护编译器转换。 形式方法系统。 设计。 53 ( 2 ) : 166-188 ( 2018 ) [公元53年] 苏古曼·班萨尔 , Kedar S.Namjoshi公司 , 亚尼夫·萨尔 :
从时间规范合成异步无功程序。 CAV(1) 2018 : 367-385 [第52条] Kedar S.Namjoshi公司 , 兹沃尼米尔·帕夫利诺维奇 :
程序转换对静态程序分析的影响。 SAS公司 2018 : 306-325 [第51条] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
局部Mu-Calculus的对称约简。 TACAS(2) 2018 : 379-395 [第1页] 迪米特拉·吉安娜科波卢 , Kedar S.Namjoshi公司 , 科琳娜·帕萨雷努 :
组合推理。 模型检查手册 2018 : 345-383 2017 [公元50年] 邓超强 , Kedar S.Namjoshi公司 :
见证网络转型。 RV汽车 2017 : 155-171 [公元49年] 邓超强 , Kedar S.Namjoshi公司 :
保护SSA转换。 SAS公司 2017 : 88-105 2016 [公元48年] Rigel Gjomemo公司 , Phu H.Phung公司 , 埃德蒙·巴鲁 , Kedar S.Namjoshi公司 , V.N.文卡塔克里希南 , 勒诺·D·扎克 :
利用静态分析工具提高内存错误清理编译器的可用性。 QRS(QRS) 2016 : 323-334 [公元47年] 邓超强 , Kedar S.Namjoshi公司 :
确保编译器转换的安全。 SAS公司 2016 : 170-188 [公元46年] Kedar S.Namjoshi公司 , 尼米特·辛哈尼亚 :
Loopy:可编程和正式验证的循环转换。 SAS公司 2016 : 383-402 [公元45年] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
参数化组合模型检查。 TACAS公司 2016 : 589-606 2015 [公元44年] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
AODVv2中的循环自由度。 复地 2015 : 98-112 [公元43年] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
动态过程网络分析。 TACAS公司 2015 : 164-178 [公元42年] Rigel Gjomemo公司 , Kedar S.Namjoshi公司 , Phu H.Phung公司 , V.N.文卡塔克里希南 , 勒诺·D·扎克 :
从验证到优化。 VMCAI公司 2015 : 300-317 2013 [公元41年] Kedar S.Namjoshi公司 , 贾科莫·塔利亚布 , 勒诺·D·扎克 :
见证编译器:概念证明。 RV汽车 2013 : 340-345 [公元40年] Kedar S.Namjoshi公司 , 勒诺·D·扎克 :
见证项目转型。 SAS公司 2013 : 304-323 [公元39年] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
揭示不规则过程网络中的对称性。 VMCAI公司 2013 : 496-514 [公元38年] Kedar S.Namjoshi公司 :
模型检入钻头和工件。 Dave Schmidt的Festschrift 2013 : 404-416 2012 [j8] Pramod V.Koppol公司 , Kedar S.Namjoshi公司 , 塔诺斯·斯坦霍普洛斯 , 戈登·威尔丰 :
及时主备份复制的固有困难。 贝尔实验室技术杂志。 17 ( 2 ) : 15-24 ( 2012 ) [公元37年] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
局部对称性和成分验证。 VMCAI公司 2012 : 348-362 2011 [公元36年] 乌里·克莱因 , Kedar S.Namjoshi公司 :
RESTful行为的形式化和自动验证。 CAV汽车 2011 : 541-556 [公元35年] Pramod V.Koppol公司 , Kedar S.Namjoshi公司 , 塔诺斯·斯坦霍普洛斯 , 戈登·威尔丰 :
及时进行主备份复制的固有困难。 PODC公司 2011 : 349-350 [电子3] Kedar S.Namjoshi公司 , 安德利亚斯·策勒 , 阿维·齐夫 :
硬件和软件:验证和测试-第五届国际海法验证会议,HVC 2009,以色列海法,2009年10月19-22日,修订论文集。 计算机科学课堂讲稿 6405, 施普林格 2011 ,国际标准图书编号 978-3-642-19236-4 [目录] 2010 [j7] Kedar S.Namjoshi公司 , Tomohiro Yoneda公司 :
前言。 发现的国际期刊。 计算。 科学。 21 ( 2 ) ( 2010 ) [j6] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
关于组合推理方法的完备性。 ACM事务处理。 计算。 日志。 11 ( 三 ) : 16:1-16:22 ( 2010 ) [公元34年] 纳里尼·瓦苏德万 , Kedar S.Namjoshi公司 , 斯蒂芬·爱德华兹 :
简单快速的偏向锁。 PACT公司 2010 : 65-74 [公元33年] 艾里尔·柯亨 , Kedar S.Namjoshi公司 , 亚尼夫·萨阿尔 :
组合推理的一点点公平。 CAV汽车 2010 : 543-557 [公元32年] 艾里尔·柯亨 , Kedar S.Namjoshi公司 , 亚尼夫·萨阿尔 :
分割:合成LTL验证程序。 CAV汽车 2010 : 558-561 [公元31年] 艾里尔·柯亨 , Kedar S.Namjoshi公司 , 亚尼夫·萨阿尔 , 勒诺·D·扎克 , 卡蒂亚·基西奥娃 :
并行化符号组合模型检查算法。 海法核查会议 2010 : 46-59 [公元30年] Kedar S.Namjoshi公司 , 吉里贾·纳利卡尔 :
用于入侵检测的鲁棒快速模式匹配。 信息通信 2010 : 740-748
2000 – 2009
2009 [j5] 罗伯特·M·阿伦 , 丹尼斯·达姆斯 , 理查德·赫尔 , 约翰·P·莱图瑙 , Kedar S.Namjoshi公司 :
电信与网络相遇:编程共享体验服务。 贝尔实验室技术杂志。 14 ( 三 ) : 167-185 ( 2009 ) 【j4】 艾里尔·柯亨 , Kedar S.Namjoshi公司 :
全球安全特性的本地证明。 形式方法系统。 设计。 34 ( 2 ) : 104-125 ( 2009 ) 2008 [公元29年] 艾里尔·柯亨 , Kedar S.Namjoshi公司 :
并发程序线性时间特性的局部证明。 CAV汽车 2008 : 149-161 [公元28年] 克里斯托弗·康威 , 丹尼斯·达姆斯 , Kedar S.Namjoshi公司 , 克拉克·W·巴雷特 :
指针分析,条件健全性,证明没有错误。 SAS公司 2008 : 62-77 2007 [公元27年] 艾里尔·柯亨 , Kedar S.Namjoshi公司 :
全球安全财产的本地证明。 CAV汽车 2007 : 55-67 [公元26年] Kedar S.Namjoshi公司 :
参数化系统分析中的对称性和完整性。 VMCAI公司 2007 : 299-313 [电子2] Kedar S.Namjoshi公司 , Tomohiro Yoneda公司 , 东野太郎 , 冈村义雄 :
验证和分析自动化技术,第五届国际研讨会,2007年10月22日至25日,日本东京,ATVA 2007,会议记录。 计算机科学课堂讲稿 4762, 施普林格 2007 ,国际标准图书编号 978-3-540-75595-1 [目录] 2006 [电子1] E.Allen爱默生 , Kedar S.Namjoshi公司 :
验证、模型检查和抽象解释,第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日,会议记录。 计算机科学课堂讲稿 3855, 施普林格 2006 ,国际标准图书编号 3-540-31139-4 [目录] 2005 [公元25年] 克里斯托弗·康威 , Kedar S.Namjoshi公司 , 丹尼斯·达姆斯 , 斯蒂芬·爱德华兹 :
安全特性跨过程分析的增量算法。 CAV汽车 2005 : 449-461 [公元24年] 丹尼斯·达姆斯 , Kedar S.Namjoshi公司 :
Orion:C和C++程序静态错误分析的高精度方法。 FMCO公司 2005 : 138-160 【c23】 丹尼斯·达姆斯 , Kedar S.Namjoshi公司 :
自动化作为抽象。 VMCAI公司 2005 : 216-232 2004 [公元22年] Kedar S.Namjoshi公司 :
模型检查中一种有效的可检查、基于证明的真空公式。 CAV汽车 2004 : 57-69 【c21】 丹尼斯·达姆斯 , Kedar S.Namjoshi公司 :
分支时间模型检查的有限抽象的存在性。 低收入国家 2004 : 335-344 2003 [j3] E.Allen爱默生 , Kedar S.Namjoshi公司 :
关于环的推理。 发现的国际期刊。 计算。 科学。 14 ( 4 ) : 527-550 ( 2003 ) [注2] 艾米·费尔蒂 , Kedar S.Namjoshi公司 :
功能规范和自动冲突检测。 ACM事务处理。 柔和。 工程方法。 12 ( 1 ) : 3-27 ( 2003 ) [公元20年] Kedar S.Namjoshi公司 :
分支时间属性的抽象。 CAV汽车 2003 : 288-300 [第19条] 尼娜·阿姆拉 , E.Allen爱默生 , Kedar S.Namjoshi公司 , 理查德·特雷弗 :
合成推理的抽象模式。 CONCUR公司 2003 : 423-438 [第18条] Kedar S.Namjoshi公司 :
通过抽象提升时间证明。 VMCAI公司 2003 : 174-188 [第17条] 丹尼斯·达姆斯 , Kedar S.Namjoshi公司 :
通过谓词抽象和模型检查进行形状分析。 VMCAI公司 2003 : 310-324 2002 [第16条] 尼娜·阿姆拉 , E.Allen爱默生 , Kedar S.Namjoshi公司 , 理查德·特雷弗 :
异步系统模块化推理的可视化规范。 复地 2002 : 226-242 2001 [第15条] Kedar S.Namjoshi公司 :
认证模型方格。 CAV汽车 2001 : 2-13 [第14条] 尼娜·阿姆拉 , E.Allen爱默生 , 罗伯特·P·库尔山 , Kedar S.Namjoshi公司 :
Rtdt:同步时序图高效模型检查的前端。 CAV汽车 2001 : 387-390 [第13条] 尼娜·阿姆拉 , E.Allen爱默生 , Kedar S.Namjoshi公司 , 理查德·特雷弗 :
基于假设保证的同步时序图合成推理。 TACAS公司 2001 : 465-479 2000 [j1] 理查德·雷米 , 拉明·霍贾蒂 , Kedar S.Namjoshi公司 :
环境建模和语言通用性。 ACM事务处理。 设计自动。 选举人。 系统。 5 ( 三 ) : 705-725 ( 2000 ) [第12条] Kedar S.Namjoshi公司 , 理查德·特雷弗 :
论构成推理的完备性。 CAV汽车 2000 : 139-153 [第11条] Kedar S.Namjoshi公司 , 罗伯特·P·库尔山 :
自动文摘的语法程序转换。 CAV汽车 2000 : 435-449 [第10条] 艾米·费尔蒂 , Kedar S.Namjoshi公司 :
特征规范和自动冲突检测。 FIW公司 2000 : 179-192 【c9】 尼娜·阿姆拉 , E.Allen爱默生 , 罗伯特·P·库尔山 , Kedar S.Namjoshi公司 :
模型检查同步时序图。 FMCAD公司 2000 : 283-298
1990 – 1999
1999 【c8】 Manolios帕纳焦蒂斯 , Kedar S.Namjoshi公司 , 萨默斯 :
用良好的互模拟进行连接定理证明和模型检验。 CAV汽车 1999 : 369-379 【c7】 Kedar S.Namjoshi公司 , 罗伯特·P·库尔山 :
循环定义的有效分析。 CAV汽车 1999 : 394-405 【c6】 尼娜·阿姆拉 , E.Allen爱默生 , Kedar S.Namjoshi公司 :
正则时序图的有效分解模型检查。 CHARME公司 1999 : 67-81 1998 【c5】 E.Allen爱默生 , Kedar S.Namjoshi公司 :
参数化总线仲裁协议的验证。 CAV汽车 1998 : 452-463 【c4】 E.Allen爱默生 , Kedar S.Namjoshi公司 :
关于非确定性无限状态系统的模型检验。 低收入国家 1998 : 70-80 1997 【c3】 Kedar S.Namjoshi公司 :
口吃互模拟的简单表征。 FSTTCS公司 1997 : 284-296 1996 【c2】 E.Allen爱默生 , Kedar S.Namjoshi公司 :
参数化同步系统的自动验证(扩展抽象)。 CAV汽车 1996 : 87-98 1995 【c1】 E.Allen爱默生 , Kedar S.Namjoshi公司 :
关于戒指的推理。 POPL公司 1995 : 85-94