弗兰克·卡塞兹（编辑）；克洛德·贾德（编辑） 时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。 （英语） Zbl 1149.68007号 计算机科学课堂讲稿5215.柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。x、 第295页。(2008). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1138.68007号).索引文章：约尔·瓦克宁；詹姆斯·沃雷尔，度量时态逻辑的一些最新结果，1-13[Zbl 1171.68553号]吉·斯尔巴，比较时间自动机和Petri网时间扩展的表达能力，15-32[Zbl 1171.68579号]Patricia Bouyer；乌里·法伦贝格（Uli Fahrenberg）；Larsen，Kim G。；尼古拉斯·马基（Nicolas Markey）；吉·斯尔巴，具有能量约束的加权时间自动机中的无限运行，33-47[Zbl 1171.68524号]马尔钦·尤尔季安斯基；阿舒托什·特里维迪，秘密定价的时间自动机。（扩展摘要），48-62[Zbl 1171.68529号]Patricia Bouyer；托马斯·布里海耶（Thomas Brihaye）；马尔钦·尤尔季安斯基；兰科·拉齐奇；米查·鲁特考夫斯基，具有强重置的混合自动机上的平均价格和可达性价格游戏，63-77[Zbl 1171.68523号]Suman，P.Vijay；帕里托什·K·潘迪亚。；克里希纳、桑卡拉·纳拉亚南；拉克希米·马纳萨，带整数重置的时间自动机：语言包含性和表达性，78-92[Zbl 1171.68536号]亚历山大·拉比诺维奇，具有计数和普努利模态的度量时间逻辑的复杂性，93-108[Zbl 1171.03313号]卡罗·福里亚（Carlo A.Furia）。；罗西，马蒂奥，具有有限可变性的MTL：可决定性和复杂性，109-123[Zbl 1171.03312号]克里希南德·查特吉；托马斯·亨辛格。；Vinayak S.普拉布。，定时奇偶游戏：复杂性和鲁棒性，124-140[Zbl 1171.68527号]Degorre，奥尔德里克；奥德·马勒，关于结构化作业流的调度策略，141-154[兹比尔1171.90396]弗莱德里克·博尼奥尔；Pierre-Emmanuel Hladik；克莱尔·佩吉蒂；弗雷德里克·阿斯普罗；维克托·杰古，用于分配实时功能的框架，155-169[Zbl 1171.68364号]安妮·雷姆克；Boudewijn R.哈维尔科特。，一种基于均匀化的算法，用于在标记排队网络上检查CSL直到运算符，188-202[Zbl 1171.68554号]Joost-Pieter Katoen；亚历山大·梅雷克莱，分段恒定非均匀马尔可夫链上的模型检验HML，203-217[Zbl 1171.68550号]Chandy，K.曼尼；密特拉，萨扬；皮洛托、康塞塔，收敛验证：从共享内存到部分同步系统，218-232[Zbl 1171.68547号]贾斯珀·贝伦德森；Vaandrager，Frits公司，实时模型检查中的合成抽象，233-249[Zbl 1171.68545号]朱利安·施马耳茨（Julien Schmaltz）；特雷特曼，简，定时系统的一致性测试，250-264[Zbl 1171.68556号]哈尼法·布切内布；卡梅尔·巴考伊，用于构建时间Petri网可达图的相关时间调度/时钟估值，265-279[兹比尔1171.68564]路易斯·马里·特劳努埃兹（Louis-Marie Traonouez）；莱姆，迪迪埃；奥利维尔·H·鲁克斯。，使用状态类图对带有秒表的时间Petri网进行参数化模型检查，280-294[Zbl 1171.68580号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1138.68007号 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}（编辑）和\textit{C.Jard}（编者），时间系统的形式化建模和分析。第六届国际会议，FORMATS 2008，法国圣马洛，2008年9月15-17日。诉讼程序。柏林：施普林格出版社（2008；Zbl 1149.68007） 全文： 内政部