Search the dblp DataBase
Jonathan S. Ostroff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jonathan S. Ostroff
Automated Verification of Timed Transition Models. [Citation Graph (0, 0)][DBLP]
Automatic Verification Methods for Finite State Systems, 1989, pp:247-256 [Conf] - Richard F. Paige, Jonathan S. Ostroff
Metamodelling and Conformance Checking with PVS. [Citation Graph (0, 0)][DBLP]
FASE, 2001, pp:2-16 [Conf] - Richard F. Paige, Jonathan S. Ostroff
Developing BON as an Industrial-Strength Formal Method. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:834-853 [Conf] - M. Lawford, Jonathan S. Ostroff, W. Murray Wonham
Model Reduction of Modules for State-Even Temporal Logics. [Citation Graph (0, 0)][DBLP]
FORTE, 1996, pp:263-278 [Conf] - Richard F. Paige, Jonathan S. Ostroff
From Z to BON/Eiffel. [Citation Graph (0, 0)][DBLP]
ASE, 1998, pp:209-212 [Conf] - Ali Taleghani, Jonathan S. Ostroff
BON development tool. [Citation Graph (0, 0)][DBLP]
OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:10-14 [Conf] - Richard F. Paige, Jonathan S. Ostroff
The Single Model Principle. [Citation Graph (0, 0)][DBLP]
RE, 2001, pp:292-293 [Conf] - Jonathan S. Ostroff
Verification of Safety Critical Systems Using TTM/RTTL. [Citation Graph (0, 0)][DBLP]
REX Workshop, 1991, pp:573-602 [Conf] - Jonathan S. Ostroff
Real-Time Temporal Logic Decision Procedures. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1989, pp:92-101 [Conf] - Jonathan S. Ostroff, W. Murray Wonham
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1987, pp:124-132 [Conf] - Richard F. Paige, Jonathan S. Ostroff
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP]
TFM, 2004, pp:107-123 [Conf] - Richard F. Paige, Jonathan S. Ostroff
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. [Citation Graph (0, 0)][DBLP]
pUML, 2001, pp:192-206 [Conf] - Richard F. Paige, Jonathan S. Ostroff
A Comparison of the Business Object Notation and the Unified Modelling Language. [Citation Graph (0, 0)][DBLP]
UML, 1999, pp:67-82 [Conf] - Jonathan S. Ostroff, David Makalsky, Richard F. Paige
Agile Specification-Driven Development. [Citation Graph (0, 0)][DBLP]
XP, 2004, pp:104-112 [Conf] - Richard F. Paige, Jonathan S. Ostroff
ERC - An object-oriented refinement calculus for Eiffel. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 2004, v:16, n:1, pp:51-79 [Journal] - Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
Principles for modeling language design. [Citation Graph (0, 0)][DBLP]
Information & Software Technology, 2000, v:42, n:10, pp:665-675 [Journal] - Jonathan S. Ostroff
Constraint Logic Programming for Reasoning About Discrete Event Processes. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1991, v:11, n:3&4, pp:243-270 [Journal] - Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige
SECG: The SCOOP-to-Eiffel Code Generator. [Citation Graph (0, 0)][DBLP]
Journal of Object Technology, 2004, v:3, n:10, pp:143-161 [Journal] - Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. [Citation Graph (0, 0)][DBLP]
Journal of Object Technology, 2005, v:4, n:7, pp:97-114 [Journal] - Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. [Citation Graph (0, 0)][DBLP]
Journal of Object Technology, 2002, v:1, n:3, pp:77-96 [Journal] - Richard F. Paige, Jonathan S. Ostroff
The Single Model Principle. [Citation Graph (0, 0)][DBLP]
Journal of Object Technology, 2002, v:1, n:5, pp:63-81 [Journal] - Jonathan S. Ostroff
Formal methods for the specification and design of real-time safety critical systems. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 1992, v:18, n:1, pp:33-60 [Journal] - Jonathan S. Ostroff
A Verifier for Real-Time Properties. [Citation Graph (0, 0)][DBLP]
Real-Time Systems, 1992, v:4, n:1, pp:5-35 [Journal] - Jonathan S. Ostroff
Composition and Refinement of Discrte Real-Time Systems. [Citation Graph (0, 0)][DBLP]
ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:1, pp:1-48 [Journal] - Jonathan S. Ostroff
Deciding Properties of Timed Transition Models. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Parallel Distrib. Syst., 1990, v:1, n:2, pp:170-183 [Journal] - Jonathan S. Ostroff, Faraz Ahmadi Torshizi
Testable Requirements and Specifications. [Citation Graph (0, 0)][DBLP]
TAP, 2007, pp:17-40 [Conf] - Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
Metamodel-based model conformance and multiview consistency checking. [Citation Graph (0, 0)][DBLP]
ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:3, pp:- [Journal]
The SCOOP Concurrency Model in Java-like Languages. [Citation Graph (, )][DBLP]
Theorem Proving Support for View Consistency Checking. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002