Pavel Grigorenko

I am PhD student at the Tallinn University of Technology and researcher at the Software Department of the Institute of Cybernetics. My scientific adviser is Enn Tyugu.
Most of my time at work I spend on developing CoCoViLa, open source, visual and model-based software development platform, written entierly in Java.
My research interests include artificial intelligence, declarative specification languages and synthesis of programs. I am also interested in automated theorem proving.

Institute of Cybernetics
Akadeemia tee 21
12618 Tallinn
ESTONIA
Phone: +372 620 4240
Fax: +372 620 4151
E-mail: pavelg(a t)cs.ioc.ee

• Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann. Symbolic Query Exploration. In: ICFEM'09, Springer Verlag, December 2009.
• Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann. Symbolic Query Exploration. MSR-TR-2009-65.
• Pavel Grigorenko, Enn Tyugu. Higher-order attribute semantics of flat declarative languages. Computing and Informatics, 2009 (to appear).
• Riina Maigre, Pavel Grigorenko, Peep Küngas, Enn Tyugu. Stratified composition of web services. In: Knowledge-based software engineering : Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering: (Toim.) Virvou, Maria; Nakamura, Taichi. Amsterdam: IOS Press, 2008, (Frontiers in Artificial Intelligence and Applications; 180), 49 - 58.
• Enn Tyugu, Pavel Grigorenko. Large-Scale Simulation Platform. WSEAS Transactions on Computers, No. 1, vol. 6, 2007, p. 65 - 71.
• Pavel Grigorenko, Enn Tyugu. Deep Semantics of Visual Languages. In: E. Tyugu, T. Yamaguchi (eds.) Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications, vol. 140. IOS Press, 2006, p. 83 - 95.
• Pavel Grigorenko, Ando Saabas, Enn Tyugu. Visual Tool for Generative Programming. Proc. of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, 2005.
• Pavel Grigorenko, Ando Saabas, Enn Tyugu. COCOVILA - Compiler-Compiler for Visual Languages. Proc. of the 5th Workshop on Language Descriptions, Tools and Applications, 2005 (Edinburgh, April 2005), v. 141, n. 4 of Electron. Notes in Theor. Comput. Sci., pp. 137-142. Elsevier, 2005.