W. O. David Griffioen

Publication Activity (10 Years)

Years Active: 1996-2004
Publications (10 Years): 0

Publications

W. O. David Griffioen, Frits W. Vaandrager
A theory of normed simulations. ACM Trans. Comput. Log. 5 (4) (2004)
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. Algebraic Methods Program. (2002)
W. O. David Griffioen, Frits W. Vaandrager
A theory of normed simulations CoRR (2000)
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 Syst. Des. 16 (3) (2000)
W. O. David Griffioen, Marieke Huisman
A Comparison of PVS and Isabelle/HOL. TPHOLs (1998)
W. O. David Griffioen, Frits W. Vaandrager
Normed Simulations. CAV (1998)
Marco Devillers, W. O. David Griffioen, Olaf Müller
Possibly Infinite Sequences in Theorem Provers: A Comparative Study. TPHOLs (1997)
D. J. B. Bosscher, W. O. David Griffioen
Regularity for a Large Class of Context-Free Processes is Decidable. ICALP (1996)
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)