brand

Публикации


Новости

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта
07 Декабря, 2024 Прощание с академиком Е.П. Велиховым
06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

Публикации

2017

  1. Кузюрин Н.Н., Лазарев Д.О. Исследование максимального размера плотного подграфа случайного графа Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 213-220.
  2. Лазарев Д.О., Кузюрин Н.Н. Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 221-228.
  3. Грушин Д.А., Кузюрин Н.Н. Задачи оптимизации размещения контейнеров MPI-приложений на вычислительных кластерах Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 229-244.

2015

  1. В.А.Захаров, В.В. Подымов Применение алгоритмов проверки эквивалентности для оптимизации программ Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 145-174.
  2. A.С. Асратян, Н.Н. Кузюрин Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 191-198.
  3. Д.А. Грушин, Н.Н Кузюрин Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 23-34.

2014

  1. Захаров В.А. Об эквивалентности потоковых программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2014, Изд-во механико-математического ф-та МГУ Москва, с. 119-121.
  2. Новикова Т.А., Захаров В.А. О сложности задачи решения линейных уравнений над конечными подстановками. Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 221-223.
  3. Захаров В.А. Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами. Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 100-102.
  4. Захаров В.А., Чемерицкий Е.В. О некоторых задачах реконфигурирования программно-конфигурируемых сетей. Моделирование и анализ информационных систем, 2014, том 21, № 6, с. 57-69.
  5. Н.Н. Кузюрин, Д.А. Грушин, А. Фомин. Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 483-502.
  6. Т.А. Новикова, В.А.Захаров. Двусторонняя унификация программ и ее применение для задач рефакторинга. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 245-268.
  7. Варновский Н.П., Мартишин С.А., Храпченко М.В., Шокуров А.В. Методы пороговой криптографии для защиты облачных вычислений. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 269-274.
  8. В.В. Подымов, В.А.Захаров. Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 145-166.
  9. Н.П. Варновский, В.А.Захаров, Н.Н. Кузюрин, А.В. Шокуров. Современное состояние исследований в области обфускации программ: определения стойкости обфускации. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 167-198.

2013

  1. Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В. Формальная модель и задачи верификации программно-конфигурируемых сетей. Моделирование и анализ информационных систем, 2013, том 20, № 6, с. 33-48.
  2. Подловченко Р.И., Захаров В.А. О двух методах распознавания эквивалентности в алгебраических моделях программ. Интеллектуальные системы, 2013, том 17, № 1-4, с. 366-370.
  3. Шокуров А.В. Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 195-206.

2012

  1. Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В. Как разработать простое средство верификации систем реального времени. Моделирование и анализ информационных систем, 2012, том 19, № 6, с. 45-56.
  2. Захаров В.А. Модели и алгоритмы в задаче проверки эквивалентности программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2012, Изд-во механико-математического ф-та МГУ Москва, с. 53-62.
  3. Захаров В.А., Подымов В.В. Об эквивалентности металинейных унарных рекурсивных программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2012, Изд-во механико-математического ф-та МГУ Москва, с. 157-159.
  4. Захаров В.А., Новикова Т.А. О логико-термальной эквивалентности стандартных схем программ. Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), 2014, Изд-во механико-математического ф-та МГУ Москва, с. 147-149.
  5. М.М. Берновский, Н.Н. Кузюрин. Случайные графы, модели и генераторы безмасштабных графов. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 419-434.
  6. В.А.Захаров, Т.А. Новикова. Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ. Труды Института системного программирования РАН. Том 22, 2012 г. Стр.435-455.
  7. А.В. Шокуров. Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 463-474.
  8. А.В. Шокуров, К.В. Сергеев. Об одном методе построения схемы полного гомоморфного шифрования. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 427-432.
  9. Д.А. Грушин, Н.Н. Кузюрин. Энергоэффективные вычисления для группы кластеров. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 433-446.
  10. Т.А. Новикова, В.А.Захаров. Унификация программ. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 455-476.

2011

  1. Захаров В.А., Подымов В.В. О двухленточных машинах, описывающих полугруппы с сокращением. Материалы 16-й Международной конференции «Проблемы теоретической кибернетики», Нижний Новгород, 20-25 июня 2011, 2011, Нижегородский государственный университет Нижний Новгород, с. 372-375.
  2. Захаров В.А., Новикова Т.А. О применении антиунификации подстановок для проверки эквивалентности программ. Материалы 16-й Международной конференции «Проблемы теоретической кибернетики», Нижний Новгород, 20-25 июня 2011, 2011, Нижегородский государственный университет, с. 340-343.
  3. Захаров В.А. О проблеме эквивалентности потоковых программ. Труды Второй Международной научно-технической конференции «Компьютерные методы и технологии», Белгород, 3-6 октября 2011, 2011, Белгородский государственный университет Белгород, с. 34-37.
  4. В.А. Захаров, Т.А. Новикова. Применение алгебры подстановок для унификации программ. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 141-166.

2010

  1. Захаров В.А. Проверка эквивалентности программ при помощи двухленточных автоматов. Кибернетика и системный анализ, 2010, № 4, с. 39-48.
  2. Захаров В.А., Подымов В.В. Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, 2010, том 14, № 7, с. 94-101.
  3. Захаров В.А., Коннов И.В. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени. Моделирование и анализ информационных систем, 2010, том 17, № 4, с. 78-87.
  4. Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Щербина В.Л. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода. Фундаментальная и прикладная математика, 2010, том 15, № 5, с. 181-198.
  5. Д.А. Грушин, А.И. Поспелов. Система моделирования Grid: реализация и возможности применения. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 243-260.
  6. Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 157-164.

2009

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. О стойкой обфускации компьютерных программ. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, том 15, № 12, с. 97-105.
  2. Захаров В.А., Булычев П.Е. О верификации конечных параметризованных моделей распределенных программ. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, 2009, том 9, № 11, с. 116-123.
  3. Захаров В.А., Костылев Е.В. Об одном обобщении подстановки применительно к вычислению инвариантов программ. Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, Москва, с. 123-130.
  4. Булычев П.Е., Захаров В.А. Универсальный подход к проверке отношений симуляции для моделей программ. Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, Москва, с. 104-110.

2008

  1. Захаров В.А., Щербина В.Л. Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний. Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2008, № 2, с. 33-41.
  2. Захаров В.А. О проблеме эквивалентности в одном классе монадических линейных программ. Тезисы докладов 15-ой международной конференции «Проблемы теоретической кибернетики» (Казань, 2-7 июня, 2008 г.).
  3. Захаров В.А., Костылев Е.В. О сложности задачи антиунификации. Дискретная математика, 2008, том 20, № 1, с. 131-144.
  4. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Шокуров Теоретические аспекты проблемы обфускации программ. Тезисы доклада на XVII Общероссийской научно-технической конференции "Методы и технические средства обеспечения безопасности информации", С. Петербург, 7-11 июля 2008.

2007

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Шокуров А.В., Щербина В.Л. О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов. Известия Южного федерального университета. Технические науки, том 2, № 7, с. 18-27.
  2. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. Современные методы обфускации программ: классификация и сравнительный анализ. Известия Южного федерального университета. Технические науки, 2007, том 76, № 1, с. 93-99.
  3. Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 17-26.
  4. Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 27-36.
  5. I.V. Konnov, V.A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 37-58.
  6. P.E. Bulychev, I.V. Konnov, V.A. Zakharov. Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 59-76.
  7. С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 7-16.
  8. N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 77-94.
  9. И.А. Лавров. Сложность вычислений на абстрактных машинах. Труды Института системного программирования РАН. Том 12, 2007 г. Стр. 95-122.

2006

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. К вопросу об обфускации конечных автоматов. Материалы IX международной конференции «Интеллектуальные системы и компьютерные науки» (23-27 октября 2006 г.), 2006, Изд-во механико-математического ф-та МГУ Москва, том 1, с. 127-130.
  2. Rimma Podlovchenko, Dmitry Rusakov, Vladimir Zakharov. The equivalence problem for programs with mode switching is PSPACE-complete. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 109-128.
  3. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Чернов, А.В. Шокуров. Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 27-60.
  4. В.А. Захаров, К.С. Иванов. О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 61-82.

2005

  1. Варновский Н.П., Захаров В.А., Кузюрин Н.Н. Математические проблемы обфускации. Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г., 2005, МЦНМО, с. 65-91.
  2. Захаров В.А., Захарьящев И.М., Подловченко Р.И., Русаков Д.М., Щербина В.Л. О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 414-421.
  3. Захаров В.А., Костылев Е.В. Об одном обобщении подстановки применительно к задаче статического анализа программ. Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика, 2005, том 4, с. 39-45.
  4. Захаров В.А., Коннов И.В. Об одном подходе к верификации асинхронных параметризованных систем. Труды второй всероссийской конференции «Методы и средства обработки информации», 2005, Изд-во ф-та ВМК МГУ Москва, с. 367-373.
  5. Захаров В.А., Коннов И.В. Об одном подходе к верификации симметрических параметризованных распределенных систем. Программирование, 2005, № 5, с. 24-36.

