default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th FMICS 2002: Málaga, Spain
- Rance Cleaveland, Hubert Garavel:
7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(2), Elsevier 2002 - Mustapha Bourahla, Mohamed Benmohamed:
Predicate Abstraction and Refinement for Model Checking VHDL State Machines. 1-16 - María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
, Ernesto Pimentel:
A Tool for Abstraction in Model Checking. 17-32 - David Lugato, Céline Bigot, Yannick Valot:
Validation and automatic test generation on UML models: the AGATHA approach. 33-49 - Juan C. Burguillo-Rial, Martín Llamas Nistal, Manuel J. Fernández-Iglesias, Tomás Robles:
Heuristic-driven Techniques for Test Case Selection. 50-65 - Tiziana Margaria, Bernhard Steffen:
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. 66-83 - Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
A methodological process for the design of a large system: two industrial case-studies. 84-103 - Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. 104-119 - Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla:
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. 120-131 - Sylvie Boldo, Marc Daumas:
Properties of the subtraction valid for any floating point system. 132-144 - Xavier Thirioux:
Simple and Efficient Translation from LTL Formulas to Buchi Automata. 145-159 - Armin Biere, Cyrille Artho, Viktor Schuppan:
Liveness Checking as Safety Checking. 160-177 - Henri Hansen, Wojciech Penczek, Antti Valmari:
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. 178-193 - Antti Valmari, Heikki Virtanen, Antti Puhakka:
Context-Sensitive Visibility. 194-210 - Rance Cleaveland, Hubert Garavel:
Foreword. 211-213
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
