| 2002 | A Compositional Sweep-Line State Space Exploration Method. Lars Michael Kristensen, Thomas Mailund |
| 2002 | A Distributed Partial Order Reduction Algorithm. Robert Palmer, Ganesh Gopalakrishnan |
| 2002 | A Formal Venture into Reliable Multicast Territory. Carolos Livadas, Nancy A. Lynch |
| 2002 | A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. Dragan Bosnacki |
| 2002 | Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. Alessandro Armando, Luca Compagna |
| 2002 | Bounded Model Checking for Timed Systems. Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
| 2002 | Building Tools for LOTOS Symbolic Semantics in Maude. Alberto Verdejo |
| 2002 | C Wolf - A Toolset for Extracting Models from C Programs. Daniel C. DuVarney, S. Purushothaman Iyer |
| 2002 | Congruent Weak Conformance, a Partial Order among Processes. Ronald W. Brower, Kenneth S. Stevens |
| 2002 | Encoding PAMR into (Timed) EFSMs. Manuel Núñez, Ismael Rodríguez |
| 2002 | Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings Doron A. Peled, Moshe Y. Vardi |
| 2002 | Formal Test Purposes and the Validity of Test Cases. Peter H. Deussen, Stephan Tobies |
| 2002 | From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. Dimitra Giannakopoulou, Flavio Lerda |
| 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 | Mechanical Translation of I/O Automaton Specifications into First-Order Logic. Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch |
| 2002 | Modelling SIP Services Using CRESS. Kenneth J. Turner |
| 2002 | NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. Hubert Garavel, Frédéric Lang |
| 2002 | On Combining the Persistent Sets Method with the Covering Steps Graph Method. Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu |
| 2002 | Protocol Techniques for Testing Radiotherapy Accelerators. Kenneth J. Turner, Qian Bing |
| 2002 | Submodule Construction for Specifications with Input Assumptions and Output Guarantees. Gregor von Bochmann |
| 2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. Farn Wang, Karsten Schmidt |
| 2002 | System Test Synthesis from UML Models of Distributed Software. Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec |
| 2002 | Use of Logic to Describe Enhanced Communications Services. Stephan Reiff-Marganiec, Kenneth J. Turner |
| 2002 | Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. Thanyapat Sakunkonchak, Masahiro Fujita |
| 2002 | Verifying Randomized Byzantine Agreement. Marta Z. Kwiatkowska, Gethin Norman |
| 2002 | Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. Teemu Tynjälä, Sari Leppänen, Vesa Luukkala |
| 2002 | Visual Specifications for Modular Reasoning about Asynchronous Systems. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |