Judi Romijn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1998–2007
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ATVA | Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. | Judi Romijn, Wieger Wesselink, Arjan J. Mooij |
| 2005 | FASE | Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. | Arjan J. Mooij, Nicolae Goga, Judi Romijn |
| 2004 | ICFEM | Guiding Spin Simulation. | Nicolae Goga, Judi Romijn |
| 2001 | CAV | 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 |
| 2001 | TACAS | Efficient Guiding Towards Cost-Optimality in UPPAAL. | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn |
| 2001 | TACAS | Linear Parametric Model Checking of Timed Automata. | Thomas Hune, Judi Romijn, Marille Stoelinga, Frits W. Vaandrager |
| 1998 | FORTE | Exploiting Symmetry in Protocol Testing. | Judi Romijn, Jan Springintveld |