Jonathan S. Ostroff

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