Чуркин Ян Андреевич

Публикации в базе данных Math-Net.Ru

1. Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков
   
   Труды ИСП РАН, 37:4(1) (2025),  111–146
2. Система статического анализа для языка описания аппаратуры SystemVerilog
   
   Труды ИСП РАН, 37:1 (2025),  7–40
3. Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang
   
   Труды ИСП РАН, 35:5 (2023),  169–192