| 2004 | Verification of NASA Emergent Systems. | Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey |
| 2004 | Using Contexts to Manage System Complexity. | Paul Robertson, Robert Laddaga |
| 2004 | Integrated Fault Diagnostics on the Grid. | Xiaoxu Ren, Max Ong, Geoffrey Allan, Visakan Kadirkamanathan, Haydn A. Thompson, Peter J. Fleming |
| 2004 | Muse over University Organisational Ecology in Action and Service-Oriented Architectures. | Sita Ramakrishnan, Ashley Cambrell |
| 2004 | Requirements Validation by Lifting Retrenchments in B. | Michael Poppleton, Richard Banach |
| 2004 | Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints. | Marios M. Polycarpou, Jay A. Farrell, Manu Sharma |
| 2004 | Dealing with Complex Networks of Process Interactions: A Security Measure. | Panayiotis Periorellis, Olusola C. Idowu, Steven J. Lynden, Malcolm P. Young, Pter Andrs |
| 2004 | Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network. | Mara Nikolaidou, Dimosthenis Anagnostopoulos |
| 2004 | An Investigation of the Approach to Specification-Based Program Review through Case Studies. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2004 | Visualising Object-Oriented Source Code Complexity Using XML. | R. M. Marks, F. George Wilkie |
| 2004 | Supporting Rigorous Evolution of UML Models. | Sheena R. Judson, Robert B. France, Doris L. Carver |
| 2004 | Modeling Complex Systems by Separating Application and Security Concerns. | Hassan Gomaa, Michael Eonsuk Shin |
| 2004 | Formal Test-Case Generation for UML Statecharts. | Stefania Gnesi, Diego Latella, Mieke Massink |
| 2004 | Software Information Leaks: A Complexity Perspective. | Boby George, Shawn A. Bohner, Rubn Prieto Daz |
| 2004 | System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides. | Francisco J. Barrientos Garca, Isaac Garca Incertis, Flix Miguel Trespaderne, Eusebio de la Fuente Lpez, Jos Ramn Pern Gonzlez |
| 2004 | Domain Visualization for Dealing with Complex Information Systems . | Paolo Donzelli, Paolo Bresciani |
| 2004 | TTET: Event-Triggered Channels on a Time-Triggered Base. | Vilgot Claesson, Neeraj Suri |
| 2004 | A CORBA-Based Multi-Agent System Integration Framework. | Tao Cheng, Zailin Guan, Liming Liu, Bo Wu, Shuzi Yang |
| 2004 | Architecture Driven Modeling in Software Development. | Manfred Broy |
| 2004 | Monitoring and Optimizing Industrial Production Processes. | L. Braccesi, Massimo Monsignori, Paolo Nesi |
| 2004 | A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages. | Tommaso Bolognesi |
| 2004 | A Web-Based Infrastructure for the Management of Semantic Meta-Data. | Vieri Del Bianco, Gianluca Ripa, Emma Tracanella, Luigi Lavazza |
| 2004 | Design of a Microprocessor-Based Control System of a Compression Molding Process. | George K. Adam |
| 2002 | Mnemosyne: Designing and Implementing Network Short-Term Memory. | Giovanni Vigna, Andrew Mitchel |
| 2002 | A Framework for Performability Modeling of Messaging Services in Distributed Systems. | Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi |