|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
S. A. Morozov, A. V. Misonizhnik, D. A. Mordvinov, D. V. Koznov, D. A. Ivanov, ““Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE”, Труды ИСП РАН, 35:3 (2023), 91–108  |
|
2022 |
| 2. |
А. В. Мисонижник, А. А. Бабушкин, С. А. Морозов, Ю. О. Костюков, Д. А. Мордвинов, Д. В. Кознов, “Автоматическое тестирование LLVM-программ со сложными входными структурами данных”, Труды ИСП РАН, 34:4 (2022), 49–62 |
1
|
|
2019 |
| 3. |
Д. А. Мордвинов, “Направляемый свойством поиск реляционных инвариантов”, Модел. и анализ информ. систем, 26:4 (2019), 550–571 |
| 4. |
Ю. О. Костюков, К. А. Батоев, Д. А. Мордвинов, М. П. Костицын, А. В. Мисонижник, “Автоматическое доказательство корректности программ с динамической памятью”, Труды ИСП РАН, 31:5 (2019), 37–62 |
|
2016 |
| 5. |
Д. А. Мордвинов, Ю. В. Литвинов, “Обзор применения формальных методов в робототехнике”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236), 84–107 |
| 6. |
G. A. Zimin, D. A. Mordvinov, “Visual dataflow language for educational robots programming”, Труды ИСП РАН, 28:2 (2016), 45–62  |
|
Обратная связь: