|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
1. |
А. С. Камкин, М. М. Чупилко, М. С. Лебедев, С. А. Смолов, Г. Гайдаджиев, “Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры”, Труды ИСП РАН, 34:5 (2022), 7–22 |
4
|
|
2021 |
2. |
А. С. Камкин, С. А. Смолов, М. М. Чупилко, “Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow”, Труды ИСП РАН, 33:6 (2021), 111–130 |
1
|
|
2020 |
3. |
И. В. Гладышев, А. С. Камкин, А. М. Коцыняк, П. А. Путро, А. В. Хорошилов, “Архитектура системы дедуктивной верификации машинного кода”, Труды ИСП РАН, 32:3 (2020), 7–19 |
|
2019 |
4. |
A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Extracting assertions for conflicts in HDL descriptions”, Труды ИСП РАН, 31:3 (2019), 135–144 |
2
|
|
2017 |
5. |
M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Test generation for digital hardware based on high-level models”, Труды ИСП РАН, 29:4 (2017), 247–256 |
|
2016 |
6. |
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко, “Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK”, Труды ИСП РАН, 28:6 (2016), 87–102 |
7. |
A. S. Kamkin, A. M. Kotsynyak, “Specification-based test program generation for MIPS64 memory management units”, Труды ИСП РАН, 28:4 (2016), 99–114 |
1
|
8. |
V. S. Burenkov, A. S. Kamkin, “Checking parameterized Promela models of cache coherence protocols”, Труды ИСП РАН, 28:4 (2016), 57–76 |
1
|
|
2015 |
9. |
С. А. Смолов, А. С. Камкин, “Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212), 60–73 |
3
|
10. |
I. Melnichenko, A. Kamkin, S. Smolov, “An extended finite state machine-based approach to code coverage-directed test generation for hardware designs”, Труды ИСП РАН, 27:3 (2015), 161–182 |
2
|
11. |
Alexander Kamkin, Mikhail Petrochenkov, “A model-based approach to design test oracles for memory subsystems of multicore microprocessors”, Труды ИСП РАН, 27:3 (2015), 149–160 |
12. |
A. Kamkin, A. Protsenko, A. Tatarnikov, “An approach to test program generation based on formal specifications of caching and address translation mechanisms”, Труды ИСП РАН, 27:3 (2015), 125–138 |
1
|
|
2014 |
13. |
В. П. Иванников, А. С. Камкин, М. М. Чупилко, “Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193), 130–142 |
|
|
|
2015 |
14. |
А. С. Камкин, А. К. Петренко, А. Н. Терехов, “Предисловие”, Труды ИСП РАН, 27:3 (2015), 7–8 |
|