Том 37, выпуск 1

Чуркин Я.А., Бучацкий Р.А., Китаев К.Н., Волохов А.Г., Долгодворов Е.В., Камкин А.С., Коцыняк А.М., Самоваров Д.О. Система статического анализа для языка описания аппаратуры SystemVerilog. Стр. 7-40.

Игнатьев В.Н. Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов. Стр. 41-54.

Варфоломеева А.А., Пятко Л.А., Паршина С.Р. Компьютерное моделирование и оптимизация конструкции микрофлюидного чипа. Стр. 55-64.

Проценко A.C. Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин. Стр. 65-86.

Кулагин И.И., Бучацкий Р.А., Пантилимонов М.В., Вязовцев А.B., Романов М.М., Мельник Д.М. Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR. Стр. 87-106.

Герлиц Е.А., Мутилин В.С. Фреймворк автоматизации тестирования на гонки по данным. Стр. 107-120.

Позин Б.А., Бородушкина П.А., Коротков Д.А., Федоров М.А., Муратов А.Ф. Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования. Стр. 121-132.

Американов А.А., Евтушенко Л.Г., Зунин В.В., Винарский В.М. САПР для удаленного высокоуровневого моделирования СтнК. Стр. 133-144.

Гончарова О.В. Глубокое обучение в задаче разработки системы автоматической транскрипции. Стр. 145-158.

Кондратьев Д.А., Старолетов С.М., Шошмина И.В., Красненкова А.В., Зиборов К.В., Шилов Н.В., Гаранина Н.О., Черганов Т.Ю. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы. Стр. 159-184.

Григорьева Д.Д., Серов Д.В., Сорокин Д.С., Мартышкин А.И. Использование технологий искусственного интеллекта для проведения психологического тестирования. Стр. 185-200.

Кошелев К.Б., Кулинский А.В., Стрижак С.В. Математическое моделирование почвенных процессов с использованием открытого программного обеспечения. Стр. 201-216.

Марчевский И.К., Пузикова В.В. Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей. Стр. 217-234.