| 2006 |
|---|
| 12 | EE | Moshe Deutsch,
Martin C. Henson:
A Relational Investigation of UTP Designs and Prescriptions.
UTP 2006: 101-122 |
| 11 | EE | Moshe Deutsch,
Martin C. Henson:
An analysis of refinement in an abortive paradigm.
Formal Asp. Comput. 18(3): 329-363 (2006) |
| 10 | EE | Martin C. Henson,
Moshe Deutsch,
Besnik Kajtazi:
The specification logic nuZ.
Formal Asp. Comput. 18(3): 364-395 (2006) |
| 2005 |
|---|
| 9 | EE | Moshe Deutsch,
Martin C. Henson:
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.
APSEC 2005: 149-158 |
| 8 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Operation-Refinement in an Abortive Paradigm.
Electr. Notes Theor. Comput. Sci. 137(2): 67-92 (2005) |
| 2003 |
|---|
| 7 | EE | Moshe Deutsch,
Martin C. Henson,
Besnik Kajtazi:
Modular refinement in novel schema calculi.
APSEC 2003: 197- |
| 6 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.
APSEC 2003: 38-48 |
| 5 | EE | Moshe Deutsch,
Martin C. Henson,
Steve Reeves:
Operation Refinement and Monotonicity in the Schema Calculus.
ZB 2003: 103-126 |
| 4 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Forward Simulation Data Refinement.
ZB 2003: 148-167 |
| 3 | EE | Moshe Deutsch,
Martin C. Henson,
Steve Reeves:
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.
Logic Journal of the IGPL 11(3): 287-317 (2003) |
| 2 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II.
Logic Journal of the IGPL 11(3): 319-352 (2003) |
| 2002 |
|---|
| 1 | EE | Moshe Deutsch,
Martin C. Henson,
Steve Reeves:
Results on Formal Stepwise Design in Z.
APSEC 2002: 33-42 |
