Jonathan Ostroff
Jonathan Ostroff
Professor of Electrical Engineering and Computer Science, York University
E-mail confirmado em yorku.ca - Página inicial
Título
Citado por
Citado por
Ano
Temporal logic for real-time systems
JS Ostroff
Research Studies Press, 1989
5991989
A framework for real-time discrete event control
JS Ostroff, WM Wonham
IEEE Transactions on Automatic control 35 (4), 386-397, 1990
2531990
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
2171992
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
1862007
Deciding properties of timed transition models
JS Ostroff
IEEE Transactions on Parallel & Distributed Systems 1 (02), 170-183, 1990
1581990
Principles for modeling language design
RF Paige, JS Ostroff, PJ Brooke
Information and Software Technology 42 (10), 665-675, 2000
1152000
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
JS Ostroff, WM Wonham
RTSS, 124-132, 1987
1011987
A temporal logic approach to real time control
JS Ostroff, WM Wonham
1985 24th IEEE Conference on Decision and Control, 656-657, 1985
691985
Composition and refinement of discrete real-time systems
JS Ostroff
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 1-48, 1999
551999
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
Synthesis of controllers for real-time discrete event systems
JS Ostroff
Proceedings of the 28th IEEE Conference on Decision and Control,, 138-144, 1989
541989
The single model principle
RF Paige, JS Ostroff
Journal of Object Technology 1 (5), 63-81, 2002
422002
A logic for real-time discrete event processes
JS Ostroff
IEEE Control Systems Magazine 10 (4), 95-102, 1990
421990
A verifier for real-time properties
JS Ostroff
Real-Time Systems 4 (1), 5-35, 1992
411992
ERC–An object-oriented refinement calculus for Eiffel
RF Paige, JS Ostroff
Formal Aspects of Computing 16 (1), 51-79, 2004
362004
Verification of safety critical systems using TTM/RTTL
JS Ostroff
Workshop/School/Symposium of the REX Project (Research and Education in …, 1991
361991
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
351987
Metamodelling and conformance checking with PVS
RF Paige, JS Ostroff
International Conference on Fundamental Approaches to Software Engineering, 2-16, 2001
342001
Automated verification of timed transition models
JS Ostroff
International Conference on Computer Aided Verification, 247-256, 1989
271989
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
271986
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20