Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Дробинцев Павел Дмитриевич

В базах данных Math-Net.Ru
Публикаций: 18
Научных статей: 18

Статистика просмотров:
Эта страница:316
Страницы публикаций:2473
Полные тексты:1560
Списки литературы:435
доцент
кандидат технических наук
E-mail:

Основные темы научной работы

формальные методы, верификация программного обеспечения, спецификации, тестирование телекоммуникационных систем; автоматизация индустриальной разработки программного продукта


https://www.mathnet.ru/rus/person76954
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0003-1116-7765

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. L. Mbele Ossiyi, P. D. Drobintsev, “Analysis of personality traits based on the disc model using machine learning methods”, Информатика, телекоммуникации и управление, 16:3 (2023),  54–63  mathnet
2020
2. I. A. Gasanova, D. S. Prelovskii, V. A. Yurkin, P. D. Drobintsev, A. O. Drobintseva, “Modern possibilities of using AI methods in the analysis of biomedical data”, Информатика, телекоммуникации и управление, 13:4 (2020),  21–33  mathnet
3. P. Kochovski, P. D. Drobintsev, “An approach for automated deployment of cloud applications in the Edge-to-Cloud computing continuum satisfying high quality of service requirements”, Информатика, телекоммуникации и управление, 13:1 (2020),  8–18  mathnet
4. D. I. Sergeev, A. E. Andreev, A. O. Drobintseva, S. Cenevska, N. Kukavitsa, P. D. Drobintsev, “Development of automated computer vision methods for cell counting and endometrial gland detection for medical images processing”, Труды ИСП РАН, 32:3 (2020),  119–130  mathnet
5. V. V. Monastyrev, P. D. Drobintsev, “Recommendation system based on user actions in the social network”, Труды ИСП РАН, 32:3 (2020),  101–108  mathnet 1
2017
6. П. Д. Дробинцев, В. П. Котляров, А. В. Левченко, “Экспериментальные аспекты оценки пропускной способности памяти крупномасштабных систем с архитектурой ccNUMA”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:3 (2017),  32–41  mathnet
2016
7. P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, N. V. Voinov, I. A. Selin, “Conversion of abstract behavioral scenarios into scenarios applicable for testing”, Труды ИСП РАН, 28:3 (2016),  145–160  mathnet  elib
2015
8. P. D. Drobintsev, V. P. Kotlyarov, N. V. Voinov, I. V. Nikiforov, “Model oriented approach for industrial software development”, Модел. и анализ информ. систем, 22:6 (2015),  750–762  mathnet  mathscinet  elib 3
9. Н. В. Воинов, П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, “Анализ покрытия UCM-модели тестовыми сценариями”, Системы и средства информ., 25:1 (2015),  74–88  mathnet  elib
10. Н. В. Воинов, П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, И. А. Селин, “Генерация тестового набора на основе потока управления”, Системы и средства информ., 25:1 (2015),  54–73  mathnet  elib
11. Nikita V. Voinov, Pavel D. Drobintsev, Igor V. Nikiforov, Vsevolod P. Kotlyarov, Alexander V. Kolchin, “Method of symbolic test scenarios automated concretization”, Труды ИСП РАН, 27:3 (2015),  115–124  mathnet  elib
2014
12. П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, “Инкрементальный подход к технологии создания тестов для индустриальных проектов”, Модел. и анализ информ. систем, 21:6 (2014),  144–154  mathnet
13. П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, В. С. Песчаненко, “Подход к автоматизации отладки поведенческих сценариев”, Модел. и анализ информ. систем, 21:6 (2014),  44–56  mathnet
14. Д. И. Осенняя, И. И. Закирова, П. Д. Дробинцев, “Разработка программного продукта для подбора конфигураций информационных центров”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 3(198),  92–98  mathnet
15. П. Д. Дробинцев, И. В. Никифоров, Н. В. Воинов, В. П. Котляров, “Подход к тестированию параллельных систем на основе UCM-спецификаций”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 3(198),  85–91  mathnet
2013
16. П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский, “Автоматизация создания верифицированных тестовых сценариев на основе гидов”, Модел. и анализ информ. систем, 20:6 (2013),  64–77  mathnet
17. И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013),  349–383  mathnet 5
2012
18. А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров, “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов”, Модел. и анализ информ. систем, 19:6 (2012),  79–91  mathnet

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024