| 2004 | Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. | Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
| 2004 | Abstraction of Parallel Uniform Processes with Data. | Jun Pang, Jaco van de Pol, Miguel Valero Espada |
| 2004 | Refine and Gabriel: Support for Refinement and Tactics. | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti |
| 2004 | A Formalism for Conformance Analysis and Its Applications. | Tien Nhut Nguyen, Ethan V. Munson |
| 2004 | Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. | Naiyong Jin, Jifeng He |
| 2004 | Towards Formalizing Behavioral Substitutability in Component Frameworks. | Sabine Moisan, Annie Ressouche, Jean-Paul Rigault |
| 2004 | A Programming Model for the Orchestration of Web Services. | Jayadev Misra |
| 2004 | On Semantics and Refinement of UML Statecharts: A Coalgebraic View. | Sun Meng, Zhang Naixiao, Lus Soares Barbosa |
| 2004 | ABC: Supporting Software Architectures in the Whole Lifecycle. | Hong Mei |
| 2004 | Distributed Testing of Multi Input/Output Transition System. | Zhongjie Li, Xia Yin, Jianping Wu |
| 2004 | Exception Safety for C#. | K. Rustan M. Leino, Wolfram Schulte |
| 2004 | Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2004 | Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. | Linas Laibinis, Elena Troubitsyna |
| 2004 | Formal Derivation of Functional Architectural Design. | Ridha Khdri, Imen Bourguiba |
| 2004 | Formal Verification of Requirements using SPIN: A Case Study on Web Services. | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
| 2004 | Heuristics for Refinement Relations. | Florian Kammller, Jeff W. Sanders |
| 2004 | Care, Feeding and Growth of Software Systems. | Mathai Joseph |
| 2004 | An Asynchronous Communication Model for Distributed Concurrent Objects. | Einar Broch Johnsen, Olaf Owe |
| 2004 | Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. | Ying Hu, Clark W. Barrett, Benjamin Goldberg |
| 2004 | Verification of the WAP Transaction Layer. | Yu-Tong He, Ryszard Janicki |
| 2004 | Generating Efficient Test Sets with a Model Checker. | Grgoire Hamon, Leonardo Mendona de Moura, John M. Rushby |
| 2004 | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2004 | Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach. | Alexander Fronk |
| 2004 | Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. | Stephan Flake, Wolfgang Mller |
| 2004 | How to Verify Dynamic Properties of Information Systems. | Neil Evans, Helen Treharne, Rgine Laleau, Marc Frappier |