- Чуркин Я.А., Бучацкий Р.А., Китаев К.Н., Волохов А.Г., Долгодворов Е.В., Камкин А.С., Коцыняк А.М., Самоваров Д.О. Система статического анализа для языка описания аппаратуры SystemVerilog.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 7-40.
- Игнатьев В.Н. Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 41-54.
- Варфоломеева А.А., Пятко Л.А., Паршина С.Р. Компьютерное моделирование и оптимизация конструкции микрофлюидного чипа.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 55-64.
- Проценко A.C. Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 65-86.
- Кулагин И.И., Бучацкий Р.А., Пантилимонов М.В., Вязовцев А.B., Романов М.М., Мельник Д.М. Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 87-106.
- Герлиц Е.А., Мутилин В.С. Фреймворк автоматизации тестирования на гонки по данным.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 107-120.
- Позин Б.А., Бородушкина П.А., Коротков Д.А., Федоров М.А., Муратов А.Ф. Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 121-132.
- Американов А.А., Евтушенко Л.Г., Зунин В.В., Винарский В.М. САПР для удаленного высокоуровневого моделирования СтнК.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 133-144.
- Гончарова О.В. Глубокое обучение в задаче разработки системы автоматической транскрипции.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 145-158.
- Кондратьев Д.А., Старолетов С.М., Шошмина И.В., Красненкова А.В., Зиборов К.В., Шилов Н.В., Гаранина Н.О., Черганов Т.Ю. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 159-184.
- Григорьева Д.Д., Серов Д.В., Сорокин Д.С., Мартышкин А.И. Использование технологий искусственного интеллекта для проведения психологического тестирования.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 185-200.
- Кошелев К.Б., Кулинский А.В., Стрижак С.В. Математическое моделирование почвенных процессов с использованием открытого программного обеспечения.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 201-216.
- Марчевский И.К., Пузикова В.В. Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей.
Труды Института системного программирования РАН. Том 37, выпуск 1, 2025 г. Стр. 217-234.
- Нужный А.С., Савельева Е.А. Оценка неопределенности в задаче регрессии при байесовской регуляризации решения.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 7-18.
- Кузнецов В.В., Андреев Д.В., Гришин Г.К. Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 19-32.
- Щепетов Д.С., Тимошенко А.Г., Гаранжа В.А., Капорин И.Е., Каргин Д.Н. Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 33-48.
- Лебедев М.С., Дыскина Д.А., Еременко А.Ю., Кабанов Ф.А., Козмин И.А., Петренко Д.М., Поудиал Н.Б., Сергеев А.А., Ширинова Р.А. Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 49-60.
- Девянин П.Н., Старостин А.А., Панов Д.С., Усачев С.В. Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 61-78.
- Чибисов К.А., Бучацкий Р.А., Тимонин А.Д., Лазарь В.И., Журихин Д.М., Белеванцев А.А. TSAR: инструмент для оценки статических анализаторов.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 79-96.
- Райкин Г.Р., Пелевин М.С., Ицыксон В.М. Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 97-114.
- Балабанов Ф.М., Лукьянов К.С. Усовершенствованный поиск архитектур в графовом autoML: расширение и динамическая приоритизация пространства поиска для повышения эффективности.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 115-128.
- Байметова Е.С., Королева М.Р. Построение гидравлической модели теплообменного аппарата.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 129-140.
- Чернова А.А., Шигапова А.Р. Параметрическое исследование эффективности исполнения единичной секции маслоохладителя.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 141-152.
- Морар Г., Карпов А.И., Шаклеин А.А. Численное исследование турбулентного диффузионного пламени на поверхности ПММА на основе открытого пакета FDS.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 153-162.
- Королёва К.С., Потапов И.И. Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 163-180.
- Петров А.Г., Потапов И. И. О размыве дна, вызванном взвешенной турбулентной струей.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 181-194.
- Корепанов М.А., Королева М.Р., Митрюкова Е.А. Характеристики взаимодействия встречных недорасширенных струй из микросопел.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 195-206.
- Михайлов Е.А., Тепляков И.О., Виноградов Д.А. Исследование распространения примеси в среде в одной прикладной осесимметричной задаче.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 207-216.
- Титов Ю.П., Кильмишкин Н.В., Кубраков Д.Д., Иванова П.М. Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с использованием глубокого обучения и методов обработки естественного языка.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 217-236.
- Воробьева В.В., Новицкая И.В. Какой статус васюганского варианта хантыйского языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик?
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 237-246.
- Муратова Р.Т. Названия украшений в тюркских и финно-угорских языках Урало-Поволжья.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 247-254.
- Баженова О.Н. Место коми-язьвинского в классификации языков коми на основании фонетических, лексических и морфологических особенностей с помощью программ платформы ЛингвоДок
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 255-262.
- Серенко Д.С., Терентьев Е.Д., Зубарев Д.В., Соченков И.В. Архитектура системы сбора и извлечения информации для интеллектуальной поисково-аналитической системы.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 263-280.
- Марков Н.С. Модель детекции фибрилляции предсердий, основанная на дифференцировании и сжатии интервалограмм.
Труды Института системного программирования РАН. Том 37, выпуск 2, 2025 г. Стр. 281-300.
Вернуться к списку всех публикаций 
