|
Informatics: Formation of computer software and technologies of software systems
E. M. Lavrischeva, A. K. Petrenko
|
7 |
|
|
Метод анализа атак повторного использования кода
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян
|
31 |
|
|
Об одном подходе к анализу строк в языке Си для поиска переполнения буфера
И. А. Дудина, Н. Е. Малышев
|
55 |
|
|
Approach to analyzing executable code based on the software architecture recovery
D. S. Kononov
|
75 |
|
|
Platform for interprocedural static analysis of binary code
H. K. Aslanyan
|
89 |
|
|
Tracing ext3 file system operations in the QEMU emulator
V. M. Stepanov, P. M. Dovgalyuk, D. N. Poletaev
|
101 |
|
|
Reading the contents of deleted and modified files in the virtualization based black-box binary analysis system Drakvuf
S. G. Kovalev
|
109 |
|
|
Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems
A. V. Samonov, G. N. Samonova
|
123 |
|
|
TLA+ based access control model specification
A. V. Kozachok
|
147 |
|
|
Formalizing metamodel of requirements management system
D. S. Kildishev, A. V. Khoroshilov
|
163 |
|
|
Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах
И. С. Алимова, Е. В. Тутубалина
|
177 |
|
|
Rock flow simulation by high-order quasi-characteristics scheme
M. P. Levin
|
197 |
|
|
Specialized robust CFD RANS microscale meteorological model for modelling atmospheric processes and transport of contaminants in urban and industrial areas
O. S. Sorokovikova, D. V. Dzama, D. G. Asfandiyarov
|
213 |
|
|
Numerical simulation of motions of a ship with a moonpool in head waves
K. D. Ovchinnikov
|
235 |
|
|
Ontological CFD-repository
V. A. Zenkin
|
249 |
|
|
Проверка функциональных свойств смарт-контрактов методом символьной верификации модели
Е. С. Шишкин
|
265 |
