Research Output 1992 2019

2019

Automatic classification of error types in solutions to programming assignments at online learning platform

Lobanov, A., Bryksin, T. & Shpilman, A., 1 Jan 2019, Artificial Intelligence in Education - 20th International Conference, AIED 2019, Proceedings. Isotani, S., Hastings, P., Ogan, A., McLaren, B., Luckin, R. & Millán, E. (eds.). Springer, p. 174-178 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11626 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Evaluation of move method refactorings recommendation algorithms: are we doing it right?

Брыксин, Т. А., Новожилов, Е., Веселов, И. & Правилов, М., May 2019, Proceedings of the 3rd International Workshop on Refactoring. IEEE Press, Piscataway, NJ, USA

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

PathMiner: a library for mining of path-based representations of code

Брыксин, Т. А., Kovalenko, V., Bogomolov, E. & Bacchelli, A., May 2019, Proceedings of the 16th International Conference on Mining Software Repositories. IEEE Press Piscataway, NJ, USA, p. 13-17 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in an anthologyResearchpeer-review

Real-time and multimodal brain slice-to-volume registration using CNN

Chen, Z., Xu, Z., Yi, W., Yang, X., Hou, W., Ding, M. & Granichin, O., 1 Nov 2019, In : Expert Systems with Applications. 133, p. 86-96 11 p.

Research output: Contribution to journalArticleResearchpeer-review

Stochastic Approximation Algorithm with Randomization at the Input for Unsupervised Parameters Estimation of Gaussian Mixture Model with Sparse Parameters

Boiarov, A. A. & Granichin, O. N., Aug 2019, In : Automation and Remote Control. 80, 8, p. 1403-1418 16 p.

Research output: Contribution to journalArticleResearchpeer-review

2018

Adjustment of Consensus Protocol Step-Size in a Network System with Different Task Priorities via SPSA-like Algorithm under the Cost Constraints

Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 23, p. 100-105 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Applying deep learning to C# call sequence synthesis

Chebykin, A. E. & Kirilenko, I. A., 2018, In : Труды института системного программирования РАН. 30, 3

Research output: Contribution to journalArticleResearchpeer-review

Auto-calibration and synchronization of camera and MEMS-sensors

Polyakov, AR., Kornilova, A. V. & Kirilenko, I. A., 2018, In : Труды института системного программирования РАН. 30, 4, p. 169-182 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Automated refactoring of object-oriented code using clustering ensembles

Bryksin, T., Shpilman, A. & Kudenko, D., 2018, The Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Comparison of multi-sensor task assignment inequalities vs. brute force methods: linear matrix

Граничин, О. Н., Ерофеева, В. А. & Леонова, А. В., 19 Oct 2018, In : IFAC-PapersOnLine. p. 648-653. 6 p.

Research output: Contribution to journalConference articleResearchpeer-review

1 Citation (Scopus)

Comparison of Multi-Sensor Task Assignment Methods: Linear Matrix Inequalities vs. Brute Force

Erofeeva, V., Granichin, O. & Leonova, A., 2018, In : IFAC-PapersOnLine. 51, 32, p. 648-653 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Counterexamples to the Kalman Conjectures

Kuznetsov, N. V., Kuznetsova, O. A., Koznov, D., Mokaev, R. N. & Andrievsky, B., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 33, p. 138-143 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Data-based code synthesis in IntelliJ IDEA

Брыксин, Т. А. & Танков, В. Д., 2018, Third Conference on Software Engineering and Information Management (SEIM-2018). Saint Petersburg

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Detecting anomalies in Kotlin code

Брыксин, Т. А., Петухов, В., Смиренко, К. П. & Поваров, Н., 2018, Detecting anomalies in Kotlin code. Companion Proceedings for the ISSTA/ECOOP 2018 Workshops ed. New York, NY, USA: Association for Computing Machinery, p. 10-12 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Distributed state estimation of moving targets using cyclic simultaneous perturbation stochastic approximation

Erofeeva, V. & Granichin, O., 30 Aug 2018, In : IFAC-PapersOnLine. 51, 23, p. 218-223 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Ergatic system of complex safety of subjects of education

