Prasetya, S.W.B., Amorim, J., Vos, T.E.J. & Baars, A. (2011). CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases. : Department of Information and Computing Sciences, Utrecht University.
|
Vos, T.E.J., Tonella, P, Wegener, J, Prasetya, I.S.W.B., Puoskari, E & Buchbinder, Y (2011). Future Internet Testing with FITTEST. In 15th European Conference on Software Maintenance and Reengineering. IEEE.
|
Prasetya, I.S.W.B., Amorim, J., Vos, T.E.J. & Baars, A. Using Haskell to Script Combinatoric Testing of Web Services. In 6th Conferencia Iberica de Sistemas y Tecnologias de Informacion (CISTI'2011). IEEE.
|
Prasetya, S.W.B., Vos, T.E.J. & Baars, A.I. (2008). Trace-based Reflexive Testing of OO Programs with T2. In ICST '08: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation. IEEE.
|
Prasetya, I.S.W.B. & Vos, T.E.J. (2008). Patterns for In-code Algebraic Testing. UU-CS 2008-037. onbekend: UU WINFI Informatica en Informatiekunde.
|
Prasetya, I.S.W.B. (2008). Testing with T2 and Exploiting the Power of In-code Specifications. JAZOON, International Conference on Java Technology, 2008: Zurich.
|
Prasetya, I.S.W.B., Vos, T.E.J. & Baars, A.I. (2007). Trace-based Reflexive Testing of OO Programs. UU-CS 2007-037. onbekend: UU WINFI Informatica en Informatiekunde.
|
Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J. & Leeuwen, A.J. van (2006). Incremental Implementation of Syntax Driven Logics. Journal of Software, 1(3), 1-13.
|
Prasetya, I.S.W.B., Vos, T.E.J. & Swierstra, S.D. (2006). Web Cubes. In E Najm & J.F. Pradat-Peyre (Eds.), Proceedings of 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE) Vol. 4229. Lecture Notes in Computer Science (pp. 77-92). Springer.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2005). A UNITY-based Framework towards Component Based Systems. In T. Higashino (Ed.), Proceedings of 8th International Conference on Principles of Distributed Systems (OPODIS) (pp. 52-66). Berlin: Springer-Verlag.
|
Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J. & Leeuwen, A.J. van (2005). Building Verification Condition Generators by Compositional Extensions. In B.K. Aichernig & B. Beckert (Eds.), Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods (pp. 220-230). IEEE Computer Society Press.
|
Prasetya, I.S.W.B. & Swierstra, S.D. (2005). Formal Design of Self-stabilizing Programs. Journal of Highspeed Network, special issue on self-stabilizing systems, 14, 59-84.
|
Purbojati, R.W., Prasetya, I.S.W.B., Maizir, S., Wibowo, B. & Azurat, A. (2005). LinguSQL: A Verification and Transformation Tool for Database Application. In Seminar Nasional Ilmu Komputer dan Teknologi Informasi (SNIKTI).
|
Suhartanto, H., Prasetya, I.S.W.B., Widjaja, B., Stefanus, L. Y., Azurat, A., Aminah, S. & Bong, J. (2005). Technology for Specifying and Generating Critical Data Processsing Programs. In Proceedings of 8th International Conference on Quality of Research.
|
Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J., Leeuwen, A.J. van & Suhartanto, H. (2005). Theorem Prover Supported Logics for Small Imperative Languages. UU-CS 2005-046. onbekend: UU WINFI Informatica en Informatiekunde.
|
Azurat, A., Prasetya, I.S.W.B., Vos, T.E.J., Suhartanto, H., Widjaja, B., Stefanus, L. Y., Wenang, R., Aminah, S. & Bong, J. (2005). Towards Automated Verification of Database Scripts. In Proceedings of 18th International Conference on Theorem Proving in Higher Order Logics (Track Emerging Trends).
|
Azurat, A. & Prasetya, I.S.W.B. (2005). Towards Reliable Component Software: Light-weight Formalism. In Proceedings of 8th International Conference on Quality of Research.
|
Prasetya, I.S.W.B., Vos, T.E.J., Swierstra, S.D. & Widjaja, B. (2005). Web Cube: a Programming Model for Reliable Web Applications. UU-CS 2005-002. onbekend: UU WINFI Informatica en Informatiekunde.
|
Prasetya, I.S.W.B., Azurat, A. & Vos, T.E.J. (2004). Building Verification Condition Generators by Compositional Extensions. UU-CS 2004-054. Utrecht: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B., Vos, T.E.J. & Swierstra, S.D. (2004). Introduction to Correctness Approach in Programming, Lecture Notes. Universiteit Utrecht, Instituut Informatica en Informatiekun.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2003). !UNITY: A HOL Theory of General UNITY. In D. Basin & B. Wolff (Eds.), Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics (TPHOL) (pp. 159-176).
|
Prasetya, I.S.W.B., Vos, T.E.J., Swierstra, S.D. & Widjaja, B. (2003). A Theory for Composing Distributed Components Based on Temporary Interface. In Hung.Dang Van & Zhiming Liu (Eds.), Proceedings of the Workshop on Formal Aspects of Component Software (FACS).
|
Prasetya, I.S.W.B., Vos, T.E.J., Swierstra, S.D. & Widjaja, B. (2003). A Theory for Composing Distributed Components Based on Temporary Interface. In 3rd International Workshop on Composition Languages.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2003). A UNITY-based Framework towards Component Based Systems. UU-CS 2003-043. Utrecht: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B. (2003). Program Verification, Lecture Notes. Universiteit Utrecht, Instituut Informatica en Informatiekun.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2002). !UNITY: A Theory of General UNITY. UU-CS 2002-025. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Azurat, A. & Prasetya, I.S.W.B. (2002). A Survey on Embedding Programming Logics in a Theorem Prover. UU-CS 2002-007. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Azurat, A. & Prasetya, I.S.W.B. (2002). A preliminary report on xMECH. UU-CS 2002-008. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B., Azurat, A. & Swierstra, S.D. (2002). Embedding Programming Logics in HOL Theorem Prover. Jurnal Ilmu Komputer dan Teknologi Informasi, 2(1).
|
Prasetya, I.S.W.B. & Swierstra, S.D. (2002). Factorizing Fault Tolerance. Journal of Theoretical Computer Science, 290(2), 1201-1222.
|
Prasetya, I.S.W.B., Vos, T.E.J. & Swierstra, S.D. (2002). Introduction to Correctness Approach in Programming, Lecture Notes. Universiteit Utrecht, Instituut Informatica en Informatiekun.
|
Vos, T.E.J., Swierstra, S.D. & Prasetya, I.S.W.B. (2002). Yet Another Program Refinement Relation. In International Workshop on Refinement of Critical Systems: Methods, Tools and Experience.
|
Prasetya, I.S.W.B., Azurat, A. & Swierstra, S.D. (2001). Sebuah Framework untuk Mekanisasi Multi Logika. Jurnal Ilmu Komputer dan Teknologi Informasi, 1.
|
Prasetya, I.S.W.B., Swierstra, S.D. & Widjaja, B. (2001). Teori Komposisi Komponen. Jurnal Ilmu Komputer dan Teknologi Informasi, 1.
|
Prasetya, I.S.W.B., Swierstra, S.D. & Widaja, B. (2000). Component-wise formal approach to design distributed systems. UU-CS 2000-01. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B. & Swierstra, S.D. (2000). Factorizing fault tolerance. UU-CS 2000-02. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B. & Swierstra, S.D. (2000). Formal design of self-stabilizing programs: Theory and examples. UU-CS 2000-07. Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B. (1997). Mechanically verified self-stabilizing hierarchical algorithms. In E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 399-415). Berlin: Springer.
|
Vos, T.E.J., Swierstra, S.D. & Prasetya, I.S.W.B. (1996). Formal methods and mechanical verification applied to the development of a convergent distributed sorting program. UU-CS 1996-37. Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B. (1996). Formalizing UNITY with HOL. UU-CS 1996-01. Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B.. Mechanically Supported Design of Self-stabilizing Algorithms. UU Universiteit Utrecht. Prom./coprom.: prof. dr. S.D. Swierstra.
|
Prasetya, I.S.W.B. (1994). Mechanization of Substitution Rule and Compostionality of UNITY in HOL. UU-CS 1994-19. Utrecht.
|
webmaster@cs.uu.nl,
Wed, 23 May 2012 22:48:11 +0200
←
Departement Informatica, Universiteit Utrecht