Подписаться
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
412003
Подход UniTesK к разработке тестов: достижения и перспективы
ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...
Труды Института системного программирования РАН 5, 121-156, 2004
352004
Формализация требований на практике
ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов
М.: ИСП РАН, 50, 2006
312006
Design and architecture of real-time operating system
KM Mallachiev, NV Pakulin, AV Khoroshilov
Труды Института системного программирования РАН 28 (2), 181-192, 2016
242016
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
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
17*2007
Анализ методов оценки надежности оборудования и систем. Практика применения методов
НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов
Труды Института системного программирования РАН 30 (3), 99-120, 2018
112018
Применение формальных методов для тестирования реализации IPv6.
ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман
Труды Института системного программирования РАН 4, 121-140, 2003
112003
Автоматизация тестирования соответствия для телекоммуникационных протоколов
НВ Пакулин, ВЗ Шнитман, АВ Никешин
Труды Института системного программирования РАН 26 (1), 109-148, 2014
102014
Тестирование реализаций клиента протокола TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 27 (2), 145-160, 2015
92015
Разработка тестового набора для верификации реализаций протокола безопасности TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 23, 387-404, 2012
92012
Formalization of requirements in practice
VV Kulyamin, NV Pakulin, OL Petrenko, AA Sortov, AV Khoroshilov
Preprint, 70, 2006
92006
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
82012
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
Формализация стандартов и тестовых наборов протоколов Интернета
НВ Пакулин
72006
Analysis of methods for assessing the reliability of equipment and systems. Practice of methods. Trudy ISP RAN
EM Lavrischeva, NV Pakulin, AG Ryzhov, SV Zelenov
Proc. ISP RAS 30 (3), 99-120, 2018
62018
Верификация компиляторов систематический подход
СВ Зеленов, НВ Пакулин
Труды Института системного программирования РАН 13 (1), 47-64, 2007
62007
UniTesK Approach to Test Development: achievements and Prospects
A Barantsev, I Burdonov, A Demakov, S Zelenov, A Kossatchev, ...
Proceedings of ISP RAS, 2004
62004
TLS clients testing
AV Nikeshin, NV Pakulin, VZ Shnitman
Proceedings of the Institute for System Programming of the RAS 27 (2), 145-160, 2015
52015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20