Публикации Отдела системного программирования

Публикации

2017

1. М.К. Ермаков, А.Ю. Герасимов, Д.О. Куц, А.А. Новиков Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 119-134.
2. С.П. Вартанов, М.К. Ермаков, А.Ю. Герасимов Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 135-148.
3. С.П. Вартанов, А.Ю. Герасимов, М.К. Ермаков, Д.О. Куц, А.А. Новиков Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Труды Института системного программирования РАН. Том 29, выпуск 1, 2017 г. Стр. 149-166.
4. А.Ю. Герасимов Обзор подходов к улучшению качества результатов статического анализа программ Труды Института системного программирования РАН. Том 29, выпуск 3, 2017 г. Стр. 75-98.
5. Герасимов А.Ю., Круглов Л.В., Ермаков М.К., Вартанов С.П. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 111-134.

2016

1. А.Ю. Герасимов, Л.В. Круглов Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Труды Института системного программирования РАН. Том 28, выпуск 5, 2016 г. Стр. 159-174.

2015

1. С.П. Вартанов, М.К. Ермаков Применение статической инструментации байт-кода языка Java для динамического анализа программ Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 25-38.
2. М.К. Ермаков, С.П. Вартанов Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 5-24.

2014

1. С.П. Вартанов, А.Ю. Герасимов. Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 375-394.
2. С.В. Сыромятников, И.Е. Бронштейн, Н.Л. Луговской. Рефакторинг в рамках программного проекта. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 395-402.

2013

1. И.Е. Бронштейн. Вывод типов для языка Python. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 161-190.
2. В.П. Иванников, С.П. Вартанов, М.К. Ермаков. Автоматический поиск ошибок синхронизации в приложениях на платформе Android. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 191-206.
3. М.К. Ермаков, А.Ю. Герасимов. Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 29-38.
4. Н.Г. Зельцер. Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 39-50.
5. Н.Л. Луговской, С.В. Сыромятников. Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 51-66.
6. И.Е. Бронштейн. Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 67-84.
7. С.П. Вартанов, А.Ю. Герасимов. Применение динамического анализа для поиска дефектов в программах на языке Java Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 9-28.

2012

1. В.О. Савицкий, Д.В. Сидоров. Инкрементальный анализ исходного кода на языках C/C++. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 119-130.
2. С. П. Вартанов, Д.В. Сидоров. Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 281-292.

2011

1. С.В. Сыромятников. Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 51-68.
2. И.К. Исаев, Д.В. Сидоров, А.Ю. Герасимов, М.К. Ермаков. Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах, использующих сетевые сокеты. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 55-70.

2010

1. А.В. Филоненко, И.К. Исаев, Д.В. Сидоров, Ю.М. Туманов. Поиск уязвимостей по бинарному коду с помощью проверки выполнимости ограничений. Безопасность информационных технологий, №3, 2010.
2. Исаев И.К., Сидоров Д.В. Применение динамического анализа для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах. Программирование, №4, 2010.

2006

1. А. Волков. Использование ролей в сценариях взаимодействия. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 193-222.

2004

1. К.В. Буздин. Исполнение моделей при помощи виртуальной машины. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 199-210.
2. М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 211-228.

1978-1997

1. Каменский В. Е., Климов А. В., Манжелей С. Г., Соловская Л. Б. Применение стандартов CORBA для унаследованных систем. Вопросы кибернетики, N 3, 1997.
2. Дышлевой К. В. IDL C++ меппинг. CORBA и возможная альтернатива. Вопросы кибернетики, N 3, 1997.
3. Иванников В. П., Дышлевой К. В., Каменский В. Е., Климов А. В., Манжелей С. Г., Омельченко В. А., Соловская Л. Б., Винокуров А. А. Модель оболочки: среда для проектирования и выполнения распределённых приложений.
4. Иванников В. П., Винокуров А. Н., Дышлевой К. В., Каменский В. Е., Климов А. В., Манжелей С. Г., Омельченко В. А., Соловская Л. Б. Методология разработки распределённых приложений на основе модели оболочки. Вопросы кибернетики, № 3, 1997.
5. Дышлевой К. В., Каменский В. Е., Соловская Л. Б. Маршалинг данных в распределённых системах: сравнение двух подходов. Вопросы кибернетики, N 3, 1997.
6. Иванников В. П., Дышлевой К. В., Задорожный В. И. Детализация метарасширений для эффективного управления метаобъектами. Программирование, N 4, 1997