Jonathan S. Ostroff

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 3

Top Topics

Accurate Models

Detection Method

Functional Requirements

Top Venues

Softw. Syst. Model.

Publications

Jonathan S. Ostroff, Chen-Wei Wang
Modelling and Testing Requirements via Executable Abstract State Machines. MoDRE@RE (2018)
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
The Unit-B Method - Refinement Guided by Progress Concerns. CoRR (2018)
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
The Unit-B method: refinement guided by progress concerns. Softw. Syst. Model. 15 (4) (2016)
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. ESSS (2015)
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Precise Documentation and Validation of Requirements. FTSCS (2013)
Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun
TTM/PAT: Specifying and Verifying Timed Transition Models. FTSCS (2013)
Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff
Contracts for concurrency. Formal Aspects Comput. 21 (4) (2009)
Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik
The SCOOP Concurrency Model in Java-like Languages. CPA (2009)
Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller
Beyond contracts for concurrency. Formal Aspects Comput. 21 (4) (2009)
Jonathan S. Ostroff, Faraz Ahmadi Torshizi
Testable Requirements and Specifications. TAP (2007)
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)
Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. J. Object Technol. 4 (7) (2005)
Jonathan S. Ostroff, David Makalsky, Richard F. Paige
Agile Specification-Driven Development. XP (2004)
Richard F. Paige, Jonathan S. Ostroff
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM (2004)
Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige
SECG: The SCOOP-to-Eiffel Code Generator. J. Object Technol. 3 (10) (2004)
Richard F. Paige, Jonathan S. Ostroff
ERC - An object-oriented refinement calculus for Eiffel. Formal Aspects Comput. 16 (1) (2004)
Ali Taleghani, Jonathan S. Ostroff
BON development tool. eTX (2003)
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux 9 (4) (2003)
Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. J. Object Technol. 1 (3) (2002)
Richard F. Paige, Jonathan S. Ostroff
The Single Model Principle. J. Object Technol. 1 (5) (2002)
Richard F. Paige, Jonathan S. Ostroff
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML (2001)
Richard F. Paige, Jonathan S. Ostroff
The Single Model Principle. RE (2001)
Richard F. Paige, Jonathan S. Ostroff
Metamodelling and Conformance Checking with PVS. FASE (2001)
Jonathan S. Ostroff, Richard F. Paige
The logic of software design. IEE Proc. Softw. 147 (3) (2000)
Jonathan S. Ostroff, H. Alla, Karl-Erik Årzén, Janan Zaytoon
Discussion on: 'A Contribution to the Validation of Grafcet Controlled Systems' by J. Zaytoon. Eur. J. Control 6 (6) (2000)
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
Principles for modeling language design. Inf. Softw. Technol. 42 (10) (2000)
Jonathan S. Ostroff
Composition and Refinement of Discrte Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 8 (1) (1999)
Richard F. Paige, Jonathan S. Ostroff
A Comparison of the Business Object Notation and the Unified Modelling Language. UML (1999)
Richard F. Paige, Jonathan S. Ostroff
Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods (1999)
Richard F. Paige, Jonathan S. Ostroff
From Z to BON/Eiffel. ASE (1998)
Jonathan S. Ostroff
A visual toolset for the design of real-time discrete-event systems. IEEE Trans. Control. Syst. Technol. 5 (3) (1997)
Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham
Model Reduction of Modules for State-Even Temporal Logics. FORTE (1996)
Jonathan S. Ostroff
Automated modular specification and verification of real-time reactive systems. WIFT (1995)
Jonathan S. Ostroff
A Verifier for Real-Time Properties. Real Time Syst. 4 (1) (1992)
Jonathan S. Ostroff
Formal methods for the specification and design of real-time safety critical systems. J. Syst. Softw. 18 (1) (1992)
Jonathan S. Ostroff
Verification of Safety Critical Systems Using TTM/RTTL. REX Workshop (1991)
Jonathan S. Ostroff
Constraint Logic Programming for Reasoning About Discrete Event Processes. J. Log. Program. 11 (3&4) (1991)
Jonathan S. Ostroff
Deciding Properties of Timed Transition Models. IEEE Trans. Parallel Distributed Syst. 1 (2) (1990)
Jonathan S. Ostroff
Automated Verification of Timed Transition Models. Automatic Verification Methods for Finite State Systems (1989)
Jonathan S. Ostroff
Real-Time Temporal Logic Decision Procedures. RTSS (1989)
Jonathan S. Ostroff
Mechanizing the verification of real-time discrete systems. Microprocessing and Microprogramming 27 (1-5) (1989)
Jonathan S. Ostroff
Verifying finite state real-time discrete event processes. ICDCS (1989)
Jonathan S. Ostroff, Walter Murray Wonham
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. RTSS (1987)