The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jonathan S. Ostroff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Richard F. Paige, Jonathan S. Ostroff
    Metamodelling and Conformance Checking with PVS. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:2-16 [Conf]
  3. 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]
  4. 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]
  5. Richard F. Paige, Jonathan S. Ostroff
    From Z to BON/Eiffel. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:209-212 [Conf]
  6. Ali Taleghani, Jonathan S. Ostroff
    BON development tool. [Citation Graph (0, 0)][DBLP]
    OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:10-14 [Conf]
  7. Richard F. Paige, Jonathan S. Ostroff
    The Single Model Principle. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:292-293 [Conf]
  8. Jonathan S. Ostroff
    Verification of Safety Critical Systems Using TTM/RTTL. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:573-602 [Conf]
  9. Jonathan S. Ostroff
    Real-Time Temporal Logic Decision Procedures. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1989, pp:92-101 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Jonathan S. Ostroff, David Makalsky, Richard F. Paige
    Agile Specification-Driven Development. [Citation Graph (0, 0)][DBLP]
    XP, 2004, pp:104-112 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Jonathan S. Ostroff, Faraz Ahmadi Torshizi
    Testable Requirements and Specifications. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:17-40 [Conf]
  27. 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]

  28. The SCOOP Concurrency Model in Java-like Languages. [Citation Graph (, )][DBLP]


  29. Theorem Proving Support for View Consistency Checking. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002