Pavel Grigorenko

I received my PhD from Tallinn University of Technology in 2010, under the supervision of Enn Tyugu.
Currently I work as a researcher at the Software Department of the Institute of Cybernetics. Most of my time at work I spend on developing CoCoViLa, open source, visual and model-based software development platform, written entirely in Java.
My research interests include artificial intelligence, declarative specification languages and synthesis of programs. I am also interested in automated theorem proving.
 
   

Contact
 
   

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
   

Publications
 
 
  • Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu. CoCoViLa as a multifunctional simulation platform. In: SIMUTOOLS 2011 - 4th International ICST Conference on Simulation Tools and Techniques : March 21-25 - Barcelona, Spain: Brussels: ICST, 1 - 8, 2011.
  • Pavel Grigorenko. Higher-order attribute semantics of flat languages. (PhD thesis) TUT Press, Tallinn, 2010.
  • Gabriel Klein, Andres Ojamaa, Pavel Grigorenko, Marko Jahnke, Enn Tyugu. Enhancing response selection in impact estimation approaches. In: Concepts and Implementations for Innovative Military Communications and Information Technologies: (Eds.) Amanowicz, Marek. Warsaw: Military University of Technology, 277 - 286, 2010.
  • Pavel Grigorenko, Enn Tyugu. Higher-order attribute semantics of flat declarative languages. Computing and Informatics, 29(2), 251 - 280, 2010.
  • Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann. Symbolic Query Exploration. Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings. (Eds.) Breitman, Karin; Cavalcanti, Ana. Berlin: Springer, 2009, (Lecture Notes in Computer Science; 5885), 49 - 68, 2009.
  • Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann. Symbolic Query Exploration. MSR-TR-2009-65.
  • 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: (Eds.) 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.
   

Schools, Courses and Conferences
 
 
  • 12th Estonian Winter School in Computer Science (EWSCS) - Palmse, Estonia, March 4-9, 2007
  • Teooriapäevad Rõuges - 26.-28.01.2007 (talk)
  • Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2006 ), Tallinn, August 28-31, 2006
  • Teooriapäevad Voorel - 29.9.-1.10.2006
  • Teooriapäevad Kokel - 3.-5.02.2006
  • 4th Estonian Summer School in Computer and Systems Science (ESSCaSS'05) - Pedase, August 7-12, 2005
  • Joint 10th European Software Engineering Conference (ESEC) and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005
  • Fifth Workshop on Language Descriptions Tools and Applications LDTA2005. ETAPS, 2005
  • 10th Estonian Winter School in Computer Science (EWSCS) - Palmse, Estonia, February 27 - March 4, 2005
  • Teooriapäevad Viinistul - 28.-30.10.2005
  • Teooriapäevad Kokel - 4.-6.02.2005
  • Teooriapäevad Veskisillal - 1.-3.10.2004