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
2571990
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
2201992
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
2102007
Deciding properties of timed transition models
JS Ostroff
IEEE Transactions on Parallel & Distributed Systems 1 (02), 170-183, 1990
1651990
Principles for modeling language design
RF Paige, JS Ostroff, PJ Brooke
Information and Software Technology 42 (10), 665-675, 2000
1312000
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
731985
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
531997
The single model principle
RF Paige, JS Ostroff
Journal of Object Technology 1 (5), 63-81, 2002
462002
A logic for real-time discrete event processes
JS Ostroff
IEEE Control Systems Magazine 10 (4), 95-102, 1990
431990
A verifier for real-time properties
JS Ostroff
Real-Time Systems 4 (1), 5-35, 1992
411992
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
371992
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
311986
Automated verification of timed transition models
JS Ostroff
Automatic Verification Methods for Finite State Systems: International …, 1990
281990
The system can't perform the operation now. Try again later.
Articles 1–20