The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Judi Romijn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arjan J. Mooij, Judi Romijn, Wieger Wesselink
    Realizability Criteria for Compositional MSC. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:248-262 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:493-505 [Conf]
  3. Judi Romijn
    Tackling the RPC-Memory Specification Problem with I/O Automata. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:437-475 [Conf]
  4. Arjan J. Mooij, Nicolae Goga, Judi Romijn
    Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:273-288 [Conf]
  5. Judi Romijn, Jan Springintveld
    Exploiting Symmetry in Protocol Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:337-352 [Conf]
  6. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
    Minimum-Cost Reachability for Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:147-161 [Conf]
  7. Nicolae Goga, Judi Romijn
    Guiding Spin Simulation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:176-193 [Conf]
  8. Izak van Langevelde, Judi Romijn, Nicolae Goga
    Founding FireWire Bridges through Promela Prototyping. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:239- [Conf]
  9. Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
    Linear Parametric Model Checking of Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:189-203 [Conf]
  10. John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:199- [Journal]
  11. Judi Romijn
    False Loop Detection in the IEEE 1394 Tree Identify Phase. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:319-327 [Journal]
  12. Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager
    Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:16, n:3, pp:307-320 [Journal]
  13. Judi Romijn
    A Timed Verification of the IEEE 1394 Leader Election Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:2, pp:165-194 [Journal]
  14. Judi Romijn, Frits W. Vaandrager
    A Note on Fairness in I/O Automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:59, n:5, pp:245-250 [Journal]
  15. Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
    Linear parametric model checking of timed automata. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:183-220 [Journal]
  16. Judi Romijn, Wieger Wesselink, Arjan J. Mooij
    Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:347-361 [Conf]

  17. Preface. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002