Programmiersprachen und Tools Lab

Publikationen

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 20. Konferenz der 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 (einschließlich der Unterserien Lecture Notes in Artificial Intelligence und 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

Ergebnisse der IASTED internationalen Konferenz über Computer und fortgeschrittene Technologie im Bildungswesen, CATE 2012 pp. 112-118

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

Document Towards e-government services in Russia

KMIS 2011 – Ergebnisse der internationalen Konferenz über Wissensmanagement und Informationsaustausch S. 294-301

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

Document Refactoring the documentation of software product lines

Lecture Notes in Computer Science (einschließlich der Unterserien Lecture Notes in Artificial Intelligence und 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 - 1. Internationale Konferenz über Wissensmanagement und Informationsaustausch, Ergebnisse S. 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: Modellbasierte Entwicklungsumgebung für Benutzeroberflächen

Ergebnisse des IEEE/NASA ISoLA 2005-Workshops zum Thema "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 (einschließlich der Unterserien Lecture Notes in Artificial Intelligence und 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