| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller |
Beyond contracts for concurrency.  |
Formal Asp. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff |
Contracts for concurrency. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik |
The SCOOP Concurrency Model in Java-like Languages. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff |
Metamodel-based model conformance and multiview consistency checking. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
multiview consistency, formal methods, Metamodeling, automated verification |
| 1 | Jonathan S. Ostroff, Faraz Ahmadi Torshizi |
Testable Requirements and Specifications. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
ERC - An object-oriented refinement calculus for Eiffel. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige |
SECG: The SCOOP-to-Eiffel Code Generator. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff, David Makalsky, Richard F. Paige |
Agile Specification-Driven Development. |
XP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke |
Theorem Proving Support for View Consistency Checking. |
L'OBJET |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ali Taleghani, Jonathan S. Ostroff |
BON development tool. |
OOPSLA Workshop on Eclipse Technology eXchange |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
The Single Model Principle. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
Metamodelling and Conformance Checking with PVS. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
The Single Model Principle. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke |
Principles for modeling language design. |
Information & Software Technology |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff |
Composition and Refinement of Discrte Real-Time Systems. |
ACM Trans. Softw. Eng. Methodol. |
1999 |
DBLP DOI BibTeX RDF |
timed logic, model-checking, temporal logic, refinement, abstraction, modules, state explosion |
| 1 | Richard F. Paige, Jonathan S. Ostroff |
A Comparison of the Business Object Notation and the Unified Modelling Language. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
Developing BON as an Industrial-Strength Formal Method. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
From Z to BON/Eiffel. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Lawford, Jonathan S. Ostroff, W. Murray Wonham |
Model Reduction of Modules for State-Even Temporal Logics. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jonathan S. Ostroff |
Formal methods for the specification and design of real-time safety critical systems. |
Journal of Systems and Software |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff |
A Verifier for Real-Time Properties. |
Real-Time Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff |
Constraint Logic Programming for Reasoning About Discrete Event Processes. |
J. Log. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff |
Verification of Safety Critical Systems Using TTM/RTTL. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
Verification, Timed Transition Systems, Real-time Temporal Logic |
| 1 | Jonathan S. Ostroff |
Deciding Properties of Timed Transition Models. |
IEEE Trans. Parallel Distrib. Syst. |
1990 |
DBLP DOI BibTeX RDF |
parallel program design, timed transition models, finite-state TTM, system reachability graph, eventuality, real-time response specifications, real-time systems, formal specification, parallel programming, petri nets, invariance, decidability, programming theory, decision procedures, formal logic, precedence, real-time temporal logic |
| 1 | Jonathan S. Ostroff |
Automated Verification of Timed Transition Models. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff |
Real-Time Temporal Logic Decision Procedures. |
IEEE Real-Time Systems Symposium |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jonathan S. Ostroff, W. Murray Wonham |
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. |
IEEE Real-Time Systems Symposium |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")