K.Narayan Kumar
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [公元44年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , 本特·琼森 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
程序验证的一致性和持久性:挑战和机遇。 系统设计原则 2022 : 494-510 [公元43年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
使用动态线程创建验证TSO程序的可访问性。 网络 2022 : 283-300 2021 [公元9年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
确定持久x86-TSO下的可达性。 程序。 ACM计划。 语言。 5 ( 府绸 ) : 1-32 ( 2021 ) [公元42年] Snigdha Athaiya公司 , Raghavan Komondoor公司 , K.Narayan Kumar :
使用无限抽象域的异步系统的数据流分析。 员工持股计划 2021 : 30-58 [i5] Snigdha Athaiya公司 , Raghavan Komondoor公司 , K.Narayan Kumar :
使用无限抽象域的异步系统的数据流分析。 CoRR公司 abs/2101.10233 ( 2021 )
2010 – 2019
2019 [i4] 让·古堡-拉雷克 , 西蒙·哈弗冯 , Pratek Karandikar公司 , K.Narayan Kumar , 菲利普·施诺贝伦 :
计算井拟序闭子集的理想方法。 CoRR公司 abs/1904.10703 ( 2019 ) 2018 [公元41年] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
验证过程程序的定量时间特性。 CONCUR公司 2018 : 15:1-15:17 [公元40年] 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , 斯拉沃米尔·拉索塔 , 罗兰·梅耶 , 塞巴斯蒂安·穆斯卡拉 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
井-结构转换系统的规则可分性。 CONCUR公司 2018 : 35:1-35:18 2017 [公元39年] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
使用嵌套锁验证异步程序。 FSTTCS公司 2017 : 11:1-11:14 [公元38年] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
有界相位多下推系统上的奇偶博弈。 网络 2017 : 272-287 [电子2] Deepak D'Souza公司 , K.Narayan Kumar :
验证和分析自动化技术——第15届国际研讨会,2017年10月3日至6日,印度浦那,ATVA 2017,会议记录。 计算机科学课堂讲稿 10482, 施普林格 2017 ,国际标准图书编号 978-3-319-68166-5 [目录] 2016 [公元37年] 穆罕默德·法乌齐·阿提格 , 德米特里·奇斯蒂科夫 , 彼得罗·霍夫曼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 , 乔治·泽采 :
单计数器语言规则抽象的复杂性。 低收入国家 2016 : 207-216 [公元36年] 穆罕默德·法乌齐·阿提格 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
多重下推系统中的加速度。 TACAS公司 2016 : 698-714 [i3] 穆罕默德·法乌齐·阿提格 , 德米特里·奇斯蒂科夫 , 彼得罗·霍夫曼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 , 乔治·泽采 :
单计数器语言的常规抽象的复杂性。 CoRR公司 abs/1602.03419 ( 2016 ) 2015 [j8] S.阿克西 , 保罗·加斯廷 , 马达瓦恩·穆昆德 , K.Narayan Kumar :
检查基于时间约束的场景规范的一致性。 西奥。 计算。 科学。 594 : 24-43 ( 2015 ) 2014 [j7] S.阿克西 , Benedikt Bollig公司 , 保罗·加斯廷 , 马达瓦恩·穆昆德 , K.Narayan Kumar :
具有独立进化时钟的分布式时间自动机。 芬达姆。 信息学 130 ( 4 ) : 377-407 ( 2014 ) [j6] 穆罕默德·法乌齐·阿提格 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
相邻的有序多按钮系统。 发现的国际期刊。 计算。 科学。 25 ( 8 ) : 1083-1096 ( 2014 ) [公元35年] C.艾斯瓦里亚 , 保罗·加斯廷 , K.Narayan Kumar :
验证通过拆分宽度通信多按钮系统。 ATVA公司 2014 : 1-17 [公元34年] C.爱斯瓦里亚 , 保罗·加斯廷 , K.Narayan Kumar :
通信多按钮系统验证控制器。 CONCUR公司 2014 : 297-311 [公元33年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 彼得罗·霍夫曼 , 理查·马 , K.Narayan Kumar , 帕特里克·托茨克 :
无限状态能量游戏。 CSL-LICS公司 2014 : 7:1-7:10 [公元32年] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
共享存储系统的有界可达性分析。 FSTTCS公司 2014 : 611-623 [i2] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 彼得罗·霍夫曼 , 理查·马 , K.Narayan Kumar , 帕特里克·托茨克 :
无限州能源游戏。 CoRR公司 abs/1405.0628 ( 2014 ) 2013 [公元31年] 穆罕默德·法乌齐·阿提格 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
相邻的有序多按钮系统。 语言理论的发展 2013 : 58-69 2012 [公元30年] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
作用域边界下多线程程序的线性时间模型检查。 ATVA公司 2012 : 152-166 [公元29年] 爱斯瓦里亚·西里亚克 , 保罗·加斯廷 , K.Narayan Kumar :
基于分裂宽度的多下推系统的MSO可判定性。 CONCUR公司 2012 : 547-561 [c28] Benedikt Bollig公司 , 爱斯瓦里亚·西里亚克 , 保罗·加斯廷 , K.Narayan Kumar :
数据字的模型检查语言。 FoSSaCS公司 2012 : 391-405 [第1页] K.Narayan Kumar :
消息序列图理论。 自动机理论的现代应用 2012 : 289-324 [i1] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
多下推系统的模型检查分支时间属性是困难的。 CoRR公司 abs/1205.6928 ( 2012 ) 2010 [公元27年] S.阿克西 , 保罗·加斯廷 , 马达瓦恩·穆昆德 , K.Narayan Kumar :
模型检查基于时间约束的场景规范。 FSTTCS公司 2010 : 204-215 [公元26年] 乔伊·查克拉波蒂 , Deepak D'Souza公司 , K.Narayan Kumar :
分析消息序列图规范。 ISoLA(1) 2010 : 549-563
2000 – 2009
2009 [公元25年] 拉维·坎南 , K.Narayan Kumar :
前言——IARCS软件技术和理论计算机科学基础年会(2009年)。 FSTTCS公司 2009 [电子1] 拉维·坎南 , K.Narayan Kumar :
IARCS软件技术和理论计算机科学基础年会,FSTTCS 2009,2009年12月15-17日,印度坎普尔IIT。 LIPIcs公司 4, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2009 ,国际标准图书编号 978-3-939897-13-2 [目录] 2008 [公元24年] S.阿克西 , Benedikt Bollig公司 , 保罗·加斯廷 , 马达瓦恩·穆昆德 , K.Narayan Kumar :
具有独立进化时钟的分布式时间自动机。 CONCUR公司 2008 : 82-97 2007 【c23】 马达瓦恩·穆昆德 , K.Narayan Kumar , P.S.Thiagarajan先生 , 杨绍发 :
MSC的锚定级联。 形式模型、语言和应用 2007 : 274-288 [公元22年] S.阿克西 , 马达瓦恩·穆昆德 , K.Narayan Kumar :
检查定时场景无限集合的覆盖范围。 CONCUR公司 2007 : 181-196 【c21】 Puneet Bhateja公司 , 保罗·加斯廷 , 马达瓦恩·穆昆德 , K.Narayan Kumar :
消息序列图的本地测试很困难。 FCT公司 2007 : 76-87 2005 [j5] Jesper G.Henriksen公司 , 马达瓦恩·穆昆德 , K.Narayan Kumar , 米林德·索霍尼 , P.S.Thiagarajan先生 :
正规MSC语言理论。 Inf.计算。 202 ( 1 ) : 1-38 ( 2005 ) [公元20年] 巴拉特·阿德苏尔 , 马达瓦恩·穆昆德 , K.Narayan Kumar , 瓦苏马提·纳拉亚南 :
MSC语言的因果闭包。 FSTTCS公司 2005 : 335-347 2004 【j4】 阿比克·罗伊乔杜里 , K.Narayan Kumar , C.R.Ramakrishnan(罗马克里希南) , I.V.罗摩克里希南 :
用于确定逻辑程序的展开/折叠转换框架。 ACM事务处理。 程序。 语言系统。 26 ( 三 ) : 464-509 ( 2004 ) 2003 [j3] 马达瓦恩·穆昆德 , K.Narayan Kumar , 米林德·索霍尼 :
消息传递系统中的有界时间戳。 西奥。 计算。 科学。 290 ( 1 ) : 221-239 ( 2003 ) [第19条] 马达瓦恩·穆昆德 , K.Narayan Kumar , P.S.Thiagarajan先生 :
网络图:弥合HMSC和可执行规范之间的差距。 CONCUR公司 2003 : 293-307 [第18条] 保罗·加斯廷 , 马达瓦恩·穆昆德 , K.Narayan Kumar :
对于Mazurkiewicz痕迹,具有过去常量的本地LTL是完全的。 MFCS公司 2003 : 429-438 2002 [注2] 阿比克·罗伊乔杜里 , K.Narayan Kumar , C.R.Ramakrishnan(罗马克里希南) , I.V.罗摩克里希南 :
超越Tamaki Sato风格的普通逻辑程序的展开/折叠变换。 发现的国际期刊。 计算。 科学。 13 ( 三 ) : 387-403 ( 2002 ) [第17条] 萨米克·巴苏 , K.Narayan Kumar , L.罗伯特·波科尼 , C.R.Ramakrishnan(罗马克里希南) :
递归程序的资源约束模型检查。 TACAS公司 2002 : 236-250 2001 [第16条] K.Narayan Kumar , C.R.Ramakrishnan(罗马克里希南) , 斯科特·斯莫尔卡 :
布尔方程系统中的交替不动点作为首选稳定模型。 ICLP公司 2001 : 227-241 2000 [第15条] 马达瓦恩·穆昆德 , K.Narayan Kumar , 米林德·索霍尼 :
从MSC合成分布式有限状态系统。 CONCUR公司 2000 : 521-535 [第14条] 杰斯珀·亨利克森 , 马达瓦恩·穆昆德 , K.Narayan Kumar , P.S.Thiagarajan先生 :
关于消息序列图和有限生成的正则MSC语言。 ICALP公司 2000 : 675-686 [第13条] 杰斯珀·亨利克森 , 马达瓦恩·穆昆德 , K.Narayan Kumar , P.S.Thiagarajan先生 :
定期收集消息序列图。 MFCS公司 2000 : 405-414 [第12条] 阿比克·罗伊乔杜里 , K.Narayan Kumar , C.R.Ramakrishnan(罗马克里希南) , I.V.罗摩克里希南 , 斯科特·斯莫尔卡 :
使用逻辑程序转换验证参数化系统。 TACAS公司 2000 : 172-187
1990 – 1999
1999 [第11条] 马达瓦恩·穆昆德 , K.Narayan Kumar , 斯科特·斯莫尔卡 :
开放系统的更快模型检查。 亚洲的 1999 : 227-238 [第10条] 阿比克·罗伊乔杜里 , K.Narayan Kumar , C.R.Ramakrishnan(罗马克里希南) , I.V.罗摩克里希南 :
超越常规逻辑程序的Tamaki-Sato风格展开/折叠转换。 亚洲的 1999 : 322-333 【c9】 阿比克·罗伊乔杜里 , K.Narayan Kumar , I.V.罗摩克里希南 :
普通逻辑程序的广义展开/折叠变换系统。 ICLP公司 1999 : 616 【c8】 阿比克·罗伊乔杜里 , K.Narayan Kumar , C.R.Ramakrishnan(罗马克里希南) , I.V.罗摩克里希南 :
定义逻辑程序的参数化展开/折叠转换框架。 PPDP(PPDP) 1999 : 396-413 1998 【c7】 马达瓦恩·穆昆德 , K.Narayan Kumar , 杰库马尔·拉德哈克里希南 , 米林德·索霍尼 :
面向有限状态消息传递系统的特征描述。 亚洲的 1998 : 282-299 【c6】 K.Narayan Kumar , 兰斯·克莱维兰 , 斯科特·斯莫尔卡 :
无限概率和非概率测试。 FSTTCS公司 1998 : 209-220 【c5】 马达瓦恩·穆昆德 , K.Narayan Kumar , 杰库马尔·拉德哈克里希南 , 米林德·索霍尼 :
强健的异步协议是有限状态的。 ICALP公司 1998 : 188-199 【c4】 崔宝秋 , 董逸飞 , 杜晓群 , K.Narayan Kumar , C.R.Ramakrishnan(罗马克里希南) , I.V.罗摩克里希南 , 阿比克·罗伊乔杜里 , 斯科特·斯莫尔卡 , 大卫·斯科特·沃伦 :
逻辑编程和模型检查。 PLILP/ALP公司 1998 : 1-20 1995 【c3】 马达瓦恩·穆昆德 , K.Narayan Kumar , 米林德·索霍尼 :
跟踪消息传递系统中的最新流言。 严格 1995 : 249-263 1994 【c2】 K.Narayan Kumar , 帕里托什·K·潘迪亚 :
公平ICSP中算子的计算能力。 FSTTCS公司 1994 : 231-242 1993 [j1] K.Narayan Kumar , 帕里托什·K·潘迪亚 :
CSP中没有无界非确定性的无限并行性。 信息学报 30 ( 5 ) : 467-487 ( 1993 ) 【c1】 K.Narayan Kumar , 帕里托什·K·潘迪亚 :
ICSP及其与ACSP和CSP的关系。 FSTTCS公司 1993 : 358-372
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)