Searching for authors named "Judi Romijn" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Addendum to: Tackling the RPC-Memory Specification Problem with I/O Automata
- …Addendum to: Tackling the RPC-Memory Specification Problem with I/O Automata Judi Romijn CWI P…
- Add To MetaCart
-
Proofs from A Timed Verification of the IEEE 1394 Leader Election Protocol
- …Proofs from A Timed Verication of the IEEE 1394 Leader Election Protocol Judi Romijn Computing…
- Add To MetaCart
-
A timed verification of the IEEE 1394 leader election protocol
- … 4199 A Timed Verification of the IEEE 1394 Leader Election Protocol ∗ ABSTRACT Judi Romijn CWI P.O. Box…
- Cited by 13 (0 self) – Add To MetaCart
-
Improving the quality of protocol standards: Correcting IEEE 1394.1 FireWire net update. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 8:23–30, 2004. Available at http://www.win.tue.nl/oas/index.html?iqps
- …Improving the Quality of Protocol Standards: Correcting IEEE 1394.1 FireWire Net Update ∗ Judi…
- Cited by 3 (0 self) – Add To MetaCart
-
Tackling the RPC-Memory Specification Problem with I/O Automata
- …Tackling the RPC-Memory Specification Problem with I/O Automata ? Judi Romijn CWI P.O. Box 94079…
- Cited by 9 (0 self) – Add To MetaCart
-
A note on fairness in I/O automata
- … Telefax +31 20 592 4199 A Note on Fairness in I/O Automata Judi Romijn and Frits Vaandrager CWI P.O. Box…
- Cited by 2 (2 self) – Add To MetaCart
-
Verification of a leader election protocol --- formal methods applied to IEEE 1394
- … 1 , David Griffioen 1,2 , Judi Romijn 2 , and Frits Vaandrager 1 1 Computing Science Institute…
- Cited by 26 (5 self) – Add To MetaCart
-
Tackling the Dagstuhl'94 specification problem with I/O automata
- … Judi Romijn CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands judi@(email omitted); Abstract An I…
- Add To MetaCart
-
Linear Parametric Model Checking of Timed Automata
- …Linear Parametric Model Checking of Timed Automata ? Thomas Hune a Judi Romijn b Mari…
- Cited by 29 (2 self) – Add To MetaCart
-
Realizability criteria for compositional MSC
- …Realizability criteria for compositional MSC ⋆ Arjan Mooij, Judi Romijn, and Wieger Wesselink…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
