2006 |
10 | EE | I. S. W. B. Prasetya,
Tanja E. J. Vos,
S. Doaitse Swierstra:
Web Cube.
FORTE 2006: 77-92 |
2005 |
9 | EE | 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 | EE | 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 | EE | 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 |