| 2019 | Distributed Mediator. | Yi Li, Meng Sun |
| 2019 | Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution. | Li Hao, Jianqi Shi, Ting Su, Yanhong Huang |
| 2019 | Constructing Benchmarks for Supporting Explainable Evaluations of Static Application Security Testing Tools. | Gaojian Hao, Feng Li, Wei Huo, Qing Sun, Wei Wang, Xinhua Li, Wei Zou |
| 2019 | Certified Embedding of B Models in an Integrated Verification Framework. | Alexandra Halchin, Yamine At Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni |
| 2019 | IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. | Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu |
| 2019 | Low complexity and large interactions are possible in Strategy logic. | Patrick Gardy |
| 2019 | Verifying Opacity of a Modified PSTM. | Yucheng Fang, Huibiao Zhu, Jiaqi Yin |
| 2019 | An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. | Dehui Du, Yao Wang, Yi Ao, Biao Chen |
| 2019 | Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2019 | Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. | Zuxi Chen, Huixing Fang, Xiangyu Luo |
| 2019 | Software Complexity Reduction by Automated Refactoring Schema. | Siteng Cao, Yongxin Zhao, Ling Shi |
| 2019 | Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. | Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du |
| 2019 | Formalizing Time4sys using parametric timed automata. | tienne Andr |
| 2019 | Non-Intrusive MC/DC Measurement Based on Traces. | Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma |
| 2019 | Efficient Counter-factual Type Error Debugging. | Sheng Chen, Baijun Wu |
| 2019 | Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. | Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun |
| 2019 | Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2018 | Semantics of Real-Time Trigger-Response Properties in Event-B. | Chenyang Zhu, Michael J. Butler, Corina Crstea |
| 2018 | Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs. | Xue-Yang Zhu |
| 2018 | Decomposition and Composition of Sequence Diagrams. | Xiaofei Yu, Jianmin Jiang, Zhong Hong |
| 2018 | A Taxonomy of Code Changes Occurring within a Statement or a Signature. | Chunhua Yang, E. James Whitehead Jr. |
| 2018 | RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIs. | Niannian Xie, Fanping Zeng, Xiaoxia Qin, Yu Zhang, Mingsong Zhou, Chengcheng Lv |
| 2018 | Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. | Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie |
| 2018 | Observational Models for Linearizability Checking on Weak Memory Models. | Kirsten Winter, Graeme Smith, John Derrick |
| 2018 | KRust: A Formal Executable Semantics of Rust. | Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang |