Follow
Judi Romijn
Judi Romijn
Sabbatical, career switch
Verified email at xs4all.nl
Title
Cited by
Cited by
Year
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
4512001
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
2092002
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
1942001
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
1882001
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
1062000
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
1002001
A timed verification of the IEEE 1394 leader election protocol
J Romijn
Formal Methods in System Design 19, 165-194, 2001
462001
Non-local choice and beyond: Intricacies of MSC choice nodes
A Mooij, N Goga, J Romijn
Fundamental Approaches to Software Engineering, 273-288, 2005
362005
Founding FireWire bridges through Promela prototyping
I van Langevelde, J Romijn, N Goga
International Parallel and Distributed Processing Symposium, 239, 2003
342003
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
282014
Model checking the HAVi leader election protocol
J Romijn
Centrum voor Wiskunde en Informatica, 1999
211999
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
191997
A note on fairness in I/O automata
J Romijn, F Vaandrager
Information Processing Letters 59 (5), 245-250, 1996
181996
Tackling the RPC-Memory specification problem with I/O automata
J Romijn
Formal Systems Specification, 437-475, 1996
161996
Realizability criteria for compositional MSC
A Mooij, J Romijn, W Wesselink
Algebraic Methodology and Software Technology, 248-262, 2006
142006
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
122004
Exploiting symmetry in protocol testing
J Romijn, J Springintveld
Formal Description Techniques and Protocol Specification, Testing and …, 1998
121998
False loop detection in the IEEE 1394 Tree Identify Phase
J Romijn
Formal Aspects of Computing 14 (3), 319-327, 2003
32003
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
32003
Automatic analysis of term rewriting systems
J Romijn
University of Amsterdam, 1995
31995
The system can't perform the operation now. Try again later.
Articles 1–20