Tackling the RPC-Memory Specification Problem with I/O Automata. - Judi Romijn (Formal Systems Specification, 1994)

A Note on Fairness in I/O Automata. - Judi Romijn; Frits W. Vaandrager (Inf. Process. Lett., 1996)

Exploiting Symmetry in Protocol Testing. - Judi Romijn; Jan Springintveld (FORTE, 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)

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. - Kim Guldstrand Larsen; Gerd Behrmann; Ed Brinksma; Ansgar Fehnker; Thomas Hune; Paul Pettersson; Judi Romijn (CAV, 2001)

Minimum-Cost Reachability for Priced Timed Automata. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson; Judi Romijn; Frits W. Vaandrager (HSCC, 2001)

Efficient Guiding Towards Cost-Optimality in UPPAAL. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim G. Larsen; Paul Pettersson; Judi Romijn (TACAS, 2001)

A Timed Verification of the IEEE 1394 Leader Election Protocol. - Judi Romijn (Formal Methods Syst. Des., 2001)

Linear parametric model checking of timed automata. - Thomas Hune; Judi Romijn; Mariëlle Stoelinga; Frits W. Vaandrager (J. Log. Algebraic Methods Program., 2002)

Founding FireWire Bridges through Promela Prototyping. - Izak van Langevelde; Judi Romijn; Nicolae Goga (IPDPS, 2003)

Editorial. - John Cooke; Savi Maharaj; Judi Romijn; Carron Shankland (Formal Aspects Comput., 2003)

False Loop Detection in the IEEE 1394 Tree Identify Phase. - Judi Romijn (Formal Aspects Comput., 2003)

Guiding Spin Simulation. - Nicolae Goga; Judi Romijn (ICFEM, 2004)

Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. - Arjan J. Mooij; Nicolae Goga; Judi Romijn (FASE, 2005)

Preface. - Judi Romijn; Graeme Smith 001; Jaco van de Pol (IFM Doctoral Symposium, 2005)

Realizability Criteria for Compositional MSC. - Arjan J. Mooij; Judi Romijn; Wieger Wesselink (AMAST, 2006)

Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. - Judi Romijn; Wieger Wesselink; Arjan J. Mooij (ATVA, 2007)