|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
1. |
D. V. Koznov, E. I. Ledeneva, D. V. Luciv, P. I. Braslavskii, “Evaluation of similarity of Javadoc comments”, Proceedings of ISP RAS, 35:4 (2023), 177–186 |
2. |
T. M. Skazhenik, D. V. Koznov, “Debugger for declarative DSL for telecommunication”, Proceedings of ISP RAS, 35:3 (2023), 205–214 |
3. |
S. A. Morozov, A. V. Misonizhnik, D. A. Mordvinov, D. V. Koznov, D. A. Ivanov, ““Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE”, Proceedings of ISP RAS, 35:3 (2023), 91–108 |
|
2022 |
4. |
A. V. Misonizhnik, A. A. Babushkin, S. A. Morozov, Yu. O. Kostyukov, D. A. Mordvinov, D. V. Koznov, “Automated testing of LLVM programs with complex input data structures”, Proceedings of ISP RAS, 34:4 (2022), 49–62 |
1
|
|
2021 |
5. |
S. V. Kuznetsov, A. V. Tsyryulnikov, D. V. Koznov, “Unidata: open source component platform for master data management”, Proceedings of ISP RAS, 33:6 (2021), 149–160 |
1
|
|
2017 |
6. |
L. D. Kanteev, Yu. O. Kostyukov, D. V. Luciv, D. V. Koznov, M. N. Smirnov, “Discovering near duplicate text in software documentation”, Proceedings of ISP RAS, 29:4 (2017), 303–314 |
|
2013 |
7. |
D. V. Koznov, I. A. Novitskii, M. N. Smirnov, “Variability Management Tools — readiness for industrial use”, Tr. SPIIRAN, 26 (2013), 297–331 |
|
2012 |
8. |
D. V. Koznov, A. V. Azarskov, A. V. Samochadin, J. A. Chevzova, K. Yu. Romanovsky, “A model-driven approach for government services specification”, Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2012, no. 4, 102–116 |
|
2011 |
9. |
D. V. Koznov, M. N. Smirnov, V. A. Dorokhov, K. Yu. Romanovsky, “WebMLDoc: An approach for changes detection and traceability in user manuals for Web-applications”, Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2011, no. 3, 112–126 |
1
|
10. |
D. V. Koznov, “On specification of diagram transformations in graphical editors”, Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2011, no. 3, 100–111 |
|
Organisations |
|
|
|
|