| 2003 | Model Checking a Path. | Nicolas Markey, Philippe Schnoebelen |
| 2003 | Compositionality for Probabilistic Automata. | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... | Nancy A. Lynch |
| 2003 | Syntactic Formats for Free. | Bartek Klin, Pawel Sobocinski |
| 2003 | Deciding Bisimilarity between BPA and BPP Processes. | Petr Jancar, Antonn Kucera, Faron Moller |
| 2003 | Multi-Valued Model Checking via Classical Model Checking. | Arie Gurfinkel, Marsha Chechik |
| 2003 | Bundle Event Structures and CCSP. | Rob J. van Glabbeek, Frits W. Vaandrager |
| 2003 | High-Level Message Sequence Charts and Projections. | Blaise Genest, Loc Hlout, Anca Muscholl |
| 2003 | Satisfiability and Model Checking for MSO-definable Temporal Logics are in PSPACE. | Paul Gastin, Dietrich Kuske |
| 2003 | Linear Forwarders. | Philippa Gardner, Cosimo Laneve, Lucian Wischik |
| 2003 | Conditional Expectation and the Approximation of Labelled Markov Processes. | Vincent Danos, Jose Desharnais, Prakash Panangaden |
| 2003 | Relating Fairness and Timing in Process Algebras. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2003 | Contract Signing, Optimism, and Advantage. | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
| 2003 | Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. | Ahmed Bouajjani, Peter Habermehl, Toms Vojnar |
| 2003 | Distributed Monitoring of Concurrent and Asynchronous Systems. | Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard |
| 2003 | Comparative Branching-Time Semantics. | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
| 2003 | Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. | Michael Backes |
| 2003 | Abstract Patterns of Compositional Reasoning. | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
| 2003 | Playing Games with Boxes and Diamonds. | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
| 2003 | Compression of Partially Ordered Strings. | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis |
| 2003 | The Element of Surprise in Timed Games. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | Quantitative Verification and Control via the Mu-Calculus. | Luca de Alfaro |
| 2002 | Refinement-Robust Fairness. | Hagen Vlzer |
| 2002 | Alphabet-Based Synchronisation is Exponentially Cheaper. | Antti Valmari, Antti Kervinen |
| 2002 | Using Ambients to Control Resources. | David Teller, Pascal Zimmer, Daniel Hirschkoff |