Nikolay Pakulin (Николай Пакулин)
Nikolay Pakulin (Николай Пакулин)
Подтвержден адрес электронной почты в домене ispras.ru
НазваниеПроцитированоГод
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
372003
Подход UniTesK к разработке тестов: достижения и перспективы
ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...
Труды Института системного программирования РАН 5, 2004
312004
Practical approach to specification and conformance testing of distributed network applications
VV Kuliamin, NV Pakoulin, AK Petrenko
International Service Availability Symposium, 68-83, 2005
232005
Формализация требований на практике
ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов
М.: ИСП РАН, 50, 2006
22*2006
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
Design and architecture of real-time operating system
KM Mallachiev, NV Pakulin, AV Khoroshilov
Труды Института системного программирования РАН 28 (2), 2016
102016
Применение формальных методов для тестирования реализации IPv6.
ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман
Труды Института системного программирования РАН 4, 2003
92003
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
82005
Автоматизация тестирования соответствия для телекоммуникационных протоколов
НВ Пакулин, ВЗ Шнитман, АВ Никешин
Труды Института системного программирования РАН 26 (1), 2014
62014
Разработка тестового набора для верификации реализаций протокола безопасности TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 23, 2012
52012
Верификация компиляторов систематический подход
СВ Зеленов, НВ Пакулин
Труды Института системного программирования РАН 13 (1), 2007
52007
Формализация стандартов и тестовых наборов протоколов Интернета
НВ Пакулин
Автореферат диссертации на соискание учёной степени кандидата физико …, 2006
52006
Автоматизированное тестирование сетевых сервисов Интернет-протокола
ГВ Ключников, НВ Пакулин, ВЗ Шнитман
Научный сервис в сети Интернет, 168-170, 2005
52005
Тестирование реализаций клиента протокола TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 27 (2), 2015
42015
Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 18, 2010
42010
Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 18, 2010
42010
Анализ методов оценки надежности оборудования и систем. Практика применения методов
НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов
Труды Института системного программирования РАН 30 (3), 2018
32018
Model-based testing of internet e-mail protocols
NV Pakulin, AN Tugaenko, VZ Shnitman
Programming and Computer Software 38 (5), 268-275, 2012
32012
Integrated Modular Avionics: New Challenges for MBT
NV Pakulin
ETSI TTCN-3 User Conference and Model Based Testing Workshop, Bangalore …, 2012
32012
Верификация функций безопасности протокола IPsec v2
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Программирование 37 (1), 36-56, 2011
32011
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20