List of accepted papers
Regular papers
  1. Bingbing Fang, Guoqiang Li, Daniel Sun and Hongming Cai: Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET
  2. Søren Enevoldsen, Jiri Srba, Kim Guldstrand Larsen and Andreas Dalsgaard: Distributed Computation of Fixed Points on Dependency Graphs
  3. Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl and Mana Taghdiri: Computing Specification-Sensitive Abstractions for Program Verification
  4. Andrzej Mizera, Jun Pang and Qixia Yuan: GPU-accelerated Steady-state Computation of Large Probabilistic Boolean Networks
  5. Kim Guldstrand Larsen, Axel Legay, Marius Mikuńćionis, Cyrille Jegourel, Danny Bøgsted Poulsen and Sean Sedwards: Importance Sampling for Stochastic Timed Automata
  6. Zhilin Wu: Semipositivity in Separation Logic With Two Variables
  7. Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen and Bingtian Xue: A Complete Approximation Theory for Weighted Transition Systems
  8. Yuxin Deng, Wenjie Du and Daniel Gebler: Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
  9. Jacopo Mauro, Gereon Kremer, Erika Abraham, Florian Corzilius and Einar Broch Johnsen: Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies
  10. Qiang Wang: Exploiting Symmetry for Efficient Verification of Infinite-state Component-based Systems
  11. Ernst Moritz Hahn and Arnd Hartmanns: A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques
  12. Xiaoju Dong, Yuxi Fu and Daniele Varacca: Place Bisimulation and Liveness for Open Petri Nets
  13. Ratul Saha, Madhavan Mukund and Jagadeesh Chandra Bose R P: Time-bounded Statistical Analysis of Resource-constrained Business Processes with Distributed Probabilistic Systems
  14. Qingguo Xu, Robert De Simone and Julien Deantoni: Divergence Elimination for CCSL Specification Based-on Clock Causality Chain
  15. Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda and Kousuke Matsumoto: Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
  16. Waqar Ahmed and Osman Hasan: Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach
  17. Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn and Lijun Zhang: An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties
Short papers
  1. Joost-Pieter Katoen, Hao Wu and Xiaoxiao Yang: Performance Evaluation on Modern Concurrent Data Structures
  2. Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das and Soumyajit Dey: Failure Estimation of Behavioral Specifications
  3. Ruifang Zhao, Ke Liu, Hongli Yang and Zongyan Qiu: Identifying XML Schema Constraints Using Temporal Logic
  4. Yongjian Li and Yi Lv: An Automatic Parameterized Verification of the FLASH Cache Coherence Protocol  (withdrawn by the authors)