| 2016 | Agile Validation of Higher Order Transformations Using F-Alloy. | Loc Gammaitoni, Pierre Kelsen, Qin Ma |
| 2016 | A Suspension-Trace Semantics for CSP. | Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio |
| 2016 | UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. | Andrew Butterfield, Anila Mjeda, John Noll |
| 2016 | Behaviour-Aware Matching of Cloud Applications. | Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani |
| 2016 | Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. | Richard Banach |
| 2016 | Cost-Utility Analysis in Probabilistic Models. | Christel Baier |
| 2016 | On-the-Fly Determinization of Bounded Networks of Timed Automata. | Bernhard K. Aichernig, Florian Lorber |
| 2015 | Formal Verification of PKMv3 Protocol Using DT-Spin. | Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao |
| 2015 | Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. | Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu |
| 2015 | An Open Framework for Semantic Code Queries on Heterogeneous Repositories. | Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li |
| 2015 | Transferable Optimal-size Fair E-cash with Optimal Anonymity. | Jiangxiao Zhang, Lina Huo, Xia Liu, Chunrong Sui, Zhoujun Li, Jinxin Ma |
| 2015 | Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC. | Zhihua Yang, Bo Xiao, Yixiang Chen |
| 2015 | A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. | Xi Wu, Hanne Riis Nielson, Huibiao Zhu |
| 2015 | QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. | Xiaomin Wei, Yunwei Dong, Hong Ye |
| 2015 | Evaluating Initial Inputs for Concolic Testing. | Weiguang Wang, Qingkai Zeng |
| 2015 | A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. | Weikai Miao, Xi Wang, Shaoying Liu |
| 2015 | Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid Model. | Guoqiang Liu, Deping Zhang, Tingting Zhang |
| 2015 | A Framework for Off-Line Conformance Testing of Timed Connectors. | Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun |
| 2015 | A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. | Kais Klai, Hanen Ochi |
| 2015 | Verifying Interaction between Methods in Classes. | Tingting Hu, Shuling Wang, Zongyan Qiu |
| 2015 | Probabilistic Model Checking of Pipe protocol. | Kangli He, Min Zhang, Jia He, Yixiang Chen |
| 2015 | An Effective Approach to Measuring and Assessing the Risk of Android Application. | Huikang Hao, Zhoujun Li, Haibo Yu |
| 2015 | Polychronous Automata. | Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loc Besnard |
| 2015 | Formally Modeling and Analyzing the Reliability of Composite Service Evolution. | Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu |
| 2015 | Event and Strategy Analytics. | Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi |