Pavel Grigorenko

I received my PhD degree 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.
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

• CoCoViLa, open source, visual and model-based software development platform, written entirely in Java. (IoC)
• Simulation software for Cyber Defense. (Estonian MoD)
• Qex - Symbolic SQL Query Exploration. (MSR)
• Graph-Based Automated DDoS Attack Response. (CCD COE)
• Graded IT Security Costs Optimizer. (CCD COE)
• The development of a lightweight and modular expert system shell for the usage in decision support system. (CCD COE)
• Automatic composition of e-governmental semantic web services. (RIA)

• ITI8590, Advanced algorithms and data structures (Spring 2012)
• ITT0020, Algorithms of Artificial Intelligence (Spring 2006, Spring 2007, Spring 2008)

• Geert Alberghs, Pavel Grigorenko, Jyri Kivimaa. Quantitative system reliability approach for optimizing IT security costs in an AI environment. In J. Penjam, ed., Proc. of 12th Symp. on Programming Languages and Software Tools, SPLST 2011 (Tallinn, Oct. 2011), pp. 219-230. Inst. of Cybern., 2011.
• 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.

• 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