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
402003
Подход UniTesK к разработке тестов: достижения и перспективы
ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...
Труды Института системного программирования РАН 5, 2004
332004
Формализация требований на практике
ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов
М.: ИСП РАН, 50, 2006
272006
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
Design and architecture of real-time operating system
KM Mallachiev, NV Pakulin, AV Khoroshilov
Труды Института системного программирования РАН 28 (2), 2016
172016
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
16*2007
Применение формальных методов для тестирования реализации IPv6.
ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман
Труды Института системного программирования РАН 4, 2003
112003
Автоматизация тестирования соответствия для телекоммуникационных протоколов
НВ Пакулин, ВЗ Шнитман, АВ Никешин
Труды Института системного программирования РАН 26 (1), 2014
92014
Анализ методов оценки надежности оборудования и систем. Практика применения методов
НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов
Труды Института системного программирования РАН 30 (3), 2018
82018
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
Model-based testing of internet e-mail protocols
NV Pakulin, AN Tugaenko, VZ Shnitman
Programming and Computer Software 38 (5), 268-275, 2012
72012
Формализация стандартов и тестовых наборов протоколов Интернета
НВ Пакулин
Автореферат диссертации на соискание учёной степени кандидата физико …, 2006
72006
Razrabotka testovogo nabora dlya verifikatsii realizatsiy protokola bezopasnosti TLS [Development of a test suite for the verification of implementations of the TLS security …
AV Nikeshin, NV Pakulin, VZ Shnitman
Trudyi Instituta sistemnogo programmirovaniya RAN [Proceedings of IPS RAS …, 2012
62012
Разработка тестового набора для верификации реализаций протокола безопасности TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 23, 2012
62012
Верификация компиляторов систематический подход
СВ Зеленов, НВ Пакулин
Труды Института системного программирования РАН 13 (1), 2007
62007
Тестирование реализаций клиента протокола TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 27 (2), 2015
52015
Formalization of requirements in practice
VV Kuliamin, NV Pakulin, AK Petrenko, AA Sortov, AV Khoroshilov
Preprint, 2006
52006
Автоматизированное тестирование сетевых сервисов Интернет-протокола
ГВ Ключников, НВ Пакулин, ВЗ Шнитман
Научный сервис в сети Интернет, 168-170, 2005
52005
UniTesK Approach to Test Development: achievements and Prospects
A Barantsev, I Burdonov, A Demakov, S Zelenov, A Kossatchev, ...
Proceedings of ISP RAS, 2004
52004
Analysis of methods for assessing the reliability of equipment and systems. Practice of methods. ISP RAN
EM Lavrischeva, NV Pakulin, AG Ryzhov, SV Zelenov
Proc. ISP RAS 30 (3), 99-120, 2018
42018
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20