Abstract is missing.
- Place Bisimulation and Liveness for Open Petri NetsXiaoju Dong, Yuxi Fu, Daniele Varacca. 1-17 [doi]
- Divergence Detection for CCSL Specification via Clock Causality ChainQingguo Xu, Robert de Simone, Julien DeAntoni. 18-37 [doi]
- Performance Evaluation of Concurrent Data StructuresHao Wu, Xiaoxiao Yang, Joost-Pieter Katoen. 38-49 [doi]
- GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean NetworksAndrzej Mizera, Jun Pang, Qixia Yuan. 50-66 [doi]
- Behavioural Pseudometrics for Nondeterministic Probabilistic SystemsWenjie Du, Yuxin Deng, Daniel Gebler. 67-84 [doi]
- A Comparison of Time- and Reward-Bounded Probabilistic Model Checking TechniquesErnst Moritz Hahn, Arnd Hartmanns. 85-100 [doi]
- Computing Specification-Sensitive Abstractions for Program VerificationTianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri. 101-117 [doi]
- Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency ModelsTatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto. 118-135 [doi]
- Identifying XML Schema Constraints Using Temporal LogicRuifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu. 136-146 [doi]
- Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCETBingbing Fang, Guoqiang Li 0001, Daniel Sun, Hongming Cai. 147-162 [doi]
- Importance Sampling for Stochastic Timed AutomataCyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards. 163-178 [doi]
- Semipositivity in Separation Logic with Two VariablesZhilin Wu. 179-196 [doi]
- Distributed Computation of Fixed Points on Dependency GraphsAndreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba. 197-212 [doi]
- A Complete Approximation Theory for Weighted Transition SystemsMikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue. 213-228 [doi]
- Zephyrus2: On the Fly Deployment Optimization Using SMT and CP TechnologiesErika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro. 229-245 [doi]
- Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based SystemsQiang Wang. 246-263 [doi]
- Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding ApproachWaqar Ahmed, Osman Hasan. 264-279 [doi]
- An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time PropertiesYong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang. 280-296 [doi]
- Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic SystemsRatul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose. 297-314 [doi]
- Failure Estimation of Behavioral SpecificationsDebasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey. 315-322 [doi]