Judi Romijn's papers
-
J.M.T. Romijn,
G.P. Smith, and
J.C. van de Pol, guest editors.
Special issue with selection of IFM2005 Doctoral Symposium papers.
Electronic
Notes in Computer Science,
191, 2007.
The full proceedings are available as
CS-Report 05-29, Technische Universiteit Eindhoven, 2005.
-
J.M.T. Romijn,
J.W. Wesselink and
A.J. Mooij.
Assertion-based proof
checking of Chang-Roberts leader election in PVS.
In Proceedings of ATVA 2007, volume 4762 of LNCS,
pages 347-361. Springer, 2007.
-
A.J. Mooij,
J.M.T. Romijn and
J.W. Wesselink.
Realizability criteria for
compositional MSC.
In Proceedings of AMAST 2006, volume 4019 of LNCS, pages 248-262.
Springer, 2006.
Full version (TU/e CS-Report 06-11):
PDF (193k).
-
J.M.T. Romijn.
Behaviour of IEEE 1394.1 net update precisely.
Manuscript, latest version: February 2006.
PDF (102k).
-
J.M.T. Romijn,
G.P. Smith,
J.C. van de Pol, editors.
Proceedings of Integrated Formal Methods,
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005.
LNCS 3771,
Springer, 2005.
A.J. Mooij,
N. Goga and
J.M.T. Romijn.
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes.
In M. Cerioli, editor,
Proceedings of FASE'2005,
LNCS 3442, pages 273-288. Springer, 2005.
PDF (166k).
-
N. Goga and
J.M.T. Romijn.
Guiding Spin simulation.
In J. Davies, M. Barnett and W. Schulte, editors,
Proceedings of ICFEM'2004,
LNCS 3308, pages 176-193. Springer, 2004.
gzipped PostScript (186k),
PDF (185k).
-
J.M.T. Romijn.
Improving the Quality of protocol standards: Correcting IEEE 1394.1 FireWire
net update.
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatici,
8:23-30, 2004.
gzipped PostScript (48k),
PDF (74k).
Online version.
-
I.A. van Langevelde,
J.M.T. Romijn and
N. Goga.
Founding FireWire Bridges through Promela Prototyping.
In Proceedings of 17th International Parallel and Distributed Processing
Symposium (IPDPS), 8th International Workshop on Formal Methods for Parallel
Programming: Theory and Applications (FMPPTA),
IEEE Computer Society Press, 2003.
gzipped PostScript (246k),
PDF (137k).
-
S. Maharaj,
J.M.T. Romijn and
C. Shankland.
IEEE 1394 Tree Identify Protocol: Introduction to the Case Study.
Formal Aspects of Computing, 14(3):200-214. Springer, 2003.
Introduction to the special issue on Applicable Formal Methods.
-
J.M.T. Romijn.
False loop detection in the IEEE 1394 Tree Identify Phase.
Formal Aspects of Computing, 14(3):319-327. Springer, 2003.
Special issue on Applicable Formal Methods,
guest editors: S. Maharaj, J.M.T. Romijn and C. Shankland.
gzipped PostScript (85k),
PDF (266k).
An abstract appeared in
Proceedings of the International Workshop on Application of Formal
Methods to the IEEE 1394 Standard, University of Stirling, March 2001.
Workshop version:
gzipped PostScript (77k),
PDF (247k).
-
T.S. Hune,
J.M.T. Romijn,
M.I.A. Stoelinga and
F.W. Vaandrager.
Linear Parametric Model Checking of Timed Automata.
In Journal of Logic and Algebraic Programming, 52-53: 183-220, 2002.
Special issue on Model Checking,
guest editors: H. Hermanns and J.-P. Katoen.
Conference version:
In T. Margaria and W. Yi, editors,
Proceedings of TACAS'2001,
LNCS 2031, pages 189-203. Springer, 2001.
PostScript:
gzipped (100k),
full (258k).
Earlier, full version:
CSI Report CSI-R0102.
- J.M.T. Romijn.
A Timed Verification of the IEEE 1394 Leader Election Protocol.
Formal Methods in System Design, 19(2):165--194, 2001,
special issue on FMICS'99.
An earlier version appeared in: S. Gnesi and D. Latella, editors,
Proceedings of the Fourth International Workshop
on Formal Methods for Industrial Critical Systems (FMICS'99), pages 3-29.
Workshop Version, May 1999, PostScript:
gzipped (129k),
full (358k).
Full Version, Jan 2000, PostScript:
gzipped (131k),
full (363k).
Proofs from the full version, Jan 2000, PostScript:
gzipped (79k),
full (220k).
-
K.G. Larsen,
G. Behrmann,
Ed Brinksma,
A. Fehnker,
T.S. Hune,
P. Petterson and
J.M.T. Romijn.
As Cheap as Possible:
Efficient Cost-Optimal Reachability for Priced Timed Automata.
In G. Berry and H. Comon and A. Finkel, editors,
Proceedings of CAV'01,
LNCS 2102, pages 493-505. Springer, 2001.
gzipped PostScript (114k),
PDF (351k).
-
G. Behrmann,
A. Fehnker,
T.S. Hune,
K.G. Larsen,
P. Petterson and
J.M.T. Romijn.
Efficient Guiding Towards Cost-Optimality in UPPAAL.
In T. Margaria and W. Yi, editors,
Proceedings of TACAS'2001,
LNCS 2031, pages 174-188. Springer, 2001.
gzipped PostScript (98k),
PDF (338k).
-
G. Behrmann,
A. Fehnker,
T.S. Hune,
K.G. Larsen,
P. Petterson,
J.M.T. Romijn and
F.W. Vaandrager.
Minimum-Cost Reachability for Priced Timed Automata.
In M. Domenica Di Benedetto and A. Sangiovanni-Vincentelli, editors,
Proceedings of Hybrid Systems '2001,
LNCS 2034, pages 147-161. Springer, 2001.
gzipped PostScript (287k),
PDF (396k).
-
M.C.A. Devillers,
W.O.D. Griffioen,
J.M.T. Romijn and
F.W. Vaandrager.
Verification of a Leader Election Protocol - Formal Methods Applied to IEEE 1394.
Formal Methods in System Design, 16(3):307--320, 2000.
An older version is available as Technical Report CSI-R9728,
Computing Science Institute, University of Nijmegen, December 1997.
PostScript:
gzipped (51k),
full (180k).
- J.M.T. Romijn.
Analysing Industrial Protocols with Formal Methods.
PhD thesis, University of Twente, September 1999.
PDF: (1.2M).
PostScript:
gzipped
(1M gzipped, 7M full).
- J.M.T. Romijn.
Model Checking the HAVi Leader Election Protocol.
CWI Report SEN-R9915, June 1999.
PostScript:
gzipped (211k),
full (750k).
- J.M.T. Romijn and J.G. Springintveld.
Exploiting Symmetry in Protocol Testing.
In S. Budkowski, A. Cavalli and E. Najm, editors,
Formal Description Techniques and Protocol Specification,
Testing and Verification (FORTE XI/PSTV XVIII '98),
pages 337--352.
Kluwer Academic Publishers, 1998.
PostScript:
gzipped (268k),
full (110k).
Full version: Technical Report CSI-R9821,
Computing Science Institute, University of Nijmegen, September 1998.
PostScript:
gzipped (209k),
full (643k).
-
Dieter K. Hammer
and Judi M.T. Romijn.
Bridging academia and industry--the IPA Workshop on Embedded Systems.
IEEE Concurrency, 5(1):89--90, 1997.
- J.R. Moonen, J.M.T. Romijn, O. Sies, J.G. Springintveld,
L.M.G. Feijs
and R.L.C. Koymans.
A two-level approach to automated conformance testing of VHDL designs.
Testing of Communicating Systems, Vol. 10, pages 432--447.
Chapman & Hall, 1997.
PostScript:
gzipped (72k),
full (181k).
- J.M.T. Romijn. Tackling the RPC-Memory specification problem with I/O
automata.
In Manfred Broy, Stephan Merz and Katharina Spies (editors),
Formal Systems Specification -- The RPC-Memory Specification Case Study,
LNCS 1169, pages 437 - 476. Springer, 1996.
Final version, PostScript:
gzipped (127k),
full (349k).
Addendum with detailed proofs, PostScript:
gzipped (121k),
full (431k).
The invariant proofs in these papers were proofchecked in PVS by
Myla
Archer
and
Elvinia Riccobene .
The errors found have been fixed in the PostScripts available from
this page.
- J.M.T. Romijn and
F.W. Vaandrager.
A note on fairness in I/O automata.
Information Processing Letters, 59(5):245--250, 1996.
PostScript:
gzipped (44k),
full (154k).
- J.M.T. Romijn.
Automatic analysis of Term Rewriting Systems.
Technical report P9505, UvA, Amsterdam, July 1995.
PostScript:
gzipped (274k),
full (1.4M).
Back to my home page.