克里希南德·查特吉;拉斯穆斯·易卜森·延森;鲁帕克·马朱姆达尔 编辑定时自动机的距离。 (英语) Zbl 1360.68544号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。303-312 (2014).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《第17届ACM混合系统国际会议论文集:计算与控制》,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。303--312(2014;Zbl 1360.68544) 全文: 内政部 链接
克里希南德·查特吉;Vinayak S.普拉布。 实时系统的定量定时仿真功能和细化指标。 (英语) 兹比尔1361.68019 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。273-282 (2013).MSC公司:64岁以下 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.S.Prabhu},in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8日至11日。纽约州纽约市:计算机协会(ACM)。273--282(2013;Zbl 1361.68019) 全文: 内政部 arXiv公司
克里希南德·查特吉;Vinayak S.普拉布。 用于定时系统的高效内存、无时钟内存和非Zeno安全控制器的合成。 (英语) Zbl 1358.68164号 Inf.计算。 228-229, 83-119 (2013).MSC公司:65年第68季度 91A80型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.S.Prabhu},Inf.Compute。228--229、83-119(2013;Zbl 1358.68164) 全文: 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔 覆盖的复杂性。 (英语) 兹比尔1286.68310 发现的国际期刊。计算。科学。 24,第2期,165-185(2013).MSC公司:60年第68季度 68号30 65年第68季度 91A80型 91A20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,国际期刊发现。计算。科学。24,第2号,165--185(2013;Zbl 1286.68310) 全文: 内政部
克里希南德·查特吉;Vinayak S.普拉布。 为实现安全目标,综合使用内存高效的“实时”控制器。 (英语) Zbl 1361.68164号 2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。221-230 (2011).MSC公司:68问题85 60年第68季度 91A05型 91A80型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.S.Prabhu},in:第14届ACM混合系统国际会议论文集:计算和控制,HSCC 2011,芝加哥,伊利诺伊州,美国,2011年4月12-14日。纽约州纽约市:计算机协会(ACM)。221--230(2011年;Zbl 1361.68164) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;Vinayak S.普拉布。 定时奇偶游戏:复杂性和健壮性。 (英语) Zbl 1237.68112号 日志。方法计算。科学。 7,第4号,第8号文件,第55页(2011年).MSC公司:65年第68季度 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。方法计算。科学。7,第4号,第8号论文,55页(2011年;Zbl 1237.68112) 全文: 内政部 arXiv公司