| 2004 | A Predicate Spatial Logic and Model Checking for Mobile Processes. | Huimin Lin |
| 2004 | Challenges in Increasing Tool Support for Programming. | K. Rustan M. Leino |
| 2004 | Decomposing Controllers into Non-conflicting Distributed Controllers. | Padmanabhan Krishnan |
| 2004 | A Logical Characterization of Efficiency Preorders. | Neelesh Korade, S. Arun-Kumar |
| 2004 | Idempotent Relations in Isabelle/HOL. | Florian Kammller, Jeff W. Sanders |
| 2004 | Integrating Variants of DC. | Jifeng He, Naiyong Jin |
| 2004 | A Generalisation of a Relational Structures Model of Concurrency. | Ryszard Janicki |
| 2004 | Replicative - Distribution Rules in P Systems with Active Membranes. | Tseren-Onolt Ishdorj, Mihai Ionescu |
| 2004 | A Proof of Weak Termination Providing the Right Way to Terminate. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |
| 2004 | Software Services: Scientific Challenge or Industrial Hype?. | Jos Luiz Fiadeiro |
| 2004 | Random Generators for Dependent Types. | Peter Dybjer, Qiao Haiyan, Makoto Takeyama |
| 2004 | Verifying OWL and ORL Ontologies in PVS. | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li |
| 2004 | Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. | Conrado Daws |
| 2004 | Combining Algebraic and Model-Based Test Case Generation. | Li Dan, Bernhard K. Aichernig |
| 2004 | Duration Calculus: A Real-Time Semantic for B. | Samuel Colin, Georges Mariano, Vincent Poirriez |
| 2004 | Switched Probabilistic I/O Automata. | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2004 | An Approach to Integration Testing Based on Data Flow Specifications. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2004 | Minimal Spanning Set for Coverage Testing of Interactive Systems. | Fevzi Belli, Christof J. Budnik |
| 2004 | Specifying Software Connectors. | Marco Antonio Barbosa, Lus Soares Barbosa |
| 2004 | An Algebraic Approach for Codesign. | Marc Aiguier, Stefan Broff, Pierre-Yves Schobbens |
| 2004 | Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. | Erika brahm, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen |