|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2015 |
| 1. |
M. Belyaev, V. Itsykson, “Fast and safe concrete code execution for reinforcing static analysis and verification”, Модел. и анализ информ. систем, 22:6 (2015), 763–772    |
1
|
|
2014 |
| 2. |
М. А. Петров, К. А. Гагарский, М. А. Беляев, В. М. Ицыксон, “Использование метода ограниченной проверки моделей для генерации тестов”, Модел. и анализ информ. систем, 21:6 (2014), 83–93 |
|
2013 |
| 3. |
М. Х. Ахин, М. А. Беляев, В. М. Ицыксон, “Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций”, Модел. и анализ информ. систем, 20:6 (2013), 22–35 |
|
2011 |
| 4. |
М. А. Беляев, В. А. Цесько, “Статический анализ с использованием систем типов и эффектов на основе LLVM”, Модел. и анализ информ. систем, 18:4 (2011), 45–55 |
|
Обратная связь: