| Temporal logic for real time systems JS Ostroff John Wiley & Sons, Inc., 1989 | 667 | 1989 |
| A framework for real-time discrete event control JS Ostroff, WM Wonham IEEE Transactions on Automatic control 35 (4), 386-397, 1990 | 262 | 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 | 221 | 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 | 215 | 2007 |
| Deciding properties of timed transition models JS Ostroff IEEE Transactions on Parallel & Distributed Systems 1 (02), 170-183, 1990 | 171 | 1990 |
| Principles for modeling language design RF Paige, JS Ostroff, PJ Brooke Information and Software Technology 42 (10), 665-675, 2000 | 134 | 2000 |
| Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. JS Ostroff, WM Wonham RTSS, 124-132, 1987 | 104 | 1987 |
| A temporal logic approach to real time control JS Ostroff, WM Wonham 1985 24th IEEE Conference on Decision and Control, 656-657, 1985 | 70 | 1985 |
| Synthesis of controllers for real-time discrete event systems JS Ostroff Proceedings of the 28th IEEE Conference on Decision and Control,, 138-144, 1989 | 58 | 1989 |
| Composition and refinement of discrete real-time systems JS Ostroff ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 1-48, 1999 | 55 | 1999 |
| 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 | 54 | 1997 |
| The single model principle RF Paige, JS Ostroff Journal of Object Technology 1 (5), 63-81, 2002 | 49 | 2002 |
| A logic for real-time discrete event processes JS Ostroff IEEE Control Systems Magazine 10 (4), 95-102, 1990 | 44 | 1990 |
| A verifier for real-time properties JS Ostroff Real-Time Systems 4 (1), 5-35, 1992 | 43 | 1992 |
| Verification of safety critical systems using TTM/RTTL JS Ostroff Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992 | 39 | 1992 |
| ERC–An object-oriented refinement calculus for Eiffel RF Paige, JS Ostroff Formal Aspects of Computing 16, 51-79, 2004 | 38 | 2004 |
| 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 | 38 | 1987 |
| Metamodelling and conformance checking with PVS RF Paige, JS Ostroff International Conference on Fundamental Approaches to Software Engineering, 2-16, 2001 | 36 | 2001 |
| 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 | 32 | 1986 |
| Automated verification of timed transition models JS Ostroff Automatic Verification Methods for Finite State Systems: International …, 1990 | 30 | 1990 |
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkVerified email at mcmaster.ca
