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