Адрес e-mail:

Состав диссертационного совета (соискатель Филиппов И.В.)

Состав диссертационного совета № ФРКТ.05.13.11.002

ФИО соискателя: Филиппов Илья Викторович

Название диссертации: «Исследование и разработка систем программирования масштабируемых высокопроизводительных сетевых функций в облачных инфраструктурах»

Научная специальность: 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»

Ученая степень, на соискание которой представлена диссертация: кандидат технических наук

 

ФИО: Дроздов Александр Юльевич – председатель диссертационного совета

Основное место работы: Федеральное государственное автономное образовательное учреждение высшего образования «Московский физико-технический институт (национальный исследовательский университет)»

Должность: Главный научный сотрудник – заведующий лабораторией

Ученая степень: Доктор технических наук

Ученое звание: Профессор

Публикации по специальности диссертации, для рассмотрения которой формируется диссертационный совет (библиографическая ссылка с указанием: названия статьи, названия журнала, в котором была опубликована статья, года публикации, DOI)

- Индексируемые базами данных Web of Science, Scopus (за последние 5 лет):

1. Andrei Tchernykh, Vanessa Miranda-López, Mikhail Babenko, Fermin Armenta-Cano, Gleb Radchenko, Alexander Yu. Drozdov, Arutyun Avetisyan. Performance Evaluation of Secret Sharing Schemes with Data Recovery in Secured and Reliable Heterogeneous Multi-Cloud Storage. Cluster Computing. Springer, 2019, https://doi.org/10.1007/s10586-018-02896-9, IF 2.04, Q2 (Scopus: Q2)

2. David Peña, Andrei Tchernykh, Sergio Nesmachnow, Renzo Massobrio, Alexander Feoktistov, Igor Bychkov, Gleb Radchenko, Alexander Yu. Drozdov, Sergey N. Garichev. Operating Cost and Quality of Service Optimization for Multi-Vehicle-Type Timetabling for Urban Bus Systems. Journal of Parallel and Distributed Computing, Special issue on "Advances in Parallel and Distributed Computing and Optimization", Elsevier, 2017. DOI: 10.1016/j.jpdc.2018.01.009, https://doi.org/10.1016/j.jpdc.2018.01.009 IF: 1.930, Q2 (Scopus: Q1)

3. Alexander Yu. Drozdov, Andrei Tchernykh, Sergey V Novikov, Victor E Vladislavlev, Raul Rivera-Rodriguez. PHEFT: Pessimistic Image Processing Workflow Scheduling for DSP Clusters. Algorithms, 2018, 11(5), 76; Special Issue "Algorithms for Scheduling Problems" 2018, MDPI, Switzerland (ISSN 1999-4893) doi: 10.3390/a11050076, http://www.mdpi.com/1999-4893/11/5/76 (PDF) (Scopus: Q4)

4. Fermin Armenta-Cano, Andrei Tchernykh, Jorge Mario Cortés-Mendoza, Ramin Yahyapour, Alexander Yu. Drozdov, Pascal Bouvry, D. Kliazovich, A. Avetisyan , S. Nesmachnow. Min_c: Heterogeneous Concentration Policy for Power Aware Scheduling. ISSN 0361-7688, Programming and Computer Software, 2017, Vol. 43, No. 3, pp. 204–215. © Pleiades Publishing, Ltd., 2017 IF: 0.39

5. Godofredo R. Garay, Andrei Tchernykh, Alexander Yu. Drozdov, Sergey N. Garichev, Sergio Nesmachnow, Moisés Torres-Martinez. Visualization of VHDL-based Simulations as a Pedagogical Tool for Supporting Computer Science Education. Journal of Computational Science. 2017, Vol. , No. , pp. . Elsevier, 2017, ISSN 1877-7503 IF:1.748

