Judi Romijn - RankMe

20 papers A* 1A 3B 3C 2Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
2007	B	`conf`	Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA Judi Romijn, Wieger Wesselink, Arjan J. Mooij
2007	—	`ed.`	Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005 IFM Doctoral Symposium Judi Romijn, Graeme Smith, Jaco van de Pol
2006	—	`conf`	Realizability Criteria for Compositional MSC. AMAST Arjan J. Mooij, Judi Romijn, Wieger Wesselink
2005	B	`ed.`	Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings IFM Judi Romijn, Graeme Smith, Jaco van de Pol
2005	B	`conf`	Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. FASE Arjan J. Mooij, Nicolae Goga, Judi Romijn
2005	—	`conf`	Preface. IFM Doctoral Symposium Judi Romijn, Graeme Smith, Jaco van de Pol
2004	C	`conf`	Guiding Spin Simulation. ICFEM Nicolae Goga, Judi Romijn
2003	J	`jnl`	Editorial. Formal Aspects Comput. John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
2003	J	`jnl`	False Loop Detection in the IEEE 1394 Tree Identify Phase. Formal Aspects Comput. Judi Romijn
2003	A	`conf`	Founding FireWire Bridges through Promela Prototyping. IPDPS Izak van Langevelde, Judi Romijn, Nicolae Goga
2002	J	`jnl`	Linear parametric model checking of timed automata. J. Log. Algebraic Methods Program. Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2001	J	`jnl`	A Timed Verification of the IEEE 1394 Leader Election Protocol. Formal Methods Syst. Des. Judi Romijn
2001	A*	`conf`	As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
2001	A	`conf`	Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
2001	A	`conf`	Linear Parametric Model Checking of Timed Automata. TACAS Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2001	—	`conf`	Minimum-Cost Reachability for Priced Timed Automata. HSCC Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
2000	J	`jnl`	Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods Syst. Des. Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager
1998	C	`conf`	Exploiting Symmetry in Protocol Testing. FORTE Judi Romijn, Jan Springintveld
1996	J	`jnl`	A Note on Fairness in I/O Automata. Inf. Process. Lett. Judi Romijn, Frits W. Vaandrager
1994	—	`conf`	Tackling the RPC-Memory Specification Problem with I/O Automata. Formal Systems Specification Judi Romijn