| Обзор подходов к верификации распределенных систем ИБ Бурдонов, АС Косачев, ВН Пономаренко, ВЗ Шнитман Препринт 16 ИСП РАН, 1-61, 2006 | 25 | 2006 |
| Современные высокопроизводительные компьютеры. Информационно-аналитические материалы центра информационных технологий, 1996: http В Шнитман hardware/app_kis, 1996 | 24 | 1996 |
| Аппаратно-программные платформы корпоративных информационных систем ВЗ Шнитман, СД Кузнецов М.: МГУ, 2015 | 21 | 2015 |
| Современные высокопроизводительные компьютеры В Шнитман CIT Forum, 1996 | 17 | 1996 |
| Разработка тестового набора для верификации реализаций протокола безопасности TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 23, 387-404, 2012 | 15 | 2012 |
| Автоматизация тестирования соответствия для телекоммуникационных протоколов НВ Пакулин, ВЗ Шнитман, АВ Никешин Труды Института системного программирования РАН 26 (1), 109-148, 2014 | 13 | 2014 |
| Отказоустойчивые компьютеры компании Stratus В Шнитман Открытые системы, 12-22, 1998 | 12 | 1998 |
| Тестирование реализаций клиента протокола TLS АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 27 (2), 145-160, 2015 | 11 | 2015 |
| Применение формальных методов для тестирования Mobile IPv6 ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман Тезисы международной конференции «Интернет нового поколения–IPv6», г …, 2003 | 11* | 2003 |
| ПРИМЕНЕНИЕ ФОРМАЛЬНЫХ МЕТОДОВ ДЛЯ ТЕСТИРОВАНИЯ РЕАЛИЗАЦИИ IPV6. ГВ Ключников, АС Косачев, НВ Пакулин, АК Петренко, ВЗ Шнитман Труды Института системного программирования РАН 4, 121-140, 2003 | 11 | 2003 |
| Серверы корпоративных баз данных, информационноаналитические материалы центра информационных технологий ВЗ Шнитман, СД Кузнецов Проверено, 2014 | 10 | 2014 |
| Model-based testing of internet e-mail protocols NV Pakulin, AN Tugaenko, VZ Shnitman Programming and Computer Software 38, 268-275, 2012 | 8 | 2012 |
| Науч ные, технологические и методические аспекты создания вычис лительной системы" Электроника СС БИС–1" ВА Мельников, ЮИ Митропольский, ВЗ Шнитман Юби лейный сборник трудов Отделения информатики, вычислитель ной техники и …, 1993 | 8 | 1993 |
| Современные высокопроизводительные компьютеры [Электронный ресурс] В Шнитман Информ.-аналит. материалы Центра информ. технологий. Электрон. дан, 1996 | 7 | 1996 |
| Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета АВ Никешин, ВЗ Шнитман Труды Института системного программирования РАН 30 (6), 89-104, 2018 | 6 | 2018 |
| Серверы корпоративных баз данных ВЗ Шнитман, СД Кузнецов ww. citforum. ru, 2017 | 5 | 2017 |
| Мутационное тестирование сетевых протоколов с использованием формальных моделей АВ Никешин, НВ Пакулин, ВЗ Шнитман Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции …, 2015 | 5 | 2015 |
| Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 АВ Никешин, НВ Пакулин, ВЗ Шнитман Труды Института системного программирования РАН 18, 151-182, 2010 | 5 | 2010 |
| Автоматизированное тестирование сетевых сервисов Интернет-протокола ГВ Ключников, НВ Пакулин, ВЗ Шнитман Труды Всероссийской научной конференции «Научный сервис в сети ИНТЕРНЕТ …, 2005 | 5 | 2005 |
| Отказоустойчивые серверы ServerNet В Шнитман Открытые системы, 5-11, 1996 | 5 | 1996 |
Nikolay Pakulin (Николай Пакулин)Институт системного программирования РАНVerified email at ispras.ru
Nikolay Pakulin (Николай Пакулин)Институт системного программирования РАНVerified email at ispras.ru