6. Jorge Mario Cortés-Mendoza, Andrei Tchernykh, Fermin A. Armenta-Cano, Pascal Bouvry, Alexander Yu. Drozdov, and Loic Didelot. Bi-objective VoIP Service Management in Cloud Infrastructure. Scientific Programming - Hindawi Publishing Corporation, 2016. IF: 0.559

7. Godofredo R. Garay, Andrei Tchernykh, Alexander Yu. Drozdov, Sergey V. Novikov, Victor E. Vladislavlev. A VHDL-based Modeling of Network Interface Card Buffers: In: Design and Teaching Methodology. Springer, “High Performance Computer Applications” Eds: Isidoro Gitler, Jaime Klapp. Vol 595, p. 250-273. 2016, Springer ISBN 978-3-319-32243-8

8. Alexander Yu. Drozdov, Yuriy N. Fonin, Vladimir A. Kanaev. Real-time Operating System for DSP Cluster.International Conference Engineering & Telecommunication - En&T 2015, pp. 50-54.

9. Alexander Yu. Drozdov, Yuriy N. Fonin, Maxim N. Petrov, Tomara S. Vedishcheva, Yulia K. Novoselova. An approach to cross-platform drivers developement. International Conference Engineering & Telecommunication - En&T 2015, pp. 54-57.

10. Alexander Yu. Drozdov, Victor E, Vladislavlev, Sergey V. Novikov, Eugeniy L. Kochetkov. High-Level Optimisations for Newly Created and Existing Microproccessor Architectures. International Conference Engineering & Telecommunication - En&T 2015, pp. 58-62.

11. Godofredo R. Garay, Andrei Tchernykh, Alexander Yu. Drozdov. An Approach for Performance Evaluation of Multi-Tier Cloud Applications. International Conference Engineering & Telecommunication - En&T 2015, pp. 63-66.

ФИО: Аветисян Арутюн Ишханович

Основное место работы: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН)

Должность: директор

Ученая степень: доктор физико-математических наук

Ученое звание: член-корр. РАН

Публикации по специальности диссертации, для рассмотрения которой формируется диссертационный совет (библиографическая ссылка с указанием: названия статьи, названия журнала, в котором была опубликована статья, года публикации, DOI)

- Индексируемые базами данных Web of Science, Scopus (за последние 5 лет):

1. Armenta-Cano, F., Tchernykh, A., Cortés-Mendoza, J.M., Yahyapour, R., Drozdov, A.Y., Bouvry, P., Kliazovich, D., Avetisyan, A. Heterogeneous job consolidation for power aware scheduling with quality of service (2015) CEUR Workshop Proceedings, 1482, pp. 687-697.

2. Efimov, V.Y., Batuzov, K.A., Padaryan, V.A., Avetisyan, A.I. Features of the deterministic replay in the case of a minimum device set (2016) Programming and Computer Software, 42 (3), pp. 174-186.

3. Sargsyan, S., Kurmangaleev, S., Belevantsev, A., Avetisyan, A. Scalable and accurate detection of code clones (2016) Programming and Computer Software, 42 (1), pp. 27-33.

4. Armenta-Cano, F.A., Tchernykh, A., Cortes-Mendoza, J.M., Yahyapour, R., Drozdov, A.Y., Bouvry, P., Kliazovich, D., Avetisyan, A., Nesmachnow, S. Min_c: Heterogeneous concentration policy for energy-aware scheduling of jobs with resource contention (2017) Programming and Computer Software, 43 (3), pp. 204-215.

5. Tchernykh, A., Babenko, M., Chervyakov, N., Miranda-López, V., Kuchukov, V., Cortés-Mendoza, J.M., Deryabin, M., Kucherov, N., Radchenko, G., Avetisyan, A. AC-RRNS: Anti-collusion secured data sharing scheme for cloud storage (2018) International Journal of Approximate Reasoning, 102, pp. 60-73.

