2007 |
18 | EE | Judi Romijn,
Wieger Wesselink,
Arjan J. Mooij:
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.
ATVA 2007: 347-361 |
17 | EE | Judi Romijn,
Graeme Smith,
Jaco van de Pol:
Preface.
Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007) |
2006 |
16 | EE | Arjan J. Mooij,
Judi Romijn,
Wieger Wesselink:
Realizability Criteria for Compositional MSC.
AMAST 2006: 248-262 |
2005 |
15 | | Judi Romijn,
Graeme Smith,
Jaco van de Pol:
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings
Springer 2005 |
14 | EE | Arjan J. Mooij,
Nicolae Goga,
Judi Romijn:
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes.
FASE 2005: 273-288 |
2004 |
13 | EE | Nicolae Goga,
Judi Romijn:
Guiding Spin Simulation.
ICFEM 2004: 176-193 |
2003 |
12 | EE | Izak van Langevelde,
Judi Romijn,
Nicolae Goga:
Founding FireWire Bridges through Promela Prototyping.
IPDPS 2003: 239 |
11 | EE | John Cooke,
Savi Maharaj,
Judi Romijn,
Carron Shankland:
Editorial.
Formal Asp. Comput. 14(3): 199 (2003) |
10 | EE | Judi Romijn:
False Loop Detection in the IEEE 1394 Tree Identify Phase.
Formal Asp. Comput. 14(3): 319-327 (2003) |
2002 |
9 | EE | 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) |
2001 |
8 | EE | 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 |
7 | EE | 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 |
6 | EE | Thomas Hune,
Judi Romijn,
Mariëlle Stoelinga,
Frits W. Vaandrager:
Linear Parametric Model Checking of Timed Automata.
TACAS 2001: 189-203 |
5 | | Judi Romijn:
A Timed Verification of the IEEE 1394 Leader Election Protocol.
Formal Methods in System Design 19(2): 165-194 (2001) |
2000 |
4 | | 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) |
1998 |
3 | | Judi Romijn,
Jan Springintveld:
Exploiting Symmetry in Protocol Testing.
FORTE 1998: 337-352 |
1996 |
2 | EE | Judi Romijn,
Frits W. Vaandrager:
A Note on Fairness in I/O Automata.
Inf. Process. Lett. 59(5): 245-250 (1996) |
1994 |
1 | | Judi Romijn:
Tackling the RPC-Memory Specification Problem with I/O Automata.
Formal Systems Specification 1994: 437-475 |