Jonathan Ostroff
Jonathan Ostroff
Professor of Electrical Engineering and Computer Science, York University
Verified email at - Homepage
Cited by
Cited by
Temporal logic for real time systems
JS Ostroff
John Wiley & Sons, Inc., 1989
A framework for real-time discrete event control
JS Ostroff, WM Wonham
IEEE Transactions on Automatic control 35 (4), 386-397, 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
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
Deciding properties of timed transition models
JS Ostroff
IEEE Transactions on Parallel & Distributed Systems, 170-183, 1990
Principles for modeling language design
RF Paige, JS Ostroff, PJ Brooke
Information and Software Technology 42 (10), 665-675, 2000
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
JS Ostroff, WM Wonham
RTSS, 124-132, 1987
A temporal logic approach to real time control
JS Ostroff, WM Wonham
1985 24th IEEE Conference on Decision and Control, 656-657, 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
Synthesis of controllers for real-time discrete event systems
JS Ostroff
Proceedings of the 28th IEEE Conference on Decision and Control,, 138-144, 1989
Composition and refinement of discrete real-time systems
JS Ostroff
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 1-48, 1999
A verifier for real-time properties
JS Ostroff
Real-Time Systems 4 (1), 5-35, 1992
The single model principle [for software development]
R Paige, J Ostroff
Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001
A logic for real-time discrete event processes
JS Ostroff
IEEE Control Systems Magazine 10 (4), 95-102, 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
ERC–An object-oriented refinement calculus for Eiffel
RF Paige, JS Ostroff
Formal Aspects of Computing 16 (1), 51-79, 2004
Metamodelling and conformance checking with PVS
RF Paige, JS Ostroff
International Conference on Fundamental Approaches to Software Engineering, 2-16, 2001
Verification of safety critical systems using TTM/RTTL
JS Ostroff
Workshop/School/Symposium of the REX Project (Research and Education in …, 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
State-event observers for labeled transition systems
M Lawford, WM Wonham, JS Ostroff
Proceedings of 1994 33rd IEEE Conference on Decision and Control 4, 3642-3648, 1994
The system can't perform the operation now. Try again later.
Articles 1–20