| Выпуск | Название | |
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация PDF (Eng) |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) |
| В. В. Каушан | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| Том 25 (2013) | Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге | Аннотация PDF (Rus) |
| Н. Г. Зельцер | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) |
| Севак Саргсян | ||
| Том 37, № 3 (2025) | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация PDF (Eng) |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) |
| В. В. Подымов, В. А. Захаров | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) |
| В. А. Захаров, Т. А. Новикова | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| Том 31, № 2 (2019) | Полуавтоматический подход к параллельному решению задач с использованием модели Multi-BSP | Аннотация PDF (Rus) |
| Марсело Орландо Аланис, Серджо Энрике Несмачнов Кановас | ||
| Том 30, № 5 (2018) | Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf | Аннотация PDF (Rus) |
| С. Г. Ковалёв | ||
| Том 33, № 1 (2021) | Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы | Аннотация PDF (Rus) |
| Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР | ||
| Том 37, № 2 (2025) | Построение гидравлической модели теплообменного аппарата | Аннотация PDF (Rus) |
| Елена Сергеевна БАЙМЕТОВА, Мария Равилевна КОРОЛЕВА | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация PDF (Eng) |
| Д. А. Лебедев, И. А. Стотланд | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация PDF (Eng) |
| К. А. Маллачиев, А. В. Хорошилов | ||
| Том 33, № 4 (2021) | Построение нейросетевых моделей морфологического и морфемного анализа текста | Аннотация PDF (Rus) |
| Александр Сергеевич САПИН | ||
| Том 23 (2012) | Построение обфусцирующего компилятора на основе инфраструктуры LLVM | Аннотация PDF (Rus) |
| Ш. Ф. Курмангалеев, В. П. Корчагин, В. В. Савченко, С. С. Саргсян | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| Том 26, № 6 (2014) | Построение прямого и обратного остовов автоматами на графе | Аннотация PDF (Rus) |
| Игорь Бурдонов, Александр Косачев | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация PDF (Eng) |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) |
| Е. М. Новиков | ||
| Том 34, № 4 (2022) | Построение требований и архитектуры облачного оркестратора платформенных сервисов | Аннотация PDF (Rus) |
| Никита Алексеевич ЛАЗАРЕВ, Олег Дмитриевич БОРИСЕНКО | ||
| Том 34, № 5 (2022) | Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле | Аннотация PDF (Rus) |
| Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ | ||
| Том 32, № 5 (2020) | Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM | Аннотация PDF (Rus) |
| Александр Викторович ШМИД | ||
| Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) |
| Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация PDF (Eng) |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| Том 20 (2011) | Предислоаие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 28, № 5 (2016) | Предисловие | Аннотация PDF (Rus) |
| А. И. Аветисян | ||
| Том 28, № 6 (2016) | Предисловие | Аннотация PDF (Rus) |
| А. И. Аветисян | ||
| Том 27, № 3 (2015) | Предисловие | Аннотация PDF (Rus) |
| А. С. Камкин, А. К. Петренко, А. Н. Терехов | ||
| Том 26, № 1 (2014) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 26, № 4 (2014) | Предисловие | Подробности PDF (Rus) |
| С. Д. Кузнецов | ||
| Том 26, № 5 (2014) | Предисловие | Аннотация PDF (Rus) |
| А. И. Аветисян | ||
| Том 26, № 6 (2014) | Предисловие | Аннотация PDF (Rus) |
| Н. В. Евтушенко, Ана Р. Кавалли, А. К. Петренко | ||
| Том 25 (2013) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 27, № 6 (2015) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| Том 24 (2013) | Предисловие | Подробности PDF (Rus) |
| В. П. Иванников | ||
| 781 - 819 из 1237 результатов | << < 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 > >> | |
Список названий
Популярные статьи
Том 31, № 3 (2019)
Том 28, № 1 (2016)
Том 30, № 5 (2018)
Том 31, № 1 (2019)
Том 30, № 5 (2018)
Облако тегов
LLVM
OpenFOAM
QEMU
большие данные
верификация
динамический анализ
информационная безопасность
математическое моделирование
машинное обучение
моделирование
нейронные сети
облачные вычисления
обработка естественного языка
операционная система
параллельные вычисления
символьное выполнение
статический анализ
тестирование
фаззинг
формальные методы
численное моделирование
Уведомления
109004, Москва, ул. Александра Солженицына, 25
ИСП РАН
тел.: +7-495-912-44-25
e-mail: proceedings@ispras.ru
