Dmitry Koznov


Dmitry graduated from Saint Petersburg State University in 1994 (diploma with honor).He worked in software industry from 1994 till 2000 as a software developer and project manager, primarily focused on software model-based development methods and tools. In 2000, he received PhD at Software Engineering Department, Saint Petersburg State University in the area of software model-based development. He was a visiting professor at National University of Singapore in 2000 and 2002, and also at Lappeenranta University of Technology in 2015.

Nowadays, Dmitry is Associate Professor at Software Engineering Department, Saint Petersburg State University. Also, he is an educational supervisor at JetBrains: he gives course on Writing Scientific Papers for Programming Language and Tools Lab students, and coordinates connections of Lab with Saint-Petersburg State University.

Personal website

Google scholar profile

DBLP profile

Academic Advising

Dmitry was a supervisor of 3 students who received a PhD degree.


  • LNCS, vol 12232, August 2020
  • D.V. Luciv, D.V. Koznov, G.A. Chernishev, A.N. Terekhov, K.Y. Romanovsky, D.A. Grigoriev
    Programming and Computer Software, September 2018
  • D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov
    40th ACM/IEEE International Conference on Software Engineering, ICSE 2018, 2018
  • Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
    Clone detection in reuse of software technical documentation
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9609, pp. 170-185, 2016
  • Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.
    On fuzzy repetitions detection in documentation reuse
    Programming and Computer Software, 42 (4), pp. 216-224, 2016
  • Koznov, D.V., Larchik, E.V., Terekhov, A.N.
    View to view transformations in domain specific modeling
    Programming and Computer Software, 41 (4), pp. 208-214, 2015
  • Koznov, D.V.
    Document Teaching to write software engineering documents with focus on document design by means of mind maps
    Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012 pp. 112-118, 2012
  • Koznov, D.
    Process model of DSM solution development and evolution for small and medium-sized software companies
    Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC 6037606, pp. 85-92, 2011
  • Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.
    Mind maps merging in collaborative work
    Programming and Computer Software 37 (6), pp. 315-321, 2011
  • Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.
    Document Towards e-government services in Russia
    KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing pp. 294-301, 2011
  • Romanovsky, K., Koznov, D., Minchin, L.
    Document Refactoring the documentation of software product lines
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4980 LNCS, pp. 158-170, 2011
  • Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.
    A knowledge management approach for industrial model-based testing
    KMIS 2009 - 1st International Conference on Knowledge Management and Information Sharing, Proceedings pp. 200-205, 2009
  • Koznov, D., Pliskin, M.
    Computer-supported collaborative learning with mind-maps
    Communications in Computer and Information Science 17 CCIS, pp. 478-489, 2008
  • Koznov, D.V., Romanovsky, K.Yu.
    DocLine: A method for software product lines documentation development
    Programming and Computer Software 34 (4), pp. 216-224, 2008
  • A.Ivanov, D.Koznov
    REAL-IT: Model-Based User Interface Development Environment
    Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, P. 31-41, 2005
  • Ol'khovich, L., Koznov, D.V.
    OCL-based automated validation method for UML specifications
    Source of the DocumentProgramming and Computer Software 29 (6), pp. 323-327, 2003
  • Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov
    Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR 995802, pp. 177-185, 2002
  • Koznov, D., Romanovsky, K., Nikitin, A.
    Document A method for recovery and maintenance of software architecture
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2244 LNCS, pp. 324-327, 2001
  • Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., Dolgov, P.S., Ivanov, A.N.
    RTST++: Methodology and a CASE tool for the development of information systems and software for real-time systems
    Programming and Computer Software 25 (5), pp. 276-281, 1999