| 2017 | Formal methods for software testing (invited paper). | Marie-Claude Gaudel |
| 2017 | Bisimulations for probabilistic linear lambda calculi. | Yuxin Deng, Yuan Feng |
| 2017 | SCADE 6: A formal language for embedded critical software development (invited paper). | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 2017 | Computing behavioural distance for fuzzy transition systems. | Tian-Ming Bu, Hengyang Wu, Yixiang Chen |
| 2017 | An integrated framework for verifying multiple care pathways. | Juliana Bowles, Marco B. Caminati, Suhyun Cha |
| 2017 | Conditional transition systems with upgrades. | Harsh Beohar, Barbara Knig, Sebastian Kpper, Alexandra Silva |
| 2016 | Hypergraph Representation of Lambda-Terms. | Alimujiang Yasen, Kazunori Ueda |
| 2016 | State-Taint Analysis for Detecting Resource Bugs. | Zhiwu Xu, Dongxiao Fan, Shengchao Qin |
| 2016 | SeededFuzz: Selecting and Generating Seeds for Directed Fuzzing. | Weiguang Wang, Hao Sun, Qingkai Zeng |
| 2016 | Verifying OSEK/VDX OS Design Using Its Formal Specification. | Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki |
| 2016 | Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. | Aliakbar Safilian, Tom Maibaum |
| 2016 | Complete Contracts through Specification Drivers. | Alexandr Naumchev, Bertrand Meyer |
| 2016 | From Traces to Proofs: Proving Concurrent Programs Safe. | Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar |
| 2016 | Sound Test-Suites for Cyber-Physical Systems. | Morteza Mohaqeqi, Mohammad Reza Mousavi |
| 2016 | Lightweight Method-Level Energy Consumption Estimation for Android Applications. | Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang |
| 2016 | The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops. | Yi Li, Guang Zhu, Yong Feng |
| 2016 | Value-Passing CCS for Trees: A Theory for Concurrent Systems. | Shichao Liu, Ying Jiang |
| 2016 | Active Learning from Blackbox to Timed Connectors. | Yi Li, Meng Sun, Yiwu Wang |
| 2016 | Automatic Conversion and Verification System Based on AADL Scheduling Model. | Dachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin |
| 2016 | Termination and Boundedness for Well-Structured Pushdown Systems. | Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa |
| 2016 | Formal Proof of Dynamic Memory Isolation Based on MMU. | Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym |
| 2016 | A Term Rewriting Approach to Analyze High Level Petri Nets. | Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae |
| 2016 | Bayesian Statistical Model-Checking for Complex Stochastic Systems. | Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei |
| 2016 | Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. | Xiao He, Wenfeng Li, Tian Zhang, Yi Liu |
| 2016 | A New Roadmap on Linking Theories of Programming. | Jifeng He |