首页>外文会议>International workshop on reachability problems

International workshop on reachability problems

召开年：2013
召开地：Uppsala(SE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Robustness in Timed Automata

机译：定时自动机的鲁棒性
- 作者：Patricia Bouyer;Nicolas Markey;Ocan Sankur
- 会议名称：《International workshop on reachability problems》 | 2013年
2.Automated Verification of Concurrent Software

机译：并发软件的自动验证
- 作者：Daniel Kroening
- 会议名称：《International workshop on reachability problems》 | 2013年
3.Provenance Verification

机译：来源验证
- 作者：Rupak Majumdar;Roland Meyer;Zilong Wang
- 会议名称：《International workshop on reachability problems》 | 2013年
4.Reachability Modulo Theories

机译：可达性模理论
- 作者：Akash Lal;Shaz Qadeer
- 会议名称：《International workshop on reachability problems》 | 2013年
5.The Dynamic Complexity of the Reachability Problem on Graphs

机译：图上可达性问题的动态复杂度
- 作者：Thomas Schwentick
- 会议名称：《International workshop on reachability problems》 | 2013年
6.Reachability Problems for Hierarchical Piecewise Constant Derivative Systems

机译：分层分段常数导数系统的可达性问题
- 作者：Paul C. Bell;Shang Chen
- 会议名称：《International workshop on reachability problems》 | 2013年
7.Parametric Interrupt Timed Automata

机译：参数中断定时自动机
- 作者：Beatrice Berard;Serge Haddad;Aleksandra Jovanovic;Didier Lime
- 会议名称：《International workshop on reachability problems》 | 2013年
8.Deciding Continuous-Time Metric Temporal Logic with Counting Modalities

机译：使用计数模态确定连续时间度量时间逻辑
- 作者：Marcello M. Bersani;Matteo Rossi;Pierluigi San Pietro
- 会议名称：《International workshop on reachability problems》 | 2013年
9.MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters

机译：MaRDiGraS：在大型集群上简化可达性图的构建
- 作者：Carlo Bellettini;Matteo Camilli;Lorenzo Capra;Mattia Monga
- 会议名称：《International workshop on reachability problems》 | 2013年
- Reachability Graph;
- Big Data;
- Formal Methods;
- Distributed Computing;
- Cloud Computing;
- MapReduce;
10.Modular Synthesis with Open Components

机译：具有开放组件的模块化综合
- 作者：Ilaria De Crescenzo;Salvatore La Torre
- 会议名称：《International workshop on reachability problems》 | 2013年
11.Parameterized Verification of Broadcast Networks of Register Automata

机译：寄存器自动机广播网络的参数化验证
- 作者：Giorgio Delzanno;Arnaud Sangnier;Riccardo Traverso
- 会议名称：《International workshop on reachability problems》 | 2013年
12.Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games

机译：并行可达性游戏和其他随机游戏的单项策略
- 作者：Soren Kristoffer Stiil Frederiksen;Peter Bro Miltersen
- 会议名称：《International workshop on reachability problems》 | 2013年
13.Stability Controllers for Sampled Switched Systems

机译：采样开关系统的稳定性控制器
- 作者：Laurent Fribourg;Romain Soulat
- 会议名称：《International workshop on reachability problems》 | 2013年
14.Formal Languages, Word Problems of Groups and Decidability

机译：形式语言，组词问题和可判定性
- 作者：Sam A.M. Jones;Richard M. Thomas
- 会议名称：《International workshop on reachability problems》 | 2013年
15.Verification of Reachability Properties for Time Petri Nets

机译：时间陪替氏网的可达性验证
- 作者：Kais Klai;Naim Aber;Laure Petrucci
- 会议名称：《International workshop on reachability problems》 | 2013年
- Time Petri Nets;
- Reachability properties;
- Model Checking;
16.Branching-Time Model Checking Gap-Order Constraint Systems

机译：分支时间模型检查间隙顺序约束系统
- 作者：Richard Mayr;Patrick Totzke
- 会议名称：《International workshop on reachability problems》 | 2013年
17.Constructing Minimal Coverability Sets

机译：构造最小覆盖范围集
- 作者：Artturi Piipponen;Antti Valmari
- 会议名称：《International workshop on reachability problems》 | 2013年
- coverability set;
- Tarjan's algorithm;
- antichain data structure;
18.On the Complexity of Counter Reachability Games

机译：反可达性游戏的复杂性
- 作者：Julien Reichert
- 会议名称：《International workshop on reachability problems》 | 2013年
19.Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities

机译：具有任意边多重性的广义无通信Petri网的完备性结果
- 作者：Ernst W. Mayr;Jeremias Weihmann
- 会议名称：《International workshop on reachability problems》 | 2013年
20.Preface

机译：前言
- 作者：Parosh Aziz Abdulla;Igor Potapov
- 会议名称：《International workshop on reachability problems》 | 2013年