| Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... Hybrid Systems: Computation and Control, 147-161, 2001 | 453 | 2001 |
| Linear parametric model checking of timed automata T Hune, J Romijn, M Stoelinga, F Vaandrager The Journal of Logic and Algebraic Programming 52, 183-220, 2002 | 209 | 2002 |
| Efficient guiding towards cost-optimality in Uppaal G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn Tools and Algorithms for the Construction and Analysis of Systems, 174-188, 2001 | 194 | 2001 |
| As cheap as possible: Efficient cost-optimal reachability for priced timed automata K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ... Computer Aided Verification, 493-505, 2001 | 188 | 2001 |
| Verification of a leader election protocol: Formal methods applied to IEEE 1394 M Devillers, D Griffioen, J Romijn, F Vaandrager Formal methods in system design 16, 307-320, 2000 | 106 | 2000 |
| Linear parametric model checking of timed automata T Hune, J Romijn, M Stoelinga, F Vaandrager Tools and Algorithms for the Construction and Analysis of Systems, 189-203, 2001 | 100 | 2001 |
| A timed verification of the IEEE 1394 leader election protocol J Romijn Formal Methods in System Design 19, 165-194, 2001 | 46 | 2001 |
| Non-local choice and beyond: Intricacies of MSC choice nodes A Mooij, N Goga, J Romijn Fundamental Approaches to Software Engineering, 273-288, 2005 | 36 | 2005 |
| Founding FireWire bridges through Promela prototyping I van Langevelde, J Romijn, N Goga International Parallel and Distributed Processing Symposium, 239, 2003 | 34 | 2003 |
| Smart railroad maintenance engineering with stochastic model checking D Guck, JP Katoen, MIA Stoelinga, T Luiten, J Romijn 2nd International Conference on Railway Technology: Research, Development …, 2014 | 28 | 2014 |
| Model checking the HAVi leader election protocol J Romijn Centrum voor Wiskunde en Informatica, 1999 | 21 | 1999 |
| A two-level approach to automated conformance testing of VHDL designs J Moonen, J Romijn, O Sies, J Springintveld, L Feijs, R Koymans Testing of Communicating Systems, 432-447, 1997 | 19 | 1997 |
| A note on fairness in I/O automata J Romijn, F Vaandrager Information Processing Letters 59 (5), 245-250, 1996 | 18 | 1996 |
| Tackling the RPC-Memory specification problem with I/O automata J Romijn Formal Systems Specification, 437-475, 1996 | 16 | 1996 |
| Realizability criteria for compositional MSC A Mooij, J Romijn, W Wesselink Algebraic Methodology and Software Technology, 248-262, 2006 | 14 | 2006 |
| Improving the quality of protocol standards: Correcting IEEE 1394.1 FireWire net update J Romijn Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica 8, 23-30, 2004 | 12 | 2004 |
| Exploiting symmetry in protocol testing J Romijn, J Springintveld Formal Description Techniques and Protocol Specification, Testing and …, 1998 | 12 | 1998 |
| False loop detection in the IEEE 1394 Tree Identify Phase J Romijn Formal Aspects of Computing 14 (3), 319-327, 2003 | 3 | 2003 |
| IEEE 1394 Tree Identify Protocol: Introduction to the case study S Maharaj, J Romijn, C Shankland Formal Aspects of Computing 14 (3), 200-214, 2003 | 3 | 2003 |
| Automatic analysis of term rewriting systems J Romijn University of Amsterdam, 1995 | 3 | 1995 |
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
