| 2009 | Merging of Use Case Models: Semantic Foundations. | Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler |
| 2009 | Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. | Richard Banach |
| 2009 | Towards Automated Software Verification Using Model Checking Techniques. | Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani |
| 2009 | Improving Responsiveness of Hard Real-Time Embedded Systems. | Hugh Anderson, Siau-Cheng Khoo |
| 2009 | A Framework for Dependency Evaluation of the Agent Oriented Methodologies Work Flows. | Tannaz Alinaghi, Camellia Ghoroghi, Ahmad Sabouri, Reza Basseda |
| 2009 | Fault-Based Test Case Generation for Component Connectors. | Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten |
| 2008 | A Fundamental Permission Interpretation for Ownership Types. | Yang Zhao, John Boyland |
| 2008 | A Bigraphical Model of WSBPEL. | Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu |
| 2008 | A MDE Based Approach for Bridging Formal Models. | Tian Zhang, Frdric Jouault, Jean Bzivin, Jianhua Zhao |
| 2008 | Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. | Lian Yu, Shuang Su, Shan Luo, Yu Su |
| 2008 | Implementing Higher-Order Control in Java. | Gang Yu |
| 2008 | Improving Encoding Efficiency for Bounded Model Checking. | Jinji Yang, Kaile Su, Qingliang Chen |
| 2008 | Reasoning about Channel Passing in Choreography. | Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu |
| 2008 | A Generic Model for Confinement and its Application. | Shuling Wang, Zongyan Qiu |
| 2008 | An Extension to Pointer Logic for Verification. | Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian |
| 2008 | A Relational Model for Confined Separation Logic. | Shuling Wang, Lus Soares Barbosa, Jos Nuno Oliveira |
| 2008 | Bounded Model Checking of Compositional Processes. | Jun Sun, Yang Liu, Jin Song Dong, Jing Sun |
| 2008 | ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. | Corinna Spermann, Michael Leuschel |
| 2008 | A Model-Driven Method for the Development of Web Applications User Interaction Layer. | Ricardo A. C. de Souza, Roberto Souto Maior de Barros |
| 2008 | An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics. | Haihao Shen, Sai Zhang, Jianjun Zhao |
| 2008 | Test Data Generation for C Programs with String-Handling Functions. | Hui Ruan, Jian Zhang, Jun Yan |
| 2008 | A Multidimensional Model for Mum Effect in Offshore Outsourcing. | Sakgasit Ramingwong, A. S. M. Sajeev |
| 2008 | On Automatic Verification of Self-Stabilizing Population Protocols. | Jun Pang, Zhengqin Luo, Yuxin Deng |
| 2008 | Structure and Interpretation of Computer Programs. | Ganesh M. Narayan, K. Gopinath, Sridhar Varadarajan |
| 2008 | Towards Automatically Generating Test Paths for Web Application Testing. | Huaikou Miao, Zhong-sheng Qian, Bo Song |