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
