Projects per year
Fingerprint
Dive into the research topics where BM.5666.2019 Software Engineering is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Kostitsyn Mikhail
- Department of System Programming - инженер-исследователь
- BM.5666.2019 Software Engineering
Person: Research Support
-
RFBR_a_2020 - 3: Рандомизированные алгоритмы многоагентной оптимизации, распознавания образов и оценивания в условиях существенных неопределенностей: 2022 г. этап 3
Граничин, О. Н., Амелина, Н. О., Проскурников, А. В., Иванский, Ю. В., Ерофеева, В. А. & Сергеенко, А. Н.
25/03/22 → 28/12/22
Project: Grant fulfilment › Grant stage fulfilment
-
RSF_SRG_2022 - 1: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1
Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.
1/01/22 → 31/12/22
Project: Grant fulfilment › Grant stage fulfilment
-
RFBR_a_2020 - 2: Рандомизированные алгоритмы многоагентной оптимизации, распознавания образов и оценивания в условиях существенных неопределенностей: 2021 г. этап 2
Граничин, О. Н., Амелина, Н. О., Проскурников, А. В., Иванский, Ю. В., Ерофеева, В. А. & Сергеенко, А. Н.
23/03/21 → 28/12/21
Project: Grant fulfilment › Grant stage fulfilment
-
Beyond the elementary representations of program invariants over algebraic data types
Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 Jun 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 451-465 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
3 Scopus citations -
Convergence analysis of weighted SPSA-based consensus algorithm in distributed parameter estimation problem
Sergeenko, A., Erofeeva, V., Granichin, O., Granichina, O. & Proskurnikov, A., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 7, p. 126-131 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Distributed Stochastic Optimization with Heavy-Ball Momentum Term for Parameter Estimation
Erofeeva, V., Granichin, O. & Sergeenko, A., 13 Sep 2021, Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021. Hramov, A., Kurkin, S., Andreev, A. & Shusharina, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 69-72 4 p. (Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Activities
- 1 Oral presentation
-
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Юрий Олегович Костюков (Speaker)
23 Jun 2021Activity: Talk types › Oral presentation