Jonathan S. Ostroff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1987–2018
Best venue rank
A
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | RE | Modelling and Testing Requirements via Executable Abstract State Machines. | Jonathan S. Ostroff, Chen-Wei Wang |
| 2007 | TAP | Testable Requirements and Specifications. | Jonathan S. Ostroff, Faraz Ahmadi Torshizi |
| 2003 | OOPSLA | BON development tool. | Ali Taleghani, Jonathan S. Ostroff |
| 2001 | FASE | Metamodelling and Conformance Checking with PVS. | Richard F. Paige, Jonathan S. Ostroff |
| 2001 | RE | The Single Model Principle. | Richard F. Paige, Jonathan S. Ostroff |
| 1999 | FM | Developing BON as an Industrial-Strength Formal Method. | Richard F. Paige, Jonathan S. Ostroff |
| 1996 | FORTE | Model Reduction of Modules for State-Even Temporal Logics. | Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham |
| 1989 | ICDCS | Verifying finite state real-time discrete event processes. | Jonathan S. Ostroff |
| 1989 | RTSS | Real-Time Temporal Logic Decision Procedures. | Jonathan S. Ostroff |
| 1987 | RTSS | Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. | Jonathan S. Ostroff, Walter Murray Wonham |