Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. - Victor V. Kuliamin; Alexander K. Petrenko; Nick V. Pakoulin; Alexander S. Kossatchev; Igor B. Bourdonov (Ershov Memorial Conference, 2003)

Practical Approach to Specification and Conformance Testing of Distributed Network Applications. - Victor V. Kuliamin; Nick V. Pakoulin; Alexander K. Petrenko (ISAS, 2005)

Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols. - Nikolay V. Pakulin; Alexey V. Khoroshilov (Program. Comput. Softw., 2007)

A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. - Nikolay V. Pakulin; Vladimir V. Rubanov (Ershov Memorial Conference, 2009)

Specification Based Conformance Testing for Email Protocols. - Nikolay V. Pakulin; Anastasia Tugaenko (ISoLA (2), 2010)

Development of a test suite for the verification of implementations of the IPsec v2 security protocol. - A. V. Nikeshin; Nikolay V. Pakulin; V. Z. Shnitman (Program. Comput. Softw., 2011)

Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. - Denis Efremov; Nikolay V. Pakulin (SECRYPT, 2012)

Model-based testing of internet e-mail protocols. - Nikolay V. Pakulin; Anastasia Tugaenko; V. Z. Shnitman (Program. Comput. Softw., 2012)

A conformance test suite for TTCN-3 tools - Black-Box functional testing of TTCN-3 syntax and semantics. - Benjamin Zeiss; András Kovács; Nikolay V. Pakulin; Bogdan Stanca-Kaposta (Int. J. Softw. Tools Technol. Transf., 2014)