| 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 | 40 | 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 | 28 | 2016 |
| Practical approach to specification and conformance testing of distributed network applications VV Kuliamin, NV Pakoulin, AK Petrenko Service Availability: Second International Service Availability Symposium …, 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 | 14 | 2018 |
| Разработка тестового набора для верификации реализаций протокола безопасности TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 23, 387-404, 2012 | 12 | 2012 |
| Тестирование реализаций клиента протокола TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 27 (2), 145-160, 2015 | 11 | 2015 |
| Автоматизация тестирования соответствия для телекоммуникационных протоколов НВ Пакулин, ВЗ Шнитман, АВ Никешин Труды Института системного программирования РАН 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 | 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 |
| Analysis of methods for assessing the reliability of equipment and systems. Practice of methods EM Lavrischeva, NV Pakulin, AG Ryzhov, SV Zelenov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2018 | 9 | 2018 |
| Формализация стандартов и тестовых наборов протоколов Интернета НВ Пакулин | 8 | 2006 |
| 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 |
| TLS clients testing AV Nikeshin, NV Pakulin, VZ Shnitman Proceedings of the Institute for System Programming of the RAS 27 (2), 145-160, 2015 | 7 | 2015 |
| Model-based testing of internet e-mail protocols NV Pakulin, AN Tugaenko, VZ Shnitman Programming and Computer Software 38, 268-275, 2012 | 7 | 2012 |
| UniTesK Approach to Test Development: achievements and Prospects A Barantsev, I Burdonov, A Demakov, S Zelenov, A Kossatchev, ... Proceedings of ISP RAS, 2004 | 7 | 2004 |
| Верификация компиляторов систематический подход СВ Зеленов, НВ Пакулин Труды Института системного программирования РАН 13 (1), 47-64, 2007 | 6 | 2007 |
Виктор Зиновьевич ШнитманИнститут системного программирования РАН, МФТИПодтвержден адрес электронной почты в домене ispras.ru
