Accepted papers
- Xuan Bach Le, Thanh Toan Nguyen, Wei-Ngan Chin and Aquinas Hobor. A Certified Decision Procedure for Tree Shares
- Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger and Holger Hermanns. Pareto Optimal Reachability Analysis for Simple Priced Timed Automata
- Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta and José Meseguer. Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
- Dongjing Miao and Zhipeng Cai. Parameterized Complexity of Resilience Decision for Database Debugging
- Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu and Jin Song Dong. A Verification Framework for Stateful Security Protocols
- Adnan Rashid and Osman Hasan. Formal Analysis of Linear Control Systems using Theorem Proving
- Marie Farrell, Rosemary Monahan and James Power. Combining Event-B and CSP: An Institution Theoretic approach to Interoperability
- Jiaying Li, Jun Sun, Bo Gao and Étienne André. Classification based Parameter Synthesis for Parametric Timed Automata
- Taolue Chen, Fu Song and Zhilin Wu. Model Checking Pushdown Epistemic Game Structures
- Zhiwu Xu, Cheng Wen and Shengchao Qin. Learning Types for Binaries
- Juliana Küster Filipe Bowles and Marco B. Caminati. A Flexible Approach for Finding Optimal Paths with Minimal Conflicts
- Long H. Pham, Ly Ly Tran Thi and Jun Sun. Assertion Generation through Active Learning
- Yi Yin, Yun Wang, Yuichiro Tateiwa, Yoshiaki Katayama and Naohisa Takahashi. Inconsistency Analysis of Time-Based Security Policy and Firewall Policy
- Min Zhang, Yuxin Deng and Guoqing Lei. An Algebraic Approach to Automatic Reasoning for NetKAT based on its Operational Semantics
- Zhao Duan and Cong Tian. Verifying Temporal Properties of C Programs via Lazy Abstraction
- Manuel Töws and Heike Wehrheim. Policy Dependent and Independent Information Flow Analyses
- Xiaohong Chen, Ling Yin, Yijun Yu and Zhi Jin. Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems
- Thomas Göthel, Nils Jähnig and Simon Seif. Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems
- Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang and Jun Yan. Detecting Energy Bugs in Android Apps Using Static Analysis
- Patrick Doolan, Graeme Smith, Chenyi Zhang and Padmanabhan Krishnan. Improving the Scalability of Automatic Linearizability Checking in SPIN
- Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Lau, Fei-Ching Kuo and Sebastian Ng. Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence
- Xin Li and Mizuhito Ogawa. A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis
Conditional accepted papers
- Guoqiang Li, Yuwei Wang, Yunqing Wen and Shoji Yuen. Nested Timed Automata with Diagonal Constraints
- Jingyi Wang, Xiaohong Chen, Jun Sun and Shengchao Qin. Improving Probability Estimation through Active Probabilistic Model Learning
- Yunhao Liu, Xiaohong Li, Zhiyong Feng and Jianye Hao. An Improved Android Collusion Attack Detection Method Based on Program Slicing
- Fabian Benduhn, Thomas Thüm, Ina Schaefer and Gunter Saake. Modularization of Refinement Steps for Agile Formal Methods
- Sylvain Conchon, David Declerck and Fatiha Zaidi. Model Checking Safety Properties of Parameterized x86-TSO Programs
- Bofang Zhang, Yihai Chen, Ridha Khedri and Huaikou Miao. A Framework of Multi-view Reconciliation for Medical Device Software