|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
Е. М. Лаврищева, С. В. Зеленов, Н. В. Пакулин, “Методы оценки надежности программных и технических систем”, Труды ИСП РАН, 31:5 (2019), 95–108  |
2
|
|
2018 |
| 2. |
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов, “Анализ методов оценки надежности оборудования и систем. Практика применения методов”, Труды ИСП РАН, 30:3 (2018), 99–120  |
9
|
|
2017 |
| 3. |
A. N. Emelenko, K. A. Mallachiev, N. V. Pakulin, “Debugger for real-time OS: challenges of multiplatform support”, Труды ИСП РАН, 29:4 (2017), 295–302 |
| 4. |
K. A. Mallachiev, N. V. Pakulin, A. V. Khoroshilov, D. V. Buzdalov, “Using modularization in embedded OS”, Труды ИСП РАН, 29:4 (2017), 283–294 |
|
2016 |
| 5. |
A. N. Emelenko, K. M. Mallachiev, N. V. Pakulin, “Developing a debugger for real-time operating system”, Труды ИСП РАН, 28:2 (2016), 193–204 |
| 6. |
K. M. Mallachiev, N. V. Pakulin, A. V. Khoroshilov, “Design and architecture of real-time operating system”, Труды ИСП РАН, 28:2 (2016), 181–192 |
10
|
|
2015 |
| 7. |
Kurbanmagomed Mallachiev, Nikolay Pakulin, “Remote service of system calls in microkernel hypervisor”, Труды ИСП РАН, 27:3 (2015), 267–278 |
| 8. |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман, “Тестирование реализаций клиента протокола TLS”, Труды ИСП РАН, 27:2 (2015), 145–160 |
4
|
|
2014 |
| 9. |
Н. В. Пакулин, “Динамическая верификация гибридных систем”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193), 189–203 |
| 10. |
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман, “Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193), 180–188 |
1
|
|
Обратная связь: