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


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

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

Содержание

Лаврищева Е.М., Петренко А.К. Информатика. становление программного обеспечения и технологий программных систем Стр. 7-32.

Вишняков А.В., Нурмухаметов А.Р., Курмангалеев Ш.Ф., Гайсарян С.С. Метод анализа атак повторного использования кода Стр. 33-56.

Дудина И.А., Малышев Н.Е. Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Стр. 57-76.

Кононов Д.С. Подход к анализу исполняемого кода на основе восстановления программной архитектуры Стр. 77-90.

Козачок А.В. Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта

Кильдишев Д.С., Хорошилов А.В. Формализация метамодели системы управления требованиями

Алимова И.С., Тутубалина Е.В. Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах

Левин М.П. Численное моделирование двухфазных потоков по существенно гетерогенным пористым средам по схеме квази-характеристик высокого порядка

Сороковикова О.С., Дзама Д.В., Асфандияров Д.Г. Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки

Овчинников К.Д. Численное моделирование качки судна с шахтным устройством на встречном волнении

Зенкин В.А. Онтологический репозиторий для CFD-расчетов

Шишкин Е.С. Проверка функциональных свойств смарт-контрактов методом символьной верификации модели

Асланян А.К. Платформа межпроцедурного статического анализа бинарного кода Стр. 91-102.

Степанов В.М., Довгалюк П.М., Полетаев Д.Н. Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Стр. 103-110.

Ковалёв С.Г. Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf Стр. 111-124.

Самонов А.В., Самонова Г.Н. Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Стр. 125-148.

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