ИСТИНА

Мордань Виталий Олегович пользователь

Прежние места работы (Нажмите для отображения)

Институт системного программирования Ро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 при ИСП РАН
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова, Институт системного программирования РАН
    • Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской Академии Наук
    • Оппоненты: Соколов Валерий Анатольевич, Волконский Владимир Юрьевич

---