Verification of an Audio Protocol with Bus Collision Using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (CAV, 1996)

Regularity for a Large Class of Context-Free Processes is Decidable. - D. J. B. Bosscher; W. O. David Griffioen (ICALP, 1996)

Possibly Infinite Sequences in Theorem Provers: A Comparative Study. - Marco Devillers; W. O. David Griffioen; Olaf Müller (TPHOLs, 1997)

Normed Simulations. - W. O. David Griffioen; Frits W. Vaandrager (CAV, 1998)

A Comparison of PVS and Isabelle/HOL. - W. O. David Griffioen; Marieke Huisman (TPHOLs, 1998)

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. - Marco Devillers; W. O. David Griffioen; Judi Romijn; Frits W. Vaandrager (Formal Methods Syst. Des., 2000)

Automated verification of an audio-control protocol using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (J. Log. Algebraic Methods Program., 2002)

A theory of normed simulations. - W. O. David Griffioen; Frits W. Vaandrager (ACM Trans. Comput. Log., 2004)