| 2003 | A Lightweight Formal Analysis of a Multicast Key Management Scheme. Mana Taghdiri, Daniel Jackson |
| 2003 | Automatic Verification of Annotated Code. Doron A. Peled, Hongyang Qu |
| 2003 | Behavioural Contracts for a Sound Assembly of Components. Cyril Carrez, Alessandro Fantechi, Elie Najm |
| 2003 | Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? Dirk Beyer, Andreas Noack |
| 2003 | Combating Infinite State Using Ergo. Peter J. Robinson, Carron Shankland |
| 2003 | Concerning the Ordering of Adaptive Test Sequences. Robert M. Hierons, Hasan Ural |
| 2003 | Correct Passive Testing Algorithms and Complete Fault Coverage. Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan |
| 2003 | Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino |
| 2003 | Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. Rodolfo Gómez, Howard Bowman |
| 2003 | Formal Design of Interactive Multimedia Documents. Jean-Pierre Courtiat |
| 2003 | Formal Security Policy Verification of Distributed Component-Structured Software. Peter Herrmann |
| 2003 | Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings Hartmut König, Monika Heiner, Adam Wolisz |
| 2003 | Generation of All Counter-Examples for Push-Down Systems. Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka |
| 2003 | How Stop and Wait Protocols Can Fail over the Internet. Jonathan Billington, Guy Edward Gallasch |
| 2003 | Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | Modeling and Model Checking Mobile Phone Payment Systems. Tim Kempster, Colin Stirling |
| 2003 | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. Farn Wang, Geng-Dian Hwang, Fang Yu |
| 2003 | Progressive Solutions to a Parallel Automata Equation. Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 2003 | QoS Functional Testing for Multi-media Systems. Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino |
| 2003 | Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. Manfred Broy |
| 2003 | Specifying and Realising Interactive Voice Services. Kenneth J. Turner |
| 2003 | Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale |
| 2003 | Towards Testing Stochastic Timed Systems. Manuel Núñez, Ismael Rodríguez |
| 2003 | Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts. Hesham Kamal Arafat Mohamed, Bruno Müller-Clostermann |
| 2003 | Type Abstraction in Formal Protocol Specifications with Container Types. Joachim Thees |
| 2003 | UNIX STREAMS Generation from a Formal Specification. Pawel Rychwalski, Jacek Wytrebowicz |
| 2003 | Validiation of the Sessionless Mode of the HTTPR Protocol. Paolo Romano, Milton Romero, Bruno Ciciani, Francesco Quaglia |
| 2003 | Vertical Reuse in the Development of Distributed Systems with FDTs. Reinhard Gotzhein |