Nikolay Pakulin

Biography

Nikolay Pakulin was born in Novouralsk, Sverdlovsk Region, Russia, on June 4, 1977. Graduated from Faculty of Control and Applied Mathematics, Moscow Institute of Physics and Technology (MIPT) - 1998 BSc, 2000 MSc of Applied Physics and Mathematics. In September 2000 got position in the Institute for System Programming of the Russian Academy of Sciences (ISPRAS). In 2006 got PhD degree for work on "Formalization of Standards and Test Suites for Internet Protocols” (supervisor A.K.Petrenko).

Current position: Senior Researcher at ISP RAS.

Contact information

Phone: +7(495)912-5317 ext.4434

Mobile: +7(916)173-8379

Address: 25, Alexander Solzhenitsyn str., Moscow, 109004, Russia

E-mail: npak@ispras.ru

Skype: N_Pakulin

Research Interests

Verification and validation technologies, model-based testing of communication protocols, Internet Protocol Stack validation and verification

Selected Publications and Presentations

  1. V.V.Kuliamin, N.Pakulin, A.K.Petrenko. Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software // Proc. of 9-th World Multi-Conference on Systems, Cybernetics, and Informatics, Orlando, USA, July 2005, v. VII. Model Based Development and Testing, pp. 65-70.

  2. V.V.Kuliamin, N.Pakulin, A.K.Petrenko. Practical Approach to Specification and Conformance Testing of Distributed Network Applications // Lecture Notes in Computer Science Volume 3694 / 2005, Title: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany.

  3. V. Kuliamin, N. Pakulin, O. Petrenko, A. Sortov, A. Khoroshilov. Practical Approach to Requirements Formalization. (In Russian). ISPRAS, 2006.

  4. N. Pakulin. Conformance Testing from Researcher’s Point of View. French IPv6 Summit, 2006.

  5. A. Khoroshilov, N. Pakulin. Development of Formal Models and Conformance Testing for Systems with Asynchronous Interfaces and Telecommunications Protocols. // Programming and Computer Software 33(6), 2007.

  6. N. Pakulin. Specification-Based Testing of a TTCN3 Compiler. Proceedings of Go4IT Workshop, 2007.

  7. Nikolay Pakulin. Integrated Modular Avionics: New Challenges for MBT. Presented at ETSI T3UC and MBT Workshop, Bangalore, June 2012. http://www.isqtinternational.com/T3UC_2012/MBT_PPT%2010_Pakulin.pdf

  8. Bogdan Stanca-Kaposta, Andras Kovacs, Nikolay Pakulin. A conformance test suite for TTCN-3 tools. Presented at ETSI T3UC and MBT Workshop, Bangalore, June 2012. http://www.ispras.ru/ru/se/seminar-of-the-division/STF433%20TTCN-3-conformance-test-suite.pdf

  9. Benjamin Zeiss, Andras Kovacs, Nikolay Pakulin, Bogdan Stanca-Kaposta. A conformance test suite for TTCN-3 tools. International Journal on Software Tools for Technology Transfer, June 2013. http://link.springer.com/article/10.1007%2Fs10009-013-0285-y

ETSI STF’s and R&D Projects

  1. Go4IT: a project of the Sixth Framework Programme devoted to TTCN3 tool development.

  2. A project for CATR (China) on codec development for SIP/IMS TTCN3 test suite.

  3. STF 433 Extension of Conformance tests for TTCN-3 tools.

  4. STF 470 Extension of Conformance tests for TTCN-3 tools.

Conferences

  1. Head of the organizing committee of the Go4IT Workshop. Moscow, 2007.

  2. Member of T3UC Programming Committee, 2009.

  3. Member of T3UC Programming Committee, 2010.

  4. Member of TMPA-2013 Programming Committee, 2013.

  5. Member of MBT-2014 Programming Committee, 2014.