6. Feoktistov, A., Sidorov, I., Tchernykh, A., Edelev, A., Zorkalzev, V., Kostromin, R., Gorsky, S., Bychkov, I., Avetisyan, A. Multi-Agent Approach for Dynamic Elasticity of Virtual Machines Provisioning in Heterogeneous Distributed Computing Environment (2018) Proceedings - 2018 International Conference on High Performance Computing and Simulation, HPCS 2018, article № 8514450, pp. 909-916.

7. Aslanyan, H., Avetisyan, A., Arutunian, M., Keropyan, G., Kurmangaleev, S., Vardanyan, V. Scalable Framework for Accurate Binary Code Comparison (2018) Proceedings - 2017 Ivannikov ISPRAS Open Conference, ISPRAS 2017, 2018-January, pp. 34-38.

8. Avetisyan, A., Kurmangaleev, S., Sargsyan, S., Arutunian, M., Belevantsev, A. LLVM-based code clone detection framework (2015) CSIT 2015 - 10th International Conference on Computer Science and Information Technologies, article № 7358259, pp. 100-104.

9. Jorge M. Cortés Mendoza, Tchernykh Andrei, Alexander Yu Drozdov, Bouvry Pascal, Simionovici Ana-Maria, and Avetisyan Arutyun. Distributed adaptive voip load balancing in hybrid clouds. In 1st Russian Conference on Supercomputing Days 2015, RuSCDays 2015; Moscow; Russian Federation; 28 September 2015 through 29 September 2015; Code 117664, pages 676–686, 2015.

10. V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, and A. I. Avetisyan. Static analyzer svace for finding defects in a source program code. Programming and Computer Software, 40(5):265–275, 2014

ФИО: Белеванцев Андрей Андреевич

Основное место работы: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН)

Должность: ведущий научный сотрудник

Ученая степень: доктор физико-математических наук

Ученое звание: без ученого звания

Публикации по специальности диссертации, для рассмотрения которой формируется диссертационный совет (библиографическая ссылка с указанием: названия статьи, названия журнала, в котором была опубликована статья, года публикации, DOI)

- Индексируемые базами данных Web of Science, Scopus (за последние 5 лет):

1. А.А. Белеванцев, А.О. Избышев, Д.М. Журихин. Организация контролируемой сборки в статическом анализаторе Svace. Системный администратор, выпуск 6-7 (176-177), 2017, стр. 135-139.

2. I. A. Dudina and A. A. Belevantsev. Using Static Symbolic Execution to Detect Buffer Overflows. Programming and Computer Software, 2017, Vol. 43, No. 5, pp. 277–288.

3. Belevantsev A., Avetisyan A. (2018) Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code. In: Petrenko A., Voronkov A. (eds) Perspectives of System Informatics. PSI 2017. Lecture Notes in Computer Science, vol 10742.

4. A. A. Belevantsev. Multilevel Static Analysis for Improving Program Quality. Programming and Computer Software, 2017, Vol. 43, No. 6, pp. 321–336.

5. V. K. Koshelev, V. N. Ignat'ev, A. I. Borzilov, and A. A. Belevantsev. SharpChecker Static Analysis Tool for C# Programs. Programming and Computer Software, 2017, Vol. 43, No. 4, pp. 268–276.

6. A. A. Belevantsev, E. A. Veselevich, V. P. Ivannikov. Analysis of entities in C and C++ programs and relations between them for program understanding. Programming and Computer Software, January 2016, Volume 42, Issue 1, pp 49-53.

7. Sargsyan S., Kurmangaleev Sh, Belevantsev A., Avetisyan A. Scalable and accurate detection of code clones. Programming and Computer Software, January 2016, Volume 42, Issue 1, pp 27-33

8. Borodin Alexey, Belevantsev Andrey, Zhurikhin Dmitry, and Izbyshev Alexey. Deterministic static analysis. In Ivannikov Memorial Workshop, pages 10–18. IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, 2019.

