Abstract is missing.
- Towards Customizable CPS: Composability, Efficiency and PredictabilityWang Yi. 3-15 [doi]
- Modularization of Refinement Steps for Agile Formal MethodsFabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake. 19-35 [doi]
- Model Checking Pushdown Epistemic Game StructuresTaolue Chen, Fu Song, Zhilin Wu. 36-53 [doi]
- Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical SystemsXiaohong Chen, Ling Yin, Yijun Yu, Zhi Jin. 54-70 [doi]
- A Framework for Multi-view Reconciliation and for Medical Devices PersonalizationYihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao. 71-87 [doi]
- WSylvain Conchon, David Declerck, Fatiha Zaïdi. 88-104 [doi]
- Improving the Scalability of Automatic Linearizability Checking in SPINPatrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan. 105-121 [doi]
- Verifying Temporal Properties of C Programs via Lazy AbstractionZhao Duan, Cong Tian, Zhenhua Duan. 122-139 [doi]
- Combining Event-B and CSP: An Institution Theoretic Approach to InteroperabilityMarie Farrell, Rosemary Monahan, James F. Power. 140-156 [doi]
- Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive SystemsThomas Göthel, Nils Jähnig, Simon Seif. 157-173 [doi]
- Assertion Generation Through Active LearningLong H. Pham, Lyly Tran Thi, Jun Sun 0001. 174-191 [doi]
- Detecting Energy Bugs in Android Apps Using Static AnalysisHao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan. 192-208 [doi]
- A Flexible Approach for Finding Optimal Paths with Minimal ConflictsJuliana Küster Filipe Bowles, Marco B. Caminati. 209-225 [doi]
- A Certified Decision Procedure for Tree SharesXuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor. 226-242 [doi]
- Classification-Based Parameter Synthesis for Parametric Timed AutomataJiaying Li, Jun Sun, Bo Gao, Étienne André. 243-261 [doi]
- A Verification Framework for Stateful Security ProtocolsLi Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong. 262-280 [doi]
- A Sliding-Window Algorithm for On-The-Fly Interprocedural Program AnalysisXin Li 0010, Mizuhito Ogawa. 281-297 [doi]
- Exploring Design Alternatives for RAMP Transactions Through Statistical Model CheckingSi Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer. 298-314 [doi]
- An Improved Android Collusion Attack Detection Method Based on Program SlicingYunhao Liu, Xiaohong Li, Zhiyong Feng, Jianye Hao. 315-331 [doi]
- Parameterized Complexity of Resilience Decision for Database DebuggingDongjing Miao, Zhipeng Cai. 332-344 [doi]
- Formal Analysis of Linear Control Systems Using Theorem ProvingAdnan Rashid, Osman Hasan. 345-361 [doi]
- Policy Dependent and Independent Information Flow AnalysesManuel Töws, Heike Wehrheim. 362-378 [doi]
- Improving Probability Estimation Through Active Probabilistic Model LearningJingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin. 379-395 [doi]
- Nested Timed Automata with Diagonal ConstraintsYuwei Wang, Yunqing Wen, Guoqiang Li 0001, Shoji Yuen. 396-412 [doi]
- Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program EquivalenceTingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Fai Lau, Fei-Ching Kuo, Sebastian Ng. 413-429 [doi]
- Learning Types for BinariesZhiwu Xu, Cheng Wen, Shengchao Qin. 430-446 [doi]
- Inconsistency Analysis of Time-Based Security Policy and Firewall PolicyYi Yin, Yuichiro Tateiwa, Yun Wang, Yoshiaki Katayama, Naohisa Takahashi. 447-463 [doi]
- An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational SemanticsYuxin Deng, Min Zhang 0002, Guoqing Lei. 464-480 [doi]
- Pareto Optimal Reachability Analysis for Simple Priced Timed AutomataZhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns. 481-495 [doi]