1 - 10 out of 76Page size: 10
  1. 2025

  2. Managing Master Data Implementations

    Кузнецов, С. В., Кознов, Д. В. & Луцив, Д. В., 2025, In: Труды института системного программирования РАН. 37, 4, p. 162-175

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

  3. 2024

  4. Автоматическое определение сходства Javadoc-комментариев

    Кознов, Д. В., Леденева, Е. Ю., Луцив, Д. В. & Браславский, П. И., 2 Jan 2024, In: Труды института системного программирования РАН. 35, 4, p. 177-186

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

  5. Calculating Similarity of Javadoc Comments

    Кознов, Д. В., Леденева, Е. Ю., Луцив, Д. В. & Браславский, П. И., 2024, In: Programming and Computer Software. 50, 1, p. 85-89

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

  6. 2022

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

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

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

    Research output: Book/Report/Anthology › Teaching manual › peer-review

  9. 2021

  10. 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 › peer-review

  11. 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 › peer-review

  12. 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 › peer-review

  13. 2020

  14. 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 › peer-review

  15. 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 › peer-review

Previous 1 2 3 4 5 6 7 8 Next

ID: 187573