Follow
Jonathan Ostroff
Jonathan Ostroff
Professor of Electrical Engineering and Computer Science, York University
Verified email at yorku.ca - Homepage
Title
Cited by
Cited by
Year
Temporal logic for real time systems
JS Ostroff
John Wiley & Sons, Inc., 1989
6661989
A framework for real-time discrete event control
JS Ostroff, WM Wonham
IEEE Transactions on Automatic control 35 (4), 386-397, 1990
2561990
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
2321992
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
2142007
Deciding properties of timed transition models
JS Ostroff
IEEE Transactions on Parallel & Distributed Systems 1 (02), 170-183, 1990
1681990
Principles for modeling language design
RF Paige, JS Ostroff, PJ Brooke
Information and Software Technology 42 (10), 665-675, 2000
1282000
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
JS Ostroff, WM Wonham
RTSS, 124-132, 1987
1051987
A temporal logic approach to real time control
JS Ostroff, WM Wonham
1985 24th IEEE Conference on Decision and Control, 656-657, 1985
711985
Synthesis of controllers for real-time discrete event systems
JS Ostroff
Proceedings of the 28th IEEE Conference on Decision and Control,, 138-144, 1989
581989
Composition and refinement of discrete real-time systems
JS Ostroff
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 1-48, 1999
541999
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
541997
The single model principle
RF Paige, JS Ostroff
Journal of Object Technology 1 (5), 63-81, 2002
452002
A verifier for real-time properties
JS Ostroff
Real-Time Systems 4 (1), 5-35, 1992
431992
A logic for real-time discrete event processes
JS Ostroff
IEEE Control Systems Magazine 10 (4), 95-102, 1990
431990
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
391987
ERC–An object-oriented refinement calculus for Eiffel
RF Paige, JS Ostroff
Formal Aspects of Computing 16, 51-79, 2004
382004
Verification of safety critical systems using TTM/RTTL
JS Ostroff
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992
381992
Metamodelling and conformance checking with PVS
RF Paige, JS Ostroff
International Conference on Fundamental Approaches to Software Engineering, 2-16, 2001
362001
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
321986
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
281994
The system can't perform the operation now. Try again later.
Articles 1–20