Подписаться
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
Perspectives of System Informatics: 5th International Andrei Ershov Memorial …, 2003
412003
Подход UniTesK к разработке тестов: достижения и перспективы
ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...
Труды Института системного программирования РАН 5, 121-156, 2004
352004
Формализация требований на практике
ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов
М.: ИСП РАН, 50, 2006
322006
Design and architecture of real-time operating system
KM Mallachiev, NV Pakulin, AV Khoroshilov
Труды Института системного программирования РАН 28 (2), 181-192, 2016
262016
Practical approach to specification and conformance testing of distributed network applications
VV Kuliamin, NV Pakoulin, AK Petrenko
Lecture notes in computer science 3694, 68-83, 2005
242005
Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
NV Pakulin, AV Khoroshilov
Programming and Computer Software 33, 316-335, 2007
17*2007
Анализ методов оценки надежности оборудования и систем. Практика применения методов
НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов
Труды Института системного программирования РАН 30 (3), 99-120, 2018
122018
Автоматизация тестирования соответствия для телекоммуникационных протоколов
НВ Пакулин, ВЗ Шнитман, АВ Никешин
Труды Института системного программирования РАН 26 (1), 109-148, 2014
112014
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
112012
Тестирование реализаций клиента протокола TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 27 (2), 145-160, 2015
102015
Разработка тестового набора для верификации реализаций протокола безопасности TLS
АВ Никешин, НВ Пакулин, ВЗ Шнитман
Труды Института системного программирования РАН 23, 387-404, 2012
102012
Formalization of requirements in practice
VV Kulyamin, NV Pakulin, OL Petrenko, AA Sortov, AV Khoroshilov
Preprint, 70, 2006
102006
Применение формальных методов для тестирования реализации IPv6.
ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман
Труды Института системного программирования РАН 4, 121-140, 2003
102003
TLS clients testing
AV Nikeshin, NV Pakulin, VZ Shnitman
Proceedings of the Institute for System Programming of the RAS 27 (2), 145-160, 2015
82015
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
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
72018
Model-based testing of internet e-mail protocols
NV Pakulin, AN Tugaenko, VZ Shnitman
Programming and Computer Software 38, 268-275, 2012
72012
Формализация стандартов и тестовых наборов протоколов Интернета
НВ Пакулин
72006
Верификация компиляторов систематический подход
СВ Зеленов, НВ Пакулин
Труды Института системного программирования РАН 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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20