| 2008 | Verifying BPEL-Like Programs with Hoare Logic. | Chenguang Luo, Shengchao Qin, Zongyan Qiu |
| 2008 | Symbolic Model Checking APSL. | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma |
| 2008 | Open Logic Based on Partial-Ordered Partition Model. | Liannan Lin, Jinzhao Wu, Xiang Xu |
| 2008 | Pushing Requirements Changes through to Changes in Specifications. | Lan Lin, Jesse H. Poore |
| 2008 | Effective Predicate Abstraction for Program Verification. | Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang |
| 2008 | A Logical Framework for Software Testing. | Wei Li |
| 2008 | Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. | Arnaud Lanoix |
| 2008 | Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. | Christoph Knieke, Michaela Huhn, Malte Lochau |
| 2008 | Specifying Properties for Modular Pi-Calculus. | Takashi Kitamura, Huimin Lin |
| 2008 | Perspectives in Probabilistic Verification. | Joost-Pieter Katoen |
| 2008 | UML Model Refactoring with Emphasis on Behavior Preservation. | Soodeh Hosseini, Mohammad Abdollahi Azgomi |
| 2008 | A Memoized Strategy for Preference Logic Programs. | Hai-Feng Guo |
| 2008 | A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling. | Lianwei Guan, Xingyu Li, Hao Hu |
| 2008 | Towards More Flexible Development of Z Specifications. | Zheng Fu, Graeme Smith |
| 2008 | Transformation of BPEL Processes to Petri Nets. | Haiqiang Dun, Haiying Xu, Lifu Wang |
| 2008 | A Complete Axiomatization of Propositional Projection Temporal Logic. | Zhenhua Duan, Nan Zhang |
| 2008 | Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. | David Delahaye, Jean-Frdric tienne, Vronique Donzeau-Gouge |
| 2008 | PDL over Accelerated Labeled Transition Systems. | Taolue Chen, Jaco van de Pol, Yanjing Wang |
| 2008 | Time-Abstracting Bisimulation for Probabilistic Timed Automata. | Taolue Chen, Tingting Han, Joost-Pieter Katoen |
| 2008 | A Conceptual Framework to Integrate Fault Prediction Sub-Process for Software Product Lines. | Cagatay Catal, Banu Diri |
| 2008 | Modeling and Refining the Service-Oriented Requirement. | Xiaoxia Cao, Huaikou Miao, Qingguo Xu |
| 2008 | Workflow Semantics of Peer and Service Behaviour. | Antonio Brogi, Razvan Popescu |
| 2007 | A Formal Derivation of Grover's Quantum Search Algorithm. | Paolo Zuliani |
| 2007 | Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. | Lingzhong Zhao, Tianlong Gu, Junyan Qian |
| 2007 | Specification-based Test Generation and Optimization Using Model Checking. | Hongwei Zeng, Huaikou Miao, Jing Liu |