洛伦佐·克莱门特;萨沃米尔·拉索塔 定时下推自动机的可达性关系。 (英语) Zbl 1484.68079号 J.计算。系统。科学。 117, 202-241 (2021). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 03B70号 05年3月 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{S.Lasota},J.Compute。系统。科学。117202-241(2021;Zbl 1484.68079) 全文: DOI程序 arXiv公司
德文德拉·巴韦;维伦达·戴夫;克里希纳,S.N。;拉姆昌德拉·帕瓦德;阿舒托什·特里维迪 一类完美的上下文敏感时间语言。 (英语) Zbl 1436.68161号 Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840, 38-50 (2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bhave}等人,Lect。注释计算。科学。9840、38-50(2016年;Zbl 1436.68161) 全文: DOI程序
卡琳·夸斯 单时钟参数时间自动机的MTL模型检验是不可判定的。 (英语) Zbl 1467.68093号 André,ed tienne(编辑)等人,《第一届连续参数合成国际研讨会论文集》,SynCoP’14,法国格勒诺布尔,2014年4月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)145,5-17(2014)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas},电子。程序。西奥。计算。科学。(EPTCS)145,5--17(2014;Zbl 1467.68093) 全文: arXiv公司 链接
乌里·法伦贝格;Larsen,Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8050,67--108(2013;Zbl 1445.68132) 全文: DOI程序 哈尔
拉克希米·马纳萨;桑卡拉·纳拉亚南·克里希纳;钦梅耆那岛 模型检查加权整数重置时间自动机。 (英语) Zbl 1217.68139号 理论计算。系统。 48,第3期,648-679(2011).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Manasa}等人,理论计算。系统。48,第3号,648--679(2011;Zbl 1217.68139) 全文: DOI程序
乌里·法伦贝格;Larsen,Kim G。;克劳斯·苏兰(Claus R.Thrane)。 实时系统的验证、性能分析和控制器综合。 (英语) 兹比尔1274.68185 Arbab,Farhad(编辑)等人,《软件工程基础》,第三届IPM国际会议,FSEN 2009,伊朗基什岛,2009年4月15日至17日。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-11622-3/pbk)。计算机科学课堂讲稿596134-61(2010)。MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。5961、34-61(2010年;Zbl 1274.68185) 全文: DOI程序 链接
斯塔夫罗斯·特里帕基斯 检查模拟图上的定时Büchi自动机的空性。 (英语) Zbl 1352.68165号 ACM事务处理。计算。日志。 第10号第3条第15条第19页(2009年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis},ACM翻译。计算。日志。10,第3号,第15条,第19页(2009年;Zbl 1352.68165) 全文: DOI程序
卡马尔·洛达亚 标记时间。 (英语) Zbl 1268.03019号 Chakraborty,Mihir K.(编辑)等人,《逻辑、纳维亚-尼亚尔和应用》。向比马尔·克里希纳·马蒂拉尔致敬。2007年1月3日至7日在印度加尔各答举行的关于逻辑、Navya-Nyáya和应用的国际会议的论文选集。伦敦:学院出版物(ISBN 978-1-904987-44-4/pbk)。《逻辑研究》(伦敦)第15期,第185-203页(2008年)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya},研究日志。(伦敦)15,185--203(2008;Zbl 1268.03019)
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;约尔·瓦克宁;卡琳·夸斯;詹姆斯·沃雷尔 单时钟时间自动机的普适性分析。 (英语) Zbl 1154.68063号 芬丹。通知。 89,第4期,419-450(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Fundam。通知。89,第4号,419--450(2008;Zbl 1154.68063)
V·布拉伯曼。;奥利维罗,A。;F.沙帕奇尼克。 分布式定时模型检查器Zeus中的实时工作负载预测和重新分配。 (英语) Zbl 1272.68231号 Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,3-18页(2005年)。MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Braberman}等人,《电子》。注释Theor。计算。科学。128,第3号,第3--18号(2005;Zbl 1272.68231) 全文: 链接
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;约尔·瓦克宁;詹姆斯·沃雷尔 时间自动机通过通道机器的可决定性和复杂性结果。 (英语) Zbl 1085.68078号 Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801089-1101(2005)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。35801089--1101(2005;Zbl 1085.68078) 全文: DOI程序
A.切鲁比尼。;北萨巴迪尼。;沃尔特斯,R.F.C。 cospan-span模型中的计时。 (英语) Zbl 1271.68175号 Honsell,F.(ed.)等人,《COMETA计算元模型项目研讨会论文集》,意大利乌迪内,2003年12月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记104,81-97(2004)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cherubini}等人,《电子》。注释Theor。计算。科学。104、81-97(2004年;Zbl 1271.68175) 全文: 链接
拉杰夫·阿鲁尔;马杜苏丹,P。 时间自动机的决策问题:一项调查。 (英语) Zbl 1105.68057号 Bernardo,Marco(编辑)等人,实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校,SFM-RT 2004,意大利贝蒂诺罗,2004年9月13日至18日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-23068-8/pbk)。计算机科学讲义3185,1-24(2004)。MSC公司:65年第68季度 05年3月 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{P.Madhusudan},莱克特。注释计算。科学。3185,1--24(2004;Zbl 1105.68057) 全文: DOI程序
迈克尔·帕托普洛斯(Michael P.Spathopoulos)。 当时间严格单调增加时,时间自动机监督控制的一个简化的计时过程。 (英语) Zbl 1044.93041号 国际J.控制 76,第17期,1739-1748(2003). 审核人:Alex V.Kolnogorov(诺夫哥罗德) MSC公司:93元65角 93甲13 93B11号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Spathopoulos},《国际期刊控制》第76卷,第17期,1739--1748页(2003年;Zbl 1044.93041) 全文: DOI程序 链接
尤金·亚萨林;保罗·卡斯皮;奥德·马勒 定时正则表达式。 (英语) Zbl 1323.68335号 美国临床医学杂志 49,第2期,172-206(2002).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,J.ACM 49,No.2,172--206(2002;Zbl 1323.68335) 全文: DOI程序
V·布拉伯曼。;奥利维罗,A。;F.沙帕奇尼克。 宙斯:基于的分布式定时模型检查器克洛诺斯. (英语) Zbl 1270.68165号 Brim,Lubos(编辑)等人,PDMC 2002。2002年8月19日在捷克共和国布尔诺举行的第一次并行和分布式模型检查国际研讨会(CONCUR 2002卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》68,第4期,503-522(2002)。MSC公司:60年第68季度 68宽15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Braberman}等人,《电子》。注释Theor。计算。科学。68,第4号,503--522(2002;Zbl 1270.68165) 全文: 链接
维克托·布拉伯曼;卡洛斯·洛佩斯·蓬博;阿尔弗雷多·奥利维罗 关于改进时间自动机的反向验证(扩展抽象)。 (英语) Zbl 1270.68146号 Asarin,Eugene(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》65,第6期,60-67(2002)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Braberman}等人,《电子》。注释Theor。计算。科学。65,第6号,60-67(2002年;兹bl 1270.68146) 全文: DOI程序
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;罗伯特·塞加拉;杰里米·斯普鲁斯顿 具有离散概率分布的实时系统的自动验证。 (英语) Zbl 1050.68094号 西奥。计算。科学。 282,第1期,101-150(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Theor。计算。科学。282,第1号,101--150(2002;Zbl 1050.68094) 全文: DOI程序
帕特里夏·鲍耶;安托万·佩蒂特 时间自动机的分解与合成。 (英语) Zbl 0946.68094号 Wiedermann,Jiří(编辑)等人,《自动化、语言和编程》。第26届国际学术讨论会,ICALP’99。捷克共和国布拉格,1999年7月11日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1644, 210-219 (1999).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{A.Petit},莱克特。注释计算。科学。1644,210-219(1999;Zbl 0946.68094)