Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Дроздова Екатерина Алексеевна
пользователь
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
, студент, 1 сентября 2016 - 30 июня 2019
Соавторы:
Чупилко М.М.
,
Митина Н.Н.
,
Се Ц.
,
Чжоу Ч.
3 статьи
,
1 НИР
IstinaResearcherID (IRID): 138207174
Деятельность
Статьи в журналах
2018
Динамическая верификация контроллеров шин систем-на-кристалле
Чупилко М.М.
,
Дроздова Е.А.
в журнале
Труды Института системного программирования РАН (электронный журнал)
, том 30, № 4, с. 129-138
DOI
Статьи в сборниках
2021
Особенности государственного управления трансграничными реками в Китайской Народной Республике
Митина Н.Н.
,
Дроздова Е.А.
,
Чжоу Чаоин
,
Се Цэнь
в сборнике
Трансграничные водные объекты: использование, управление, охрана: сборник материалов Всероссийской научно-практической конференции с международным участием, г. Сочи, 20-25 сентября 2021 г
, место издания
ЛИК Новочеркасск
, с. 279-284
2018
An Approach to Simulation-Based Verification of SoC Bus Controllers
Chupilko M.
,
Drozdova E.
в сборнике
Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
, с. 111-114
редакторы
Камкин Александр Сергеевич
,
Петренко Александр Константинович
НИРы
1 января 2016 - 31 декабря 2020
Развитие теории и методов анализа и проектирования программ
Кафедра системного программирования
Руководители:
Аветисян А.И.
,
Иванников В.П.
,
Корухова Л.С.
Ответственный исполнитель:
Корухова Л.С.
Участники НИР:
Аветисян А.И.
,
Архипенко К.В.
,
Батузов К.А.
,
Белеванцев А.А.
,
Вишняков А.В.
,
Гайсарян С.С.
,
Гомзин А.Г.
,
Дроздова Е.А.
,
Дудина И.А.
,
Жаботинский Е.А.
,
Колганов А.С.
,
Корныхин Е.В.
,
Крюков В.А.
,
Кузьменкова Е.А.
,
Кулямин В.В.
,
Маллачиев К.А.
,
Малышко В.В.
,
Манушин Д.В.
,
Мордань В.О.
,
Ниськов Ф.В.
,
Падарян В.А.
,
Соловьев М.А.
,
Турдаков Д.Ю.
,
Хорошилов А.В.
,
Шарыгин Е.Ю.
,
Яцков А.К.
,
Яшин С.В.