Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jonathan S. Ostroff
2000 – 2009
- 2009
[j15]Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff: Contracts for concurrency. Formal Asp. Comput. 21(4): 305-318 (2009)- [j14]Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller: Beyond contracts for concurrency. Formal Asp. Comput. 21(4): 319-346 (2009)
- [c16]Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik: The SCOOP Concurrency Model in Java-like Languages. CPA 2009: 7-27
- 2007
- [j13]Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3) (2007)
- [c15]Jonathan S. Ostroff, Faraz Ahmadi Torshizi: Testable Requirements and Specifications. TAP 2007: 17-40
- 2005
- [j12]Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke: E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. Journal of Object Technology 4(7): 97-114 (2005)
- 2004
- [j11]Richard F. Paige, Jonathan S. Ostroff: ERC - An object-oriented refinement calculus for Eiffel. Formal Asp. Comput. 16(1): 51-79 (2004)
- [j10]Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige: SECG: The SCOOP-to-Eiffel Code Generator. Journal of Object Technology 3(10): 143-161 (2004)
- [c14]Richard F. Paige, Jonathan S. Ostroff: Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123
- [c13]Jonathan S. Ostroff, David Makalsky, Richard F. Paige: Agile Specification-Driven Development. XP 2004: 104-112
- 2003
- [j9]Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Theorem Proving Support for View Consistency Checking. L'OBJET 9(4): 115-134 (2003)
- [c12]Ali Taleghani, Jonathan S. Ostroff: BON development tool. OOPSLA Workshop on Eclipse Technology eXchange 2003: 10-14
- 2002
- [j8]Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric: BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. Journal of Object Technology 1(3): 77-96 (2002)
- [j7]Richard F. Paige, Jonathan S. Ostroff: The Single Model Principle. Journal of Object Technology 1(5): 63-81 (2002)
- 2001
- [c11]Richard F. Paige, Jonathan S. Ostroff: Metamodelling and Conformance Checking with PVS. FASE 2001: 2-16
- [c10]
- [c9]Richard F. Paige, Jonathan S. Ostroff: A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML 2001: 192-206
- 2000
- [j6]Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Principles for modeling language design. Information & Software Technology 42(10): 665-675 (2000)
1990 – 1999
- 1999
- [j5]Jonathan S. Ostroff: Composition and Refinement of Discrte Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 8(1): 1-48 (1999)
- [c8]Richard F. Paige, Jonathan S. Ostroff: Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods 1999: 834-853
- [c7]Richard F. Paige, Jonathan S. Ostroff: A Comparison of the Business Object Notation and the Unified Modelling Language. UML 1999: 67-82
- 1998
- [c6]
- 1996
- [c5]M. Lawford, Jonathan S. Ostroff, W. Murray Wonham: Model Reduction of Modules for State-Even Temporal Logics. FORTE 1996: 263-278
- 1992
- [j4]Jonathan S. Ostroff: Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software 18(1): 33-60 (1992)
- [j3]
- 1991
- [j2]Jonathan S. Ostroff: Constraint Logic Programming for Reasoning About Discrete Event Processes. J. Log. Program. 11(3&4): 243-270 (1991)
- [c4]Jonathan S. Ostroff: Verification of Safety Critical Systems Using TTM/RTTL. REX Workshop 1991: 573-602
- 1990
- [j1]Jonathan S. Ostroff: Deciding Properties of Timed Transition Models. IEEE Trans. Parallel Distrib. Syst. 1(2): 170-183 (1990)
1980 – 1989
- 1989
- [c3]Jonathan S. Ostroff: Automated Verification of Timed Transition Models. Automatic Verification Methods for Finite State Systems 1989: 247-256
- [c2]
- 1987
- [c1]Jonathan S. Ostroff, W. Murray Wonham: Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. RTSS 1987: 124-132
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-24 21:44 CET by the dblp team