9. Belevantsev Andrey, Borodin Alexey, Dudina Irina, Ignatiev Valery, Izbyshev Alexey, Polyakov Sergey, Velesevich Evgeny, and Zhurikhin Dmitry. Design and development of svace static analyzers. In Ivannikov Memorial Workshop, pages 3–9. IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, 2019.

- Прочие:

1. А.П. Меркулов, С.А. Поляков, А.А. Белеванцев. Анализ программ наязыке Java в инструменте Svace. Труды ИСП РАН, том 29, вып. 3, 2017 г., стр. 57-74. DOI: 10.15514/ISPRAS-2017-29(3)-5

2. Беляев М.В., Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А. Сравнительный анализ двух подходов к статическому анализу помеченных данных. Труды ИСП РАН, том 29, вып. 3, 2017 г., стр. 99-116. DOI:10.15514/ISPRAS-2017-29(3)-7

3. Бородин А. Е., Белеванцев А. А. Статический анализатор Svace как коллекция анализаторов разных уровней сложности // Труды ИСП РАН. 2015. Т. 27, № 6. С. 111–134.

ФИО: Калянов Георгий Николаевич

Основное место работы: Лаборатория 49 федерального государственного бюджетного учреждения науки Институт проблем управления им. В. А. Трапезникова Российской академии наук

Должность: главный научный сотрудник

Ученая степень: д.т.н.

Ученое звание: профессор

Публикации по специальности диссертации, для рассмотрения которой формируется диссертационный совет (библиографическая ссылка с указанием: названия статьи, названия журнала, в котором была опубликована статья, года публикации, DOI):

- Индексируемые базами данных Web of Science, Scopus (за последние 5 лет):

1. Калянов Г.Н. The business processes verification methods / Proceedings of the 11th International Conference "Management of Large-Scale System Development" (MLSD). М.: IEEE, 2018. С. https://ieeexplore.ieee.org/document/8551761.

2. Калянов Г.Н. Models and methods of the business processes theory / Proceedings of the 10th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2017. С. http://ieeexplore.ieee.org/document/8109642/.

3. Калянов Г.Н. Directions of the business processes theory / Proceedings of the 5th International Conference on Actual Problems of System and Software Engineering (APSSE 2017). Aachen: Technical University of Aachen, 2017. № 1989. С. 28-35.

4. Калянов Г.Н., Куприянов Б.В., Федоров И.Г. Роль декомпозиции при моделировании организационных систем / Selected Papers of the 2nd International Scientific Conference Convergent Information Technologies (CEUR Workshop Proceeding, CEUR-WS.org). М.: CEUR Workshop Proceeding, 2017. vol-2064. С. 380-387.

- Прочие (за последние 5 лет):

5. Калянов Г.Н., Титов Н.Н., Шибеко В.Н. Поиск эффективных решений задач непрерывного календарного планирования // Информационные технологии и вычислительные системы. 2018. № 1. С. 85-98.

Калянов Г.Н. О теории бизнес-процессов // Программная инженерия. 2018. № 3. С. 88-108.

ФИО: Кузнецов Николай Александрович

Основное место работы: Федеральное государственное бюджетное учреждение науки Института радиотехники и электроники им. В.А. Котельникова Российской академии наук (ИРЭ им. В.А. Котельникова РАН)

Должность: советник РАН

Ученая степень: д.т.н.

Ученое звание: академик РАН

Публикации по специальности диссертации, для рассмотрения которой формируется диссертационный совет (библиографическая ссылка с указанием: названия статьи, названия журнала, в котором была опубликована статья, года публикации, DOI)

- Индексируемые базами данных Web of Science, Scopus (за последние 5 лет):

1. Kuznetsov N.A., Myasnikov D.V., Semenikhin K.V. Optimal control of data transmission in a mobile two-agent robotic system // Journal of Communications Technology and Electronics. 2016. V.61. No.12. P.1456-1465

2. Kuznetsov N.A., Myasnikov D.V., Semenikhin K.V. Optimization of two-phase queuing system and its application to the control of data transmission between two robotic agents // Journal of Communications Technology and Electronics. 2017. V.62. No.12. P.1484-1498.

