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


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

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

Содержание

Лаврищева Е.М., Петренко А.К. Информатика и ЭВМ-70. Анализ и аспекты развития

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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