| 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 | 41 | 2003 |
| Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 121-156, 2004 | 35 | 2004 |
| Формализация требований на практике ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов М.: ИСП РАН, 50, 2006 | 32 | 2006 |
| Design and architecture of real-time operating system KM Mallachiev, NV Pakulin, AV Khoroshilov Труды Института системного программирования РАН 28 (2), 181-192, 2016 | 26 | 2016 |
| 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 | 24 | 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, 316-335, 2007 | 17* | 2007 |
| Анализ методов оценки надежности оборудования и систем. Практика применения методов НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов Труды Института системного программирования РАН 30 (3), 99-120, 2018 | 12 | 2018 |
| Автоматизация тестирования соответствия для телекоммуникационных протоколов НВ Пакулин, ВЗ Шнитман, АВ Никешин Труды Института системного программирования РАН 26 (1), 109-148, 2014 | 11 | 2014 |
| 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 | 11 | 2012 |
| Тестирование реализаций клиента протокола TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 27 (2), 145-160, 2015 | 10 | 2015 |
| Разработка тестового набора для верификации реализаций протокола безопасности TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 23, 387-404, 2012 | 10 | 2012 |
| Formalization of requirements in practice VV Kulyamin, NV Pakulin, OL Petrenko, AA Sortov, AV Khoroshilov Preprint, 70, 2006 | 10 | 2006 |
| Применение формальных методов для тестирования реализации IPv6. ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман Труды Института системного программирования РАН 4, 121-140, 2003 | 10 | 2003 |
| TLS clients testing AV Nikeshin, NV Pakulin, VZ Shnitman Proceedings of the Institute for System Programming of the RAS 27 (2), 145-160, 2015 | 8 | 2015 |
| 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 |
| 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 | 7 | 2018 |
| Model-based testing of internet e-mail protocols NV Pakulin, AN Tugaenko, VZ Shnitman Programming and Computer Software 38, 268-275, 2012 | 7 | 2012 |
| Формализация стандартов и тестовых наборов протоколов Интернета НВ Пакулин | 7 | 2006 |
| Верификация компиляторов систематический подход СВ Зеленов, НВ Пакулин Труды Института системного программирования РАН 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 |
Виктор Зиновьевич ШнитманИнститут системного программирования РАН, МФТИПодтвержден адрес электронной почты в домене ispras.ru
