Judi Romijn

According to our database, Judi Romijn authored at least 17 papers between 1994 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.

Judi Romijn, Wieger Wesselink, Arjan J. Mooij

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Realizability Criteria for Compositional MSC.

Arjan J. Mooij, Judi Romijn, Wieger Wesselink

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Preface.

Judi Romijn, Graeme Smith, Jaco van de Pol

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Non-local Choice and Beyond: Intricacies of MSC Choice Nodes.

Arjan J. Mooij, Nicolae Goga, Judi Romijn

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Guiding Spin Simulation.

Nicolae Goga, Judi Romijn

Proceedings of the Formal Methods and Software Engineering, 2004

2003

False Loop Detection in the IEEE 1394 Tree Identify Phase.

Judi Romijn

Formal Aspects Comput., 2003

Editorial.

John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland

Formal Aspects Comput., 2003

Founding FireWire Bridges through Promela Prototyping.

Izak van Langevelde, Judi Romijn, Nicolae Goga

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Linear parametric model checking of timed automata.

Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager

J. Log. Algebraic Methods Program., 2002

2001

A Timed Verification of the IEEE 1394 Leader Election Protocol.

Judi Romijn

Formal Methods Syst. Des., 2001

Efficient Guiding Towards Cost-Optimality in UPPAAL.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Minimum-Cost Reachability for Priced Timed Automata.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.

Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394.

Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager

Formal Methods Syst. Des., 2000

1998

Exploiting Symmetry in Protocol Testing.

Judi Romijn, Jan Springintveld

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1996

A Note on Fairness in I/O Automata.

Judi Romijn, Frits W. Vaandrager

Inf. Process. Lett., 1996

1994

Tackling the RPC-Memory Specification Problem with I/O Automata.

Judi Romijn

Proceedings of the Formal Systems Specification, 1994