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 5 стр. 9463141. (IEEE International Working Conference on Mining Software Repositories).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

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).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

TraceSim: A method for calculating stack trace similarity

Vasiliev, R., Koznov, D., Chernishev, G., Khvorov, A., Luciv, D. & Povarov, N., 13 ноя 2020, MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020. Khomh, F., Salza, P. & Catolino, G. (ред.). Association for Computing Machinery, стр. 25-30 6 стр. (MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

An ontology-based approach to support formal verification of concurrent systems

Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

Extraction of Archetype from Near Duplicates in Software Documentation

Луцив, Д. В., Кознов, Д. В., Чернышев, Г. А. & Григорьев, Д. А., ноя 2019, 2019 Actual Problems of Systems and Software Engineering (APSSE). стр. 126-130

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование