Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Мордань Виталий Олегович
пользователь
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
, аспирант, 1 октября 2013 - 1 октября 2016
Институт системного программирования Роcсийской академии наук
Соавторы:
Mutilin V.S.
5 статей
,
1 тезисы доклада
,
1 НИР
,
1 диссертация
Количество цитирований статей в журналах по данным Web of Science: 7, Scopus: 8
РИНЦ:
IstinaResearcherID (IRID): 27634231
ResearcherID:
H-2184-2014
Деятельность
Статьи в журналах
2016
Checking Several Requirements at Once by CEGAR
Mordan V.O.
,
Mutilin V.S.
в журнале
Programming and Computer Software
, издательство
Pleiades Publishing, Ltd
(Road Town, United Kingdom)
, том 42, № 4, с. 225-238
DOI
2016
Checking Several Requirements at once by CEGAR
Mordan Vitaly
,
Mutilin Vadim
в журнале
Lecture Notes in Computer Science
, том 9609, с. 218-232
DOI
2016
Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR
Мордань В.О.
,
Мутилин В.С.
в журнале
Программирование
, № 4, с. 50-68
Статьи в сборниках
2016
On-the-fly decomposition of specifications in software model checking
Apel Sven, Beyer Dirk,
Mordan Vitaly
,
Mutilin Vadim
, Stahlbauer Andreas
в сборнике
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
, с. 349-361
DOI
2014
Minimizing the Number of Static Verifier Traces to Reduce Time for Finding Bugs in Linux Kernel Modules
Mordan Vitaly
, Novikov Evgeny
в сборнике
Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014)
DOI
Тезисы докладов
2014
Многоаспектная верификация модулей ядра операционной системы Linux
Мордань В.О.
в сборнике
Материалы XXI Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов»
, серия
Электронный ресурс МГУ
, тезисы, с. 122-123
НИРы
1 января 2016 - 31 декабря 2020
Развитие теории и методов анализа и проектирования программ
Кафедра системного программирования
Руководители:
Аветисян А.И.
,
Иванников В.П.
,
Корухова Л.С.
Ответственный исполнитель:
Корухова Л.С.
Участники НИР:
Аветисян А.И.
,
Архипенко К.В.
,
Батузов К.А.
,
Белеванцев А.А.
,
Вишняков А.В.
,
Гайсарян С.С.
,
Гомзин А.Г.
,
Дроздова Е.А.
,
Дудина И.А.
,
Жаботинский Е.А.
,
Колганов А.С.
,
Корныхин Е.В.
,
Крюков В.А.
,
Кузьменкова Е.А.
,
Кулямин В.В.
,
Маллачиев К.А.
,
Малышко В.В.
,
Манушин Д.В.
,
Мордань В.О.
,
Ниськов Ф.В.
,
Падарян В.А.
,
Соловьев М.А.
,
Турдаков Д.Ю.
,
Хорошилов А.В.
,
Шарыгин Е.Ю.
,
Яцков А.К.
,
Яшин С.В.
Диссертация
2017
Методы верификации программ на основе композиции задач достижимости
Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
Автор:
Мордань Виталий Олегович
Научный руководитель:
Петренко Александр Константинович
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 002.087.01
при ИСП РАН
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова, Институт системного программирования РАН
Ведущая организация:
Федеральный исследовательский центр «Информатика и управление» Российской Академии Наук
Оппоненты:
Соколов Валерий Анатольевич
,
Волконский Владимир Юрьевич