| 2006 | Integrating Functional and Security Requirements with Use Case Decomposition. | Joshua J. Pauli, Dianxiang Xu |
| 2006 | A UML Profile utilizing Enterprise Information System Configuration. | Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos |
| 2006 | Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. | Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen |
| 2006 | Reactive Component based Service-Oriented Design - A Case Study. | Jing Liu, Jifeng He |
| 2006 | A Real-time High-fidelity Driving Simulator System Based on PC Clusters. | Duoduo Liao |
| 2006 | Formal Specification-based Online Monitoring. | Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora |
| 2006 | A Characterization of UML Diagrams and their Consistency. | Xiaoshan Li |
| 2006 | On the Complexity of Design in Imaging Software. | Magnus E. Larsson, Phillip A. Laplante |
| 2006 | Efficient Dynamic Multikeys in Enterprise JavaBeans. | Reinhard Klemm |
| 2006 | Inference of Design Pattern Instances in UML models via Logic Programming. | Dae-Kyoo Kim, Lunjin Lu |
| 2006 | A Case History of International Space Station Requirement Faul. | Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett |
| 2006 | Physiological vs. Social Complexity in Software Design. | Jos Luiz Fiadeiro |
| 2006 | Automation of Java Card component development using the B method. | David Dharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
| 2006 | On the Generation of Object Databases using Booster. | Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton |
| 2006 | A Tool-Supported Review Approach to Detecting Structural Consistency Violations. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2006 | Verification of Control Systems using Circus. | Ana Cavalcanti, Phil Clayton |
| 2006 | Origins of the Grid Architectural Style. | Jovan Cakic, Richard F. Paige |
| 2006 | An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. | Milos Besta, Frank A. Stomp |
| 2006 | A GRID based Framework and tools for automating production of cross media content. | Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi |
| 2005 | A Formal General Framework and Service Access Model for Service Grid. | Deqing Zou, Weizhong Qiang, Xuanhua Shi |
| 2005 | Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. | Xuefeng Zhu, Zhi Jin |
| 2005 | Modeling Architecture Based Development in UML. | Yali Zhu, Gang Huang, Hong Mei |
| 2005 | Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures. | Yali Zhu |
| 2005 | Customizable Framework for Managing Trusted Components Deployed on Middleware. | Minghui Zhou, Wenpin Jiao, Hong Mei |
| 2005 | Identification of Faulty Links in LEO/MEO Satellite Communication Networks. | Zhigang Zhao, Changqing Gong, Guangxing Wang |