×

兹马思-数学第一资源

用于实时系统开发的时间自动机综述。(英语) Zbl 1302.68180号
摘要:时间自动机是对实时系统建模的一种流行形式。它们是20年前引入的,以支持正式核查。从那时起,它们也被用于其他目的,并且引入了大量的变体来处理实时系统开发的许多不同类型的需求。本调查试图以一种简单明了的方式向读者介绍一个庞大而复杂的理论研究领域。本文的一个目的是让读者了解时间自动机的理论特性(或能力),这些特性(或能力)对于实时模型驱动开发是有用的。为了实现这一目标,本文对时间自动机的语义、决策问题和变体进行了综述。本文的另一个目的是让读者了解时间自动机在实践中的现状。为了实现第二个目标,本文对时间自动机的可实现性和工具进行了综述。

理学硕士:
68Q45号 形式语言与自动机
68问55 计算理论中的语义学
68Q60型 规范和验证(程序逻辑、模型检查等)
68-02年 与计算机科学有关的研究展览会(专著、调查文章)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Alur,R.;Dill,D.L.,《用于建模实时系统的自动机》,(第17届自动机、语言和编程国际学术讨论会论文集(1990年),Springer Verlag New York,Inc.,New York,NY,USA),322-335·Zbl 0765.68150
[2] Alur,R.;Dill,D.L.,《时间自动机理论》,理论计算机科学,126183-235,(1994)·Zbl 0803.68071
[3] Henzinger,T.A.;Nicollin,X.;Sifakis,J.;Yovine,S.,《实时系统的符号模型检验,信息与计算》,111394-406,(1994)
[四] Alur,R.,时间自动机,理论计算机科学,126183-235,(1999)·Zbl 0803.68071
[5] Bérard,B.;Petit,A.;Diekert,V.;Gastin,P.,《时间自动机中无声转换表达能力的表征》,《信息基础》,36145-182,(1998)·Zbl 0930.68077
[6] Alur,R.;Courcoubetis,C.;Dill,D.,《密集实时中的模型检验,信息与计算》,104,2-34,(1993)·Zbl 0783.68076
[7] Fersman,E.;Pettersson,P.;Yi,W.,《具有异步过程的时间自动机:可调度性和可判定性》,《第八届系统构造与分析工具与算法国际会议论文集》,TACAS'02,(2002年),英国伦敦斯普林格出版社,67-82·Zbl 1043.68589
[8] Alur,R.;Courcoubetis,C.;Halbwachs,N.;Dill,D.L.;Wong Toi,H.《定时过渡系统的最小化》,《第三届并发理论国际会议论文集》,CONCUR'92,(1992年),英国伦敦斯普林格出版社,340-354
[9] Tripakis,S.;Yovine,S.,《使用时间抽象互模拟分析时间系统》,系统设计中的形式方法,18,25-68,(2001)·Zbl 0971.68096
[10] Dill,D.L.,《有限状态并发系统的时序假设与验证》,《有限状态系统自动验证方法国际研讨会论文集》(1990),Springer Verlag New York,Inc.,New York,NY,USA),197-212
[11] Puri,A.,时间自动机的动力学特性,(第五届实时与容错系统形式化技术国际研讨会论文集,1998年),英国伦敦斯普林格出版社,210-227
[12] M、 Sorea,通过延迟近似验证实时系统,博士论文,德国乌尔姆大学,2003年。
[13] Behrmann,G.;David,A.;Larsen,K.G.;Pettersson,P.;Yi,W.《在15年内开发UPPAAL》,《软件:实践与经验》,41,2,133-142,(2011),ISSN 0038-0644
[14] Daws,C.;Olivero,A.;Tripakis,S.;Yovine,S.,工具KRONOS,(DIMACS/SYCON混合动力系统研讨会论文集III:验证和控制,(1996年),Springer Verlag New York,Inc.Secaucus,NJ,USA),208-219
[15] 《动态规划》(1957年),普林斯顿大学出版社·中宝0077.13605
[16] J、 班格森,时钟,数据库管理系统和定时系统中的状态。2002年瑞典乌普萨拉大学信息技术系博士论文。
[17] Bengtsson,J.;Yi,W.,《时间自动机:语义、算法和工具》(Reisig,W.;Rozenberg,G.,《并发和Petri网讲座笔记》,计算机科学讲稿,第3098卷,(2004年),Springer Verlag)·邮编:1088.68119
[18] Daws,C.;Tripakis,S.,《使用抽象对实时可达性属性进行模型检查》,《第四届系统构造和分析工具和算法国际会议论文集》(1998年),英国伦敦斯普林格出版社,313-329
[十九] Bouajjani,A.;Tripakis,S.;Yovine,S.,《实时系统的动态符号模型检查》,(第18届IEEE实时系统研讨会论文集,RTSS'97,(1997年),IEEE计算机学会,华盛顿特区,美国),232-243
[20] Tripakis,S.;Yovine,S.;Bouajjani,A.,《有效检查定时Büchi自动机的空性》,《系统设计中的形式方法》,26267-292,(2005)·Zbl 1085.68083
[21] Tripakis,S.,《在模拟图上检查定时Büchi自动机的空性》,《计算逻辑上的ACM事务》,10,(2009),15:1-15:19·Zbl 1352.68165
[22] T、 罗基基,数字电路的表示与建模,博士论文,斯坦福大学计算机科学系,美国加州斯坦福大学,1993年。
[23] Bengtsson,J.;Yi,W.,《时间自动机可达性分析中的时钟差约束和终止》,(Dong,J.S.;Woodcock,J.,《第五届形式工程方法国际会议论文集》,第2885卷(2003年),Springer Verlag)
[24] 布耶,P.,可更新时间自动机的正向分析,系统设计中的形式化方法,24281-320,(2004),ISSN 0925-9856·Zbl 1073.68041
[25] Bouyer,P.;Laroussinie,F.;Reynier,P.-A.,《时间自动机中的对角线约束:时间系统的正向分析》(Pettersson,P.;Yi,W.,《第三届时间系统形式化建模与分析国际会议论文集》,FORMATS'05,《计算机科学讲座笔记》,第3829卷,(2005年),瑞典斯普林格-乌普萨拉,112-126·Zbl 1175.68256
[26] Reynier,P.-A.,在UPPAAL中有效地处理对角线约束。技术报告LSV-07-02,实验室规范和验证,ENS cachan,法国,(2007)
[27] Asarin,E.;Caspi,P.;Maler,O.《定时正则表达式》,ACM杂志,49,2,172-206,(2002)·Zbl 1323.68335
[28] Bouyer,P.;Petit,A.,时钟语言的Kleene/Büchi类定理,自动机杂志,语言与组合学,7,2,167-186,(2002)·Zbl 1031.68121号
[29] Dima,C.,《带时间多米诺骨牌的正则表达式》,《第四届离散数学和理论计算机科学国际会议论文集》,DMTCS'03,(2003),柏林,海德堡,施普林格,141-154·Zbl 1040.68052
[30] Dima,C.,《定时洗牌表达式》,95-109,(2005年),英国伦敦斯普林格出版社·Zbl 1134.68384
[31] 芬克尔,O.,《时间规则语言的洗牌》,欧洲理论计算机科学协会公报,88182-184,(2006)·Zbl 1169.68468
[32] Alur,R.;Madhusudan,P.,《时间自动机的决策问题:一项调查》,(Bernardo,M.;Corradini,F.,《实时系统设计的形式方法——国际学校计算机、通信和软件系统设计的正式方法修订讲座》,SFM-RT'04,《计算机科学课堂讲稿》,第3185卷,(2004年),斯普林格·韦拉格(Springer Verlag),第1-24页·Zbl 1105.68057
[33] Courcoubetis,C.;Yannakakkis,M.,实时系统中的最小和最大延迟问题,系统设计中的形式方法,1385-415,(1992)·Zbl 0777.68045
[34] P、 Niebert,S.Tripakis,S.Yovine,《时间自动机的最小时间可达性》,载:第八届地中海控制与自动化会议论文集,2000年版。
[35] Alur,R.;Courcoubetis,C.;Henzinger,T.A.,《时钟的观测能力》,《计算机科学课堂讲稿》,第836卷,(1994年),Springer Verlag),162-177
[36] Cerans,K.,《并行定时器过程互模拟等价物的可判定性》,《第四届计算机辅助验证国际研讨会论文集》(1993年),英国伦敦斯普林格出版社,302-315
[37] Larsen,K.G.;Wang,Y.,《时间抽象交互模拟:隐式规范与可判定性,信息与计算》,13475-101,(1997)·邮政编码:0887.68068
[38] Tasiran,S.;Alur,R.;Kurshan,R.P.;Brayton,R.K.,《验证时间系统的抽象》,《第七届并发理论国际会议论文集》,CONCUR'96,(1996年),英国伦敦斯普林格出版社,546-562
[39] Finkel,O.,《关于时间自动机的不可判定问题》,(第四届时间系统形式化建模与分析国际会议论文集,格式'06,(2006年),柏林,海德堡,斯普林格,187-199·Zbl 1141.68433
[40] Tripakis,S.,关于时间自动机的确定性和最小化的福克定理,信息处理快报,99,6,222-226,(2006)·Zbl 1185.68401
[41] Comon,H.;Jurski,Y.,《时间自动机与实数理论》,《第十届并发理论国际会议论文集》,CONCUR'99,(1999年),英国伦敦斯普林格出版社,242-257·Zbl 0940.68092
[42] Alur,R.;Fix,L.;Henzinger,T.A.,《事件时钟自动机:时间自动机的可确定类》,理论计算机科学,211253-273,(1999)·Zbl 0912.68132
[43] Alur,R.;Torre,S.L.;Pappas,G.J.,《加权时间自动机中的最优路径》,《第四届混合系统国际研讨会论文集:计算与控制》,HSCC'01,(2001),英国伦敦斯普林格出版社,49-62·Zbl 0991.93076
[44] Behrmann,G.;Larsen,K.G.;Rasmussen,J.I.,《使用定价时间自动机的优化调度》,ACM SIGMETRICS-性能评估评论,32,34-40,(2005)
[45] 《计算机的可判定性》(Task-Decisability of Task,PáPán,and Journal of Decisability of Computation),《计算机科学》第117卷第2期·Zbl 1121.68062
[46] Behrmann,G.;Fehnker,A.;Hune,T.;Larsen,K.G.;Pettersson,P.;Romijn,J.;Vaandrager,F.W.,《定价时间自动机的最小成本可达性》,《第四届混合系统国际研讨会论文集:计算与控制》,HSCC'01,(2001),英国伦敦斯普林格出版社,147-161·Zbl 0991.68037
[47] Beauquier,D.,概率时间自动机,理论计算机科学,292,65-84,(2003)·Zbl 1064.68063
[48] Kwiatkowska,M.;Norman,G.;Segala,R.;Sproston,J.,《具有离散概率分布的实时系统的自动验证》,理论计算机科学,282101-150,(2002)·Zbl 1050.68094
[49] 《下推时间自动机:二元可达性表征与安全验证》,理论计算机科学,30293-121,(2003)·Zbl 1044.68085
[50] Bouyer,P.;Dufourd,C.;Fleury,E.;Petit,A.,可更新时间自动机,理论计算机科学,321291-345,(2004)·Zbl 1070.68063
[51] Baier,C.;Bertrand,N.;Bouyer,P.;Brihaye,T.;Gröer,M.,《时间自动机的概率和拓扑语义》,(第27届软件技术和理论计算机科学基础国际会议论文集》,FSTTCS'07,(2007),斯普林格-维拉格-柏林,海德堡),179-191·Zbl 1135.68464
[52] M、 从定时模型到定时实现。比利时布鲁克塞尔自由大学信息部博士学位,2006年12月。
[53] Choffrut,C.;Goldwurm,M.,《具有周期性时钟约束的时间自动机》,自动机杂志,语言与组合学,5371-403,(2000)·Zbl 0964.68076
[54] Bérard,B.;Dufourd,C.,《时间自动机和加性时钟约束》,信息处理信函,75,1-7,(2000)·Zbl 0953.68565
[55] Miller,J.S.,《时间自动机和半线性混合自动机的可判定性和复杂性结果》,《第三届混合系统国际研讨会论文集:计算与控制》,HSCC'00,(2000),英国伦敦斯普林格出版社,296-309·Zbl 0992.93050
[56] Alur,R.;Henzinger,T.A.;Vardi,M.Y.,《参数实时推理》,(第25届ACM计算理论年会论文集》,STOC'93,(1993年),美国纽约ACM公司,592-601·Zbl 1310.68139
[57] Hune,T.;Romijn,J.;Stoelinga,M.;Vaandrager,F.W.,《时间自动机的线性参数模型检查》,《第七届系统构造与分析工具与算法国际会议论文集》,TACAS 2001,(2001),英国伦敦斯普林格出版社,189-203·Zbl 0978.68094
[58] McManis,J.;Varaiya,P.,《悬浮自动机:混合自动机的可判定类》,(第六届计算机辅助验证国际会议论文集,1994年,英国伦敦斯普林格出版社),105-117
[59] P、 V.Suman,P.K.Pandya,S.N.Krishna,L.Manasa,带整数重置的时间自动机:语言包含和表达能力,载:第六届时间系统形式化建模与分析国际会议论文集,2008年,第78-92页。·Zbl 1171.68536
[60] Manasa,L.;Krishna,S.N.;Jain,C.,模型检查加权整数重置时间自动机,计算系统理论,48,3648-679,(2011)·Zbl 1217.68139
[61] Alur,R.;Courcoubetis,C.;Henzinger,T.A.;Ho,P.-H.,《混合自动机:混合系统规范和验证的算法方法》,(Hybrid systems,(1993),英国伦敦斯普林格出版社,209-229
[62] Henzinger,T.A.;Kopke,P.W.;Puri,A.;Varaiya,P.,《混合自动机的决定是什么》?,(第27届ACM计算理论年会论文集,STOC'95,(1995),美国纽约ACM,373-382·Zbl 0978.68534
[63] Demichelis,F.;Zielonka,W.,《受控时间自动机》,《第九届并发理论国际会议论文集》,CONCUR'98,(1998年),英国伦敦斯普林格出版社,455-469
[64] Cassez,F.;Larsen,K.G.,《秒表的强大力量》,《第11届并发理论国际会议论文集》,CONCUR'00,(2000年),英国伦敦斯普林格出版社,138-152·Zbl 0999.68112
[65] Dima,C.;Lanotte,R.,《分布式时间异步自动机》,《第四届计算机理论方面国际会议论文集》,ICTAC'07,(2007年),斯普林格-韦拉格-柏林,海德堡),185-200·Zbl 1147.68556
[66] Akshay,S.;Bollig,B.;Gastin,P.;Mukund,M.;Narayan Kumar,K.,《具有独立演化时钟的分布式时间自动机》,《第19届并发理论国际会议论文集》,CONCUR'08,(2008),斯普林格-维拉格-柏林,海德堡),82-97·Zbl 1160.68450
[67] Bérard,B.;Haddad,S.,《中断时间自动机》(第12届软件科学和计算结构基础国际会议论文集:作为欧洲软件理论与实践联合会议的一部分举行),ETAPS 2009,FOSSACS'09,(2009),斯普林格-维拉格柏林,海德堡),197-211·Zbl 1234.68195
[68] Gupta,V.;Henzinger,T.A.;Jagadeesan,R.,《鲁棒时间自动机》,《混合动力和实时系统国际研讨会论文集》(1997年),英国伦敦斯普林格出版社,331-345
〔69〕 R、 Alur,S.L.Torre,P.Madhusudan,扰动时间自动机,in:混合系统,2005,第70-85页。
[70] Behrmann,G.;Fehnker,A.;Hune,T.;Larsen,K.G.;Pettersson,P.;Romijn,J.,《在UPPAAL实现成本优化的有效指南》,《第七届系统构建与分析工具与算法国际会议论文集》,TACAS 2001,(2001年),英国伦敦斯普林格-维拉格出版社,174-188·Zbl 0978.68541
[71] Larsen,K.G.;Rasmussen,J.I.,多定价时间自动机的最优可达性,理论计算机科学,390197-213,(2008)·Zbl 1134.68029
[72] Berendsen,J.;Jansen,D.N.;Katoen,J.-P.,《可能在时间和预算内:定价概率时间自动机的可达性》,(第三届系统定量评估国际会议论文集,(2006年),IEEE计算机学会,华盛顿特区,美国),311-322
[73] Norström,C.;Wall,A.;Yi,W.《时间自动机作为事件驱动系统的任务模型》,《第六届实时计算系统与应用国际会议论文集》,RTCSA'99,(1999年),美国华盛顿IEEE计算机学会,182-189
[74] Jurdzinèski,M.;Trivedi,A.,《凹面定价时间自动机》(第六届时间系统正式建模和分析国际会议论文集,格式'08,(2008年),斯普林格-维拉格柏林,海德堡),48-62·Zbl 1171.68529
[75] Jurdzinèski,M.;Kwiatkowska,M.;Norman,G.;Trivedi,A.,《隐定价概率时间自动机》,《第20届并发理论国际会议论文集》,CONCUR 2009,(2009年),斯普林格-维拉格柏林,海德堡),415-430·Zbl 1254.68136
[76] Barbuti,R.;Maggiolo Schettini,A.;Milazzo,P.;Tesei,L.,时间P自动机,电子笔记理论计算机科学,227,21-36,(2009)·Zbl 1347.68127号
[77] Bouyer,P.;Cassez,F.;Fleury,E.;Larsen,K.G.,《定价定时游戏自动机中的最优策略》,(Lodaya,K.;Mahajan,M.,《第24届软件技术和理论计算机科学基础会议论文集》,FSTTCS'04,《计算机科学讲座笔记》,第3328卷,(2004年),印度斯普林格钦奈,148-160·Zbl 1117.68396
[78] Alur,R.;Courcoubetis,C.;Dill,D.,《概率实时系统的模型检验》(扩展摘要),《第18届自动机、语言和程序设计国际学术讨论会论文集》(1991年),Springer Verlag New York,Inc.,New York,NY,USA),115-126·Zbl 0769.68088
[79] Kwiatkowska,M.Z.;Norman,G.;Segala,R.;Sproston,J.,《验证连续概率时间自动机的数量特性》,《第11届并发理论国际会议论文集》,CONCUR'00,(2000年),英国伦敦斯普林格出版社,123-137·Zbl 0999.68125
[80] Fietzke,A.;Hermanns,H.;Weidenbach,C.,《基于叠加的一阶概率时间自动机分析》,(第17届编程、人工智能和推理逻辑国际会议论文集》,LPAR'10,(2010),斯普林格-维拉格柏林,海德堡),302-316·Zbl 1306.68095
[81] P、 《通讯时间自动机:越同步,越难验证》,载:《第18届计算机辅助验证国际会议论文集》,2006年,第249-262页。·Zbl 1188.68192号
[82] Lanotte,R.;Maggiolo schettini,A.;Milazzo,P.;Troina,A.,《用通信分层时间自动机对长时间运行事务进行建模》,(第八届IFIP工作组6.1开放式基于对象分布式系统形式化方法国际会议论文集》(2006年),Springer)
[83] Pietro,P.S.;Dang,Z.,《多队列离散时间自动机的自动验证》,《第九届计算与组合学国际年会论文集》,COCOON'03,(2003年),柏林,海德堡,Springer Verlag,159-171·兹布1276.68097
[84] (第五届美国科学与工程学会论文集,2006)
[85] 王F.用时钟限制图对复杂实时系统的符号验证(IFIP TC6/WG6.1-第21届网络化和分布式系统形式化技术国际会议论文集》,2001年版,Kluwer,B.V.),235-250
[86] Ibarra,O.H.;Dang,Z.;Pietro,P.S.,松散同步队列连接离散时间自动机的验证,理论计算机科学,2901713-1735,(2003)·Zbl 1044.68096
[87] J、 霍尼克,过程、数据和时间的结合,博士论文,奥尔登堡大学,2006年7月。
[88] Lanotte,R.;Maggiolo Schettini,A.;Peron,A.,《时间协作自动机》,信息基础,43153-173,(2000)·Zbl 0965.68046
[89] D、 Beyer,H.Rust,Cottbus时间自动机:形式定义和语义,载:第二届IEEE/IFIP计算机系统形式规范联合研讨会论文集,2001年,第75-87页。
[90] D、 D'Souza,M.R.Mohan,《最终时间自动机》,载:第25届软件技术和理论计算机科学基础国际会议论文集,2005年,第322-334页。·Zbl 1172.68499
[91] Henzinger,T.A.;Raskin,J.-F.;Schobbens,P.-Y.,《常规实时语言》(第25届自动机、语言和编程国际学术讨论会论文集,ICALP'98,(1998年),英国伦敦斯普林格出版社,580-591
[92] D'Souza,D.;Thiagarajan,P.S.,《产品区间自动机:时间自动机的一个子类》,(第19届软件技术和理论计算机科学基础会议论文集(1999年),英国伦敦斯普林格-维拉格出版社,60-71·Zbl 0958.68087
[93] D、 D'Souza,N.Tabareau,关于输入确定的保护的时间自动机,载:时间系统的形式化建模和分析(格式2004)和实时和容错系统中的形式技术联合国际会议记录(FTRTFT 2004),2004,第68-83页。
[94] Chevalier,F.;Deepak D'Souza,D.;Prabhakar,P.,《关于具有输入决定的保护的连续时间自动机》,(第26届软件技术和理论计算机科学基础国际会议论文集,FSTTCS'06,(2006年),斯普林格-维拉格柏林,海德堡),369-380·Zbl 1177.68136
[95] Chevalier,F.;D'Souza,D.;Prabhakar,P.,《无计数器输入确定时间自动机》,《第五届时间系统形式化建模与分析国际会议论文集》,2007年版,(2007年),德国海德堡斯普林格-维拉格柏林,82-97·Zbl 1142.68039
[96] Tang,N.;Ogawa,M.,《事件时钟可视化下推自动机》,(第35届计算机科学理论与实践趋势会议论文集》,SOFSEM'09,(2009),柏林,海德堡,Springer Verlag),558-569·Zbl 1206.68183
[97] Dang,Z.;Bultan,T.;Ibarra,O.H.;Kemmerer,R.A.,《过去下推定时自动机和安全验证》,理论计算机科学,313,57-71,(2004)·Zbl 1069.68065
[98] M、 Emmi,R.Majumdar,《实时软件验证的决策问题》,载:第九届混合系统国际会议论文集:计算与控制,第200-211页,2006年。·Zbl 1178.68340
[99] Trivedi,A.;Wojtczak,D.,《递归时间自动机》,《第八届自动验证与分析技术国际会议论文集》,ATVA'10,(2010年),德国海德堡斯普林格-维拉格出版社,306-324·Zbl 1305.68115
[100] M、 Beneregetti,S.Minopoli,A.Peron,《定时递归状态机的分析》,载:第17届时间表示与推理国际研讨会论文集,2010年,第61-68页。
[101] Bornot,S.;Sifakis,J.;Tripakis,S.,《时间系统中的紧迫性建模》(国际专题讨论会《组合性:显著差异》的修订讲座,COMPOS'97,(1998年),英国伦敦斯普林格出版社,103-129
[102] Lin,S.-W.;Hung,P.-A.;Huang,C.-H.;Chen,Y.-R.,《模型检验优先时间自动机》,《第三届验证与分析自动化技术国际会议论文集》,2005年,柏林,海德堡,斯普林格出版社,370-384·Zbl 1170.68521
[103] O、 N.Timo,A.Rollet,《变量驱动自动机的一致性测试》,载:第八届IEEE自动化工厂通信系统通信国际研讨会论文集,2010年。
[104] Barbuti,R.;Tesei,L.,《具有紧急转换的时间自动机》,信息学报,40,317-347,(2004)·Zbl 1072.68053
[105] Lasota,S.;Walukiewicz,I.,交替时间自动机,ACM计算逻辑事务,9,(2008),10:1-10:27·Zbl 1367.68172号
[106] Parys,P.;Walukiewicz,I.,《弱交替时间自动机》,(第36届自动机国际学术讨论会论文集,语言和编程:第二部分,ICALP'09,(2009),斯普林格-维拉格柏林,海德堡),273-284·Zbl 1248.03058
[107号] O、 Maler,A.Pnueli,J.Sifakis,关于时间系统离散控制器的综合(扩展摘要),载:计算机科学理论方面研讨会,第229-242页,1995年。·Zbl 1379.68227
[108] Bérard,B.;Gastin,P.;Petit,A.,《时间自动机中不可观察行为的力量》,《第十三届计算机科学理论研讨会论文集》(1996年),英国伦敦斯普林格出版社,257-268·Zbl 1379.68216
[109号] Diekert,V.;Gastin,P.;Petit,A.,《消除时间自动机中的epsilon跃迁》,《第14届计算机科学理论研讨会论文集》,STACS'97,(1997),英国伦敦斯普林格出版社,583-594
[110] Dima,C.;Lanotte,R.,Removing all silent transitions from timed automata》,(第七届时间系统正式建模与分析国际会议论文集,格式'09,(2009年),柏林,海德堡,斯普林格,118-132·Zbl 1262.68089
[111] 《快速互斥算法》,计算机系统上的ACM事务,5,1-11,(1987)
[112] 高性能串行总线的IEEE标准。IEEE标准1394-1995,1996。
[113] Bozzelli,L.;La Torre,S.,下/上界参数时间自动机的决策问题,系统设计中的形式方法,35121-151,(2009)·Zbl 1186.68245
[114] Alur,R.;Etessami,K.;La Torre,S.;Peled,D.,“模型测量”的参数时态逻辑,ACM计算逻辑汇刊,2388-407,(2001)·Zbl 1171.68544
[115] Bruyère,V.;Raskin,J.-F.,实时模型检查:参数无处不在,计算机科学中的逻辑方法,3,1,(2007)·Zbl 1128.68052
[116] Emerson,E.A.;Trefler,R.J.,《参数定量时间推理》,(第14届IEEE计算机科学逻辑研讨会论文集》,LICS'99,(1999),IEEE计算机学会,华盛顿特区,美国),336-343
[117] 王飞,实时系统参数时序分析,资讯与计算,130131-150,(1996)·Zbl 0872.68041
[118] Zhang,D.;Cleaveland,R.,《快速动态参数实时模型检查》,(第26届IEEE国际实时系统研讨会论文集,(2005年),IEEE计算机学会,华盛顿特区,美国),157-166
[119] çAndré,模仿者II:解决时间自动机中好参数问题的工具,载:第12届无限状态系统验证国际研讨会论文集,2010年,第91-99页。
[120] Henzinger,T.A.;Ho,P.-H.;Wong-Toi,H.,Hytech:混合系统的模型检验器(第九届计算机辅助验证国际会议论文集,1997年,英国伦敦斯普林格出版社),460-463·Zbl 1060.68603
[121] Wang,F.,REDLIB for formal verification of embedded systems(REDLIB),(第二届利用形式化方法的应用、验证与验证研讨会论文集),(2006),美国华盛顿IEEE计算机学会,341-346
[122号] 王飞,等。时间自动机与类BDD数据结构的有效验证,技术转移软件工具国际期刊,6,77-97,(2004)
[123号] Knapik,M.;Niewiadomski,A.;Penczek,W.;Pólrola,A.;Szreter,M.;Zbrzezny,A.《verics参数模型检查,Petri网上的事务和其他并发模型》,4,98-120,(2010)·Zbl 1312.68134
[124] Annichini,A.;Bouajjani,A.;Sighireanu,M.,Trex:复杂系统可达性分析的工具,(第13届计算机辅助验证国际会议论文集,CAV'01,(2001年),英国伦敦斯普林格出版社,368-372·Zbl 0991.68645
[125] Bouyer,P.;Chevalier,F.,《时间自动机扩展的简洁性》,自动机杂志,语言与组合学,第10期,第393-405页,(2005年)·Zbl 1146.68384
[126] Suman,P.V.;Pandya,P.K.,《具有静默过渡的整数重置时间自动机的确定性和表达性》,《第三届语言与自动机理论与应用国际会议论文集》,LATA'09,(2009),斯普林格-维拉格柏林,海德堡,728-739·Zbl 1234.68242
[127号] Henzinger,T.A.;Kopke,P.W.,《矩形混合自动机的状态等价性》,《第七届并发理论国际会议论文集》,CONCUR'96,(1996年),英国伦敦斯普林格出版社,530-545
[128] 生物信号学,第170章,生物信号学;第1部分:生物信号学
[129] Fränzle,M.,多项式混合自动机的最终结果是什么?,(第四届计算机软件理论问题国际研讨会论文集,TACS'01,(2001),英国伦敦斯普林格出版社,340-359·Zbl 1087.68571
[130] Carloni,L.P.;Passerone,R.;Pinto,A.;Sangiovanni Vincentelli,A.L.,混合系统设计语言和工具,电子设计自动化的基础和趋势,1,1-193,(2006)·Zbl 1107.68385
[131号] Davoren,J.M.;Nerode,A.,《混合系统的逻辑》,IEEE论文集,88985-1010,(2000)
[132] 《混合自动机理论》,(第11届IEEE计算机科学逻辑研讨会论文集,LICS'96,(1996),IEEE计算机学会,华盛顿特区,美国),278
[133] Labinaz,G.;Bayoumi,M.M.;Rudie,K.,《混合动力系统建模和控制综述》,《控制年鉴》,21,79-92,(1997)
[134号] Tomlin,C.;Mitchell,I.;Bayen,A.M.;Oishi,M.,《混合系统验证的计算技术》,IEEE论文集,91986-1001,(2003)
[135] Tripakis,S.;Dang,T.,《基于模型的异构系统设计》,(使用时间自动机和混合自动机进行建模、验证和测试》(2009年),CRC出版社,(第章)
[136] Bouyer,P.;Brihaye,T.;Bruyère,V.;Raskin,J.-F.,加权时间自动机的最优可达性问题,系统设计中的形式方法,31135-175,(2007)·Zbl 1129.68039
[137] Behrmann,G.;Larsen,K.G.;Rasmussen,J.I.,《定价时间自动机:算法和应用》,(第三届组件和对象形式化方法国际会议论文集》,FMCO'04,(2005),斯普林格-维拉格-柏林,海德堡),162-182·Zbl 1143.68430
[138] Larsen,K.G.,《定价时间自动机:理论和工具》(Kannan,R.;Kumar,K.N.,IARC软件技术和理论计算机科学基础年会,FSTTCS 2009,莱布尼茨信息学国际会议,LIPIcs,第4卷,(2009),Schloss Dagstuhl Leibniz Zentrum fuer Informatik Dagstuhl,Germany),417-425·Zbl 1248.68335
[139号] Seceleanu,C.;Vulgakis,A.;Pettersson,P.,REMES:嵌入式系统的资源模型,(第14届IEEE国际复杂计算机系统工程会议论文集》,ICECS09,(2009),IEEE计算机学会,华盛顿特区,美国),84-94
[140] Ivanov,D.;Orlić,M.;Seceleanu,C.;Vulgakis,A.,《REMES工具链:嵌入式系统行为建模和分析的一套集成工具》,《IEEE/ACM自动化软件工程国际会议论文集》,ASE'10,(2010年),美国纽约ACM,第361-362页
[141] T、 Brihaye,V.Bruyère,J.-F.Raskin,加权时间自动机的模型检验,载:时间系统的形式化建模和分析(格式2004)和实时和容错系统中的形式技术联合国际会议论文集(FTRTFT 2004),第277-2922004页。·Zbl 1109.68512
[142号] Bouyer,P.;Larsen,K.G.;Markey,N.,《模型检验一个时钟定价的时间自动机》,《第十届软件科学与计算结构基础国际会议论文集》,FOSSACS'07,(2007),德国海德堡斯普林格-维拉格柏林,108-122·Zbl 1149.68400
[143] 鲍耶,P.;马基,N.,成本很高!,(Raskin,J.-F.;Thiagarajan,P.S.,《第五届时间系统正式建模和分析国际会议论文集》,FORMATS'07,《计算机科学讲义》,第4763卷,(2007年),奥地利斯普林格萨尔茨堡,53-68·Zbl 1142.68045
[144] J、 Berendsen,D.N.Jansen,F.W.Vaandrager,Fortuna:模型检验定价概率时间自动机,in:第七届系统定量评估国际会议论文集,第273-2812010页。
[145] Bouyer,P.;Fahrenberg,U.;Larsen,K.G.;Markey,N.,《使用定价时间自动机的实时系统定量分析》,ACM通讯,54,78-87,(2011)
[146号] Krčl,P.;Yi,W.,《使用时间自动机进行可调度性分析中的可判定和不可判定问题》,(Jensen,K.;Podelski,A.,《第十届系统构造与分析工具与算法国际会议论文集》,第2988卷,(2004年),Springer-Verlag),236-250·Zbl 1126.68456
[147] Amnell,T.;Fersman,E.;Mokrushin,L.;Pettersson,P.;Yi,W.,TIMES-嵌入式系统建模和实现工具(第八届系统构建与分析工具与算法国际会议论文集》,TACAS'02,(2002年),英国伦敦斯普林格出版社,460-464·Zbl 1043.68513
[148] W、 易,实时系统微积分。1991年,查尔默斯工业大学计算机科学系博士论文。
[149号] Krčl,P.;Stigge,M.;Yi,W.,《具有可变执行时间的抢占式实时任务的多处理器可调度性分析》,(第五届定时系统正式建模与分析国际会议论文集'07,(2007),斯普林格-维拉格柏林,海德堡),274-289·Zbl 1141.68353
[150] Păun,G.,膜计算,计算机与系统科学杂志,61108-143,(2000)·Zbl 0956.68055
[151] Cavaliere,M.;Sburlan,D.,《与时间无关的P系统》,《第五届膜计算国际会议论文集》,WMC'04,(2005),柏林,海德堡,斯普林格,239-258·Zbl 1117.68355
[152] Jensen,H.E.,模型检验概率实时系统,(第七届北欧编程理论研讨会论文集,1996年),查尔默斯理工学院,247-261
[153] M、 Kwiatkowska,G.Norman,R.Segala,J.Sproston,用概率时间自动机验证软期限,载:验证进展研讨会论文集(WAVe 2000),2000年7月。·Zbl 0999.68125
[154] Kwiatkowska,M.Z.;Norman,G.;Sproston,J.;Wang,F.,《概率时间自动机的符号模型检验》,《信息与计算》,205,7,1027-1077,(2007)·Zbl 1122.68075
[155] Kwiatkowska,M.;Norman,G.;Parker,D.,PRISM 4.0:概率实时系统的验证,(第23届计算机辅助验证国际会议论文集,LNCS,(2011),Springer)
[156] 麦克普塔。网址http://www.modedschecker.net/。
[157] 《通讯实时状态机》,IEEE软件工程学报,1805-816,(1992)
[158] E、 Posse,J.Dingel,《实时扩展到\(\pi\)-演算的理论与实现》,载:第12届IFIP WG 6.1国际会议和第30届IFIP WG 6.1分布式系统形式技术国际会议论文集,第125-1392010页。
[159] 《状态图:复杂系统的视觉形式主义》,《计算机编程科学》,8,3,231-274,(1987)·Zbl 0637.68010
[160] Booch,G.;Maksimchuk,R.;Engle,M.;Young,B.;Conallen,J.;Houston,K.,《面向对象分析与设计及其应用》,第三版,(2007年),Addison-Wesley Professional
[161] Alur,R.;Kannan,S.;Yannakakis,M.,《通信层次状态机》(第26届自动机、语言和编程国际学术讨论会论文集,1999年),英国伦敦斯普林格出版社,169-178
[162] Lanotte,R.;Maggiolo Schettini,A.;Milazzo,P.;Troina,A.,《定时框架中长时间运行事务的设计和验证》,《计算机编程科学》,73,76-94,(2008)·Zbl 1170.68024
[163] D、 Beyer,C.Lewerentz,A.Noack,Rabbit:基于BDD的实时系统验证工具,载:第15届计算机辅助验证国际会议论文集,第122-1252003页。
[164] Lanotte,R.;Maggiolo Schettini,A.;Tini,S.;Peron,A.,《时间协作自动机的转换》,信息基础,47271-282,(2001)·Zbl 1004.68088
[165] Drusinsky,D.;Harel,D.,《有界并发的力量I:有限自动机》,ACM杂志,41517-539,(1994)·Zbl 0813.68138
[166号] Dima,C.,事件时钟自动机的Kleene定理,(第12届计算理论基础国际研讨会论文集,FCT'99,(1999年),英国伦敦斯普林格出版社,215-225·Zbl 0948.68106
[167] D'Souza,D.,事件记录自动机的逻辑特征(第六届实时和容错系统中形式技术国际研讨会论文集),FTRTFT'00,(2000),英国伦敦斯普林格出版社,240-251·Zbl 0986.68046
[168号] D'Souza,D.,事件时钟自动机的逻辑特征化,国际计算机科学基础期刊,14,4,625-640,(2003)·Zbl 1101.68647
[169] M、 2001年8月1日,丹麦自动记录工具研讨会:实时记录工具。
[170] Penczek,W.;Woźna,B.,《时间自动机的有界模型检查》,(Czaja,L.,并发、规范和编程国际研讨会论文集,CS&P'01,(2001),华沙大学,195-209
[171] Alur,R.;Madhusudan,P.,《可视下推语言》(第36届ACM计算理论研讨会论文集,(2004年),ACM出版社),202-211·Zbl 1192.68396
[172] Chandra,A.K.;Kozen,D.C.;Stockmeyer,L.J.,交替,ACM杂志,28114-133,(1981)·Zbl 0473.68043
[173] Dickhöfer,M.;Wilke,T.,《时间交替树自动机:TCTL模型检验问题的自动机理论解决方案》,《第26届自动机、语言和程序设计国际学术讨论会论文集》,1999年,(1999年),英国伦敦斯普林格出版社,281-290页·Zbl 0939.03041
[174] Ouaknine,J.;Worrell,J.,《有限字上度量时间逻辑的可判定性和复杂性》,《计算机科学中的逻辑方法》,3,1,(2007)·Zbl 1128.03008号
[175] Jenkins,M.;Ouaknine,J.;Rabinovich,A.;Worrell,J.,《有界时间上的交替时间自动机》,《第25届IEEE计算机科学逻辑研讨会论文集》,LICS'10,(2010),IEEE计算机学会,华盛顿特区,美国),60-69
[176] Jones,N.D.;Landweber,L.H.;Lien,Y.E.,Petri网中某些问题的复杂性,理论计算机科学,4277-299,(1977)·Zbl 0357.68048
[177] Gebremichael,B.;Vaandrager,F.,《在定时I/O自动机中指定紧急性》,《第三届IEEE软件工程和形式化方法国际会议论文集》(2005年),IEEE计算机学会,华盛顿特区,美国,64-74
[178] 贝尔曼,G.;Cougnard,A.;David,A.;Fleury,E.;Larsen,K.G.;Didier,L.,UPPAAL tiga:游戏时间到了!,(《第19届计算机辅助验证国际会议论文集》,CAV'07,(2007),斯普林格-维拉格柏林,海德堡),121-125
[179] T、 Brihaye,T.A.Henzinger,V.S.Prabhu,J.françois Raskin,《时间游戏中的最小时间可达性》,载:第34届自动机、语言和编程国际学术讨论会论文集,第825-8372007页。·Zbl 1171.68526
[180度] Henzinger,T.A.;Kopke,P.W.,矩形混合自动机的离散时间控制,理论计算机科学,221369-392,(1999)·Zbl 0930.68086
[181号] M、 Jurdzinski,A.Trivedi,《时间自动机上的可达性时间博弈》,载:第34届自动机国际学术讨论会论文集,语言与程序设计,第838-8492007页。·Zbl 1171.68528号
[182号] R、 Ehlers,R.Mattmüller,H.-J.Peter,Synthia:时间自动机的验证与合成,in:第23届计算机辅助验证国际会议论文集,Cliff Lodge,Snowbird,犹他州,2011年7月。
[183] F、 《通信嵌入式系统软件与设计》,时间系统控制,第83-120页。2009年(第章)。
[184] Cassez,F.;Henzinger,T.A.;Raskin,J.-F.《定时和混合系统控制问题的比较》,《第五届混合动力系统国际研讨会论文集:计算与控制》,HSCC'02,(2002年),英国伦敦斯普林格出版社,134-148页·Zbl 1044.93518号
[185] Daws,C.;Kordy,P.,《时间自动机的符号稳健性分析》,(Asarin,E.;Bouyer,P.,《第四届时间系统正式建模与分析国际会议论文集》,FORMATS'06,《计算机科学课堂讲稿》,第4202卷,(2006年),Springer Verlag),143-155·Zbl 1141.68429
[186] Swaminathan,M.;Franzle,M.,《时间系统鲁棒安全的符号决策程序》,《第14届时间表示和推理国际研讨会论文集》(2007年),美国华盛顿IEEE计算机学会,192
[187] Dima,C.,《时间自动机的动力学特性再探讨》,《第五届时间系统形式化建模与分析国际会议论文集》,07,(2007),斯普林格-维拉格-柏林,海德堡),130-146·Zbl 1142.68040
[188] Bouyer,P.;Markey,N.;Reynier,P.-A.,《时间自动机中线性时间特性的鲁棒模型检验》,(Correa,J.R.;Hevia,A.;Kiwi,M.,《第七届拉丁美洲理论信息学研讨会论文集》,拉丁语'06,《计算机科学讲座笔记》,第3887卷,(2006年),智利斯普林格-瓦尔迪维亚,238-249·Zbl 1145.68464
[189] R、 Jaubert,P.-A.Reynier,平板时间自动机的定量稳健性分析,载:第14届软件科学与计算结构基础国际会议论文集:欧洲软件理论与实践联合会议的一部分,第229-244页,2011年。·Zbl 1326.68185
[190号] Larsen,K.G.;Legay,A.;Traonouez,L.-M.;Wąsowski,A.,《实时组件的健壮规范》,(第九届定时系统正式建模与分析国际会议论文集,格式11,(2011年),斯普林格-维拉格柏林,海德堡),129-144·Zbl 1348.68143
[191] Ouaknine,J.;Worrell,J.,《时间自动机的数字化、鲁棒性和可判定性的再探讨》,《第18届IEEE计算机科学逻辑研讨会论文集》(2003年),美国华盛顿IEEE计算机学会,198-207
[192号] M、 Swaminathan,M.Fränzle,J.-P.Katoen,《封闭式时间自动机对时钟漂移的惊人鲁棒性》,载:第五届IFIP国际理论计算机科学会议论文集,第537-5532008页。
[193] K、 Altisen,S.Tripakis,《时间自动机的实现:语义还是建模的问题?,in:第三届时间系统形式化建模与分析国际会议论文集,第273-288页,2005年。·Zbl 1175.68240
[194号] Abdulla,P.A.;Krcál,P.;Yi,W.,时间自动机的抽样语义,计算机科学中的逻辑方法,6,3,(2010)·Zbl 1214.68195
[195] Bouyer,P.;Larsen,K.G.;Markey,N.;Sankur,O.;Tharne,C.《时间自动机总是可以实现的》(Katoen,J.-P.;König,B.,《第22届并发理论国际会议论文集》,CONCUR'11,《计算机科学讲座笔记》,第6901卷,(2011年),德国斯普林格亚琛)·68ZB134.3升
[196] Asarin,E.;Maler,O.;Pnueli,A.,《时间自动机和数字电路中延迟的离散化》,《第九届并发理论国际会议论文集》,CONCUR'98,(1998年),英国伦敦斯普林格出版社,470-484·Zbl 0933.94045
[197] Krčl,P.;Pelánek,R.,《时间系统的抽样语义》(Ramanujam,R.;Sen,S.,《第25届软件技术和理论计算机科学基础国际会议论文集》,第3821卷,(2005年),Springer-Verlag),310-321·Zbl 1172.68537
[198] Bosscher,D.;Polak,I.;Vaandrager,F.W.,《音频控制协议的验证》(第三届国际研讨会论文集,与实时和容错系统中的形式技术可证明正确的系统工作组联合组织)(1994年),英国伦敦斯普林格出版社,170-192
[199] Wellings,A.,Java中的并发和实时编程(2004),John Wiley&Sons
[200] N、 Hakimipour,P.A.Strooper,R.Duke,探索实时Java代码验证的基于模型的开发,载:第五届国际验证研讨会论文集,与IJCAR 2008,2008相关。
[201] Hakimipour,N.;Strooper,P.;Wellings,A.,TART:时间自动机到实时Java工具(第八届IEEE软件工程和形式化方法国际会议论文集,SEFM'10,(2010),IEEE计算机学会,华盛顿特区,美国),299-309
[202] Jee,E.;Wang,S.;Kim,J.K.;Lee,J.;Sokolsky,O.;Lee,I.,《实时软件的安全保证开发方法》,(2010年IEEE第16届嵌入式和实时计算系统与应用国际会议论文集》,RTCSA'10,(2010年),IEEE计算机学会,华盛顿特区,美国),133-142
[203] P、 Kuc˘era,O.Hync˘ica,P.Honzík,《实时操作系统中时间自动机的实现》,载:世界工程和计算机科学大会论文集,第一卷,第56-60页,2010年10月。
[204] Ouimet,M.;Lundqvist,K.,《TASM工具集:实时系统的规范、仿真和形式化验证》,(第19届计算机辅助验证国际会议论文集,2007年,2007年),柏林,海德堡,斯普林格,第126-130页
[205] Campana,S.;Spalazzi,L.;Spegni,F.,XAL:一种基于时间自动机的面向web的编程语言(2008年IEEE/WIC/ACM网络智能和智能代理技术国际会议论文集-第01卷,(2008年),IEEE计算机学会,华盛顿特区,美国),862-868
[206] Lv,M.;Guan,N.;Deng,Q.;Yu,G.;Yi,W.,Mcait:多核实时软件的时间分析器,(第九届自动验证与分析技术国际会议论文集,ATVA'11,(2011),德国海德堡斯普林格-维拉格柏林,414-417
[207] UPPAAL专业。网址:http://www.cs.aau.dk/arild/uppaal probability/。
[208号] Håkansson,J.;Carlson,J.;Monot,A.;Pettersson,P.;Slutej,D.,《基于组件的嵌入式系统设计与分析》(第六届验证与分析自动化技术国际研讨会论文集,ATVA'08,(2008年),德国海德堡斯普林格-维拉格柏林,252-257
[209] A、 Hessel,P.Pettersson,CoVer——一种实时测试用例生成工具,收录于:第19届IFIP通信系统测试国际会议和第7届软件测试正式方法国际研讨会论文集,2007年。
[210] Larsen,K.G.;Mikucionis,M.;Nielsen,B.;Skou,A.,《使用UPPAAL-TRON测试实时嵌入式软件:工业案例研究》,《第五届ACM嵌入式软件国际会议论文集》,EMSOFT'05,(2005),美国纽约ACM公司,299-306
[211] P、 Krčl,l.Mokrushin,W.Yi,《通过抽象(扩展抽象)对时间系统进行组合分析的工具》,载:E.B.Johnsen,O.Owe和G.Schneider(编辑),《第19届北欧编程理论研讨会论文集》,2007年。
[212] Sentilles,S.;Pettersson,A.;Nystrom,D.;Nolte,T.;Pettersson,P.;Crnkovic,I.,Save IDE——基于组件的嵌入式系统的设计、分析和实现工具(第31届软件工程国际会议论文集,ICSE'09,(2009),IEEE计算机学会,华盛顿特区),607-610
[213] K、 Altisen,S.Tripakis,《时间系统控制器综合工具》,载:第二届实时工具研讨会论文集,2002年7月。·Zbl 1037.93522
[214] Closse,E.;Poize,M.;Pulou,J.;Sifakis,J.;Venter,P.;Weil,D.;Yovine,S.,TAXYS:实时嵌入式系统的开发和验证工具(第13届计算机辅助验证国际会议论文集,CAV'01,(2001年),英国伦敦斯普林格出版社,391-395页·Zbl 0991.68644
[215] Tripakis,S.;Courcoubetis,C.,《扩展promela和spin for real time》,《第二届系统构建与分析工具与算法国际研讨会论文集》(1996年),英国伦敦斯普林格出版社,329-348
[216] M、 Bozga,S.Graf,I.Ober,I.Ober,J.Sifakis,IF工具集,in:第四届国际学校计算机、通信和软件系统设计的正式方法:实时,in:LNCS,第3185卷,2004年6月。·Zbl 1105.68352
[217] Laroussinie,F.;Larsen,K.G.,CMC:实时系统的组合模型检查工具,(FIP TC6 WG6.1分布式系统和通信协议形式描述技术国际联席会议论文集(FORTE XI)和协议规范、测试和验证(PSTV XVIII)、,FORTE XI/PSTV XVIII'98,(1998年),Kluwer,B.V Deventer,荷兰,荷兰),439-456
[218] Kupferschmid,S.;Wehrle,M.;Nebel,B.;Podelski,A.,比UPPAAL还快?,(第20届计算机辅助验证国际会议论文集,CAV'08,(2008),斯普林格-维拉格柏林,海德堡),552-555
[219] Didier,J.-Y.;Djafri,B.;Klaudel,H.,\scmirela框架:使用时间自动机建模和分析混合现实应用程序,虚拟现实与广播杂志,6,1,(2009)
[220] Cambronero,M.-E.;Díaz,G.;Valero,V.;Martínez,E.《使用时间自动机验证和验证web服务编排》,逻辑与代数编程杂志,80,1,25-49,(2011)·Zbl 1207.68082
[221] Bendiksen,L.;厄尔维茨基,P.C.,《定价定时maude工具》,《第三届计算机科学代数和代数国际会议论文集》,CALCO'09,(2009),德国海德堡斯普林格-维拉格柏林,443-448
[222号] Madl,G.;Dutt,N.,开源\scdream工具教程。CECS技术报告(2006)
[223] A、 Alfonso,V.Braberman,D.Garbervetsky,N.Kicillof,A.Olivero,F.Schapachnik,VInTiMe:结合高级技巧和低级肌肉来验证实时系统,载:第一届软件工程原理国际会议论文集,阿根廷布宜诺斯艾利斯,2004年10月。
[224] Braberman,V.A.;Felder,M.,《实时设计验证:将调度理论与自动形式验证相结合》,《第七届欧洲软件工程会议论文集》第七届ACM-SIGSOFT软件工程基础国际研讨会论文集,ESEC/FSE-7,(1999年),英国伦敦斯普林格出版社,494-510号
[225] Alfonso,A.;Braberman,V.;Kicillof,N.;Olivero,A.,《可视化定时事件场景》(第26届软件工程国际会议论文集,ICSE'04,(2004年),IEEE计算机学会,华盛顿特区,美国),168-177
[226] 《计算机辅助切片》,第14卷,《计算机辅助切片》,第14卷·Zbl 1103.68608号
[227号] Braberman,V.;Olivero,A.;Schapachnik,F.,《分布式定时模型检查中的问题:构建宙斯》,《技术转移软件工具国际期刊》,7,4-18,(2005)·Zbl 1272.68231
[228] Larsen,K.G.;Pearson,J.;Weise,C.;Yi,W.《时钟差图》,北欧计算杂志,6271-298,(1999)·Zbl 0937.68086
[229] Asarin,E.;Bozga,M.;Kerbrat,A.;Maler,O.;Pnueli,A.;Rasse,A.,《时间自动机验证的数据结构》(Maler,O.,《1997年混合与实时系统国际研讨会论文集》,HART'97,《计算机科学讲座笔记》,第1201卷,(1997年),Springer-Verlag),346-360
[230] T、 威尔克,自动化和物流系统。论文,基督教阿尔布雷希茨大学,1994年。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。