Граничин, О. Н., Trapitsin, S., Granichina, O. & Zharova, M., 28 Sep 2018, Proc of the 2018 International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS2018, St. Petersburg, Russia, 2018.. Institute of Electrical and Electronics Engineers Inc.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Ergatic System of Complex Safety of Subjects of Education1

Trapitsin, S. Y., Granichina, O. A., Granichin, O. N. & Zharova, M. V., 5 Nov 2018, Proceedings of the 2018 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2018. Institute of Electrical and Electronics Engineers Inc., p. 877-880 4 p. 8524965

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2 Citations (Scopus)

Evolution of clusters in large-scale dynamical networks

Proskurnikov, A. V. & Granichin, O. N., 1 Jan 2018, In : Cybernetics and Physics. 7, 3, p. 102-129 28 p.

Research output: Contribution to journalArticleResearchpeer-review

Heterogeneous architectures programming library

Kirgizov, G. V. & Kirilenko, I. A., 2018, In : Труды института системного программирования РАН. 30, 4, p. 45-62 18 p.

Research output: Contribution to journalArticleResearchpeer-review

History of Development of Visual Modeling Tools at the Saint Petersburg State University

Брыксин, Т. А., Литвинов, Ю. В. & Терехов, А. Н., 2018, 2017 Fourth International Conference on Computer Technology in Russia and in the Former Soviet Union (SORUCOM). Zelenograd, Russia

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Improving Refutational Completeness of Relational Search via Divergence Test

Булычев, Д. Ю. & Rozplokhas, D., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Lock-in range of BPSK Costas loop

Aleksandrov, K. D., Koznov, D. V., Krasnikova, M. S., Kudryashova, E. V., Kuznetsov, N. V. & Kuznetsova, O. A., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 25, p. 252-256 5 p.

Research output: Contribution to journalArticleResearchpeer-review

Medical Images Segmentation Operations

Сартасов, С. Ю., Мусатян, С., Ломакин, А., Чижова, А., Попыванов, Л. & Монахов, И., 2018, Medical Images Segmentation Operations.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
2 Citations (Scopus)

Multi-Sensor Task Assignment Using Linear Matrix Inequalities in the Multiple Target Tracking Problem

Erofeeva, V., Granichin, O. & Granichina, O., 2018, In : IFAC-PapersOnLine. 51, 15, p. 880-885 6 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

On the Possibility of Using the Method of Sign-Perturbed Sums for the Processing of Dynamic Test Data

Volkova, M. V., Granichin, O. N., Volkov, G. A. & Petrov, Y. V., 1 Jan 2018, In : Vestnik St. Petersburg University: Mathematics. 51, 1, p. 23-30 8 p.

Research output: Contribution to journalArticleResearchpeer-review

Poster: Duplicate finder toolkit

Luciv, D., Koznov, D., Chernishev, G., Basit, H. A., Romanovsky, K. & Terekhov, A., 27 May 2018, Proceedings - International Conference on Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 171-172 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Satisfying the Cost Constraints in a Network System Operating by the Consensus Protocol with Different Task Priorities

Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 2018, In : IFAC-PapersOnLine. 51, 32, p. 367-372 6 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Social capital of professors as a factor of increasing the effectiveness of the university

Граничин, О. Н., Trapitsin, S. & Granichina, O., 28 Sep 2018, Proc of the 2018 International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS2018, St. Petersburg, Russia, 2018.. Institute of Electrical and Electronics Engineers Inc.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Software engineering education for ensuring Russia's priorities in the digital economy

Khalin, V., Terekhov, A., Tkachenko, S. & Yurkov, A., 1 Jan 2018, In : CEUR Workshop Proceedings. 2256

Research output: Contribution to journalConference articleResearchpeer-review

Typed Relational Conversion

Булычев, Д. Ю., Lozov, P. & Vyatkin, A., 19 Apr 2018, In : Lecture Notes in Computer Science. 10788, p. 39-58 19 p., 3.

Research output: Contribution to journalArticleResearchpeer-review

