Search the dblp DataBase

Publications of Author

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