| Temporal logic for real time systems JS Ostroff John Wiley & Sons, Inc., 1989 | 595 | 1989 |
| A framework for real-time discrete event control JS Ostroff, WM Wonham IEEE Transactions on Automatic control 35 (4), 386-397, 1990 | 243 | 1990 |
| Formal methods for the specification and design of real-time safety critical systems JS Ostroff Journal of Systems and Software 18 (1), 33-60, 1992 | 194 | 1992 |
| Metamodel-based model conformance and multiview consistency checking RF Paige, PJ Brooke, JS Ostroff ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (3), 11-es, 2007 | 172 | 2007 |
| Deciding properties of timed transition models JS Ostroff IEEE Transactions on Parallel & Distributed Systems, 170-183, 1990 | 149 | 1990 |
| Principles for modeling language design RF Paige, JS Ostroff, PJ Brooke Information and Software Technology 42 (10), 665-675, 2000 | 108 | 2000 |
| Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. JS Ostroff, WM Wonham RTSS, 124-132, 1987 | 90 | 1987 |
| A temporal logic approach to real time control JS Ostroff, WM Wonham 1985 24th IEEE Conference on Decision and Control, 656-657, 1985 | 63 | 1985 |
| A visual toolset for the design of real-time discrete-event systems JS Ostroff IEEE Transactions on Control Systems Technology 5 (3), 320-337, 1997 | 49 | 1997 |
| Synthesis of controllers for real-time discrete event systems JS Ostroff Proceedings of the 28th IEEE Conference on Decision and Control,, 138-144, 1989 | 49 | 1989 |
| Composition and refinement of discrete real-time systems JS Ostroff ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 1-48, 1999 | 47 | 1999 |
| A verifier for real-time properties JS Ostroff Real-Time Systems 4 (1), 5-35, 1992 | 40 | 1992 |
| The single model principle [for software development] R Paige, J Ostroff Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001 | 39 | 2001 |
| A logic for real-time discrete event processes JS Ostroff IEEE Control Systems Magazine 10 (4), 95-102, 1990 | 37 | 1990 |
| State machines, temporal logic and control: a framework for discrete event systems JS Ostroff, WM Wonham 26th IEEE Conference on Decision and Control 26, 681-686, 1987 | 37 | 1987 |
| ERC–An object-oriented refinement calculus for Eiffel RF Paige, JS Ostroff Formal Aspects of Computing 16 (1), 51-79, 2004 | 36 | 2004 |
| Metamodelling and conformance checking with PVS RF Paige, JS Ostroff International Conference on Fundamental Approaches to Software Engineering, 2-16, 2001 | 34 | 2001 |
| Verification of safety critical systems using TTM/RTTL JS Ostroff Workshop/School/Symposium of the REX Project (Research and Education in …, 1991 | 34 | 1991 |
| Real-time computer control of discrete event systems modelled by extended state machines: a temporal logic approach JS Ostroff Technical Report 8618, Systems Control Group, Dept. of Electrical …, 1986 | 29 | 1986 |
| Automated verification of timed transition models JS Ostroff International Conference on Computer Aided Verification, 247-256, 1989 | 27 | 1989 |
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkEmail verificata su mcmaster.ca
