Projects per year
Personal profile
Education/Academic qualification
Engineering, Doctor of Sciences
4 Oct 2016 → …
Award Date: 4 Oct 2016
Physical and Mathematical Sciences, Candidate of Sciences
18 Mar 1971 → …
Award Date: 18 Mar 1971
Fingerprint
Dive into the research topics where Дмитрий Владимирович Кознов is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
M3_2021 - 2: Современные аналитико-численные методы и искусственный интеллект для анализа регулярной и хаотической динамики: 2022 г. этап 2
Кузнецов, Н. В., Бурова, И. Г., Матвеев, А. С., Демьянович, Ю. К., Кознов, Д. В., Голяндина, Н. Э., Кудряшова, Е. В., Иванцова, О. Н., Юлдашев, М. В., Юлдашев, Р. В., Мокаев, Т. Н., Мокаев, Р. Н., Лобачев, М. Ю., Доронина, А. Г., Иванова, Е. Г., Лебедева, А. В., Наумова, Н. И., Андриевский, Б. Р., Арсеньев, Д. Г., Благов, М. В., Кузнецова, О. А. & Беляев, А. Ю.
1/01/22 → 31/12/22
Project: Grant fulfilment › Grant stage fulfilment
-
RSF_SRG_2022 - 1: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1
Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.
1/01/22 → 31/12/22
Project: Grant fulfilment › Grant stage fulfilment
-
RFBR_ASP_2020: Формальная семантика многопоточных и распределенных систем с слабыми моделями согласованности на основе структуры событий
Кознов, Д. В. & Моисеенко, Е. А.
1/09/20 → 1/09/22
Project: Grant fulfilment › Total grant fulfilment
-
RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
29/03/20 → 26/12/20
Project: Grant fulfilment › Grant stage fulfilment
-
RFBR_ASP_2019: Моделирование стратегий вычисления вызовов по необходимости в реляционных программах
1/10/19 → 30/09/21
Project: Grant fulfilment › Total grant fulfilment
Research output
-
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., Mar 2022, In: Empirical Software Engineering. 27, 2, 53.Research output: Contribution to journal › Article › peer-review
-
Архитектура ЭВМ: учебное пособие
Луцив, Д. В., Мокаев, Р. Н., Гаранина, Н. О. & Кознов, Д. В., 2022, 152 p. ИНТУИТ.РУ.Research output: Other contribution › Education
Open AccessFile20 Downloads (Pure) -
S3M: Siamese Stack (Trace) Similarity Measure
Khvorov, A., Vasiliev, R., Chernishev, G., Rodrigues, I. M., Koznov, D. & Povarov, N., May 2021, 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, MSR 2021: Proceedings . Institute of Electrical and Electronics Engineers Inc., p. 266-270 9463141Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
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. (eds.). Springer Nature, p. 189-203 15 p. (Communications in Computer and Information Science; vol. 1481 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
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. (eds.). Springer Nature, p. 204-216 13 p. (Communications in Computer and Information Science; vol. 1481 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Activities
- 1 Organizing a conference, workshop, ...
-
Machine Learning and Natural Language Processing for Software Engineering
Дмитрий Владимирович Кознов (Organizer) & Тимофей Александрович Брыксин (Participant)
9 Sep 2019 → 12 Sep 2019Activity: Attendance types › Organizing a conference, workshop, ...