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
6171989
A framework for real-time discrete event control
JS Ostroff, WM Wonham
IEEE Transactions on Automatic control 35 (4), 386-397, 1990
2551990
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
2082007
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
2071992
Deciding properties of timed transition models
JS Ostroff
IEEE Transactions on Parallel & Distributed Systems 1 (02), 170-183, 1990
1621990
Principles for modeling language design
RF Paige, JS Ostroff, PJ Brooke
Information and Software Technology 42 (10), 665-675, 2000
1192000
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
JS Ostroff, WM Wonham
RTSS, 124-132, 1987
991987
A temporal logic approach to real time control
JS Ostroff, WM Wonham
1985 24th IEEE Conference on Decision and Control, 656-657, 1985
711985
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
Composition and refinement of discrete real-time systems
JS Ostroff
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 1-48, 1999
531999
Synthesis of controllers for real-time discrete event systems
JS Ostroff
Proceedings of the 28th IEEE Conference on Decision and Control,, 138-144, 1989
531989
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
421992
A logic for real-time discrete event processes
JS Ostroff
IEEE Control Systems Magazine 10 (4), 95-102, 1990
411990
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
381987
ERC–An object-oriented refinement calculus for Eiffel
RF Paige, JS Ostroff
Formal Aspects of Computing 16, 51-79, 2004
372004
Metamodelling and conformance checking with PVS
RF Paige, JS Ostroff
Fundamental Approaches to Software Engineering: 4th International Conference …, 2001
352001
Verification of safety critical systems using TTM/RTTL
JS Ostroff
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992
351992
Automated verification of timed transition models
JS Ostroff
Lecture notes in computer science 407, 247-256, 1990
281990
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
281986
The system can't perform the operation now. Try again later.
Articles 1–20