Judi Romijn

Judi Romijn, Graeme Smith, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007)

Judi Romijn, Wieger Wesselink, Arjan J. Mooij: Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA 2007: 347-361

Arjan J. Mooij, Judi Romijn, Wieger Wesselink: Realizability Criteria for Compositional MSC. AMAST 2006: 248-262

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

Judi Romijn, Graeme Smith, Jaco van de Pol (Eds.): Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Lecture Notes in Computer Science 3771, Springer 2005, isbn 3-540-30492-4

Nicolae Goga, Judi Romijn: Guiding Spin Simulation. ICFEM 2004: 176-193

John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland: Editorial. Formal Asp. Comput. 14(3): 199 (2003)

Judi Romijn: False Loop Detection in the IEEE 1394 Tree Identify Phase. Formal Asp. Comput. 14(3): 319-327 (2003)

Izak van Langevelde, Judi Romijn, Nicolae Goga: Founding FireWire Bridges through Promela Prototyping. IPDPS 2003: 239

Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear parametric model checking of timed automata. J. Log. Algebr. Program. 52-53: 183-220 (2002)

Judi Romijn: A Timed Verification of the IEEE 1394 Leader Election Protocol. Formal Methods in System Design 19(2): 165-194 (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: 493-505

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: 147-161

Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203

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 in System Design 16(3): 307-320 (2000)

Judi Romijn, Jan Springintveld: Exploiting Symmetry in Protocol Testing. FORTE 1998: 337-352

Judi Romijn, Frits W. Vaandrager: A Note on Fairness in I/O Automata. Inf. Process. Lett. 59(5): 245-250 (1996)

Judi Romijn: Tackling the RPC-Memory Specification Problem with I/O Automata. Formal Systems Specification 1994: 437-475