鲁帕克·马朱姆达尔;考希·马利克;马特乌斯·里奇里基;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼 海报摘要:用于加速符号控制的工具链。 (英语) Zbl 07807969号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第28号论文,第2页(2023年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号28,第2页(2023;Zbl 07807969) 全文: 内政部
鲁帕克·马朱姆达尔;萨代赫·苏贾尼 LQR和LQG控制的可计算性。 (英语) Zbl 07807678号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第5号论文,第7页(2021年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}和\textit{S.Soudjani},在:第24届ACM混合系统国际会议论文集:计算和控制,HSCC 2021,CPS物联网周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第5号论文,第7页(2021;Zbl 07807678) 全文: 内政部
鲁帕克·马朱姆达尔;马达瓦恩·穆昆德;费利克斯·斯图兹;达米安·祖弗里 在异步多方会话类型中泛化投影。 (英语) Zbl 07730637号 Haddad,Serge(编辑)等人,第32届并发理论国际会议,CONCUR 20212021年8月24日至27日,虚拟会议。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。203,第35条,第24页(2021年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,LIPIcs--Leibniz Int.Proc。通知。203,第35条,第24页(2021;Zbl 07730637) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;拉马纳森·S·蒂尼亚姆。;乔治·泽采 异步共享内存程序的一般判定结果:高阶和更高阶。 (英语) Zbl 1467.68040号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 449-467 (2021).MSC公司:68号30 第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,Lect。注释计算。科学。12651、449--467(2021;Zbl 1467.68040) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;内克米耶·奥扎伊;安妮·凯瑟琳·施穆克 基于抽象的输出反馈控制器设计。 (英语) Zbl 07300856号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第15条,第11页(2020年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第15条,第11页(2020;Zbl 07300856) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;考希·马利克;萨代赫·苏贾尼 随机系统上Büchi规范的符号控制器综合。 (英语) Zbl 07300855号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第14条,第11页(2020年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第14条,第11页(2020;Zbl 07300855) 全文: 内政部 arXiv公司
考希·马利克;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼;鲁帕克·马朱姆达尔 有限状态抽象的合成。 (英语) Zbl 1482.93263号 IEEE传输。自动化。控制 64,第6号,2629-2636(2019).MSC公司:93立方厘米 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{K.Mallik}等人,IEEE Trans。自动化。控制64,No.6,2629--2636(2019;Zbl 1482.93263) 全文: 内政部
马哈茂德·萨拉马蒂;萨代赫·苏贾尼;鲁帕克·马朱姆达尔 CTMC和CTMDP的近似时限可达性:Lyapunov方法。 (英语) Zbl 1514.68146号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 389-406 (2018).MSC公司:60年第68季度 03B70号 60年28日 87年第68季度 90立方厘米 93个B03 93二氧化碳 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Salamati}等人,Lect。注释计算。科学。11024,389--406(2018;Zbl 1514.68146) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;让-弗朗索瓦·拉斯金 非布尔域中的符号模型检查。 (英语) Zbl 1392.68259号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1111-1147 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}和\textit{J.-F.Raskin},in:模型检查手册。查姆:斯普林格。1111--1147(2018;Zbl 1392.68259) 全文: 内政部
雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 序列平行图上可逆有界自动机的可达性分析。 (英语) Zbl 1390.68385号 学报信息。 55,第2期,153-189(2018).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}和\textit{R.Majumdar},《学报》第55期,第2期,第153--189页(2018年;Zbl 1390.68385) 全文: 内政部 arXiv公司
Ondřej Lengál;Anthony W·林。;鲁帕克·马朱姆达尔;菲利普·吕默 参数化概率并发系统的公平终止。 (英语) Zbl 1452.68127号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 499-517 (2017).MSC公司:68问题85 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Lengál}等人,Lect。注释计算。科学。102059499-517(2017年;兹比尔1452.68127) 全文: 内政部 arXiv公司 链接
Esmaeil Zadeh Soudjani,萨代;鲁帕克·马朱姆达尔;提格朗·纳加佩提安 混合系统统计模型检验的多级蒙特卡罗方法。 (英语) 兹比尔1420.68126 Bertrand,Nathalie(编辑)等人,《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10503, 351-367 (2017).MSC公司:60年第68季度 65二氧化碳 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Esmaeil Zadeh Soudjani}等人,Lect。注释计算。科学。10503、351--367(2017;Zbl 1420.68126) 全文: 内政部 arXiv公司
德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 SMT中的近似计数和概率程序的值估计。 (英语) Zbl 1380.68117号 学报信息。 54,第8期,729-764(2017).MSC公司:68号30 68T20型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,《信息学报》54,第8期,第729--764页(2017年;Zbl 1380.68117) 全文: 内政部 arXiv公司 链接
Jochen Hoenicke公司;鲁帕克·马朱姆达尔;安德烈亚斯·波德尔斯基 多层次的线程模块化:组成验证中的一颗明珠。 (英语) Zbl 1380.68274号 Castagna,Giuseppe(ed.)等人,第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。473-485(2017年)。MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人,in:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。473--485(2017;Zbl 1380.68274) 全文: 内政部
埃齐奥·巴托西(编辑);鲁帕克·马朱姆达尔(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1372.00088号 形式方法系统。设计。 51,第1号,1-4号(2017).MSC公司:00B25型 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}(编辑)和\textit{R.Majumdar}(主编),《形式方法系统》。设计。51,编号1,1--4(2017;Zbl 1372.00088) 全文: 内政部
鲁帕克·马朱姆达尔(编辑);Kunčak,维克多(编辑) 计算机辅助验证。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。 (英语) Zbl 1369.68033号 计算机科学课堂讲稿10427.查姆:施普林格(ISBN 978-3-319-63389-3/pbk;978-3-3169-63390-9/电子书)。十七、623页。(2017).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}(编辑)和\textit{V.Kunčak}(编者),计算机辅助验证。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格(2017;Zbl 1369.68033) 全文: 内政部
鲁帕克·马朱姆达尔(编辑);Kunčak,维克多(编辑) 计算机辅助验证。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分。 (英语) Zbl 1369.68032号 计算机科学课堂讲稿10426.查姆:施普林格(ISBN 978-3-319-63386-2/pbk;978-3-3169-63387-9/电子书)。xix,第601页。(2017).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}(编辑)和\textit{V.Kunčak}(编者),计算机辅助验证。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分Cham:Springer(2017;Zbl 1369.68032) 全文: 内政部
Jyotirmoy V.德斯穆赫。;鲁帕克·马朱姆达尔;Vinayak S.普拉布。 使用斯科罗霍德指标量化合规性。 (英语) Zbl 1360.68629号 形式方法系统。设计。 50,编号2-3,168-206(2017).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Deshmukh}等人,《形式方法系统》。设计。50,编号2--3,168-206(2017;Zbl 1360.68629) 全文: 内政部
Esmaeil Zadeh Soudjani,萨代;亚历山德罗·阿巴特;鲁帕克·马朱姆达尔 用于结构化随机过程形式化验证的动态贝叶斯网络。 (英语) Zbl 1364.68262号 学报信息。 54,第2期,217-242(2017).MSC公司:60年第68季度 60J05型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Esmaeil Zadeh Soudjani}等人,《信息学报》54,第2期,217--242(2017;Zbl 1364.68262) 全文: 内政部 arXiv公司 链接
雷娜·迪米特洛娃;费雷尔·菲奥里蒂,路易斯·玛丽亚;霍尔格·赫尔曼斯;鲁帕克·马朱姆达尔 概率\(\mathrm{CTL}^*\):演绎法。 (英语) Zbl 1420.68124号 Chechik,Marsha(编辑)等人,《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9636280-296(2016年)。MSC公司:60年第68季度 03B44号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人,Lect。注释计算。科学。9636280-296(2016;Zbl 1420.68124) 全文: 内政部
Esmaeil Zadeh Soudjani,萨代;鲁帕克·马朱姆达尔;亚历山德罗·阿巴特 连续空间纯跳跃马尔可夫过程的安全性验证。 (英语) Zbl 1420.68125号 Chechik,Marsha(编辑)等人,《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9636, 147-163 (2016).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Esmaeil Zadeh Soudjani}等人,Lect。注释计算。科学。9636147-163(2016;Zbl 1420.68125) 全文: 内政部 链接
德米特里·奇斯蒂科夫;鲁帕克·马朱姆达尔;菲利普·尼克西奇 点击异步程序的日程表系列。 (英语) Zbl 1411.68027号 Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。9780, 157-176 (2016).MSC公司:68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,Lect。注释计算。科学。9780,157--176(2016;Zbl 1411.68027) 全文: 内政部 arXiv公司 链接
戴维·戴宁格;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 分解概率模型的符号模型检查。 (英语) Zbl 1398.68338号 Artho,Cyrille(编辑)等人,《用于验证和分析的自动化技术》。2016年10月17日至20日,第14届国际研讨会,ATVA 2016,日本千叶。诉讼程序。查姆:施普林格(ISBN 978-3-319-46519-7/pbk;978-3-3169-46520-3/电子书)。计算机科学讲义9938,444-460(2016)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Deininger}等人,Lect。注释计算。科学。9938、444--460(2016年;Zbl 1398.68338) 全文: 内政部 链接
雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 序列平行图上可逆有界自动机的可达性分析。 (英语) Zbl 1476.68128号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193100-114(2015)。MSC公司:第68季度第45季度 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}和\textit{R.Majumdar},电子。程序。西奥。计算。科学。(EPTCS)193100--114(2015;Zbl 1476.68128) 全文: 链接
德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 SMT中的近似计数和概率程序的值估计。 (英语) Zbl 1420.68194号 Baier,Christel(编辑)等人,《系统构建和分析的工具和算法》。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2015,英国伦敦,2015年4月11日至18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9035, 320-334 (2015).MSC公司:68T20型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,Lect。注释计算。科学。9035,320-334(2015;Zbl 1420.68194) 全文: 内政部 链接
Jyotirmoy V.德斯穆赫。;鲁帕克·马朱姆达尔;Vinayak S.普拉布。 使用斯科罗霍德指标量化合规性。 (英语) Zbl 1381.68156号 Kroening,Daniel(编辑)等人,《计算机辅助验证》。第27届国际会议,CAV 2015,美国加利福尼亚州旧金山,2015年7月18日至24日。诉讼程序。第二部分。查姆:施普林格(ISBN 978-3-319-21667-6/pbk;978-3-3169-21668-3/ebook)。《计算机科学讲义》9207234-250(2015)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Deshmukh}等人,Lect。注释计算。科学。9207234--250(2015;Zbl 1381.68156) 全文: 内政部 arXiv公司
伊凡·加夫兰;菲利普·尼克西奇;阿迪蒂亚·卡纳德;鲁帕克·马朱姆达尔;维克托·瓦菲亚迪斯 异步程序的可靠性/保证推理。 (英语) Zbl 1374.68104号 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42483-496(2015)。MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Gavran}等人,LIPIcs——莱布尼茨国际程序。通知。42、483--496(2015年;Zbl 1374.68104) 全文: 内政部
萨代赫·伊斯梅尔·扎德(Sadegh Esmaeil Zadeh)·苏贾尼(Soudjani);亚历山德罗·阿巴特;鲁帕克·马朱姆达尔 动态贝叶斯网络是结构化随机过程的形式化抽象。 (英语) 兹比尔1374.68301 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,169-183(2015)。MSC公司:60年第68季度 60J05型 60J10型 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.E.Z.Soudjani}等人,LIPIcs——莱布尼茨国际程序。通知。42、169--183(2015年;Zbl 1374.68301) 全文: 内政部
迈克尔·埃米;皮埃尔·甘蒂;鲁帕克·马朱姆达尔;费尔南多·罗莎·维拉尔多 使用基于事件的同步分析异步程序。 (英语) Zbl 1335.68053号 Vitek,Jan(编辑),《编程语言和系统》。2015年4月11日至18日,作为欧洲软件理论与实践联合会议(ETAPS 2015)的一部分,在英国伦敦举行了第24届欧洲编程研讨会(ESOP 2015)。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-466668-1/pbk;978-3-662-466669-8/电子书)。计算机科学课堂讲稿9032535-559(2015)。MSC公司:68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Emmi}等人,Lect。注释计算。科学。9032535--559(2015年;Zbl 1335.68053) 全文: 内政部
哈维尔·埃斯帕尔扎;鲁斯兰Ledesma-Garza;鲁帕克·马朱姆达尔;菲利普·迈耶;菲利普·尼克西奇 基于SMT的覆盖性分析方法。 (英语) Zbl 1487.68156号 Biere,Armin(编辑)等人,《计算机辅助验证》。2014年7月18日至22日在奥地利维也纳举行的第26届国际会议,CAV 2014,作为维也纳逻辑夏季的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8559, 603-619 (2014).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.Esparza}等人,Lect。注释计算。科学。8559603-619(2014年;兹比尔1487.68156) 全文: 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;马可·费拉;鲁帕克·马朱姆达尔;维什瓦纳斯·拉曼 代码感知资源管理。 (英语) Zbl 1291.68137号 形式方法系统。设计。 42,第2期,146-174(2013).MSC公司:68号30 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。42,No.2,146--174(2013;Zbl 1291.68137) 全文: 内政部
Gligoric,米洛斯;鲁帕克·马朱姆达尔 模型检查数据库应用程序。 (英语) Zbl 1381.68163号 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795549-564(2013)。MSC公司:60年第68季度 68英里11 第68页第19页 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Gligoric}和\textit{R.Majumdar},莱克特。注释计算。科学。7795、549--564(2013年;Zbl 1381.68163) 全文: 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔 覆盖的复杂性。 (英语) Zbl 1286.68310号 发现的国际期刊。计算。科学。 24,第2期,165-185(2013).MSC公司:60年第68季度 68号30 65年第68季度 91A80型 91A20型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,国际期刊发现。计算。科学。24,第2号,165--185(2013;Zbl 1286.68310) 全文: 内政部
鲁帕克·马朱姆达尔;伊莱恩·雷恩;保罗·塔布阿达 针对未指定干扰的鲁棒离散综合。 (英语) Zbl 1362.68175号 2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。211-220(2011年)。MSC公司:60年第68季度 第68季度第45季度 93亿B51 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,in:第14届ACM混合系统国际会议论文集:计算与控制,HSCC 2011,芝加哥,伊利诺伊州,美国,2011年4月12-14日。纽约州纽约市:计算机协会(ACM)。211-220(2011;Zbl 1362.68175) 全文: 内政部
马克·马龙;鲁帕克·马朱姆达尔;达科·斯特凡诺维奇;迪帕克·卡普尔 具有参考集关系的形状分析。 (英语) Zbl 1273.68090号 Barthe,Gilles(编辑)等人,《验证、模型检验和抽象解释》。第11届国际会议,2010年VMCAI,西班牙马德里,2010年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11318-5/pbk)。计算机科学课堂讲稿5944247-262(2010)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Marron}等人,Lect。注释计算。科学。5944247--262(2010年;Zbl 1273.68090) 全文: 内政部
兰吉特·贾拉;鲁帕克·马朱姆达尔 软件模型检查。 (英语) Zbl 1507.68188号 ACM计算机。Surv公司。 41,第4号,第21条,第54页(2009年).MSC公司:60年第68季度 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala}和\textit{R.Majumdar},ACM计算。Surv公司。41,第4号,第21条,54页(2009年;Zbl 1507.68188) 全文: 内政部
皮埃尔·甘蒂;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 验证异步程序的活动性。 (英语) Zbl 1315.68064号 2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。102-113 (2009).MSC公司:第68页第19页 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人,摘自:第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机协会(ACM)。102-113(2009年;Zbl 1315.68064) 全文: 内政部
迈克尔·埃米;兰吉特·贾拉;埃迪·科勒;鲁帕克·马朱姆达尔 验证引用计数实现。 (英语) Zbl 1234.68254号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505352-367(2009)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Emmi}等人,Lect。注释计算。科学。5505352-367(2009年;Zbl 1234.68254) 全文: 内政部
阿什图什·古普塔;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科;徐如刚 证明非终止。 (英语) Zbl 1295.68158号 第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2008年1月7日至12日,美国加利福尼亚州旧金山,POPL'08。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-689-9)。147-158 (2008).MSC公司:60年第68季度 68号30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}等人,in:第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'08,美国加利福尼亚州旧金山,2008年1月7日至12日。纽约州纽约市:计算机协会(ACM)。147-158(2008年;Zbl 1295.68158) 全文: 内政部
克劳斯·哈弗伦德(编辑);鲁帕克·马朱姆达尔(编辑);延斯·帕尔斯伯格(编辑) 模型检查软件。第15届SPIN国际研讨会,美国加利福尼亚州洛杉矶,2008年8月10日至12日会议记录。 (英语) Zbl 1151.68308号 计算机科学课堂讲稿5156.柏林:施普林格出版社(ISBN 978-3-540-851134/pbk)。x、 第343页。(2008).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}(编辑)等人,模型检查软件。第15届SPIN国际研讨会,美国加利福尼亚州洛杉矶,2008年8月10-12日会议记录。柏林:施普林格出版社(2008;Zbl 1151.68308) 全文: 内政部
兰吉特·贾拉;鲁帕克·马朱姆达尔 异步程序的过程间分析。 (英语) Zbl 1295.68086号 2007年1月17日至19日,法国尼斯,POPL'07,第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机机械协会(ACM)(ISBN 1-59593-575-4)。339-350 (2007).MSC公司:68号30 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala}和\textit{R.Majumdar},摘自:第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'07,法国尼斯,2007年1月17-19日。纽约州纽约市:计算机协会(ACM)。339--350(2007年;Zbl 1295.68086) 全文: 内政部
德克·拜尔;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 组合理论的不变综合。 (英语) Zbl 1132.68333号 Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349378-394(2007)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人,Lect。注释计算。科学。4349,378--394(2007;Zbl 1132.68333) 全文: 内政部 链接
迈克尔·埃米;鲁帕克·马朱姆达尔 验证补偿交易记录。 (英语) Zbl 1132.68468号 Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349,29-43(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Emmi}和\textit{R.Majumdar},莱克特。注释计算。科学。4349,29-43(2007;Zbl 1132.68468) 全文: 内政部
兰吉特·贾拉;鲁帕克·马朱姆达尔;徐如刚 并集状态:通过克雷格插值进行类型推断。 (英语) Zbl 1186.68114号 Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424553-567(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala}等人,Lect。注释计算。科学。4424553--567(2007年;Zbl 1186.68114) 全文: 内政部
兰吉特·贾拉;鲁帕克·马朱姆达尔;徐如刚 结构不变量。 (英语) Zbl 1225.68074号 Yi,Kwangkeun(编辑),静态分析。2006年8月29日至31日,第13届国际研讨会,SAS 2006,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37756-6/pbk)。计算机科学讲义4134,71-87(2006)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala}等人,Lect。注释计算。科学。4134、71--87(2006年;Zbl 1225.68074) 全文: 内政部
迈克尔·埃米;鲁帕克·马朱姆达尔 实时软件验证的决策问题。 (英语) Zbl 1178.68340号 Hespanha,Joáo(编辑)等人,《混合系统:计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33170-0/pbk)。计算机科学课堂讲稿3927200-211(2006)。MSC公司:60年第68季度 68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Emmi}和\textit{R.Majumdar},莱克特。注释计算。科学。3927200-211(2006年;Zbl 1178.68340) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔 关于(mu)-演算的普遍片段和存在片段。 (英语) Zbl 1088.68106号 西奥。计算。科学。 354,第2期,173-186(2006).MSC公司:60年第68季度 第68季度第45季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Theor。计算。科学。354,编号2,173--186(2006;Zbl 1088.68106) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;让-弗朗索瓦·拉斯金 符号转换系统的分类。 (英语) Zbl 1367.68193号 ACM事务处理。计算。日志。 6,第1期,1-32页(2005年).MSC公司:60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,ACM Trans。计算。日志。6,第1号,1--32(2005;Zbl 1367.68193) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;Vinayak S.普拉布。 量化定时系统之间的相似性。 (英语) Zbl 1175.68281号 Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829226-241(2005)。MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。3829、226--241(2005;Zbl 1175.68281) 全文: 内政部
查克拉巴蒂,阿林达姆;克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔 使用绑定函数验证定量属性。 (英语) Zbl 1159.68313号 Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学讲义3725,50-64(2005)。MSC公司:2007年7月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chakrabarti}等人,Lect。注释计算。科学。3725、50-64(2005年;Zbl 1159.68313) 全文: 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;玛丽·斯托琳加 模型检查折扣时间属性。 (英语) Zbl 1079.68062号 西奥。计算。科学。 345,第1期,139-170(2005).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{L.de Alfaro}等人,Theor。计算。科学。345,编号1,139--170(2005;Zbl 1079.68062) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;肯尼思·麦克米兰。 证据摘要。 (英语) Zbl 1325.68147号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。232-244 (2004).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,载于:第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'04,意大利威尼斯,2004年1月14-16日。纽约州纽约市:计算机协会(ACM)。232-244(2004;Zbl 1325.68147) 全文: 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;玛丽·斯托琳加 模型检查折扣时间属性。 (英语) Zbl 1126.68465号 Jensen,Kurt(ed.)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿298877-92(2004)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Lect。注释计算。科学。298877-92(2004年;Zbl 1126.68465) 全文: 内政部
德克·拜尔;Adam J.Chlipala。;托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔 用于软件验证的Blast查询语言。 (英语) Zbl 1104.68408号 Giacobazzi,Roberto(编辑),静态分析。2004年8月26日至28日,第11届国际研讨会,SAS 2004,意大利维罗纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22791-1/pbk)。计算机科学讲义3148,2-18(2004)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人,Lect。注释计算。科学。3148,2-18(2004年;兹bl 1104.68408) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;沙兹·卡迪尔 线程模块抽象细化。 (英语) Zbl 1278.68175号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。第2725页,第262-274页(2003年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。2725、262--274(2003年;Zbl 1278.68175) 全文: 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;玛丽·斯托琳加 计时游戏中的惊喜元素。 (英语) Zbl 1262.68141号 Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40753-7/pbk)。莱克特。注释计算。科学。2761, 144-158 (2003).MSC公司:68问题85 第68季度第45季度 60年第68季度 91A05级 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Lect。注释计算。科学。2761144-158(2003年;Zbl 1262.68141) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;Marco A.Sanvido。 极端模型检查。 (英语) Zbl 1274.68190号 Dershowitz,Nachum(编辑),《验证:理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-21002-4/pbk)。计算机科学课堂讲稿2772332-358(2003)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。2772332--358(2003年;Zbl 1274.68190) 全文: 内政部
克里希南德·查特吉;马迪;鲁帕克·马朱姆达尔;赵、田;托马斯·亨辛格(Thomas A.Henzinger)。;延斯·帕尔斯伯格 中断驱动程序的堆栈大小分析。 (英语) Zbl 1067.68539号 Cousot,Radhia(编辑),静态分析。2003年6月11日至13日,第十届国际研讨会,SAS 2003,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40325-6/pbk)。莱克特。注释计算。科学。2694, 109-126 (2003).MSC公司:68号30 第68页第19页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。2694109-126(2003年;Zbl 1067.68539) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔 反例引导控制。 (英语) Zbl 1039.68555号 Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。注释计算。科学。2719, 886-902 (2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。2719886-902(2003年;Zbl 1039.68555) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 使用BLAST进行软件验证。 (英语) Zbl 1023.68532号 Ball,Thomas(编辑)等人,《模型检查软件》。第十届国际SPIN研讨会,美国俄勒冈州波特兰,2003年5月9日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2648, 235-239 (2003).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。2648235-239(2003年;Zbl 1023.68532) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔 关于(mu)-演算的普遍片段和存在片段。 (英语) Zbl 1031.68080号 Garavel,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 49-64 (2003).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。2619、49--64(2003年;Zbl 1031.68080) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;格雷戈伊尔·萨特雷 懒散的抽象。 (英语) Zbl 1323.68374号 2002年1月16日至18日,美国俄勒冈州波特兰市POPL'02,第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-450-9)。58-70 (2002).MSC公司:60年第68季度 68甲18 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,in:第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'02,波特兰,俄勒冈州,美国,2002年1月16-18日。纽约州纽约市:计算机协会(ACM)。58-70(2002年;Zbl 1323.68374) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;兰吉特·贾拉;鲁帕克·马朱姆达尔;Necula,George C。;格雷戈伊尔·萨特雷;韦斯特利·威默 系统代码的临时安全证明。 (英语) Zbl 1010.68507号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 526-538 (2002).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。2404526-538(2002年;Zbl 1010.68507) 全文: 链接
卢卡·德·阿尔法罗;托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔 无限状态游戏的符号算法。 (英语) Zbl 1006.68095号 Larsen,Kim G.(编辑)等人,《CONCUR 2001-并发理论》。第十二届国际会议,丹麦奥尔堡,2001年8月20日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2154, 536-550 (2001).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Lect。注释计算。科学。2154、536-550(2001年;Zbl 1006.68095) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;弗莱迪·芒;让-弗朗索瓦·拉斯金 游戏属性的抽象解释。 (英语) Zbl 0966.68150号 Palsberg,Jens(编辑),静态分析。2000年6月29日至7月6日,第七届国际研讨会,SAS 2000,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1824220-239(2000年)。MSC公司:68问题85 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1824220--239(2000年;Zbl 0966.68150)
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔 矩形混合系统的符号模型检查。 (英语) 兹伯利0960.68117 Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 142-156 (2000).MSC公司:68问题85 第68季度第45季度 60年第68季度 93B99号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{R.Majumdar},莱克特。注释计算。科学。1785年、142年至156年(2000年;Zbl 0960.68117)