Публикации отдела "Архитектуры вычислительных систем"

Публикации

2015

1. Никешин А.В., Пакулин Н.В., Шнитман В.З. Мутационное тестирование сетевых протоколов с использованием формальных моделей. В сборнике: Научный сервис в сети Интернет труды XVII Всероссийской научной конференции. ИПМ им. М.В.Келдыша. Москва, 2015. С. 259-266.

2014

1. Н.В. Пакулин, В.З. Шнитман, А.В. Никешин. Автоматизация тестирования соответствия для телекоммуникационных протоколов. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 109-148.

2009

1. Я.С. Губенко, А.С. Камкин, М.М. Чупилко. Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 133-143.

2008

1. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман Особенности тестирования сервисов безопасности сетевого уровня IPsec второй версии. Труды Всероссийской научной конференции. М.: Изд-во МГУ, 2008, стр. 468.

2007

1. В.В. Кулямин Подходы к организации сложных тестовых наборов". Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 4-11.
2. Н.В. Пакулин Применение формальных методов для тестирования реализаций сложных современных протоколов. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 11-18.
3. К.В. Ребриков, В.З. Шнитман Протоколы автоматического установления контекстов безопасности и управления ключами в Интернет. Препринт ИСП РАН, 19. М., 2007, стр. 72.
4. Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 143-170.

2006

1. Н.В. Пакулин, В.З. Шнитман Валидация транспортной подсистемы распределённого приложения. Труды Всероссийской научной конференции. М.: Изд-во МГУ, 2006, стр. 75-79.

2005

1. Ключников Г.В., Пакулин Н.В., Шнитман В.З. Автоматизированное тестирование сетевых сервисов Интернет-протокола. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.168-170.

2004

1. Пакулин Н.В. Формальная спецификация протокола IPsec. Международная конференция "Интернет нового поколения - IPv6", Москва 2004, стр. 14-23.
2. Ключников Г.В., Косачев А.С., Пакулин Н.В., Петренко А.К., Никешин А.В., Мишин Д.С., Москалев Д.В., Шнитман В.З. Исследования IPv6 в ИСП РАН. Международная конференция "Интернет нового поколения - IPv6", Москва 2004, стр. 9- 14.
3. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, А.В. Никешин, В.З. Шнитман. Межпротокольный шлюз NAT-PT с функциями DNS-ALG и FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 167-198.

2003

1. А.С. Косачев, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман Формализация требований Интернет-стандартов для тестирования реализаций коммуникационных протоколов. Сборник трудов Всероссийской научной конференции "Научный сервис в сети Интернет", г. Новороссийск, 2003, стр. 318-321.
2. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман Использование методов трансляции протоколов и адресов для обеспечения совместимости IPv4 и IPv6. Сборник трудов Всероссийской научной конференции "Научный сервис в сети Интернет", г. Новороссийск, 2003, стр. 316-318.
3. Г.В. Ключников, А.С. Косачев, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман Применение формальных методов для тестирования Mobile IPv6. Сборник тезисов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2003, стр. 20-25.
4. Г.В. Ключников, А.В. Никешин, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман Тестирование сетевых модулей и генератор сетевых пакетов. Сборник тезисов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2003, стр. 26-31.
5. Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 121-140.

2002

1. Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман Механизмы перехода с IPv4 на IPv6. Использование методов трансляции протоколов и адресов для обеспечения совместимости IPv4 и IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 23-28.
2. Шнитман В.З. Основные концепции и особенности семейства протоколов IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 34-36.
3. И. Агамирзян, С.Г. Грошев, А.В. Хорошилов, Г.В. Ключников, А.С. Косачев, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман Применение формальных методов для тестирования MSR IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 29-33.

2001

1. В.З. Шнитман, А.А. Ломака. Обеспечение совместимости протоколов IPv4 и IPv6: бесконтекстный IP/ICMP транслятор в среде Linux. Труды Института системного программирования РАН. Том 2, 2001 г. Стр. 115-140.

2000

1. Шнитман В.З. Проблемы организации взаимодействия сетей, построенных на базе протоколов IPv4 и IPv6. Сб. тезисов докладов Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", г.Новороссийск, 2000г., стр. 16-17.