brand

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


Новости

28 Сентября, 2026 Конкурс на замещение должности
03 Августа, 2026 Защита диссертаций
11 Июля, 2026 Защита диссертаций

Публикации

2026

  1. Найденова К.А., Булыкина Е.С., Пархоменко В.А., Мартирова Т.А. Сравнительный анализ порождения глагольного эллипсиса большими языковыми моделями (LLMs) и человеком Труды Института системного программирования РАН. Том 38, выпуск 3, часть 4, 2026 г. Стр. 145-156.
  2. Еремеев М.А., Хумонен И.С., Голядкин М.Ю., Фитискина А.А., Макаров И.А. Автоматическое восстановление берестяных грамот методами маскированного языкового моделирования Труды Института системного программирования РАН. Том 38, выпуск 6, часть 1, 2026 г. Стр. 177-192.

2025

  1. Найдёнова К.A., Булыкина Е.С., Мартирова Т.A. Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач. Труды Института системного программирования РАН. Том 37, выпуск 3, 2025 г. Стр. 185-194.

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.