Проекты за года
Личный профиль
Образование/академическая квалификация
технические науки, доктор наук
4 окт 2016 → …
Дата присуждения гранта 06: 4 окт 2016
физико-математические науки, кандидат наук
18 мар 1971 → …
Дата присуждения гранта 06: 18 мар 1971
«Отпечаток»
Узнайте самые подробные результаты анализа активности Дмитрий Владимирович Кознов. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
- 1 похожих профилей - всего
Сотрудничество
Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
-
M3_2021 - 2: Современные аналитико-численные методы и искусственный интеллект для анализа регулярной и хаотической динамики: 2022 г. этап 2
Кузнецов, Н. В., Бурова, И. Г., Матвеев, А. С., Демьянович, Ю. К., Кознов, Д. В., Голяндина, Н. Э., Кудряшова, Е. В., Иванцова, О. Н., Юлдашев, М. В., Юлдашев, Р. В., Мокаев, Т. Н., Мокаев, Р. Н., Лобачев, М. Ю., Доронина, А. Г., Иванова, Е. Г., Лебедева, А. В., Наумова, Н. И., Андриевский, Б. Р., Арсеньев, Д. Г., Благов, М. В., Кузнецова, О. А. & Беляев, А. Ю.
1/01/22 → 31/12/22
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RSF_SRG_2022 - 1: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1
Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.
1/01/22 → 31/12/22
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RFBR_ASP_2020: Формальная семантика многопоточных и распределенных систем с слабыми моделями согласованности на основе структуры событий
Кознов, Д. В. & Моисеенко, Е. А.
1/09/20 → 1/09/22
Проект: исполнение гранта/договора › исполнение гранта/договора в целом
-
RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
29/03/20 → 26/12/20
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RFBR_ASP_2019: Моделирование стратегий вычисления вызовов по необходимости в реляционных программах
1/10/19 → 30/09/21
Проект: исполнение гранта/договора › исполнение гранта/договора в целом
Результаты исследований
-
TraceSim: An Alignment Method for Computing Stack Trace Similarity
Rodrigues, I. M., Khvorov, A., Aloise, D., Vasiliev, R., Koznov, D., Fernandes, E. R., Chernishev, G., Luciv, D. & Povarov, N., мар 2022, В: Empirical Software Engineering. 27, 2, 53.Результат исследований: Научные публикации в периодических изданиях › статья › рецензирование
-
Архитектура ЭВМ: учебное пособие
Луцив, Д. В., Мокаев, Р. Н., Гаранина, Н. О. & Кознов, Д. В., 2022, 152 стр. ИНТУИТ.РУ.Результат исследований: Иные виды публикаций › иная › учебная
Открытый доступФайл22 Загрузки (Pure) -
S3M: Siamese Stack (Trace) Similarity Measure
Khvorov, A., Vasiliev, R., Chernishev, G., Rodrigues, I. M., Koznov, D. & Povarov, N., мая 2021, 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, MSR 2021: Proceedings . Institute of Electrical and Electronics Engineers Inc., стр. 266-270 9463141Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
-
Static Checking Consistency of Temporal Requirements for Control Software
Garanina, N. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (ред.). Springer Nature, стр. 189-203 15 стр. (Communications in Computer and Information Science; том 1481 CCIS).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
-
Visual Language for Device Management in Telecommunication Product Line
Semenov, E., Kai, S., Gen, C., Luciv, D. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (ред.). Springer Nature, стр. 204-216 13 стр. (Communications in Computer and Information Science; том 1481 CCIS).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
Виды деятельности
- 1 Организация конференции, заседания рабочей группы, ...
-
Machine Learning and Natural Language Processing for Software Engineering
Дмитрий Владимирович Кознов (Организатор) & Тимофей Александрович Брыксин (Участник)
9 сен 2019 → 12 сен 2019Деятельность: Участие в мероприятиях или организация мероприятий (событий) › Организация конференции, заседания рабочей группы, ...