Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 29, выпуск 3, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией члена-корреспондента РАН А.И. Аветисяна

Скачать полный выпуск
PDF


Содержание

П.Н. Девянин О проблеме представления формальной модели политики безопасности операционных систем Стр. 7-16.

А. В. Козачок, Е. В. Кочетков Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Стр. 17-30.

В.А. Падарян О представлении результатов обратной инженерии бинарного кода Стр. 31-42.

А.В. Хорошилов, И.В. Щепетков ADV_SPM — Формальные модели политики безопасности на практике Стр. 43-56.

А.П. Меркулов, С.А. Поляков, А.А. Белеванцев Анализ программ на языке Java в инструменте Svace Стр. 57-74.

А.Ю. Герасимов Обзор подходов к улучшению качества результатов статического анализа программ Стр. 75-98.

М.В. Беляев, Н.В. Шимчик, В.Н. Игнатьев, А.А. Белеванцев Сравнительный анализ двух подходов к статическому анализу помеченных данных Стр. 99-116.

А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, Е. Ф. Евстропов Обзор задач и методов их решения в области классификации сетевого трафика Стр. 117-150.

В.О. Мордань Комбинация методов статической верификации композиции требований Стр. 151-170.

Ю.А. Солоделов, Н.К. Горелиц Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов Стр. 171-178.

Е. Ю. Шарыгин,  Р. А. Бучацкий Обзор методов динамической компиляции запросов Стр. 179-224.

Н.Н. Кузюрин О задаче приближенного нахождения максимальной двудольной клики Стр. 225-232.

А. Сотников, Н. Шабалдина, М. Громов Эксперименты по построению параллельной композиции временных автоматов Стр. 233-246.

А.С. Аничкин, В.А. Семенов Объектно-ориентированный каркас для программной реализации приложений теории расписаний Стр. 247-296.

Вернуться к списку всех томов