Programming Languages and Tools Lab

Publications

2022
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

On a Direction-Driven Functional Conversion

miniKanren workshop@ICFP

2022
Dmitrii Kosarev, Daniil Berezun, Petr Lozov

Wildcard Logic Variables

miniKanren workshop@ICFPext

2021
Kostyukov Yurii, Dmitry Mordvinov, Grigory Fedyukovich

Beyond the elementary representations of program invariants over algebraic data type

Carl Sagan, Oca2017
Dmitry Mordvinov, Grigory Fedyukovich

Synchronizing constrained horn clauses

LPAR, EPiC Series in Computing. EasyChair

2017
Mordvinov Dmitry, Yurii Litvinov, Timofey Bryksin

TRIK studio: Technical introduction

Open Innovations Association (FRUCT), 2017 20th Conference of. IEEE

2017
Dmitry Mordvinov, Grigory Fedyukovich

Verifying Safety of Functional Programs with Rosette/Unbound

2016
D. A. Mordvinov, Yu. V. Litvinov

Survey on formal methods in robotics

SPbSPU Journal. Computer Science. Telecommunication and Control Systems, no. 1(236), 84–107

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

2012
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

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., Larchik, E., Pliskin, M., Artamonov, N.

Mind maps merging in collaborative work

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

2009
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

2008
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

2005
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

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

OCL-based automated validation method for UML specifications

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

2001
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

1999
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