| 2004 | How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. | Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas |
| 2004 | Composing Event Constraints in State-Based Specification. | Tommaso Bolognesi |
| 2004 | A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges. | Shantanu Biswas, Y. Narahari, Anish Das Sarma |
| 2004 | An Approach for Assessment of Electronic Offers. | Bettina Bazijanec, Key Pousttchi, Klaus Turowski |
| 2004 | Localizing Program Errors for Cimple Debugging. | Samik Basu, Diptikalyan Saha, Scott A. Smolka |
| 2004 | Parameterized Models for Distributed Java Objects. | Toms Barros, Raba Boulifa, Eric Madelaine |
| 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 | A Logical Account of NGSCB. | Martn Abadi, Ted Wobber |
| 2003 | Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. | Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino |
| 2003 | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. | Farn Wang, Geng-Dian Hwang, Fang Yu |
| 2003 | Specifying and Realising Interactive Voice Services. | Kenneth J. Turner |
| 2003 | Type Abstraction in Formal Protocol Specifications with Container Types. | Joachim Thees |
| 2003 | A Lightweight Formal Analysis of a Multicast Key Management Scheme. | Mana Taghdiri, Daniel Jackson |
| 2003 | QoS Functional Testing for Multi-media Systems. | Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino |
| 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 | Combating Infinite State Using Ergo. | Peter J. Robinson, Carron Shankland |
| 2003 | Automatic Verification of Annotated Code. | Doron A. Peled, Hongyang Qu |
| 2003 | Towards Testing Stochastic Timed Systems. | Manuel Nez, Ismael Rodrguez |
| 2003 | Correct Passive Testing Algorithms and Complete Fault Coverage. | Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan |
| 2003 | Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts. | Hesham Kamal Arafat Mohamed, Bruno Mller-Clostermann |
| 2003 | Modeling and Model Checking Mobile Phone Payment Systems. | Tim Kempster, Colin Stirling |
| 2003 | Concerning the Ordering of Adaptive Test Sequences. | Robert M. Hierons, Hasan Ural |
| 2003 | Formal Security Policy Verification of Distributed Component-Structured Software. | Peter Herrmann |
| 2003 | Vertical Reuse in the Development of Distributed Systems with FDTs. | Reinhard Gotzhein |