3. Kuznetsov N.A., Myasnikov D.V., Semenikhin K.V. Two-phase queueing system optimization in applications to data transmission control // Procedia Engineering. V.201, 2017, P.567-577.

4. Кузнецов Н.А., Мясников Д.В., Семенихин К.В. Оптимизация процесса передачи данных в модели двухфазной системы массового обслуживания // Сборник трудов III международной конференции и молодежной школы "Информационные технологии и нанотехнологии (ИТНТ-2017)". Самарский национальный исследовательский университет имени академика С.П. Королева. 2017. С. 1176-1185.

5. Н.А. Кузнецов, Д.В. Мясников, К.В. Семенихин. Оптимизация управления передачей данных по флуктуирущему каналу связи при неточной информации о его состоянии. // «Информационные процессы» Том 18, № 2, с. 86-105, 2018.

- Прочие:

6. А.В. Бродский, В.А. Горбачев, О.Э. Карпов, В.А. Конявский, Н.А. Кузнецов, А.М. Райгородский, С. А. Тренин. Идентификация в компьютерных системах цифровой экономики // Информационные процессы, Том 18, № 4, 2018, стр. 376–385.

7. Н. А. Кузнецов, В. В. Золотарёв, Г. В. Овечкин, Р. Р. Назиров, С. В. Аверин. Много-пороговые алгоритмы на базе оптимизационной теории вблизи границы Шеннона. Некоторые аспекты современных проблем механики и информатики: сб. науч. ст. М.: ИКИ РАН, 2018. 274 с. ISBN 978-5-00015-016-0. С. 91-120. DOI: 10.21046/aspects-2018-99-120

ФИО: Петренко Александр Константинович

Основное место работы: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН)

Должность: заведующий отделом

Ученая степень: доктор физико-математических наук

Ученое звание: профессор

 

Публикации по специальности диссертации, для рассмотрения которой формируется диссертационный совет (библиографическая ссылка с указанием: названия статьи, названия журнала, в котором была опубликована статья, года публикации, DOI)

- Индексируемые базами данных Web of Science, Scopus (за последние 5 лет):

1. Devyanin P.N., Khoroshilov A.V., Kuliamin V.V., Petrenko A.K., Shchepetkov I.V. (2016) Using Refinement in Formal Development of OS Security Model. In: Mazzara M., Voronkov A. (eds) Perspectives of System Informatics. PSI 2015. Lecture Notes in Computer Science, vol 9609. Springer, Cham

2. I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov. Configurable toolset for static verification of operating systems kernel modules  // Program Comput Soft (2015) 41: 49. https://doi.org/10.1134/S0361768815010065

3. Devyanin, P.N., Kulyamin, V.V., Petrenko, A.K., Khoroshilov, A.V., Shchepetkov, I.V. Comparison of specification decomposition methods in Event-B // Programming and Computer Software, 2016.

4. A.K.Petrenko, A.V.Khoroshilov. A framework for design and analysis of software/hardware systems based on architecture models // CEUR-WS Vol-1989, 2017, pp. 202-208.

- Прочие:

5. Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов. О представлении модельного времени при помощи механизмов функционального программирования // Труды ИСП РАН 30 (6), 2018, 341-366.

6. Е.М Лаврищева, А.К Петренко.  Моделирование семейств программных систем // Труды ИСП РАН 28 (6), 2016, с. 49-64.

 

Ученый секретарь: Сахно С.В.

Технический секретарь: В.О. Останина (ostanina.vo@mipt.ru; +7 (498) 713 91 49)

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2021 Московский физико-технический институт (национальный исследовательский университет)

Противодействие коррупции | Сведения о доходах

Политика обработки персональных данных МФТИ

Техподдержка сайта | API

Использование новостных материалов сайта возможно только при наличии активной ссылки на https://mipt.ru

МФТИ в социальных сетях