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 | 41 | 2003 |
Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 121-156, 2004 | 35 | 2004 |
Формализация требований на практике ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов М.: ИСП РАН, 50, 2006 | 31 | 2006 |
Design and architecture of real-time operating system KM Mallachiev, NV Pakulin, AV Khoroshilov Труды Института системного программирования РАН 28 (2), 181-192, 2016 | 24 | 2016 |
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 |
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 | 11 | 2018 |
Применение формальных методов для тестирования реализации IPv6. ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман Труды Института системного программирования РАН 4, 121-140, 2003 | 11 | 2003 |
Автоматизация тестирования соответствия для телекоммуникационных протоколов НВ Пакулин, ВЗ Шнитман, АВ Никешин Труды Института системного программирования РАН 26 (1), 109-148, 2014 | 10 | 2014 |
Тестирование реализаций клиента протокола TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 27 (2), 145-160, 2015 | 9 | 2015 |
Разработка тестового набора для верификации реализаций протокола безопасности TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 23, 387-404, 2012 | 9 | 2012 |
Formalization of requirements in practice VV Kulyamin, NV Pakulin, OL Petrenko, AA Sortov, AV Khoroshilov Preprint, 70, 2006 | 9 | 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 | 8 | 2012 |
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 |
Формализация стандартов и тестовых наборов протоколов Интернета НВ Пакулин | 7 | 2006 |
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 | 6 | 2018 |
Верификация компиляторов систематический подход СВ Зеленов, НВ Пакулин Труды Института системного программирования РАН 13 (1), 47-64, 2007 | 6 | 2007 |
UniTesK Approach to Test Development: achievements and Prospects A Barantsev, I Burdonov, A Demakov, S Zelenov, A Kossatchev, ... Proceedings of ISP RAS, 2004 | 6 | 2004 |
TLS clients testing AV Nikeshin, NV Pakulin, VZ Shnitman Proceedings of the Institute for System Programming of the RAS 27 (2), 145-160, 2015 | 5 | 2015 |