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 | 451 | 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 |