 | 2006 |
|---|
| 10 |       | I. S. W. B. Prasetya,
Tanja E. J. Vos,
S. Doaitse Swierstra:
Web Cube.
FORTE 2006: 77-92 |
| 2005 |
|---|
| 9 | | I. S. W. B. Prasetya,
A. Azurat,
Tanja E. J. Vos,
Arthur van Leeuwen:
Building Verification Condition Generators by Compositional Extensions.
SEFM 2005: 220-230 |
| 8 | | I. S. W. B. Prasetya,
S. Doaitse Swierstra:
Formal design of self-stabilizing programs.
J. High Speed Networks 14(1): 59-83 (2005) |
| 2004 |
|---|
| 7 | | I. S. W. B. Prasetya,
Tanja E. J. Vos,
A. Azurat,
S. Doaitse Swierstra:
A UNITY-Based Framework Towards Component Based Systems.
OPODIS 2004: 52-66 |
| 2003 |
|---|
| 6 |  | I. S. W. B. Prasetya,
S. Doaitse Swierstra:
Factorizing fault tolerance.
Theor. Comput. Sci. 290(2): 1201-1222 (2003) |
| 1997 |
|---|
| 5 | | I. S. W. B. Prasetya:
Mechanically Verified Self-Stabilizing Hierarchical Algorithms.
TACAS 1997: 399-415 |
| 1994 |
|---|
| 4 | | I. S. W. B. Prasetya:
Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.
TPHOLs 1994: 362-377 |
| 3 | | I. S. W. B. Prasetya:
Error in the UNITY Rule for Subscripted Operators (Short Communication).
Formal Asp. Comput. 6(4): 466-470 (1994) |
| 1993 |
|---|
| 2 | | I. S. W. B. Prasetya:
Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.
HUG 1993: 324-337 |
| 1 | | I. S. W. B. Prasetya:
On the Style of Mechanical Proving.
HUG 1993: 475-488 |
