| 2015 | On Various Abstract Understandings of Abstract Interpretation. | Patrick Cousot |
| 2015 | Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. | Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi |
| 2015 | Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. | Marsha Chechik |
| 2015 | Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. | Abdelkrim Chebieb, Yamine At Ameur |
| 2014 | Branch Obfuscation Using "Black Boxes". | Nan Zong, Chunfu Jia |
| 2014 | Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. | Yuanrui Zhang, Frdric Mallet, Yixiang Chen |
| 2014 | Formal Verification of Interrupt Injection in a Hypervisor. | Haozhong Zhang, Yu Guo |
| 2014 | Data Resources in Dynamic Environments. | Wen Zeng, Maciej Koutny |
| 2014 | Mixed Simulation of Multi-valued Models. | Ou Wei, Juanjuan Chen |
| 2014 | Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems. | Nils Timm |
| 2014 | Bayesian Model-Based Prediction of Service Level Agreement Violations for Cloud Services. | Bing Tang, Mingdong Tang |
| 2014 | Modeling and Verifying the TTCAN Protocol Using Timed CSP. | Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu |
| 2014 | Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2014 | Choreography Scenario-Based Test Data Generation. | Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin |
| 2014 | Parametrizing Program Analysis. | Lunjin Lu |
| 2014 | iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2014 | Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2014 | Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. | Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang |
| 2014 | An Improved Recursive Algorithm for Parity Games. | Yao Liu, Zhenhua Duan, Cong Tian |
| 2014 | A Formal Development Approach for Self-Organising Systems. | Qin Li, Graeme Smith |
| 2014 | Alleviating the Impact of Coincidental Correctness on the Effectiveness of SFL by Clustering Test Cases. | Weishi Li, Xiaoguang Mao |
| 2014 | An Approach to Modelling and Evaluating AGG Based Reliable Software Systems. | Chen Li, Linpeng Huang, Luxi Chen, Xiwen Wu |
| 2014 | Trace-Based Temporal Verification for Message-Passing Programs. | Jinjiang Lei, Zongyan Qiu, Zhong Shao |
| 2014 | On Statistical Model Checking with PLASMA. | Axel Legay, Sean Sedwards |
| 2014 | Configuration of Services Based on Virtualization. | Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong |