Dmitry Koznov

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.

Personal website

Google scholar profile

DBLP profile

Publications

An Ontology-based Approach to Support Formal Verification of Concurrent Systems

August 2020

LNCS, vol 12232

Read more

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

Programming and Computer Software

Read more

Poster: Duplicate finder toolkit

2018

D.Luciv, D.Koznov, G.Chernishev, H.A. Basit, K.Romanovsky, A.Terekhov

40th ACM/IEEE International Conference on Software Engineering, ICSE 2018

Read more

On fuzzy repetitions detection in documentation reuse

2016

Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.

Programming and Computer Software, 42 (4), pp. 216-224

Clone detection in reuse of software technical documentation

2016

Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9609, pp. 170-185

View to view transformations in domain specific modeling

2015

Koznov, D.V., Larchik, E.V., Terekhov, A.N.

Programming and Computer Software, 41 (4), pp. 208-214

Document Teaching to write software engineering documents with focus on document design by means of mind maps

2012

Koznov, D.V.

Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012 pp. 112-118

Mind maps merging in collaborative work

2011

Koznov, D., Larchik, E., Pliskin, M., Artamonov, N.

Programming and Computer Software 37 (6), pp. 315-321

Process model of DSM solution development and evolution for small and medium-sized software companies

2011

Koznov, D.

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC 6037606, pp. 85-92

Document Refactoring the documentation of software product lines

2011

Romanovsky, K., Koznov, D., Minchin, L.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4980 LNCS, pp. 158-170

Document Towards e-government services in Russia

2011

Koznov, D., Samochadin, A., Azarskov, A., Chevzova, J.

KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing pp. 294-301

A knowledge management approach for industrial model-based testing

2009

Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.

KMIS 2009 - 1st International Conference on Knowledge Management and Information Sharing, Proceedings pp. 200-205

Computer-supported collaborative learning with mind-maps

2008

Koznov, D., Pliskin, M.

Communications in Computer and Information Science 17 CCIS, pp. 478-489

DocLine: A method for software product lines documentation development

2008

Koznov, D.V., Romanovsky, K.Yu.

Programming and Computer Software 34 (4), pp. 216-224

REAL-IT: Model-Based User Interface Development Environment

2005

A.Ivanov, D.Koznov

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

OCL-based automated validation method for UML specifications

2003

Ol'khovich, L., Koznov, D.V.

Source of the DocumentProgramming and Computer Software 29 (6), pp. 323-327

On Project-Specific Languages and Their Application in Reengineering

2002

Dmitry Boulytchev, Dmitry Koznov, Andrey A. Terekhov

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR 995802, pp. 177-185

Read more

Document A method for recovery and maintenance of software architecture

2001

Koznov, D., Romanovsky, K., Nikitin, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2244 LNCS, pp. 324-327

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.

Programming and Computer Software 25 (5), pp. 276-281