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 |
Формализация требований на практике ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов М.: ИСП РАН, 50, 2006 | 27 | 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 | 17 | 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 | 16* | 2007 |
Применение формальных методов для тестирования реализации IPv6. ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман Труды Института системного программирования РАН 4, 2003 | 11 | 2003 |
Автоматизация тестирования соответствия для телекоммуникационных протоколов НВ Пакулин, ВЗ Шнитман, АВ Никешин Труды Института системного программирования РАН 26 (1), 2014 | 9 | 2014 |
Анализ методов оценки надежности оборудования и систем. Практика применения методов НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов Труды Института системного программирования РАН 30 (3), 2018 | 8 | 2018 |
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 |
Model-based testing of internet e-mail protocols NV Pakulin, AN Tugaenko, VZ Shnitman Programming and Computer Software 38 (5), 268-275, 2012 | 7 | 2012 |
Формализация стандартов и тестовых наборов протоколов Интернета НВ Пакулин Автореферат диссертации на соискание учёной степени кандидата физико …, 2006 | 7 | 2006 |
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 | 6 | 2012 |
Разработка тестового набора для верификации реализаций протокола безопасности TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 23, 2012 | 6 | 2012 |
Верификация компиляторов систематический подход СВ Зеленов, НВ Пакулин Труды Института системного программирования РАН 13 (1), 2007 | 6 | 2007 |
Тестирование реализаций клиента протокола TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 27 (2), 2015 | 5 | 2015 |
Formalization of requirements in practice VV Kuliamin, NV Pakulin, AK Petrenko, AA Sortov, AV Khoroshilov Preprint, 2006 | 5 | 2006 |
Автоматизированное тестирование сетевых сервисов Интернет-протокола ГВ Ключников, НВ Пакулин, ВЗ Шнитман Научный сервис в сети Интернет, 168-170, 2005 | 5 | 2005 |
UniTesK Approach to Test Development: achievements and Prospects A Barantsev, I Burdonov, A Demakov, S Zelenov, A Kossatchev, ... Proceedings of ISP RAS, 2004 | 5 | 2004 |
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 | 4 | 2018 |