| 2007 |
|---|
| 28 | EE | Jonathan S. Ostroff,
Faraz Ahmadi Torshizi:
Testable Requirements and Specifications.
TAP 2007: 17-40 |
| 27 | EE | 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) |
| 2005 |
|---|
| 26 | EE | 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 |
|---|
| 25 | EE | Richard F. Paige,
Jonathan S. Ostroff:
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.
TFM 2004: 107-123 |
| 24 | EE | Jonathan S. Ostroff,
David Makalsky,
Richard F. Paige:
Agile Specification-Driven Development.
XP 2004: 104-112 |
| 23 | EE | Richard F. Paige,
Jonathan S. Ostroff:
ERC - An object-oriented refinement calculus for Eiffel.
Formal Asp. Comput. 16(1): 51-79 (2004) |
| 22 | EE | Oleksandr Fuks,
Jonathan S. Ostroff,
Richard F. Paige:
SECG: The SCOOP-to-Eiffel Code Generator.
Journal of Object Technology 3(10): 143-161 (2004) |
| 2003 |
|---|
| 21 | EE | Ali Taleghani,
Jonathan S. Ostroff:
BON development tool.
OOPSLA Workshop on Eclipse Technology eXchange 2003: 10-14 |
| 20 | EE | Richard F. Paige,
Jonathan S. Ostroff,
Phillip J. Brooke:
Theorem Proving Support for View Consistency Checking.
L'OBJET 9(4): 115-134 (2003) |
| 2002 |
|---|
| 19 | EE | 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) |
| 18 | EE | Richard F. Paige,
Jonathan S. Ostroff:
The Single Model Principle.
Journal of Object Technology 1(5): 63-81 (2002) |
| 2001 |
|---|
| 17 | EE | Richard F. Paige,
Jonathan S. Ostroff:
Metamodelling and Conformance Checking with PVS.
FASE 2001: 2-16 |
| 16 | EE | Richard F. Paige,
Jonathan S. Ostroff:
The Single Model Principle.
RE 2001: 292-293 |
| 15 | | Richard F. Paige,
Jonathan S. Ostroff:
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems.
pUML 2001: 192-206 |
| 2000 |
|---|
| 14 | | Richard F. Paige,
Jonathan S. Ostroff,
Phillip J. Brooke:
Principles for modeling language design.
Information & Software Technology 42(10): 665-675 (2000) |
| 1999 |
|---|
| 13 | | Richard F. Paige,
Jonathan S. Ostroff:
A Comparison of the Business Object Notation and the Unified Modelling Language.
UML 1999: 67-82 |
| 12 | EE | Richard F. Paige,
Jonathan S. Ostroff:
Developing BON as an Industrial-Strength Formal Method.
World Congress on Formal Methods 1999: 834-853 |
| 11 | EE | Jonathan S. Ostroff:
Composition and Refinement of Discrte Real-Time Systems.
ACM Trans. Softw. Eng. Methodol. 8(1): 1-48 (1999) |
| 1998 |
|---|
| 10 | EE | Richard F. Paige,
Jonathan S. Ostroff:
From Z to BON/Eiffel.
ASE 1998: 209-212 |
| 1996 |
|---|
| 9 | | M. Lawford,
Jonathan S. Ostroff,
W. Murray Wonham:
Model Reduction of Modules for State-Even Temporal Logics.
FORTE 1996: 263-278 |
| 1992 |
|---|
| 8 | EE | 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) |
| 7 | | Jonathan S. Ostroff:
A Verifier for Real-Time Properties.
Real-Time Systems 4(1): 5-35 (1992) |
| 1991 |
|---|
| 6 | | Jonathan S. Ostroff:
Verification of Safety Critical Systems Using TTM/RTTL.
REX Workshop 1991: 573-602 |
| 5 | | Jonathan S. Ostroff:
Constraint Logic Programming for Reasoning About Discrete Event Processes.
J. Log. Program. 11(3&4): 243-270 (1991) |
| 1990 |
|---|
| 4 | EE | Jonathan S. Ostroff:
Deciding Properties of Timed Transition Models.
IEEE Trans. Parallel Distrib. Syst. 1(2): 170-183 (1990) |
| 1989 |
|---|
| 3 | | Jonathan S. Ostroff:
Automated Verification of Timed Transition Models.
Automatic Verification Methods for Finite State Systems 1989: 247-256 |
| 2 | | Jonathan S. Ostroff:
Real-Time Temporal Logic Decision Procedures.
IEEE Real-Time Systems Symposium 1989: 92-101 |
| 1987 |
|---|
| 1 | | Jonathan S. Ostroff,
W. Murray Wonham:
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
IEEE Real-Time Systems Symposium 1987: 124-132 |
