Prasetya, S.W.B., Elyasov, A., Middelkoop, A. & Hage, J. (2012). FITTEST Log Format (version 1.1). : Department of Information and Computing Sciences, Utrecht University.
|
Middelkoop, A., Elyasov, A. & Prasetya, S.W.B. (2012). Functional Instrumentation of ActionScriptPrograms with ASIL. In A. Gill & J. Hage (Eds.), International Symposium on Implementation and Application of Functional Languages (IFL), 2011. Springer.
|
Elyasov, A., Prasetya, S.W.B. & Hage, J. (2012). Log-Based Reduction by Rewriting. : Department of Information and Computing Sciences, Utrecht University.
|
Vos, T. de, Tonella, P, Wegener, J, Harman, M., Prasetya, S.W.B. & Ur, S. (2012). Testing of Future Internet Applications Running in the Cloud. In S. Tilley & T. Parveen (Eds.), Software Testing in the Cloud: Perspectives on an Emerging Discipline. IGI Global.
|
Prasetya, S.W.B., Hage, J. & Elyasov, A. (2012). Using Sub-cases to Improve Log-based Oracles Inference. : Department of Information and Computing Sciences, Utrecht University.
|
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-CS2008-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-CS2007-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-CS2005-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-CS2005-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-CS2004-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 3rd International Workshop on Composition Languages.
|
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., Azurat, A. & Swierstra, S.D. (2003). A UNITY-based Framework towards Component Based Systems. (UU-CS2003-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-CS2002-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-CS2002-007 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Azurat, A. & Prasetya, I.S.W.B. (2002). A preliminary report on xMECH. (UU-CS2002-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-CS2000-01 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B. & Swierstra, S.D. (2000). Factorizing fault tolerance. (UU-CS2000-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-CS2000-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-CS1996-37 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B. (1996). Formalizing UNITY with HOL. (UU-CS1996-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-CS1994-19 ). Utrecht.
|
webmaster@cs.uu.nl,
Sun, 19 May 2013 09:34:36 +0200
←
Departement Informatica, Universiteit Utrecht