Concepedia

Judi Romijn

JR

10

Publications

470

Citations

10

H-Index

1999

Active since

Affiliations

Radboud University Nijmegen(Current)

Aarhus University

Centrum Wiskunde & Informatica

Information Technology University

Aalborg University

Judi Romijn is an author at Radboud University Nijmegen specializing in engineering, formal methods, and formal verification.

Top concepts

Publications per year

1999–2014

10

Publications

10

Linear parametric model checking of timed automata

Thomas Hune, Judi Romijn, Mariëlle Stoelinga et al. · The Journal of Logic and Algebraic Programming · 2002 · 173 citations · Full text

, , +7

Minimum-Cost Reachability for Priced Timed Automata

Gerd Behrmann, Ansgar Fehnker, Thomas Hune et al. · BRICS Report Series · 2001 · 65 citations · Full text

, , +17

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394

M.C.A. Devillers, David Griffioen, Judi Romijn et al. · Formal Methods in System Design · 2000 · 48 citations

Efficient Guiding Towards Cost-Optimality in UPPAAL

Gerd Behrmann, Ansgar Fehnker, Thomas Hune et al. · BRICS Report Series · 2001 · 38 citations · Full text

, , +24

Analysing Industrial Protocols with Formal Methods

Judi Romijn · Data Archiving and Networked Services (DANS) · 1999 · 35 citations · Full text

, , +11

Rows per page

1–5 of 10