home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by A. Azurat

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

A. Azurat

• contact information
• my technical reports
• former member of group software technology

some publications

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., 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.

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., 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., 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., 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., 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., Azurat, A. & Swierstra, S.D. (2001). Sebuah Framework untuk Mekanisasi Multi Logika. Jurnal Ilmu Komputer dan Teknologi Informasi, 1.