Judi Romijn
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Realizability Criteria for Compositional MSC Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
| Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
| Fundamental Approaches to Software Engineering Lecture Notes in Computer Science | 2005-09-13 | Paper |
| IEEE 1394 tree identify protocol: Introduction to the case study Formal Aspects of Computing | 2003-08-27 | Paper |
| False loop detection in the IEEE 1394 tree identify phase Formal Aspects of Computing | 2003-08-27 | Paper |
| Linear parametric model checking of timed automata The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
| A timed verification of the IEEE 1394 Leader election protocol Formal Methods in System Design | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1701759 (Why is no real title available?) | 2002-02-05 | Paper |
| A note on fairness in I/O automata Information Processing Letters | 1997-02-27 | Paper |
Research outcomes over time
This page was built for person: Judi Romijn
