| 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 | 411 | 2001 |
| 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 | 186 | 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 | 162 | 2002 |
| 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 | 157 | 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 (3), 307-320, 2000 | 98 | 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 | 88 | 2001 |
| A timed verification of the IEEE 1394 leader election protocol J Romijn Formal Methods in System Design 19 (2), 165-194, 2001 | 42 | 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 | 30 | 2005 |
| Founding FireWire bridges through Promela prototyping I van Langevelde, J Romijn, N Goga International Parallel and Distributed Processing Symposium, 239, 2003 | 29 | 2003 |
| Smart railroad maintenance engineering with stochastic model checking D Guck, JP Katoen, MIA Stoelinga, T Luiten, J Romijn Proceedings of RAILWAYS. Saxe-Coburg Publications, 950-953, 2014 | 21 | 2014 |
| Model checking the HAVi leader election protocol J Romijn Centrum voor Wiskunde en Informatica, 1999 | 21 | 1999 |
| IFM 2005: Integrated Formal Methods JMT Romijn, GP Smith, JC van de Pol Springer, 2005 | 20* | 2005 |
| 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 | 15 | 1996 |
| Tackling the RPC-Memory specification problem with I/O automata J Romijn Formal Systems Specification, 437-475, 1996 | 15 | 1996 |
| Realizability criteria for compositional MSC A Mooij, J Romijn, W Wesselink Algebraic Methodology and Software Technology, 248-262, 2006 | 14 | 2006 |
| Exploiting symmetry in protocol testing J Romijn, J Springintveld Formal Description Techniques and Protocol Specification, Testing and …, 1998 | 10 | 1998 |
| 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 | 9 | 2004 |
| 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 UniversityПотвърден имейл адрес: cs.ru.nl
