Programming Languages and Tools Lab


Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

On a Direction-Driven Functional Conversion

miniKanren workshop@ICFP

Dmitrii Kosarev, Daniil Berezun, Petr Lozov

Wildcard Logic Variables

miniKanren workshop@ICFPext

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

Mordvinov Dmitry, Yurii Litvinov, Timofey Bryksin

TRIK studio: Technical introduction

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

Dmitry Mordvinov, Grigory Fedyukovich

Verifying Safety of Functional Programs with Rosette/Unbound

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

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

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

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

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

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

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

Mind maps merging in collaborative work

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

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

Koznov, D., Pliskin, M.

Computer-supported collaborative learning with mind-maps

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

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

DocLine: A method for software product lines documentation development

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

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

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

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

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