2004

  1. Захаров В.А., Захарьящев И.М. О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 105-109.
  2. Захаров В.А., Захарьящев И.М. О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 131-134.
  3. Захаров В.А., Костылев Е.В. Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 134-137.
  4. Захаров В.А. Об одной алгебраической модели программ, связанной с обработкой прерываний. Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 129-131.
  5. Захаров В.А., Иванов К.С. Об одной модели последовательных программ с динамической памятью. Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, 2004, МАКС Пресс - МГУ Москва, с. 112-116.
  6. Н.Н. Кузюрин, С.А. Фомин. Покрытие графов циклами и быстрое восстановление оптоволоконных сетей. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 249-268.
  7. N.N. Kuzjurin. Probabilistic analysis of the greedy algorithm. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 101-108.
  8. Н.Н. Кузюрин, С.А. Мартишин, М.В. Храпченко. Генетические алгоритмы в задаче поиска часто встречающихся комбинаций. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 109-126.
  9. N.P. Varnovsky. A note on the concept of obfuscation. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 127-136.
  10. С.Н. Жук. Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 13-26.
  11. K.S. Ivanov, V.A. Zakharov. Program obfuscation as obstruction of program static analysis. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 137-156.
  12. A.V. Shokurov. An approach to quantitative analysis of resistance of equivalent transformations of algebraic circuits. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 157-178.
  13. I.M. Zakharyaschev, V.A. Zakharov. On the equivalence-checking problem for polysemantic models of sequential programs. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 179-198.
  14. С.А. Фомин. Быстрый приближенный алгоритм для задачи положительного линейного программирования. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 27-40.
  15. Н.Н. Кузюрин, О.А. Прокопьев. О распознавании сложности аппроксимации булевых функций. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 41-50
  16. А.И. Поспелов. Анализ одного алгоритма упаковки прямоугольников, связанного с построением расписаний для кластеров. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 7-12.
  17. Н.Н. Кузюрин. Обобщенные покрытия и их аппроксимации. Труды Института системного программирования РАН. Том 6, 2004 г. Стр. 85-100.

2003

  1. Варновский Н.П., Захаров В.А. К вопросу о существовании стойких обфускаторов программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), 2003, МАКС-Пресс - МГУ Москва, с. 26-29.
  2. Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. О перспективах решения задачи обфускации компьютерных программ. Труды конференции (МаБИТ-03) , Москва, 22-24 октября 2003 г, 2003, Московский Центр Непрерывного Мватематического Образования Москва, с. 344-352.
  3. Захаров В.А., Иванов К.С. О противодействии некоторым алгоритмам статического анализа программ. Труды конференции "Математика и безопасность информационных технологий" (МаБИТ-03) , Москва, 22-24 октября 2003 г, 2003, Московский Центр Непрерывного Математического Образования Москва, с. 282-287.
  4. Захаров В.А., Захарьящев И.М. Об одной полисемантической модели последовательных программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем", (Ратмино, 26-29 мая 2003 г.), 2003, МАКС Пресс-МГУ Москва, том 1, с. 26-29.
  5. Захаров В.А., Викторова М.С. Об одной системе вывода, связанной со статическим анализом программ. Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), 2003, МАКС-Пресс - МГУ Москва, с. 26-29.

2002

  1. Захаров В.А., Костылев Е.В. Быстрые алгоритмы антиунификации и их применение при анализе программ. Материалы XIII Международной школы-семинара «Синтез и сложность управляющих систем", 2002, Пенза, с. 76-81.

2001

  1. Захаров В.А. О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах. Математические вопpосы кибеpнетики, М.: Физматлит, 2001, том 10, с. 134-144.
  2. Захаров В.А., Кончаков Р.В. Теоретико-автоматный подход к определению формальных семантик языков программирования. Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 107-114.

2000

  1. Захаров В.А. О проблеме эквивалентности для схем программ с операторами засылки констант. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 153-154.
  2. Захаров В.А., Соколова К.А. О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 29-31.
  3. Захаров В.А. Общие методы построения разрешающих алгоритмов для эквивалентности пропозициональных операторных программ. Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 25-28.
  4. Захаров В.А., Незнанов И.В. Операторные модели взаимодействующих процессов. Математические вопросы кибернетики, М: Физматлит, выпуск 9, 2000, с. 127-160.
  5. Н.Н. Кузюрин, В.А. Захаров, А.Н. Холодов, Л.В. Шабанов, А.В. Шокуров. Эффективные алгоритмы и их программные реализации. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 138-148.