|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
Я. А. Чуркин, Р. А. Бучацкий, К. Н. Китаев, А. Г. Волохов, Е. В. Долгодворов, А. С. Камкин, А. М. Коцыняк, Д. О. Самоваров, “Система статического анализа для языка описания аппаратуры SystemVerilog”, Труды ИСП РАН, 37:1 (2025), 7–40  |
|
2020 |
| 2. |
И. В. Гладышев, А. С. Камкин, А. М. Коцыняк, П. А. Путро, А. В. Хорошилов, “Архитектура системы дедуктивной верификации машинного кода”, Труды ИСП РАН, 32:3 (2020), 7–19 |
|
2016 |
| 3. |
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко, “Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK”, Труды ИСП РАН, 28:6 (2016), 87–102  |
| 4. |
A. S. Kamkin, A. M. Kotsynyak, “Specification-based test program generation for MIPS64 memory management units”, Труды ИСП РАН, 28:4 (2016), 99–114 |
1
|
|
