Jonathan S. Ostroff - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2018

Modelling and Testing Requirements via Executable Abstract State MachinesJonathan S. Ostroff, Chen-Wei Wang. RE 2018: 1-10 [doi]

2016

The Unit-B method: refinement guided by progress concernsSimon Hudon, Thai Son Hoang, Jonathan S. Ostroff. SoSyM, 15(4):1091-1116, 2016. [doi]

2013

TTM/PAT: Specifying and Verifying Timed Transition ModelsJonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun 0001. ftscs 2014: 107-124 [doi]

Precise Documentation and Validation of RequirementsChen-Wei Wang, Jonathan S. Ostroff, Simon Hudon. ftscs 2014: 262-279 [doi]

2009

2007

Testable Requirements and SpecificationsJonathan S. Ostroff, Faraz Ahmadi Torshizi. tap 2007: 17-40 [doi]

Metamodel-based model conformance and multiview consistency checkingRichard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff. TOSEM, 16(3):11, 2007. [doi]

2005

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for EiffelJonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke. jot, 4(7):97-114, 2005. [doi]

2004

2003

Theorem Proving Support for View Consistency CheckingRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke. Lobjet, 9(4):115-134, 2003. [doi]

BON development toolAli Taleghani, Jonathan S. Ostroff. OOPSLA 2003: 10-14 [doi]

2002

The Single Model PrincipleRichard F. Paige, Jonathan S. Ostroff. jot, 1(5):63-81, 2002. [doi]

BON-CASE: An Extensible CASE Tool for Formal Specification and ReasoningRichard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric. jot, 1(3):77-96, 2002. [doi]

2001

A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable SystemsRichard F. Paige, Jonathan S. Ostroff. uml 2001: 192-206

The Single Model PrincipleRichard F. Paige, Jonathan S. Ostroff. RE 2001: 292-293 [doi]

Metamodelling and Conformance Checking with PVSRichard F. Paige, Jonathan S. Ostroff. FASE 2001: 2-16 [doi]

2000

Discussion on: 'A Contribution to the Validation of Grafcet Controlled Systems' by J. ZaytoonJonathan S. Ostroff, H. Alla, Karl-Erik Årzén, Janan Zaytoon. ejcon, 6(6):507-510, 2000. [doi]

The logic of software designJonathan S. Ostroff, Richard F. Paige. iee, 147(3):73-80, 2000. [doi]

Principles for modeling language designRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke. INFSOF, 42(10):665-675, 2000. [doi]

1999

Composition and Refinement of Discrte Real-Time SystemsJonathan S. Ostroff. TOSEM, 8(1):1-48, 1999. [doi]

A Comparison of the Business Object Notation and the Unified Modelling LanguageRichard F. Paige, Jonathan S. Ostroff. uml 1999: 67-82

Developing BON as an Industrial-Strength Formal MethodRichard F. Paige, Jonathan S. Ostroff. FM 1999: 834-853 [doi]

1998

From Z to BON/EiffelRichard F. Paige, Jonathan S. Ostroff. ASE 1998: 209-212 [doi]

1997

A visual toolset for the design of real-time discrete-event systemsJonathan S. Ostroff. tcst, 5(3):320-337, 1997. [doi]

1996

Model Reduction of Modules for State-Even Temporal LogicsM. Lawford, Jonathan S. Ostroff, W. Murray Wonham. forte 1996: 263-278

1995

Automated modular specification and verification of real-time reactive systemsJonathan S. Ostroff. wift 1995: 108-121 [doi]

1992

A Verifier for Real-Time PropertiesJonathan S. Ostroff. rts, 4(1):5-35, 1992.

Formal methods for the specification and design of real-time safety critical systemsJonathan S. Ostroff. jss, 18(1):33-60, 1992. [doi]

1991

Constraint Logic Programming for Reasoning About Discrete Event ProcessesJonathan S. Ostroff. jlp, 11(3&4):243-270, 1991.

Verification of Safety Critical Systems Using TTM/RTTLJonathan S. Ostroff. rex 1992: 573-602

1990

Deciding Properties of Timed Transition ModelsJonathan S. Ostroff. tpds, 1(2):170-183, 1990. [doi]

1989

Automated Verification of Timed Transition ModelsJonathan S. Ostroff. avmfss 1990: 247-256

Real-Time Temporal Logic Decision ProceduresJonathan S. Ostroff. rtss 1989: 92-101

Verifying finite state real-time discrete event processesJonathan S. Ostroff. icdcs 1989: 207-216 [doi]

Mechanizing the verification of real-time discrete systemsJonathan S. Ostroff. jsa, 27(1-5):649-656, 1989. [doi]

1987

Modelling, Specifying, and Verifying Real-Time Embedded Computer SystemsJonathan S. Ostroff, W. Murray Wonham. rtss 1987: 124-132

Sign in or sign up to see more results.

runs on WebDSL