| 2004 |
|---|
| 9 | EE | W. O. David Griffioen,
Frits W. Vaandrager:
A theory of normed simulations.
ACM Trans. Comput. Log. 5(4): 577-610 (2004) |
| 2002 |
|---|
| 8 | EE | Johan Bengtsson,
W. O. David Griffioen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebr. Program. 52-53: 163-181 (2002) |
| 2000 |
|---|
| 7 | EE | W. O. David Griffioen,
Frits W. Vaandrager:
A theory of normed simulations
CoRR cs.LO/0007030: (2000) |
| 6 | | Marco Devillers,
W. O. David Griffioen,
Judi Romijn,
Frits W. Vaandrager:
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394.
Formal Methods in System Design 16(3): 307-320 (2000) |
| 1998 |
|---|
| 5 | | W. O. David Griffioen,
Frits W. Vaandrager:
Normed Simulations.
CAV 1998: 332-344 |
| 4 | | W. O. David Griffioen,
Marieke Huisman:
A Comparison of PVS and Isabelle/HOL.
TPHOLs 1998: 123-142 |
| 1997 |
|---|
| 3 | | Marco Devillers,
W. O. David Griffioen,
Olaf Müller:
Possibly Infinite Sequences in Theorem Provers: A Comparative Study.
TPHOLs 1997: 89-104 |
| 1996 |
|---|
| 2 | | Johan Bengtsson,
W. O. David Griffioen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Verification of an Audio Protocol with Bus Collision Using UPPAAL.
CAV 1996: 244-256 |
| 1 | | D. J. B. Bosscher,
W. O. David Griffioen:
Regularity for a Large Class of Context-Free Processes is Decidable.
ICALP 1996: 182-193 |