Графическая технология управления «умной теплицей»

Литвинов, Ю. В. & Кузьмина, Е. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 20-22

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Решение задачи разбиения поля методом диаграммы Вороного

Иванова, М. А. & Литвинов, Ю. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Создание визуального предметно-ориентированного языка программирования дронов для симулятора AirSim

Небогатиков, И. Ю. & Литвинов, Ю. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 66-68

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2017
2 Citations (Scopus)

Adaptation of Aircraft's Wings Elements in Turbulent Flows by Local Voting Protocol

Granichin, O., Khantuleva, T. & Amelina, N., 2017, In : IFAC-PapersOnLine. 50, 1, p. 1904-1909 6 p.

Research output: Contribution to journalArticleResearchpeer-review

DeepAPI: Синтез цепочки вызовов API CLR/С# по текстовому запросу

Чебыкин, А., Кита, М. & Кириленко, Я., 2017, DeepAPI: Синтез цепочки вызовов API CLR/С# по текстовому запросу. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

DeepAPI#: CLR/C# call sequence synthesis from text query

Chebykin, A., Kita, M. & Kirilenko, I., 1 Jan 2017, In : CEUR Workshop Proceedings. 1864

Research output: Contribution to journalConference articleResearchpeer-review

Duplicate management in software documentation maintenance

Koznov, D. V., Luciv, D. V. & Chernishev, G. A., 1 Oct 2017, In : CEUR Workshop Proceedings. 1989, p. 195-201 7 p.

Research output: Contribution to journalConference articleResearchpeer-review

1 Citation (Scopus)

Dynamic fracture tests data analysis based on the randomized approach

Volkova, M. V., Granichin, O. N., Petrov, Y. V. & Volkov, G. A., 27 Dec 2017, In : Advances in Systems Science and Applications. 17, 3, p. 34-41 8 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

How to make visual modeling more attractive to software developers

Terekhov, A., Bryksin, T. & Litvinov, Y., 1 Nov 2017, Present and Ulterior Software Engineering. Springer, p. 139-152 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2 Citations (Scopus)

Improving control engineering education with TRIK cybernetic system

Luchin, R. M., Shirokolobov, I. Y., Sokolov, D. V., Kirilenko, I. A., Terekhov, A. N. & Stone, A., 1 Jul 2017, In : IFAC-PapersOnLine. 50, 1, p. 15716-15721 6 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Information and mathematical models for evaluation of the effectiveness and quality of the university

Trapitsin, S. Y., Granichina, O. A. & Granichin, O. N., 26 Oct 2017, Proceedings of the 2017 International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2017. Institute of Electrical and Electronics Engineers Inc., p. 287-291 5 p. 8085813

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

6 Citations (Scopus)

Local voting protocol for the adaptation of airplane's 'feathers' in a turbulence flow

Granichin, O., Khantuleva, T. & Granichina, O., 29 Jun 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 5684-5689 6 p. 7963840

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Real-time digital video stabilization using MEMS-sensors

Kornilova, A. V., Kirilenko, I. A. & Zabelina, NI., 2017, In : Труды института системного программирования РАН. 29, 4

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

Sign-Perturbed Sums Approach for Data Treatment of Dynamic Fracture Tests

Volkova, M., Volkov, G., Granichin, O. & Petrov, Y., 2017, 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC). Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 1652-1656 5 p. (Proceedings od the IEEE Conference on Decision and Control).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Sistema programmirovaniya kiberneticheskih geterogennyh arhitektur s ispolzovaniem LLVM

Kirill, M., Roman, B. & Kirilenko, I., 2017, Second Conference on Software Engineering and Information Management (SEIM-2017)(short papers). p. 31 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1 Citation (Scopus)

TRIK Studio: Technical Introduction

Bryksin, T., Литвинов, Ю. В. & Мордвинов, Д. А., 2017, PROCEEDINGS OF THE 20TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT 2017). Balandin, S. (ed.). IEEE Canada, p. 296-308 13 p. (Proceedings Conference of Open Innovations Association FRUCT).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review