| 2004 | A Logical Account of NGSCB. Martín Abadi, Ted Wobber |
| 2004 | A Symbolic Symbolic State Space Representation. Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud |
| 2004 | A Temporal Logic Based Framework for Intrusion Detection. Prasad Naldurg, Koushik Sen, Prasanna Thati |
| 2004 | Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. Xin Wang, Ji Wang, Zhi-Chang Qi |
| 2004 | Automatized Verification of Ad Hoc Routing Protocols. Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
| 2004 | Composing Event Constraints in State-Based Specification. Tommaso Bolognesi |
| 2004 | Conditions for Resolving Observability Problems in Distributed Testing. Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2004 | Connectivity Testing Through Model-Checking. Jens Chr. Godskesen, Brian Nielsen, Arne Skou |
| 2004 | Fault Propagation by Equation Solving. Khaled El-Fakih, Nina Yevtushenko |
| 2004 | Formal Composition of Distributed Scenarios. Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
| 2004 | Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. Juan Quemada |
| 2004 | Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings David de Frutos-Escrig, Manuel Núñez |
| 2004 | Formal Verification of Web Applications Modeled by Communicating Automata. May Haydar, Alexandre Petrenko, Houari A. Sahraoui |
| 2004 | Formal Verification of a Practical Lock-Free Queue Algorithm. Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2004 | Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. Ghassan Chehaibar |
| 2004 | Introducing the Iteration in sPBC. Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
| 2004 | Localizing Program Errors for Cimple Debugging. Samik Basu, Diptikalyan Saha, Scott A. Smolka |
| 2004 | Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee |
| 2004 | Parameterized Models for Distributed Java Objects. Tomás Barros, Rabéa Boulifa, Eric Madelaine |
| 2004 | Petri Net Semantics of the Finite pi-Calculus. Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2004 | Symbolic Diagnosis of Partially Observable Concurrent Systems. Thomas Chatain, Claude Jard |
| 2004 | Towards Design Recovery from Observations. Hasan Ural, Hüsnü Yenigün |
| 2004 | Towards the Harmonisation of UML and SDL. Rüdiger Grammes, Reinhard Gotzhein |
| 2004 | Witness and Counterexample Automata for ACTL. Robert Meolic, Alessandro Fantechi, Stefania Gnesi |