Pakulin N V

Publications in Math-Net.Ru

1. Methods for assessing the reliability of software and hardware systems
   
   Proceedings of ISP RAS, 31:5 (2019),  95–108
2. Analysis of methods for assessing the reliability of equipment and systems. Practice of methods
   
   Proceedings of ISP RAS, 30:3 (2018),  99–120
3. Debugger for real-time OS: challenges of multiplatform support
   
   Proceedings of ISP RAS, 29:4 (2017),  295–302
4. Using modularization in embedded OS
   
   Proceedings of ISP RAS, 29:4 (2017),  283–294
5. Developing a debugger for real-time operating system
   
   Proceedings of ISP RAS, 28:2 (2016),  193–204
6. Design and architecture of real-time operating system
   
   Proceedings of ISP RAS, 28:2 (2016),  181–192
7. Remote service of system calls in microkernel hypervisor
   
   Proceedings of ISP RAS, 27:3 (2015),  267–278
8. TLS clients testing
   
   Proceedings of ISP RAS, 27:2 (2015),  145–160
9. Dynamic verification of hybrid systems
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  189–203
10. Conformance testing automation for transport layer security protocol tls
    
    St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  180–188