W. O. David Griffioen

According to our database, W. O. David Griffioen authored at least 8 papers between 1996 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

A theory of normed simulations.

W. O. David Griffioen, Frits W. Vaandrager

ACM Trans. Comput. Log., 2004

2002

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

J. Log. Algebraic Methods Program., 2002

2000

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

1998

A Comparison of PVS and Isabelle/HOL.

W. O. David Griffioen, Marieke Huisman

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Normed Simulations.

W. O. David Griffioen, Frits W. Vaandrager

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Possibly Infinite Sequences in Theorem Provers: A Comparative Study.

Marco Devillers, W. O. David Griffioen, Olaf Müller

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1996

Regularity for a Large Class of Context-Free Processes is Decidable.

D. J. B. Bosscher, W. O. David Griffioen

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

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

Proceedings of the Computer Aided Verification, 8th International Conference, 1996