| Integration of functional and timed testing of real-time and concurrent systems VV Kuliamin, AK Petrenko, NV Pakoulin, AS Kossatchev, IB Bourdonov International Andrei Ershov Memorial Conference on Perspectives of System …, 2003 | 40 | 2003 |
| Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 2004 | 33 | 2004 |
| Формализация требований на практике ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов Препринт ИСП РАН. М.: ИСП РАН, 2006 | 25 | 2006 |
| Practical approach to specification and conformance testing of distributed network applications VV Kuliamin, NV Pakoulin, AK Petrenko International Service Availability Symposium, 68-83, 2005 | 23 | 2005 |
| Design and architecture of real-time operating system KM Mallachiev, NV Pakulin, AV Khoroshilov Труды Института системного программирования РАН 28 (2), 2016 | 15 | 2016 |
| Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols NV Pakulin, AV Khoroshilov Programming and Computer Software 33 (6), 316-335, 2007 | 15* | 2007 |
| Применение формальных методов для тестирования реализации IPv6. ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман Труды Института системного программирования РАН 4, 2003 | 10 | 2003 |
| Model-based testing of internet e-mail protocols NV Pakulin, AN Tugaenko, VZ Shnitman Programming and Computer Software 38 (5), 268-275, 2012 | 9 | 2012 |
| Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software VV Kuliamin, AK Petrenko, NV Pakoulin Proceedings of the 9-th World Multiconference on Systemics, Cybernetics, and …, 2005 | 8 | 2005 |
| Автоматизация тестирования соответствия для телекоммуникационных протоколов НВ Пакулин, ВЗ Шнитман, АВ Никешин Труды Института системного программирования РАН 26 (1), 2014 | 7 | 2014 |
| Разработка тестового набора для верификации реализаций протокола безопасности TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 23, 2012 | 6 | 2012 |
| Верификация компиляторов систематический подход СВ Зеленов, НВ Пакулин Труды Института системного программирования РАН 13 (1), 2007 | 6 | 2007 |
| Формализация стандартов и тестовых наборов протоколов Интернета НВ Пакулин Автореферат диссертации на соискание учёной степени кандидата физико …, 2006 | 6 | 2006 |
| Анализ методов оценки надежности оборудования и систем. Практика применения методов НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов Труды Института системного программирования РАН 30 (3), 2018 | 5 | 2018 |
| Formalization of requirements in practice VV Kuliamin, NV Pakulin, AK Petrenko, AA Sortov, AV Khoroshilov Preprint, 2006 | 5 | 2006 |
| Автоматизированное тестирование сетевых сервисов Интернет-протокола ГВ Ключников, НВ Пакулин, ВЗ Шнитман Научный сервис в сети Интернет, 168-170, 2005 | 5 | 2005 |
| Тестирование реализаций клиента протокола TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 27 (2), 2015 | 4 | 2015 |
| Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 18, 2010 | 4 | 2010 |
| Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 18, 2010 | 4 | 2010 |
| Устройство и архитектура операционной системы реального времени КМ Маллачиев, НВ Пакулин, АВ Хорошилов Труды Института системного программирования РАН 28 (2), 181-192, 2016 | 3 | 2016 |
Виктор Зиновьевич ШнитманИнститут системного программирования РАН, МФТИПодтвержден адрес электронной почты в домене ispras.ru
