
Dmitry Koznov
Research Groups
Biography
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.
Publications
An Ontology-based Approach to Support Formal Verification of Concurrent Systems
August 2020
Detecting Near Duplicates in Software Documentation
September 2018
D.V. Luciv, D.V. Koznov, G.A. Chernishev, A.N. Terekhov, K.Y. Romanovsky, D.A. Grigoriev
Poster: Duplicate finder toolkit
2018
D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov
Clone detection in reuse of software technical documentation
2016
Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
On fuzzy repetitions detection in documentation reuse
2016
Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.
View to view transformations in domain specific modeling
2015
Koznov, D.V., Larchik, E.V., Terekhov, A.N.
Document Teaching to write software engineering documents with focus on document design by means of mind maps
2012
Koznov, D.V.
Mind maps merging in collaborative work
2011
Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.
Process model of DSM solution development and evolution for small and medium-sized software companies
2011
Koznov, D.
Document Refactoring the documentation of software product lines
2011
Romanovsky, K., Koznov, D., Minchin, L.
Document Towards e-government services in Russia
2011
Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.
A knowledge management approach for industrial model-based testing
2009
Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.
Computer-supported collaborative learning with mind-maps
2008
Koznov, D., Pliskin, M.
DocLine: A method for software product lines documentation development
2008
Koznov, D.V., Romanovsky, K.Yu.
REAL-IT: Model-Based User Interface Development Environment
2005
A.Ivanov, D.Koznov
OCL-based automated validation method for UML specifications
2003
Ol'khovich, L., Koznov, D.V.
On Project-Specific Languages and Their Application in Reengineering
2002
Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov
Document A method for recovery and maintenance of software architecture
2001
Koznov, D., Romanovsky, K., Nikitin, A.
RTST++: Methodology and a CASE tool for the development of information systems and software for real-time systems
1999
Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., Dolgov, P.S., Ivanov, A.N.