1 - 10 out of 73Page size: 10
  1. 2022

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

  3. Архитектура ЭВМ: учебное пособие

    Луцив, Д. В., Мокаев, Р. Н., Гаранина, Н. О. & Кознов, Д. В., 2022, 152 p. ИНТУИТ.РУ.

    Research output: Other contribution › Education

  4. 2021

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

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

  8. 2020

  9. TraceSim: A method for calculating stack trace similarity

    Vasiliev, R., Koznov, D., Chernishev, G., Khvorov, A., Luciv, D. & Povarov, N., 13 Nov 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. (eds.). Association for Computing Machinery, p. 25-30 6 p. (MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. 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. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. 2019

  12. Extraction of Archetype from Near Duplicates in Software Documentation

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  13. Interactive Near Duplicate Search in Software Documentation

    Luciv, D. V., Koznov, D. V., Shelikhovskii, A. A., Romanovsky, K. Y., Chernishev, G. A., Terekhov, A. N., Grigoriev, D. A., Smirnova, A. N., Borovkov, D. V. & Vasenina, A. I., Nov 2019, In: Programming and Computer Software. 45, 6, p. 346-355

    Research output: Contribution to journal › Article › peer-review

  14. Интерактивный поиск неточных повторов в документации программного обеспечения

    Луцив, Д. В., Кознов, Д. В., Шелиховский, А. А., Романовский, К. Ю., Чернышев, Г. А., Григорьев, Д. А., Терехов, А. Н., Смирнова, А. Н., Боровков, Д. В., Васенина, А. И. & Шеметова, Е. Н., Nov 2019, In: ПРОГРАММИРОВАНИЕ. 6, p. 55-66

    Research output: Contribution to journal › Article › peer-review

Previous 1 2 3 4 5 6 7 8 Next

ID: 187573