Nikolay V. Pakulin

Model-based testing of internet e-mail protocols

Nikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman, 2012, Programming and Computer Software.

Development of a test suite for the verification of implementations of the IPsec v2 security protocol

Nikolay V. Pakulin, V. Z. Shnitman, A. V. Nikeshin, 2011, Programming and Computer Software.

Specification Based Conformance Testing for Email Protocols

Nikolay V. Pakulin, Anastasia Tugaenko, 2010, ISoLA.

A conformance test suite for TTCN-3 tools

Nikolay V. Pakulin, András Kovács, Benjamin Zeiss, 2013, International Journal on Software Tools for Technology Transfer.

Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems

Nikolay V. Pakulin, Denis Efremov, 2012, SECRYPT.

A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems

Nikolay V. Pakulin, Vladimir V. Rubanov, 2009, Ershov Memorial Conference.

Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols

Nikolay V. Pakulin, Alexey V. Khoroshilov, A. Khoroshilov, 2007, Programming and Computer Software.