| 2003 | Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. | Rodolfo Gmez, Howard Bowman |
| 2003 | Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. | Mariusz A. Fecko, M. mit Uyar, Ali Y. Duale |
| 2003 | Formal Design of Interactive Multimedia Documents. | Jean-Pierre Courtiat |
| 2003 | Behavioural Contracts for a Sound Assembly of Components. | Cyril Carrez, Alessandro Fantechi, Elie Najm |
| 2003 | Progressive Solutions to a Parallel Automata Equation. | Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 2003 | Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. | Manfred Broy |
| 2003 | How Stop and Wait Protocols Can Fail over the Internet. | Jonathan Billington, Guy Edward Gallasch |
| 2003 | Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? | Dirk Beyer, Andreas Noack |
| 2003 | Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | Generation of All Counter-Examples for Push-Down Systems. | Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka |
| 2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. | Farn Wang, Karsten Schmidt |
| 2002 | Building Tools for LOTOS Symbolic Semantics in Maude. | Alberto Verdejo |
| 2002 | Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. | Teemu Tynjl, Sari Leppnen, Vesa Luukkala |
| 2002 | Protocol Techniques for Testing Radiotherapy Accelerators. | Kenneth J. Turner, Qian Bing |
| 2002 | Modelling SIP Services Using CRESS. | Kenneth J. Turner |
| 2002 | Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. | Thanyapat Sakunkonchak, Masahiro Fujita |
| 2002 | On Combining the Persistent Sets Method with the Covering Steps Graph Method. | Pierre-Olivier Ribet, Franois Vernadat, Bernard Berthomieu |
| 2002 | Use of Logic to Describe Enhanced Communications Services. | Stephan Reiff-Marganiec, Kenneth J. Turner |
| 2002 | System Test Synthesis from UML Models of Distributed Software. | Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jron, Jean-Marc Jzquel, Alain Le Guennec |
| 2002 | A Distributed Partial Order Reduction Algorithm. | Robert Palmer, Ganesh Gopalakrishnan |
| 2002 | Encoding PAMR into (Timed) EFSMs. | Manuel Nez, Ismael Rodrguez |
| 2002 | Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor. | Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle, Sutikshan Bhutani |
| 2002 | A Formal Venture into Reliable Multicast Territory. | Carolos Livadas, Nancy A. Lynch |
| 2002 | Verifying Randomized Byzantine Agreement. | Marta Z. Kwiatkowska, Gethin Norman |
| 2002 | A Compositional Sweep-Line State Space Exploration Method. | Lars Michael Kristensen, Thomas Mailund |