| 2010 | On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. | Hong Zhu |
| 2010 | A Formal Model for Service Choreography with Exception Handling and Finalization. | Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu |
| 2010 | Runtime Verification with Multi-valued Formula Rewriting. | Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu |
| 2010 | Probabilistic Model of System Survivability. | Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu |
| 2010 | Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. | Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang |
| 2010 | Axiomatic Temporal Logic Programs Verification. | Xiaoxiao Yang, Zhenhua Duan |
| 2010 | Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. | Jianjun Xu, Qingping Tan, Wanwei Liu |
| 2010 | Parameterized Specification and Verification of PLC Systems in Coq. | Hai Wan, Xiaoyu Song, Ming Gu |
| 2010 | Stack Bound Inference for Abstract Java Bytecode. | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
| 2010 | Property Checking for 1-Place-Unbounded Petri Nets. | Yunhe Wang, Bo Jiang, Li Jiao |
| 2010 | A Guarded Workflow Language and Its Formal Semantics. | Chen-Wei Wang, Jim Davies, James Welch |
| 2010 | Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. | Farn Wang |
| 2010 | Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. | Emil Vassev, Mike Hinchey, Paddy Nixon |
| 2010 | From Dynamic Condition Response Structures to Bchi Automata. | Raghava Rao Mukkamala, Thomas T. Hildebrandt |
| 2010 | An Improved Algorithm for Building the Characterizing Set. | Huaikou Miao, Pan Liu, Jia Mei |
| 2010 | A Certifying Compiler for Clike Subset of C Language. | Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan |
| 2010 | Proving Model Transformations. | Hung Ledang, Hubert Dubois |
| 2010 | Specification, Verification and Implementation of Business Processes Using CSP. | Moritz Kleine, Thomas Gthel |
| 2010 | Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. | Laid Kahloul, Allaoua Chaoui, Karim Djouani |
| 2010 | The Art of Developing Autonomic Systems - The ASSL Approach. | Mike Hinchey, Emil Vassev |
| 2010 | Compositional Abstraction Refinement for Timed Systems. | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2010 | Towards Practical Modeling of Web Applications and Generating Tests. | Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen |
| 2010 | Bisimulations for Open Processes in Higher Order p-Calculus. | Zining Cao |
| 2010 | Incremental Invariant Generation for Compositional Design. | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2009 | Enforcing Constraints on Life Cycles of Business Artifacts. | Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu |