Judi Romijn

Publication Activity (10 Years)

Years Active: 1994-2007
Publications (10 Years): 0

Publications

Judi Romijn, Graeme Smith, Jaco van de Pol
Preface. Electron. Notes Theor. Comput. Sci. 191 (2007)
Judi Romijn, Wieger Wesselink, Arjan J. Mooij
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA (2007)
Arjan J. Mooij, Judi Romijn, Wieger Wesselink
Realizability Criteria for Compositional MSC. AMAST (2006)
Arjan J. Mooij, Nicolae Goga, Judi Romijn
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. FASE (2005)
Nicolae Goga, Judi Romijn
Guiding Spin Simulation. ICFEM (2004)
Izak van Langevelde, Judi Romijn, Nicolae Goga
Founding FireWire Bridges through Promela Prototyping. IPDPS (2003)
Judi Romijn
False Loop Detection in the IEEE 1394 Tree Identify Phase. Formal Aspects Comput. 14 (3) (2003)
John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
Editorial. Formal Aspects Comput. 14 (3) (2003)
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear parametric model checking of timed automata. J. Log. Algebraic Methods Program. (2002)
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
Minimum-Cost Reachability for Priced Timed Automata. HSCC (2001)
Judi Romijn
A Timed Verification of the IEEE 1394 Leader Election Protocol. Formal Methods Syst. Des. 19 (2) (2001)
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear Parametric Model Checking of Timed Automata. TACAS (2001)
Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV (2001)
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)
Judi Romijn, Jan Springintveld
Exploiting Symmetry in Protocol Testing. FORTE (1998)
Judi Romijn, Frits W. Vaandrager
A Note on Fairness in I/O Automata. Inf. Process. Lett. 59 (5) (1996)
Judi Romijn
Tackling the RPC-Memory Specification Problem with I/O Automata. Formal Systems Specification (1994)