Пакулин Николай Витальевич

Публикации в базе данных Math-Net.Ru

1. Методы оценки надежности программных и технических систем
   
   Труды ИСП РАН, 31:5 (2019),  95–108
2. Анализ методов оценки надежности оборудования и систем. Практика применения методов
   
   Труды ИСП РАН, 30:3 (2018),  99–120
3. Debugger for real-time OS: challenges of multiplatform support
   
   Труды ИСП РАН, 29:4 (2017),  295–302
4. Using modularization in embedded OS
   
   Труды ИСП РАН, 29:4 (2017),  283–294
5. Developing a debugger for real-time operating system
   
   Труды ИСП РАН, 28:2 (2016),  193–204
6. Design and architecture of real-time operating system
   
   Труды ИСП РАН, 28:2 (2016),  181–192
7. Remote service of system calls in microkernel hypervisor
   
   Труды ИСП РАН, 27:3 (2015),  267–278
8. Тестирование реализаций клиента протокола TLS
   
   Труды ИСП РАН, 27:2 (2015),  145–160
9. Динамическая верификация гибридных систем
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193),  189–203
10. Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193),  180–188