| 2002 | 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 Rance Cleaveland, Hubert Garavel |
| 2002 | A Tool for Abstraction in Model Checking. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
| 2002 | A methodological process for the design of a large system: two industrial case-studies. Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge |
| 2002 | Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman |
| 2002 | Context-Sensitive Visibility. Antti Valmari, Heikki Virtanen, Antti Puhakka |
| 2002 | Foreword. Rance Cleaveland, Hubert Garavel |
| 2002 | Heuristic-driven Techniques for Test Case Selection. Juan C. Burguillo-Rial, Martín Llamas Nistal, Manuel J. Fernández-Iglesias, Tomás Robles |
| 2002 | Liveness Checking as Safety Checking. Armin Biere, Cyrille Artho, Viktor Schuppan |
| 2002 | Predicate Abstraction and Refinement for Model Checking VHDL State Machines. Mustapha Bourahla, Mohamed Benmohamed |
| 2002 | Properties of the subtraction valid for any floating point system. Sylvie Boldo, Marc Daumas |
| 2002 | Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. Tiziana Margaria, Bernhard Steffen |
| 2002 | Simple and Efficient Translation from LTL Formulas to Buchi Automata. Xavier Thirioux |
| 2002 | Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla |
| 2002 | Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. Henri Hansen, Wojciech Penczek, Antti Valmari |
| 2002 | Validation and automatic test generation on UML models: the AGATHA approach. David Lugato, Céline Bigot, Yannick Valot |