| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A methodological process for the design of a large system
|
Lopez, Nestor
|
|
2002
|
66 |
2 |
p. 84-103
20 p.
|
artikel
|
| 2 |
A Tool for Abstraction in Model Checking
|
Gallardo, María del Mar
|
|
2002
|
66 |
2 |
p. 17-32
16 p.
|
artikel
|
| 3 |
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM☆ ☆ Supported in part by the EPSRC grant GR/N22960.
|
Daws, Conrado
|
|
2002
|
66 |
2 |
p. 104-119
16 p.
|
artikel
|
| 4 |
Context-Sensitive Visibility
|
Valmari, Antti
|
|
2002
|
66 |
2 |
p. 194-210
17 p.
|
artikel
|
| 5 |
Heuristic-driven Techniques for Test Case Selection
|
Burguillo, J.C.
|
|
2002
|
66 |
2 |
p. 50-65
16 p.
|
artikel
|
| 6 |
Liveness Checking as Safety Checking
|
Biere, Armin
|
|
2002
|
66 |
2 |
p. 160-177
18 p.
|
artikel
|
| 7 |
Predicate Abstraction and Refinement for Model Checking VHDL State Machines
|
Bourahla, Mustapha
|
|
2002
|
66 |
2 |
p. 1-16
16 p.
|
artikel
|
| 8 |
Preface
|
Cleaveland, Rance
|
|
2002
|
66 |
2 |
p. 211-213
3 p.
|
artikel
|
| 9 |
Properties of the subtraction valid for any floating point system
|
Boldo, Sylvie
|
|
2002
|
66 |
2 |
p. 132-144
13 p.
|
artikel
|
| 10 |
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination
|
Margaria, Tiziana
|
|
2002
|
66 |
2 |
p. 66-83
18 p.
|
artikel
|
| 11 |
Simple and Efficient Translation from LTL Formulas to Büchi Automata
|
Thirioux, Xavier
|
|
2002
|
66 |
2 |
p. 145-159
15 p.
|
artikel
|
| 12 |
Specification and Analysis of the MPEG-2 Video Encoder with Timed-Arc Petri Nets 1 1 This work has been supported by the CICYT project “Performance Evaluation of Distributed Systems”, TIC2000-0701-C02-02.
|
Valero, Valentín
|
|
2002
|
66 |
2 |
p. 120-131
12 p.
|
artikel
|
| 13 |
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties
|
Hansen, Henri
|
|
2002
|
66 |
2 |
p. 178-193
16 p.
|
artikel
|
| 14 |
Validation and automatic test generation on UML models
|
Lugato, David
|
|
2002
|
66 |
2 |
p. 33-49
17 p.
|
artikel
|
Tijdschrift beschrijving