Judi Romijn - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2007

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

PrefaceJudi Romijn, Graeme Smith, Jaco van de Pol. ENTCS, 191:1-2, 2007. [doi]

2006

Realizability Criteria for Compositional MSCArjan J. Mooij, Judi Romijn, Wieger Wesselink. amast 2006: 248-262 [doi]

2005

Non-local Choice and Beyond: Intricacies of MSC Choice NodesArjan J. Mooij, Nicolae Goga, Judi Romijn. FASE 2005: 273-288 [doi]

2004

Guiding Spin SimulationNicolae Goga, Judi Romijn. icfem 2004: 176-193 [doi]

2003

EditorialJohn Cooke, Savi Maharaj, Judi Romijn, Carron Shankland. fac, 14(3):199, 2003. [doi]

False Loop Detection in the IEEE 1394 Tree Identify PhaseJudi Romijn. fac, 14(3):319-327, 2003. [doi]

Founding FireWire Bridges through Promela PrototypingIzak van Langevelde, Judi Romijn, Nicolae Goga. ipps 2003: 239 [doi]

2002

Linear parametric model checking of timed automataThomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager. jlp, 52-53:183-220, 2002. [doi]

2001

2000

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager. fmsd, 16(3):307-320, 2000.

1998

Exploiting Symmetry in Protocol TestingJudi Romijn, Jan Springintveld. forte 1998: 337-352

1996

A Note on Fairness in I/O AutomataJudi Romijn, Frits W. Vaandrager. ipl, 59(5):245-250, 1996. [doi]

1994

Tackling the RPC-Memory Specification Problem with I/O AutomataJudi Romijn. Dagstuhl 1996: 437-475

Sign in or sign up to see more results.

runs on WebDSL