| 2004 | Formal Analysis of the Internet Open Trading Protocol. | Chun Ouyang, Jonathan Billington |
| 2004 | Testing of Autonomous Agents Described as Utility State Machines. | Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2004 | A Temporal Logic Based Framework for Intrusion Detection. | Prasad Naldurg, Koushik Sen, Prasanna Thati |
| 2004 | Witness and Counterexample Automata for ACTL. | Robert Meolic, Alessandro Fantechi, Stefania Gnesi |
| 2004 | Generation of Integration Tests for Self-Testing Components. | Leonardo Mariani, Mauro Pezz, David Willmor |
| 2004 | A Process-Oriented Approach Towards Structured Market Modelling. | Juho Mki |
| 2004 | Introducing the Iteration in sPBC. | Hermenegilda Maci, Valentn Valero Ruiz, Diego Cazorla, Fernando Cuartero |
| 2004 | Formal Specification of Symbolic-Probabilistic Systems. | Natalia Lpez, Manuel Nez, Ismael Rodrguez |
| 2004 | Symbolic Performance and Dependability Evaluation with the Tool CASPA. | Matthias Kuntz, Markus Siegle, Edith Werner |
| 2004 | Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks. | Mahdi Jalili-Kharaajoo |
| 2004 | An Analytical Design of a Practical Replication Protocol for Distributed Systems. | Luis Irn-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muoz-Esco |
| 2004 | Formal Verification of Web Applications Modeled by Communicating Automata. | May Haydar, Alexandre Petrenko, Houari A. Sahraoui |
| 2004 | A Construction Kit for Modeling the Security of M-commerce Applications. | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
| 2004 | Towards the Harmonisation of UML and SDL. | Rdiger Grammes, Reinhard Gotzhein |
| 2004 | Performance Evaluation of a SNAP-Based Grid Resource Broker. | Iain Gourlay, Mohammed H. Haji, Karim Djemame, Peter M. Dew |
| 2004 | Connectivity Testing Through Model-Checking. | Jens Chr. Godskesen, Brian Nielsen, Arne Skou |
| 2004 | PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. | Stephen Gilmore, Valentin Haenel, Jane Hillston, Lela Kloul |
| 2004 | Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times. | Peixia Gao, Sabine Wittevrongel, Herwig Bruneel |
| 2004 | Fault Propagation by Equation Solving. | Khaled El-Fakih, Nina Yevtushenko |
| 2004 | Formal Verification of a Practical Lock-Free Queue Algorithm. | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2004 | Petri Net Semantics of the Finite pi-Calculus. | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2004 | Conditions for Resolving Observability Problems in Distributed Testing. | Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2004 | Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. | Ghassan Chehaibar |
| 2004 | Symbolic Diagnosis of Partially Observable Concurrent Systems. | Thomas Chatain, Claude Jard |
| 2004 | Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. | Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, Pierluigi Pierini |