| 2006 | 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA |
| 2006 | A Case History of International Space Station Requirement Faul. Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett |
| 2006 | A Characterization of UML Diagrams and their Consistency. Xiaoshan Li |
| 2006 | A GRID based Framework and tools for automating production of cross media content. Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi |
| 2006 | A Layered Behavioural Model of Platelets. Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock |
| 2006 | A Real-time High-fidelity Driving Simulator System Based on PC Clusters. Duoduo Liao |
| 2006 | A Tool-Supported Review Approach to Detecting Structural Consistency Violations. Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2006 | A Type System for the Relational Calculus of Object Systems. Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu |
| 2006 | A UML Profile utilizing Enterprise Information System Configuration. Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos |
| 2006 | An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. Milos Besta, Frank A. Stomp |
| 2006 | Automation of Java Card component development using the B method. David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
| 2006 | Biologically-Inspired Concepts for Self-Management of Complexity. Roy Sterritt, Michael G. Hinchey |
| 2006 | Communicating Complex Systems. Peter H. Welch, Fred R. M. Barnes, Fiona Polack |
| 2006 | Efficient Dynamic Multikeys in Enterprise JavaBeans. Reinhard Klemm |
| 2006 | Engineering Emergence. Susan Stepney, Fiona Polack, Heather R. Turner |
| 2006 | Formal Specification-based Online Monitoring. Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora |
| 2006 | From Algebraic Semantics to Denotational Semantics for Verilog. Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
| 2006 | Inference of Design Pattern Instances in UML models via Logic Programming. Dae-Kyoo Kim, Lunjin Lu |
| 2006 | Integrating Functional and Security Requirements with Use Case Decomposition. Joshua J. Pauli, Dianxiang Xu |
| 2006 | Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2006 | Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen |
| 2006 | Modelling Bacterial Growth Patterns in the presence of Antibiotic. Ray Walshe |
| 2006 | Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. Gregory M. Provan |
| 2006 | On the Complexity of Design in Imaging Software. Magnus E. Larsson, Phillip A. Laplante |
| 2006 | On the Generation of Object Databases using Booster. Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton |
| 2006 | Origins of the Grid Architectural Style. Jovan Cakic, Richard F. Paige |
| 2006 | Physiological vs. Social Complexity in Software Design. José Luiz Fiadeiro |
| 2006 | Reactive Component based Service-Oriented Design - A Case Study. Jing Liu, Jifeng He |
| 2006 | Reliability - Security Model. Norman F. Schneidewind |
| 2006 | Verification of Control Systems using Circus. Ana Cavalcanti, Phil Clayton |