Том 38, выпуск 6, часть 2

Никульшин П.А., Дубич Е.В., Хорошилов А.В. SyzAnalyzer: Инструмент анализа трудновоспроизводимых ошибок в ядре Linux Стр. 7-20.

Ищенко А.Д., Ануреев И.С. Применение статического анализа для сокращения количества порождаемых условий корректности для программ на языке Reflex Стр. 21-40.

Зеленов С.В. Автоматическая генерация тестов для оптимизаторов на основе атрибутной грамматики Стр. 41-56.

Первунецких Е.Д. Использование TLA+ и методологии Цая-Ли для построения моделей транзакционной памяти Стр. 57-66.

Паршин М.А., Степанов Д.С. Автоматическая генерация тестов по состоянию исполнения с применением больших языковых моделей Стр. 67-92.

Соловьев М.В., Дробышевский М.Д., Моисейкин А.Д., Полтавцев Е.Ю., Потурило Е.Н., Халько И.С. Модели прозрачного ящика для графовых данных: таксономия, иллюстративный анализ и перспективы формирующегося направления Стр. 93-116.

Кабаков В.А., Мицюк А.А. Goldfish: веб-редактор сетей Петри для совместной работы с синхронизацией в режиме реального времени Стр. 117-132.

Авдошин С.М., Песоцкая Е.Ю. Искусственный интеллект для программной инженерии (AI4SE): обзор возможностей, методов оценки и проблем верификации Стр. 133-146.

Сентюрев М.А., Макаров И.А. О разработке функций активации для повышения эффективной ёмкости и устойчивости нейронных сетей Стр. 147-162.

Бубенков И.И., Быков О.И., Матюшин Д.А. Анализ методов ограничения генерации нежелательных изображений в диффузионных моделях Стр. 163-186.

Костин М.А., Довгалюк П.М., Фурсова Н.И., Степанов В.М. Выбор метрик для ранжирования функций из поверхности атаки Стр. 187-198.

Косогоров Д.Е., Копылов Д.Е., Охотин И.И., Поддубный А.И., Тобола К.В., Дородных Н.О., Михайлов А.А. Мультимодальный графовый подход к генерации с дополнительным поиском Стр. 199-226.

Егорова Е.П. ИИгра: Архитектура платформы для исследования взаимодействия ИИ-агентов в иммерсивных средах Стр. 227-238.

Заплатин О.А., Фёдоров С.В., Локтев Д.А. Метод виртуальной камеры для локализации объектов в поле зрения сверхширокоугольной камеры Стр. 239-248.

Матюшин Д.А., Быков О.И., Бубенков И.И. Исследование применения диффузионного редактирования для аугментации в задачах классификации изображений Стр. 249-274.

Ионов Т.Р., Малых В.А. MAESTRO: Синтез многоходовых агентных окружений для обучения и оптимизации Стр. 275-284.

Гончарова О.В. Принципы построения системы просодической аннотации на основе параметрических данных Стр. 285-302.

Ковылин С.В. Развитие аблативного форманта *naːnɨ в селькупских диалектах Стр. 303-316.

Фаст Н.М., Кривоногов А.С., Кознов Д.В. Предметно-ориентированное моделирование радиотехнических измерительных стендов Стр. 317-332.

Титова А.В., Карпов А.И. Параметрическое исследование численных характеристик динамики пневмогидравлических устройств на основе сопряжённой осесимметричной CFD-модели Стр. 333-346.

Бут И.И. Реализация квазигазодинамического алгоритма на блочно-структурированных адаптивных сетках для задач сжимаемых течений Стр. 347-362.

Петренко А.С. Квантово-устойчивая хэш-функция BLAKE-PQ. Часть 1 Стр. 363-384.