Judi Romijn

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

Coauthor Index

1	Gerd Behrmann	[7] [8]
2	Ed Brinksma	[8]
3	John Cooke	[11]
4	Marco Devillers	[4]
5	Ansgar Fehnker	[7] [8]
6	Nicolae Goga	[12] [13] [14]
7	W. O. David Griffioen	[4]
8	Thomas Hune	[6] [7] [8] [9]
9	Izak van Langevelde	[12]
10	Kim Guldstrand Larsen	[7] [8]
11	Savi Maharaj	[11]
12	Arjan J. Mooij	[14] [16] [18]
13	Paul Pettersson	[7] [8]
14	Jaco van de Pol	[15] [17]
15	Carron Shankland	[11]
16	Graeme Smith	[15] [17]
17	Jan Springintveld	[3]
18	Mariëlle Stoelinga	[6] [9]
19	Frits W. Vaandrager	[2] [4] [6] [7] [9]
20	Wieger Wesselink	[16] [18]

Colors in the list of coauthors