Nikolay V. Pakulin

According to our database, Nikolay V. Pakulin authored at least 9 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

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

2012

Model-based testing of internet e-mail protocols.

Nikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman

Program. Comput. Softw., 2012

Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems.

Denis Efremov, Nikolay V. Pakulin

Proceedings of the SECRYPT 2012, 2012

2011

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

2010

Specification Based Conformance Testing for Email Protocols.

Nikolay V. Pakulin, Anastasia Tugaenko

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

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

Nikolay V. Pakulin, Vladimir V. Rubanov

Proceedings of the Perspectives of Systems Informatics, 2009

2007

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

2005

Practical Approach to Specification and Conformance Testing of Distributed Network Applications.

Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko

Proceedings of the Service Availability, 2005

2003

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

Proceedings of the Perspectives of Systems Informatics, 2003