Jonathan Ostroff
Jonathan Ostroff
Professor of Electrical Engineering and Computer Science, York University
Verified email at yorku.ca - Homepage
TitleCited byYear
Temporal logic for real-time systems
JS Ostroff
Research Studies Press, 1989
5801989
A framework for real-time discrete event control
JS Ostroff, WM Wonham
IEEE Transactions on Automatic control 35 (4), 386-397, 1990
2381990
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
1911992
Deciding properties of timed transition models
JS Ostroff
IEEE Transactions on Parallel & Distributed Systems, 170-183, 1990
1481990
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, 2007
1472007
Principles for modeling language design
RF Paige, JS Ostroff, PJ Brooke
Information and Software Technology 42 (10), 665-675, 2000
1032000
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
JS Ostroff, WM Wonham
RTSS, 124-132, 1987
901987
A temporal logic approach to real time control
JS Ostroff, WM Wonham
1985 24th IEEE Conference on Decision and Control, 656-657, 1985
621985
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
Synthesis of controllers for real-time discrete event systems
JS Ostroff
Proceedings of the 28th IEEE Conference on Decision and Control,, 138-144, 1989
491989
Composition and refinement of discrete real-time systems
JS Ostroff
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 1-48, 1999
471999
A verifier for real-time properties
JS Ostroff
Real-Time Systems 4 (1), 5-35, 1992
391992
A logic for real-time discrete event processes
JS Ostroff
IEEE Control Systems Magazine 10 (4), 95-102, 1990
381990
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
371987
ERC–An object-oriented refinement calculus for Eiffel
RF Paige, JS Ostroff
Formal Aspects of Computing 16 (1), 51-79, 2004
352004
The single model principle
RF Paige, JS Ostroff
Journal of Object Technology 1 (5), 63-81, 2002
342002
Metamodelling and conformance checking with PVS
RF Paige, JS Ostroff
International Conference on Fundamental Approaches to Software Engineering, 2-16, 2001
342001
Verification of safety critical systems using TTM/RTTL
JS Ostroff
Workshop/School/Symposium of the REX Project (Research and Education in …, 1991
341991
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
291986
Automated verification of timed transition models
JS Ostroff
International Conference on Computer Aided Verification, 247-256, 1989
281989
The system can't perform the operation now. Try again later.
Articles 1–20