Judi Romijn

Available identifiers

zbMath Open romijn.judiMaRDI QIDQ239141

List of research outcomes

Publication	Date of Publication	Type
Realizability Criteria for Compositional MSC	2009-04-28	Paper
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS	2008-07-03	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
IEEE 1394 tree identify protocol: Introduction to the case study	2003-08-27	Paper
False loop detection in the IEEE 1394 tree identify phase	2003-08-27	Paper
Linear parametric model checking of timed automata	2003-02-13	Paper
A timed verification of the IEEE 1394 Leader election protocol	2002-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2769587	2002-02-05	Paper
A note on fairness in I/O automata	1997-02-27	Paper

Research outcomes over time

This page was built for person: Judi Romijn