ИСТИНА

Захаров Владимир Анатольевич пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики, профессор, с 12 июня 1986

доктор физико-математических наук с 2012 года

Соавторы: Варновский Н.П., Коннов И.В., Подымов В.В., Гнатенко А.Р., Подловченко Р.И., Смелянский Р.Л., Чемерицкий Е.В., Волканов Д.Ю., Зорин Д.А., Новикова Т.А., Захарьящев И.М., Винарский Е.М., Аббас М.М. показать полностью..., Бахмуров А.Г., Глонина А.Б., Жайлауова Ш., Чистолинов М.В., Антоненко В.А., Кончаков Р.В., Пашков В.Н., Савенков К.О., Темербекова Г.G., Царьков Д.В., Ciobanu G., Кузюрин Н.Н., Спанопуло В.В., Epatko I.V., Вдовин П.М., Джусупекова З.А., Grote J.F., Peshko A.S., Usenko Y.S., Winter K., Алтухов В.С., Герасёв А.В., Иванников В.П., Капитонова А.П., Корухова Ю.С., Костенко В.А., Костылев Е.В., Попеско У.В., Русаков Д.М., Хынг Д.В., Чернов А.В., Шокуров А.В., Шокуров А.В.

206 статей, 2 книги, 33 доклада на конференциях, 34 тезисов докладов, 12 НИР, 1 патент, 2 награды, 2 членства в редколлегиях журналов, 23 членства в программных комитетах, 3 членства в диссертационных советах, 9 диссертаций, 14 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 31, Scopus: 112
РИНЦ:

IstinaResearcherID (IRID): 1528411

ResearcherID: G-8304-2014

Scopus Author ID: 35496961400

ORCID: 0000-0002-3794-9565

Деятельность

---

• Статьи в журналах

  • • 2022 Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 56, № 7, с. 649-660 DOI
  • 
    • 2021 Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
    • Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 670-701 DOI
  • 
    • 2021 On the Model Checking Problem for Some Extension of CTL*
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 776-785 DOI
  • 
    • 2021 On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
    • Vinarskii E.R., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 751-762 DOI
  • • 2021 О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 28, № 4, с. 378-393 DOI
  • • 2020 On some properties of timed finite state machines
    • Vinarskii E.M., Zakharov V.A.
    • в журнале Системная информатика, том 17, с. 11-20
  • • 2020 Using an extension of CT L∗ for specification and verification of sequential reactive systems
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Системная информатика, том 17, с. 21-32
  • • 2020 О задаче верификации моделей программ для одного расширения логики CTL*
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 27, № 4, с. 428-441 DOI
  • • 2020 О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени
    • Винарский Е.М., Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 27, № 4, с. 396-411 DOI
  • • 2020 Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов
    • Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 27, № 3, с. 260-303 DOI
  • 
    • 2019 Even simple pi-calculus processes are difficult to analyze
    • Abbas M.M., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 53, № 7, с. 589-606 DOI
  • 
    • 2019 On the expressive power of some extensions of linear temporal logic
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 53, № 7, с. 506-524 DOI
  • • 2019 О возможности стойкой обфускации программ в одной модели облачных вычислений
    • Шокуров А.В., Абрамова И.В., Варновский Н.П., Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 6, с. 145-162 DOI
  • • 2018 On the deductive security of queries to databases with multi-bit records
    • Abbas M.M., Varnovskiy N.P., Zakharov V.A., Shokurov A.V.
    • в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 42, № 1, с. 39-43 DOI
  • • 2018 Даже простые процессы pi-исчисления трудны для анализа
    • Аббас Марат Мазен, Захаров Владимир Анатольевич
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 25, № 6, с. 589-606 DOI
  • • 2018 К проверке строго детерминированного поведения временных конечных автоматов
    • Винарский Е.М., Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 3, с. 325-340 DOI
  • • 2018 О верификации конечных автоматов-преобразователей над полугруппами
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 3, с. 303-324 DOI
  • • 2018 О выразительных возможностях некоторых расширений линейной темпоральной логики
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 25, № 5, с. 506-524 DOI
  • • 2018 О дедуктивной безопасности запросов к базам данных с многобитовыми записями
    • Аббас М.М., Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 1, с. 40-45
  • 
    • 2017 On the deductive security of queries to confidential databases in cloud computing system
    • Varnovskiy N.P., Zakharov V.A., Shokurov A.V.
    • в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 41, № 1, с. 38-43 DOI
  • 
    • 2017 On the Minimization Problem for Sequential Programs
    • Zakharov V.A., Jaylauova S.R.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 51, № 7, с. 689-700 DOI
  • 
    • 2017 On the Minimization of Finite State Transducers over Semigroups
    • Zakharov V.A., Temerbekova G.G.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 51, № 7, с. 523-530 DOI
  • 
    • 2017 О дедуктивной безопасности запросов к базам конфиденциальных данных в системе облачных вычислений
    • Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 1, с. 38-44
  • 
    • 2017 О задаче минимизации последовательных программ
    • Захаров В.А., Жайлауова Ш.Р.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 24, № 4, с. 415-433 DOI
  • • 2016 On the existence of provably secure cloud computing systems
    • Varnovsky N.P., Zakharov V.A., Shokurov A.V.
    • в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 36, № 2, с. 83-88
  • • 2016 On the minimization and equivalence checking of sequential reactive systems
    • Zakharov V.A., Temerbekova G.G.
    • в журнале Системная информатика, № 7, с. 33-44
  • • 2016 К вопросу о существовании доказуемо стойких систем облачных вычислений
    • Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 2, с. 32-38
  • • 2016 О минимизации конечных автоматов-преобразователей над полугруппами
    • Захаров В.А., Темербекова Г.Г.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 23, № 6, с. 741-753
  • 
    • 2015 A Combined Toolset for the Verification of Real-Time Distributed Systems
    • Konnov I., Podymov V.V., Volkanov D.Y., Zakharov V.A., Zorin D.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 6, с. 325-335 DOI
  • 
    • 2015 On Network Update Problems for Software Defined Networks
    • Chemeritskii E.V., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 49, № 7, с. 437-444
  • 
    • 2015 The Current State of Art in Program Obfuscations: Definitions of Obfuscation Security
    • Varnovsky N.P., Kuzurin N.N., Shokurov A.V., Zakharov V.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 6, с. 361-372
  • • 2015 VERMONT - средство верификации программно-конфигурируемых сетей
    • Алтухов В.С., Захаров В.А., Подымов В.В., Чемерицкий Е.В.
    • в журнале Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), том 212, № 1, с. 74-87 DOI
  • • 2015 Комбинированное средство верификации распределённых вычислительных систем реального времени
    • Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
    • в журнале Программирование, № 6, с. 72-86
  • • 2015 Моделирование и анализ поведения последовательных реагирующих программ
    • Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 2, с. 221-250
  • • 2015 Применение алгоритмов проверки эквивалентности для оптимизации программ
    • Захаров В.А., Подымов В.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 4, с. 145-174 DOI
  • 
    • 2014 A formal model and verification problems for Software Defined Networks
    • Chemeritsky E.V., Smeliansky R.L., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 48, № 7, с. 398-406
  • • 2014 How to make a simple tool for verification of real-time systems
    • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 48, № 7, с. 534-542 DOI
  • • 2014 Двусторонняя унификация программ и ее применение для задач рефакторинга
    • Новикова Т.А., Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 2, с. 245-268
  • • 2014 О некоторых задачах реконфигурирования программно-конфигурируемых сетей
    • Захаров В.А., Чемерицкий Е.В.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 21, № 6, с. 57-69
  • • 2014 Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами
    • Подымов В.В., Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 3, с. 145-166 DOI
  • • 2014 Современное состояние исследований в области обфускации программ: определения стойкости обфускации
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 3, с. 167-198
  • • 2013 О двух методах распознавания эквивалентности в алгебраических моделях программ
    • Подловченко Р.И., Захаров В.А.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 17, № 1-4, с. 366-370
  • 
    • 2013 Формальная модель и задачи верификации программно-конфигурируемых сетей
    • Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 20, № 6, с. 33-48
  • • 2012 Как разработать простое средство верификации систем реального времени
    • Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 19, № 6, с. 45-56
  • • 2012 Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ
    • Захаров В.А., Новикова Т.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 22, с. 435-455
  • • 2012 Унификация программ
    • Новикова Т.А., Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 23, с. 455-476
  • 
    • 2011 Using algebraic models of programs for detecting metamorphic malwaes
    • Podlovchenko R.I., Shcherbina V.S., Zakharov V.A., Kuzyurin N.N.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 172, № 5, с. 740-750
  • • 2011 Применение алгебры подстановок для унификации программ
    • Захаров В.А., Новикова Т.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 21, с. 141-166
  • 
    • 2010 An invariant-based approach to the verification of asynchronous parameterized networks
    • Konnov I.V., Zakharov V.A.
    • в журнале Journal of Symbolic Computation, издательство Academic Press (United States), том 45, № 11, с. 1144-1162
  • 
    • 2010 Program equivalence checking by two-tape automata
    • Zakharov V.A.
    • в журнале Cybernetics and Systems Analysis, издательство Springer Nature (Switzerland), том 46, № 4, с. 554-562
  • • 2010 Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени
    • Захаров В.А., Коннов И.В.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 17, № 4, с. 78-87
  • • 2010 Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов
    • Захаров В.А., Подымов В.В.
    • в журнале Научные ведомости Белгородского государственного университета. Серия: Экономика. Информатика, том 14, № 7, с. 94-101
  • • 2010 Проверка эквивалентности программ при помощи двухленточных автоматов
    • Захаров В.А.
    • в журнале Кибернетика и системный анализ, издательство Наукова Думка (Киев), № 4, с. 39-48
  • 
    • 2009 Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
    • Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Щербина В.Л.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 15, № 5, с. 181-198
  • • 2009 О верификации конечных параметризованных моделей распределенных программ
    • Захаров В.А., Булычев П.Е.
    • в журнале Научные ведомости Белгородского государственного университета. Серия: Экономика. Информатика, том 9, № 11, с. 116-123
  • • 2009 О стойкой обфускации компьютерных программ
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в журнале Научные ведомости Белгородского государственного университета. Серия: Экономика. Информатика, том 15, № 12, с. 97-105
  • 
    • 2008 On complexity of the anti-unification problem
    • Kostylev E.V., Zakharov V.A.
    • в журнале Discrete Mathematics and Applications, издательство de Gruyter (Germany), том 18, № 1, с. 85-98 DOI
  • • 2008 О сложности задачи антиунификации
    • Захаров В.А., Костылев Е.В.
    • в журнале Дискретная математика, издательство Наука (М.), том 20, № 1, с. 131-144
  • • 2008 Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний
    • Захаров В.А., Щербина В.Л.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 2, с. 33-41
  • • 2007 Применение методов теории игр к поиску некоторых видов симуляции на размеченных системах переходов с ограничениями справедливости
    • Булычев П.Е., Захаров В.А.
    • в журнале Вестник Московского энергетического института, издательство Изд. дом МЭИ (М.), № 6, с. 5-9
  • • 2007 Современные методы обфускации программ: классификация и сравнительный анализ
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в журнале Известия ЮФУ. Технические науки, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Южный федеральный университет" (Ростов-на-Дону), том 76, № 1, с. 93-99
  • • 2006 О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Шокуров А.В., Щербина В.Л.
    • в журнале Известия ЮФУ. Технические науки, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Южный федеральный университет" (Ростов-на-Дону), том 2, № 7, с. 18-27
  • • 2005 Методы защиты проектных решений при проектировании микроэлектронных схем
    • Варновский Н.П., Захаров В.А., Иванников В.П., Кузюрин Н.Н., Шокуров А.В., Кононов А.Н., Калинин А.В.
    • в журнале Известия ТРТУ, № 4, с. 112-119
  • • 2005 Об одном обобщении подстановки применительно к задаче статического анализа программ
    • Захаров В.А., Костылев Е.В.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), том 4, с. 39-45
  • • 2005 Об одном подходе к верификации симметрических параметризованных распределенных систем
    • Захаров В.А., Коннов И.В.
    • в журнале Программирование, № 5, с. 24-36
  • 
    • 2000 On the decidability of the equivalence problem for monadic recursive programs
    • Zakharov V.A.
    • в журнале RAIRO - Theoretical Informatics and Applications, издательство EDP Sciences (France), том 34, № 2, с. 157-171
  • 
    • 1999 On the decidability of the equivalence problem for orthogonal sequential programs
    • Zakharov V.A.
    • в журнале Grammars, том 2, № 3, с. 271-281 DOI
  • • 1999 Быстрые алгоритмы разрешения эквивалентности пропозициональных операторных программ на упорядоченных полугрупповых шкалах
    • Захаров В.А.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 3, с. 29-35
  • 
    • 1998 A polynomial-time algorithm that recognizes the commutative equivalence of program schemes
    • Подловченко Р.И., Захаров В.А.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 58, № 2, с. 306-309
  • • 1998 Аппроксимация абстрактных семантик формальными моделями программ
    • Захаров В.А.
    • в журнале Дискретная математика, издательство Наука (М.), том 10, № 4, с. 119-141
  • 
    • 1998 О восстановлении сети процесса по последовательности срабатываний переходов сети Петри
    • Захаров В.А., Тхуан Н.Н., Бан Д.В., Хынг Д.В.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 2, с. 31-34
  • 
    • 1998 Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ
    • Захаров В.А., Подловченко Р.И.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 362, № 6, с. 744-747
  • • 1998 Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ
    • Захаров В.А., Царьков Д.В.
    • в журнале Программирование, № 4, с. 43-47
  • • 1997 О взаимосвязи двух семантик параллельных вычислений
    • Захаров В.А., Спанопуло В.В.
    • в журнале Программирование, № 4, с. 36-48
  • 
    • 1994 О преобразовании операторных процедур в логические программы
    • Захаров В.А., Маневич С.И.
    • в журнале Программирование, № 6, с. 23-39
  • 
    • 1994 Об отношении аппроксимируемости семантик операторных программ
    • Захаров В.А.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 3, с. 54-60
  • 
    • 1994 Условия сглаживаемости операторных формальных моделей программ
    • Захаров В.А.
    • в журнале Программирование, № 5, с. 23-40
  • 
    • 1993 Об одном критерии сравнимости операторных формальных моделей программ
    • Захаров В.А.
    • в журнале Программирование, № 4, с. 12-25
  • 
    • 1992 Формальные модели программ и свободные схемы
    • Захаров В.А.
    • в журнале Программирование, № 2, с. 10-24
  • 
    • 1989 Об автоматных схемах программ
    • Захаров В.А.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 309, № 1, с. 24-27
  • 
    • 1986 Автоматные модели машин Тьюринга
    • Захаров В.А.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 291, № 2, с. 280-284

• Статьи в сборниках

  • 
    • 2019 Equivalence checking of prefix-free transducers and deterministic two-tape automata
    • Zakharov V.A.
    • в сборнике Language and Automata Theory and Applications, 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Cham, Switzelrand, том 11417, с. 146-158 DOI
  • • 2019 Верификация моделей реагирующих систем относительно одного расширения темпоральной логики CTL*
    • Гнатенко А.Р., Захаров В.А.
    • в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 263-266
  • • 2019 О задаче верификации для одного класса автоматов реального времен
    • Винарский Е.М., Захаров В.А.
    • в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 257-260
  • • 2019 О проблеме эквивалентности недетерминированных автоматов-преобразователей над однобуквенным выходным алфавитов
    • Жайлауова Ш.Р., Захаров В.А.
    • в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 272-275
  • • 2018 On the Model Checking of Finite State Transducers over Semigroups
    • Gnatenko A., Zakharov V.
    • в сборнике Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),, с. 26-34
    • редакторы Камкин Александр Сергеевич, Петренко Александр Константинович
  • 
    • 2018 On the expressive power of some extensions of Linear Temporal Logic
    • Gnatenko Anton, Zakharov Vladimir
    • в сборнике Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018, издательство Яросл. гос. ун-т (Ярославль), с. 29-36
  • • 2018 Модели активного противника в задаче обеспечения безопасности облачных вычислений
    • Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 67-70
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2018 О задаче проверки дедуктивной безопасности запросов к базам данных
    • Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 70-73
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2018 О минимизации конечных автоматов-преобразователей над полугруппой конечных префиксных языков
    • Жайлауова Ш.Р., Захаров В.А.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 119-122
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2018 О проверке детерминированности конечных автоматов с временными ограничениями
    • Винарский Е.М., Захаров В.А.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 81-83
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2018 Полиномиальный алгоритм проверки эквивалентности детерминированных двухленточных автоматов
    • Захаров В.А.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 128-130
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2018 Полиномиальный алгоритм проверки эквивалентности слабо недетерминированных конечных автоматов-преобразователей
    • Захаров В.А., Джусупекова З.А.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 134-136
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2018 Языки спецификаций моделей Крипке на основе темпоральных логик и их выразительные возможности
    • Захаров В.А., Гнатенко А.Р.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 131-133
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2017 О минимизации схем программ относительно логико-термальной эквивалентности
    • Жайлауова Ш.Р., Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.), серия Проблемы теоретической кибернетики, место издания М: МАКС Пресс, с. 84-87
    • редакторы Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич
  • • 2017 О сложности верификации автоматов-преобразователей над коммутативными полугруппами
    • Гнатенко А.Р., Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.), серия Проблемы теоретической кибернетики, место издания М: МАКС Пресс, с. 68-71
    • редакторы Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич
  • • 2016 On the model checking of sequential reactive systems
    • Kozlova D., Zakharov V.
    • в сборнике Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (CS&P 2016), серия CEUR Workshop Proceedings (CEUR-WS.org), издательство Humboldt Universitet Zu Berlin (Berlin, Germany), том 1698, с. 233-244
  • • 2016 К вопросу о дедуктивной безопасности вычислений над зашифрованными данными
    • Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в сборнике Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 371-373
    • редакторы Дудакова Ольга Сергеевна, Колпаков Роман Максимович, Комбаров Юрий Анатольевич, Кочергин Вадим Васильевич
  • • 2016 О проблеме логико-термальной эквивалентности недетерминированных стандартных схем программ
    • Захаров В.А., Попеско У.В.
    • в сборнике Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 196-198
    • редакторы Дудакова Ольга Сергеевна, Колпаков Роман Максимович, Комбаров Юрий Анатольевич, Кочергин Вадим Васильевич
  • • 2016 О проверке k-значности конечных автоматов-преобразователей над полугруппами
    • Джусупекова З.А., Захаров В.А.
    • в сборнике Материалы XII Международного семинара «Дискретная ма- тематика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 190-192
  • • 2016 Оптимизирующие преобразования потоковых программ
    • Темербекова Г.Г., Захаров В.А.
    • в сборнике Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 232-234
    • редакторы Дудакова Ольга Сергеевна, Колпаков Роман Максимович, Комбаров Юрий Анатольевич, Кочергин Вадим Васильевич
  • • 2016 Темпоральная логика для верификации автоматов-преобразователей
    • Козлова Д.Г., Захаров В.А.
    • в сборнике Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.), место издания Изд-во механико-математического факультета МГУ Москва, с. 204-206
    • редакторы Дудакова Ольга Сергеевна, Колпаков Роман Максимович, Комбаров Юрий Анатольевич, Кочергин Вадим Васильевич
  • 
    • 2015 Equivalence Checking Problem for Finite State Transducers
    • Zakharov V.A.
    • в сборнике Proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, Stuttgart, Germany, September 1-4, 2015, серия Lecture Notes in Computer Science, место издания Springer International Publishing Swirtzeland 2015 Swirtzeland, том 9270, с. 208-221
  • • 2015 К вопросу о существовании доказуемо стойких систем облачных вычислений
    • Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в сборнике Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г, серия ISBN 978-5-317-04970-6, место издания МАКС Пресс Москва, с. 50-52
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2015 Логико-термальная эквивалентность программ с динамической памятью
    • Новикова Т.А., Захаров В.А.
    • в сборнике Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г, серия ISBN 978-5-317-04970-6, место издания МАКС Пресс Москва, с. 173-176
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2014 A runtime verification system for Software Defined Networks
    • Altukhov V.S., Chemeritskiy E.V., Podymov V.V., Zakharov V.A.
    • в сборнике Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014, место издания Кострома: КГТУ, с. 19-28
  • • 2014 Consistent network update without tagging
    • Chemeritskiy E.V., Zakharov V.A.
    • в сборнике SDN&NFV:The Next Generation of Comput. Infrastructure: 2014 Intern. Sci. and Technol. Conf. "Modern Networking Technologies (MoNeTec)", место издания МАКС Пресс Москва, с. 47-52 DOI
  • • 2014 On the Network Update Problem for Software Defined Networks
    • Chemeritskiy E.V., Zakharov V.A.
    • в сборнике Proceedings of the 5th Workshop "Program Semantics, Specification and Verification: Theory and Applications", место издания Издательский дом ГУ ВШЭ Москва, с. 26-37
  • • 2014 Two-sided unification is NP-complete
    • Novikova T.A., Zakharov V.A.
    • в сборнике Proc. of the 28th Intern. Workshop on Unification (UNIF-2014), серия RISC-Linz Report Series, место издания JKU Linz, Vienna, Austria, том 6, с. 55-61
  • 
    • 2014 VERMONT - a toolset for checking SDN packet forwarding policies on-line
    • Altukhov V.S., Chemeritskiy E.V., Podymov V.V., Zakharov V.A.
    • в сборнике SDN and NFV: Next Generation of Computational Infrastructure - 2014 International Science and Technology Conference - Modern Networking Technologies, MoNeTec 2014, Proceedings, место издания МАКС Пресс Москва, с. 7-12 DOI
  • • 2014 О сложности задачи решения линейных уравнений над конечными подстановками
    • Новикова Т.А., Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 221-223
  • • 2014 Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 100-102
  • • 2013 A Formal Model and Verification Problems for Software Defined Networks
    • Chemeritskiy E.V., Smelyansky R.L., Zakharov V.A.
    • в сборнике Proceedings of the 4-th International Workshop "Program Semantics, Specification and Verification: Theory and Applications", место издания Yekaterinburg, Russia, с. 21-30
  • • 2013 An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts
    • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zakharov V.A., Zorin D.A., Glonina A.B.
    • в сборнике Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint, место издания Saint Petersburg State Polytechnical University Petersburg, Russia, с. 32-46
  • • 2013 DYANA: HLA-based distributed real-time embedded systems simulation tool
    • Antonenko V.A., Chemeritskiy E.V., Glonina A.B., Konnov I.V., Pashkov V.N., Podymov V.V., Savenkov K.O., Smeliansky R.L., Volkanov D.Yu, Zakharov V.A., Zorin D.A.
    • в сборнике Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, место издания IEEE Press, с. 4012-4013
  • • 2013 DYANA: an integrated development environment for simulation and verification of real-time avionics systems
    • Antonenko V.A., Chemeritsky E.V., Glonina A.B., Konnov I.V., Pashkov V.N., Podymov V.V., Savenkov K.O., Smeliansky R.L., Vdovin P.M., Volkanov D.Yu, Zakharov V.A., Zorin D.A.
    • в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany
  • • 2013 Is it possible to unify sequential programs
    • Novikova T.A., Zakharov V.A.
    • в сборнике Proceedings of the 27-th International Workshop on Unification, June 26, 2013, Eindhoven, серия EPiC Series, том 123, с. 36-46
  • • 2013 Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA
    • Волканов Д.Ю., Антоненко В.А., Герасёв А.В., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В.
    • в сборнике Сборник докладов шестой всероссийской научно-практической конференции "Имитационное моделирование. Теория и практика" (ИММОД-2013), место издания Издательство "ФЭН" Академии наук РТ, Казань, том 1, с. 322-326
  • • 2012 On the Designing of Model Checkers for Real-Time Distributed Systems
    • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
    • в сборнике 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012, место издания Novgorod, Russia, с. 72-81
  • • 2012 Методика использования системы имитационного моделирования РВС РВ, базирующейся на стандарте HLA
    • Антоненко В.А., Вдовин П.М., Волканов Д.Ю., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Макс-ПРЕСС Москва, том 13, с. 105-116
    • редакторы Королев Л.Н., Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич
  • • 2012 Модели и алгоритмы в задаче проверки эквивалентности программ
    • Захаров В.А.
    • в сборнике Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 53-62
  • • 2012 О логико-термальной эквивалентности стандартных схем программ
    • Захаров В.А., Новикова Т.А.
    • в сборнике Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 147-149
  • • 2012 О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ
    • Захаров В.А., Зорин Д.А., Подымов В.В., Коннов И.В., Волканов Д.Ю.
    • в сборнике Труды международной научной конференции Моделирование-2012, место издания Институт проблем моделирования в энергетике им. Г.Е. Пухова Киев, Украина, с. 199-202
  • • 2012 Об эквивалентности металинейных унарных рекурсивных программ
    • Захаров В.А., Подымов В.В.
    • в сборнике Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 157-159
  • • 2012 Об эквивалентности потоковых программ
    • Захаров В.А.
    • в сборнике Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 119-121
  • • 2011 О двухленточных машинах, описывающих полугруппы с сокращением
    • Захаров В.А., Подымов В.В.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.), серия Проблемы теоретической кибернетики, место издания Издательство Нижегородского университета Нижний Новгород, с. 372-375
  • • 2011 О применении антиунификации подстановок для проверки эквивалентности программ
    • Захаров В.А., Новикова Т.А.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.), серия Проблемы теоретической кибернетики, место издания Издательство Нижегородского университета Нижний Новгород, с. 340-343
  • • 2011 О проблеме эквивалентности потоковых программ
    • Захаров В.А.
    • в сборнике Труды Второй Международной научно-технической конференции «Компьютерные методы и технологии», Белгород, 3-6 октября 2011, место издания Белгородский государственный университет Белгород, с. 34-37
  • • 2010 Using adaptive symmetry reduction for LTL model checking
    • Konnov I.V., Zakharov V.A.
    • в сборнике Труды семинара «Семантика, спецификация и верификация программ: теория и приложения». Казань, 14-15 июня 2010, с. 5-11
  • • 2010 Языки описания схем. Проблемы верификации
    • Корухова Ю.С., Захаров В.А.
    • в сборнике Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н, место издания МАКС Пресс Москва МГУ, с. 188-190
  • • 2009 Anti-unification algorithms and their applications in program analysis
    • Bulychev P.E., Kostylev E.V., Zakharov V.A.
    • в сборнике Pre-Proceedings of the 7th International Conference “Perspectives of System Informatics”, June 15-19, 2009, Novosibirsk, место издания Novosibirsk, с. 82-89
  • • 2009 Anti-unification algorithms and their applications in program analysis
    • Bulychev P.E., Kostylev E.V., Zakharov V.A.
    • в сборнике Proceedings of the 7th International Conference “Perspectives of System Informatics”, June 15-19, 2009, Novosibirsk, серия Lecture Notes in Computer Science, место издания Springer, том 5947, с. 413-424
  • 
    • 2009 Establishing Linux Driver Verification Processes
    • Khoroshilov A., Mutilin V., Petrenko A.K., Zakharov V.A.
    • в сборнике Pre-Proceedings of the 7th International Conference “Perspectives of System Informatics”, June 15-19, 2009, Novosibirsk, место издания Novosibirsk, с. 124-131
  • • 2009 Establishing Linux Driver Verification Processes
    • Khoroshilov A., Petrenko A., Mutilin V., Zakharov V.A.
    • в сборнике Proceedings of the 7th International Conference “Perspectives of System Informatics”, June 15-19, 2009, Novosibirsk, серия Lecture Notes in Computer Science, место издания Springer, том 5947, с. 165-176
  • • 2009 Two-tape machinery for the equivalence checking of sequential programs
    • Zakharov V.A.
    • в сборнике Proceedings of the International Workshop on Program Understanding, June 20-22, 2009, Novosibirsk, место издания Novosibirsk, с. 28-40
  • • 2009 Возможна ли стойкая обфускация программ
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в сборнике Труды Первой Международной научно-технической конференции «Компьютерные методы и технологии», Белгород, 8-10 октября, 2009, с. 25-29, место издания Белгород, с. 25-29
  • • 2009 Об одной задаче верификации параметризованных конечных систем переходов
    • Булычев П.Е., Захаров В.А.
    • в сборнике Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, место издания Москва, с. 98-104
  • • 2009 Об одном обобщении подстановки применительно к вычислению инвариантов программ
    • Захаров В.А., Костылев Е.В.
    • в сборнике Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, место издания Москва, с. 123-130
  • • 2009 Универсальный подход к проверке отношений симуляции для моделей программ
    • Булычев П.Е., Захаров В.А.
    • в сборнике Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009, место издания Москва, с. 104-110
  • • 2008 How to cook an automated system for Linux driver verification
    • Khoroshilov A., Mutilin V., Shcherbina V., Strikov O., Vinogradov S., Zakharov V.A.
    • в сборнике Proceedings of the 1st Spring Young Researchers’ Colloquium on Software Engineering SYRCoSE 2008 (St Petersburg, May 29-30, 2008), место издания Санкт-Петербург, с. 15-19
  • • 2007 An invariant-based approach to the verification of asynchronous parameterized networks
    • Konnov I.V., Zakharov V.A.
    • в сборнике Proceedings of the 1-st International Workshop on Invariant Generation, June 25-26, 2007, Hagenberg, Austria, место издания Hagenberg, Austria, с. 41-55
  • • 2007 Computing (bi)simulation relations preserving CTL-X- logic for ordinary and fair Kripke structures
    • Bulychev P.E., Konnov I.V., Zakharov V.A.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 12, с. 59-76
  • 
    • 2007 On the concept of software obfuscation in computer security
    • Kuzurin N.N., Shokurov A.V., Varnovskij N.P., Zakharov V.A.
    • в сборнике Proceedings of the 7-th Information Security Conference (ISC'07), Valparaiso, Chile, серия Lecture Notes in Computer Science, место издания Springer Berlin, том 4779, с. 281-298
  • • 2007 On the verification of asynchronous parameterized networks of communicating processes by model checking
    • Konnov I.V., Zakharov V.A.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 12, с. 37-58
  • • 2007 Using algebraic models of programs for detecting metamorphic malwares
    • Kuzurin N.N., Podlovсhenko R.I., Shcherbina V.L., Zakharov V.A.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 12, с. 77-94
  • • 2006 Encoding mobile ambients into pi-calculus
    • Ciobanu G., Zakharov V.A.
    • в сборнике Pre-Proceedings of the Andrei Ershov 6th International Conference «Prespectives of System Informatics» (27-30 June 2006, Novosibirsk), место издания Novosibirsk, с. 79-91
  • • 2006 Encoding mobile ambients into the pi-calculus
    • Ciobanu G., Zakharov V.A.
    • в сборнике Proceedings of the Andrei Ershov 6th International Conference «Prespectives of System Informatics» (27-30 June 2006, Novosibirsk), серия Lecture Notes in Computer Science, место издания Springer Berlin, том 4378, с. 148-161
  • 
    • 2006 On the equivalence problem for programs with mode switching
    • Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
    • в сборнике Proceedings of CIAA-2005 "The 10-th International Conference on Implementation and Application of Automata" (June 27-29, 2005), Sophia Antipolis, France, серия Lecture Notes in Computer Science, место издания Springer, том 3845, с. 351-352
  • • 2006 The equivalence problem for programs with mode switching is PSPACE-complete
    • Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН, том 11, с. 111-135
  • • 2006 К вопросу об обфускации конечных автоматов
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в сборнике Материалы IX международной конференции «Интеллектуальные системы и компьютерные науки» (23-27 октября 2006 г.), место издания Изд-во механико-математического ф-та МГУ Москва, том 1, с. 127-130
  • • 2006 О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью
    • Захаров В.А., Иванов К.С.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН, том 11, с. 61-82
  • • 2006 О проблеме обфускации программ
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в сборнике Материалы зимних научных чтений факультета социологии и информационных технологий и XIII социологических чтений Российского государственного социального университета (1-4 февраля 2006 года), место издания Изд-во Московского государственного социального университета Москва, с. 204-206
  • • 2006 Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В., Чернов А.В.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН, том 11, с. 29-60
  • • 2005 On the equivalence checking problem for a model of programs related with muti-tape automata
    • Zakharov V.A., Zakharyaschev I.M.
    • в сборнике Proceedings of the 9-th International Conference on Implementation and Application of Automata (CIAA'04), July 22-24, 2004), Kingston, Ontario, Canada, серия Lecture Notes in Computer Science, место издания Springer, том 3317, с. 293-305
  • • 2005 On the equivalence problem for programs with mode switching
    • Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
    • в сборнике Pre-Proceedings of CIAA-2005 "The 10-th International Conference on Implementation and Application of Automata" (June 27-29, 2005), Sophia Antipolis, место издания France, с. 285-287
  • • 2005 Математические проблемы обфускации
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н.
    • в сборнике Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г., место издания МЦНМО, с. 65-91
  • • 2005 О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов
    • Захаров В.А., Захарьящев И.М., Подловченко Р.И., Русаков Д.М., Щербина В.Л.
    • в сборнике Труды второй всероссийской конференции «Методы и средства обработки информации», место издания Изд-во ф-та ВМК МГУ Москва, с. 414-421
  • • 2005 О формальной верификации криптографических протоколов с использованием spi-исчисления
    • Захаров В.А., Корчевский А.А.
    • в сборнике Труды второй всероссийской конференции «Методы и средства обработки информации», место издания Изд-во ф-та ВМК МГУ Москва, с. 373-379
  • • 2005 Об одном подходе к верификации асинхронных параметризованных систем
    • Захаров В.А., Коннов И.В.
    • в сборнике Труды второй всероссийской конференции «Методы и средства обработки информации», место издания Изд-во ф-та ВМК МГУ Москва, с. 367-373
  • • 2004 On the equivalence-checking problem for a model of programs related with multi-tape automata
    • Zakharov V.A., Zakharyaschev I.M.
    • в сборнике Pre-Proceedings of CIAA-2004 "The 9-th International Conference on Implementation and Application of Automata" (July 22-24, место издания Kingston, Ontario, Canada, с. 231-240
  • • 2004 On the equivalence-checking problem for polysemantic models of sequential programs
    • Zakharov V.A., Zakharyaschev I.M.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 6, с. 182-199
  • • 2004 Program obfuscation as obstruction of program static analysis
    • Ivanov K.S., Zakharov V.A.
    • в сборнике Труды Института системного программирования РАН, место издания ИСП РАН Москва, том 6, с. 141-161
  • • 2004 Математические проблемы обфускации
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н.
    • в сборнике Труды конференции "Математика и безопасность информационных технологий" (МаБИТ-04), Москва, 28-29 октября 2004 г, место издания Московский Центр Непрерывного Математического Образования, с. 54-72
  • • 2004 О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами
    • Захаров В.А., Захарьящев И.М.
    • в сборнике Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, место издания МАКС Пресс - МГУ Москва, с. 105-109
  • • 2004 О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами
    • Захаров В.А., Захарьящев И.М.
    • в сборнике Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 131-134
  • • 2004 Об одной алгебраической модели программ, связанной с обработкой прерываний
    • Захаров В.А.
    • в сборнике Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 129-131
  • • 2004 Об одной модели последовательных программ с динамической памятью
    • Захаров В.А., Иванов К.С.
    • в сборнике Труды 6-ой Международной конференции «Дискретные модели в теории управляющих систем", 7-11 декабря 2004 г., Москва, место издания МАКС Пресс - МГУ Москва, с. 112-116
  • • 2004 Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ
    • Захаров В.А., Костылев Е.В.
    • в сборнике Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 134-137
  • • 2003 An equivalence-checking algorithm for polysemantic models of sequential programs
    • Zakharov V.A., Zakharyaschev I.M.
    • в сборнике Proceedings of the International Workshop on Program Understanding (14-16 July, 2003, Altai Mountains), место издания Новосибирск, с. 59-70
  • 
    • 2003 On the possibility of provably secure obfuscating programs
    • Varnovskij N.P., Zakharov V.A.
    • в сборнике Proceedings of the Andrei Ershov 5th International Conference «Prespectives of System Informatics» (PSI'03) , 9-12 July 2003, Novosibirsk, серия Lecture Notes in Computer Science, место издания Springer, том 2890, с. 91-102
  • • 2003 К вопросу о существовании стойких обфускаторов программ
    • Варновский Н.П., Захаров В.А.
    • в сборнике Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), место издания МАКС-Пресс - МГУ Москва, с. 26-29
  • • 2003 О верификации параметризованных симметричных систем распределенных программ
    • Захаров В.А., Коннов И.В.
    • в сборнике Труды Первой Всероссийской научной конференции "Методы и средства обработки информации, место издания Издательский отдел факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова Москва, с. 395-400
  • • 2003 О перспективах решения задачи обфускации компьютерных программ
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в сборнике Труды конференции (МаБИТ-03) , Москва, 22-24 октября 2003 г, место издания Московский Центр Непрерывного Мватематического Образования Москва, с. 344-352
  • • 2003 О противодействии некоторым алгоритмам статического анализа программ
    • Захаров В.А., Иванов К.С.
    • в сборнике Труды конференции "Математика и безопасность информационных технологий" (МаБИТ-03) , Москва, 22-24 октября 2003 г, место издания Московский Центр Непрерывного Математического Образования Москва, с. 282-287
  • • 2003 Об одной полисемантической модели последовательных программ
    • Захаров В.А., Захарьящев И.М.
    • в сборнике Труды V Международной конференции «Дискретные модели в теории управляющих систем", (Ратмино, 26-29 мая 2003 г.), место издания МАКС Пресс-МГУ Москва, том 1, с. 26-29
  • • 2003 Об одной системе вывода, связанной со статическим анализом программ
    • Захаров В.А., Викторова М.С.
    • в сборнике Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), место издания МАКС-Пресс - МГУ Москва, с. 26-29
  • • 2002 Быстрые алгоритмы антиунификации и их применение при анализе программ
    • Захаров В.А., Костылев Е.В.
    • в сборнике Материалы XIII Международной школы-семинара «Синтез и сложность управляющих систем", место издания Пенза, с. 76-81
  • • 2001 An approach to the obfuscation of control-flow of sequential computer programs
    • Chow S., Gu Y., Johnson H., Zakharov V.A.
    • в сборнике Proceedings of the First "Information Security Conference", Malaga, Spain, 2001, серия Lecture Notes in Computer Science, том 2200, с. 144-155
  • 
    • 2001 The equivalence problem for computational models: Decidable and Undecidable Cases
    • Zakharov V.A.
    • в сборнике Proceedings of the Third International Conference, MCU 2001 Chişinau, Moldova, May 23–27, 2001, серия Lecture Notes in Computer Science, издательство SPRINGER HEIDELBERG (TIERGARTENSTRASSE 17, HEIDELBERG, GERMANY,D-69121), том 2055, с. 133-153
  • • 2001 To the obfuscation of sequential program control-flow
    • Zakharov V.A.
    • в сборнике Труды XII Байкальской международной конференции, Иркутск, Байкал, 24-июня-1 июля, место издания Иркутский государственный университет Иркутск, том 5, с. 57-61
  • • 2001 О проблеме эквивалентности операторных программ на одном классе уравновешенных шкал
    • Захаров В.А.
    • в сборнике Материалы VII Международного семинаpа «Дискpетная математика и ее пpиложения.», серия Часть II, место издания М.: МАКС Пресс,, с. 54-57
  • • 2001 О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах
    • Захаров В.А.
    • в сборнике Математические вопpосы кибеpнетики, место издания М.: Физматлит, том 10, с. 134-144
    • редактор Зыков Константин Анатольевич
  • • 2001 Теоретико-автоматный подход к определению формальных семантик языков программирования
    • Захаров В.А., Кончаков Р.В.
    • в сборнике , Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, место издания Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 107-114
  • • 2000 Towards a unified toolset for embedded systems development
    • Bahmurov A.G., Chistolinov M.V., Epatko I.V., Smelyanskij R.L., Vinter K., Zakharov V.A.
    • в сборнике Proceedings of the conference UKRPROG-2000 “Problems of Programming “, том 1, с. 316-322
  • • 2000 О международном проекте в области проверки правильности программного обеспечения встроенных систем
    • Бахмуров А.Г., Захаров В.А., Смелянский Р.Л., Чистолинов М.В.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Изд-факультета ВМиК МГУ Москва, том 1, с. 24-31
  • • 2000 О проблеме эквивалентности для схем программ с операторами засылки констант
    • Захаров В.А.
    • в сборнике Труды IV Международной конференции "Дискретные модели в теории управляющих систем", место издания МАКС-Пресс Москва, с. 153-154
  • • 2000 О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ
    • Захаров В.А., Соколова К.А.
    • в сборнике Труды IV Международной конференции "Дискретные модели в теории управляющих систем", место издания МАКС-Пресс Москва, с. 29-31
  • • 2000 Общие методы построения разрешающих алгоритмов эквивалентности пропозициональных операторных программ
    • Захаров В.А.
    • в сборнике Труды IV Международной конференции "Дискретные модели в теории управляющих систем", место издания МАКС-Пресс Москва, с. 25-29
  • • 2000 Операторные модели взаимодействующих процессов
    • Захаров В.А., Незнанов И.К.
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания Физматлит Москва, том 9, с. 127-160
    • редактор Зыков Константин Анатольевич
  • • 2000 Формализация языка описания моделей распределенных систем программ при помощи временных автоматов
    • Захаров В.А., Кончаков Р.В.
    • в сборнике Труды Всероссийской научной конференции "Высокопроизводительные вычисления и их приложения", 30 октября - 2 ноября, Черноголовка, место издания МГУ, с. 151-157
  • • 2000 Эффективные алгоритмы и их программные реализации
    • Захаров В.А., Кузюрин Н.Н., Холодов А.Н.
    • в сборнике Труды Института системного программирования РАН, том 1, с. 115-124
  • • 1999 On the refinement of logic programs by means of anti-unification
    • Zakharov V.A.
    • в сборнике Proceedings of the 2nd Panhellenic Logic Symposium, Delphi, место издания Greece, с. 219-224
  • • 1999 О разрешимости проблемы эквивалентности в одном классе операторных программ
    • Захаров В.А.
    • в сборнике Прикладная математика и информатика, место издания МГУ Москва, том 5, с. 90-100
  • • 1999 Об эффективной разрешимости проблемы эквивалентности линейных унарных рекурсивных программ
    • Захаров В.А.
    • в сборнике Математические вопpосы кибеpнетики, место издания Физматлит Москва, том 8, с. 255-273
  • • 1998 An efficient and unified approach to the decidability of equivalence of propositional program schemes
    • Zakharov V.A.
    • в сборнике Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13–17, 1998, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1443, с. 247-259
  • • 1998 Быстрые алгоритмы разрешения эквивалентности операторных программ на уравновешенных шкалах
    • Захаров В.А.
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания Физматлит Москва, том 7, с. 303-324
  • • 1998 О моделях систем взаимодействующих операторных программ
    • Захаров В.А., Незнанов Н.К.
    • в сборнике Труды III Международной конференции "Дискретные модели в теории управляющих систем", место издания Диалог - МГУ Москва, с. 75-79
  • • 1998 О проблеме эквивалентности операторных программ на упорядоченных полугрупповых моделях
    • Захаров В.А.
    • в сборнике Труды III Международной конференции "Дискретные модели в теории управляющих систем", место издания Диалог - МГУ Москва, с. 36-40
  • • 1997 On the verification of PLTL formulae by means of monotone disjunctive normal forms
    • Zakharov V.A.
    • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 419-429
    • редактор Адян Сергей Иванович
  • • 1997 To the relationship between the interleaving and causal models of parallel computations
    • Zakharov V.A., Spanopulo V.V.
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания CSLI Publications Stanford, USA, том 1, с. 221-232
  • • 1996 Быстрые алгоритмы распознавания эквивалентности в моделях программ с коммутирующими операторами
    • Захаров В.А., Подловченко Р.И.
    • в сборнике Компьютерные аспекты в научных исследованиях и учебном процессе, место издания Изд-Во Моск. Унив, с. 3-8
  • • 1995 Разработка теории и программных средств анализа поведения программ в распределенных вычислительных средах
    • Смелянский Р.Л., Бахмуров А.Г., Вознесенская Т.В., Захаров В.А., Капитонова А.П., Костенко В.А., Прокопенко В.В.
    • в сборнике Информационный бюллетень РФФИ, том 3, с. 486-486
  • • 1994 О свободных схемах в формальных моделях программ
    • Захаров В.А.
    • в сборнике Математические вопросы кибернетики, серия Математические вопросы кибернетики, место издания Физматлит Москва, том 5, с. 208-239
  • • 1993 Об одном критерии сравнимости формальных моделей программ
    • Захаров В.А.
    • в сборнике Сборник трудов семинара по дискретной математики и ее приложениям, место издания Изд-во механико-математического факультета МГУ Москва, с. 2-4
  • • 1993 Об одном типе эквивалентности схем программ
    • Захаров В.А.
    • в сборнике Методы и системы технической диагностики, место издания Саратовский государственный университет Саратов, том 18, с. 68-70
  • • 1987 On the functional equivalence of Turing machines
    • Zakharov V.A.
    • в сборнике Proceedings of the 6-th International Conference "Fundamentals of Computation Theory", Kazan, USSR, June 22–26, 1987, серия Lecture Notes in Computer Science, издательство SPRINGER-VERLAG BERLIN (HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197), том 278, с. 488-492

• Книги

  • • 2016 Проблема эквивалентности программ: модели, алгоритмы, сложность
    • Захаров В.А.
    • место издания Аргамак-Медиа Москва, ISBN 978-5-00024-062-5, 304 с.
  • • 2005 Embedding mobile ambients into pi-calculus
    • Ciobanu G., Zakharov V.A.
    • место издания Universitatea “Alexandru Ioan Cuza Iasi, Romania, 17 с.

• Доклады на конференциях

  • • 2021 Алгебраический метод проверки эквивалентности для некоторых классов автоматов (Пленарный)
    • Автор: Захаров В.А.
    • XIX Международная конференция "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ", г. Казань, Россия, 27 сентября - 1 октября 2021
  • • 2019 О проверке эквивалентности детерминированных биоавтоматов (Устный)
    • Автор: Захаров В.А.
    • Научная конференция "Тихоновские чтения 2019", МГУ, Россия, 28 октября - 1 ноября 2019
  • • 2019 О свойствах одной простой модели блокчейна (Устный)
    • Авторы: Захаров В.А., Шокуров А.В.
    • Научная конференция "Тихоновские чтения 2019", МГУ, Россия, 28 октября - 1 ноября 2019
  • • 2019 О сложности верификации конечных автоматов-преобразователей над свободными полугруппами (Устный)
    • Авторы: Захаров В.А., Гнатенко А.Р.
    • Научная конференция "Тихоновские чтения 2019", МГУ, Россия, 28 октября - 1 ноября 2019
  • • 2019 О задаче верификациидля одного класса автоматов реального времени (Устный)
    • Авторы: Захаров В.А., Винарский Е.М.
    • XIII Международный семинар "Дискретная математика и ее приложения", Москва, Россия, 17-22 июня 2019
  • • 2019 Equivalence checking of prefix-free ransducers and two-tape deterministic automata (Устный)
    • Автор: Zakharov V.A.
    • Language and Automata Theory and Applications (LATA 2019), Санкт-Петербург, Россия, 26 марта 2019
  • • 2018 On the Expressive Power of Some Extensions of Linear Temporal Logic (Устный)
    • Авторы: Гнатенко Антон Романович, Захаров Владимир Анатольевич
    • 9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia), Ярославль, Россия, 21-22 июня 2018
  • • 2018 On Minimization of Strictly Deterministic Timed Finite State Machines (Устный)
    • Авторы: Vinarskii E.M., Zakharov V.A.
    • The 12th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (May 30 - June 1, 2018, Novgorod the Great, Russia), Великий Новгород, Россия, 29 мая - 1 июня 2018
  • • 2018 On the Model Checking of Finite State Transducers over Semigroups (Устный)
    • Авторы: Gnatenko A.R., Zakharov V.A.
    • The 12th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (May 30 - June 1, 2018, Novgorod the Great, Russia), Великий Новгород, Россия, 29 мая - 1 июня 2018
  • • 2018 О минимизации конечных автоматов-преобразователей над полугруппой конечных префиксных языков (Устный)
    • Авторы: Захаров В.А., Жайлауова Ш.Р.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2018 О проверке деьерминированности конечных автоматов с временными ограничениями (Устный)
    • Авторы: Винарский Е.М., Захаров В.А.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2018 Полиномиальный алгоритм проверки эквивалентности детерминированных двухленточных автоматов (Устный)
    • Автор: Захаров В.А.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2018 Полиномиальный алгоритм проверки эквивалентности слабо недетерминированных автоматов-преобразователей (Устный)
    • Авторы: Захаров В.А., Джусупекова З.А.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2018 Языки спецификаций для моделей Крипке на основе темпоральных логик и их выразительные возможности (Устный)
    • Авторы: Захаров В.А., Гнатенко А.Р.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2017 О минимизации схем программ относительно логико-термальной эквивалентности (Устный)
    • Авторы: Жайлауова Ш.Р., Захаров В.А.
    • XVIII Международная конференция «Проблемы теоретической кибернетики» (Пенза, 19-23 июня 2017 г.), Пенза, Россия, 19-23 июня 2017
  • • 2017 О сложности верификации автоматов-преобразователей над коммутативными полугруппами (Устный)
    • Авторы: Гнатенко А.Р., Захаров В.А.
    • XVIII Международная конференция «Проблемы теоретической кибернетики» (Пенза, 19-23 июня 2017 г.), Пенза, Россия, 19-23 июня 2017
  • • 2016 On the model checking of sequential reactive systems (Устный)
    • Авторы: Kozlova D., Zakharov V.
    • 25th International Workshop on Concurrency, Specification and Programming (CS&P 2016), Росток, Германия, 28-30 сентября 2016
  • • 2016 К вопросу о дедуктивной безопасности вычислений над зашифрованными данными (Устный)
    • Авторы: Варновский Н.П., Шокуров А.В., Захаров В.А.
    • Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова , МГУ, Россия, 20-25 июня 2016
  • • 2016 О проблеме логико-термальной эквивалентности недетерминированных стандартных схем программ (Устный)
    • Авторы: Захаров В.А., Попеско У.В.
    • Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова , МГУ, Россия, 20-25 июня 2016
  • • 2016 О проверке k-значности конечных автоматов-преобразователей над полугруппами (Устный)
    • Авторы: Джусупекова З.А., Захаров В.А.
    • Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова , МГУ, Россия, 20-25 июня 2016
  • • 2016 Оптимизирующие преобразования потоковых программ (Устный)
    • Авторы: Темербекова Г.Г., Захаров В.А.
    • Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова , МГУ, Россия, 20-25 июня 2016
  • • 2016 Темпоральная логика для верификации автоматов-преобразователей (Устный)
    • Авторы: Козлова Д.Г., Захаров В.А.
    • Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова , МГУ, Россия, 20-25 июня 2016
  • • 2016 On the minimization and equivalence checking of sequential reactive systems (Устный)
    • Авторы: Захаров В.А., Темербекова Г.Г.
    • Seventh Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016, June 14-15, 2016), Санкт-Петербург, Россия, 14-15 июня 2016
  • • 2015 К вопросу о существовании стойких систем облачных вычислений (Устный)
    • Авторы: Захаров В.А., Варновский Н.П., Шокуров А.В.
    • Тихоновские Чтения (26-29 октября 2015 г.), МГУ имени М.В.Ломоносова, Россия, 26 октября - 2 ноября 2015
  • • 2015 Equivalence checking problem for finite state transducers over semigroups (Устный)
    • Автор: Zakharov V.A.
    • 6th International Conference on Algebraic Informatics, Штутгарт, Германия, 3 сентября 2015
  • • 2015 Логико-термальная эквивалентность программ с динамической памятью (Устный)
    • Авторы: Захаров В.А., Новикова Т.А.
    • IX Международная конференция "Дискретные модели в теории управляющих систем", Москва и Подмосковье, Россия, 20-22 мая 2015
  • • 2014 A runtime verification system for Software Defined Networks (Устный)
    • Авторы: Altukhov V.S., Chemeritsky E.V., Podymov V.V., Zakharov V.A.
    • Международная научно-практическая конференция: Tools & Methods of Program Analysis, TMPA-2014, Кострома, 2014
  • • 2014 Consistent network update without tagging (Устный)
    • Авторы: Zakharov V.A., Chemeritsky E.V.
    • SDN&NFV: The Next Generation of Comput. Infrastructure: 2014 Intern. Sci. and Technol. Conf. "Modern Networking Technologies (MoNeTec)", Москва, Россия, 2014
  • • 2014 Models and techniques for verification of Software Defined Networks (Устный)
    • Авторы: Victor Altukhov, Eugene Chemeritskiy, Vladislav Podymov, Vladimir Zakharov
    • Workshop on Formal Reasoning in Distributed Algorithms (FRIDA-2014), Vienna, Austria, Австрия, 2014
  • • 2014 Two-sided unification is NP-complete
    • Авторы: Novikova T.A., Zakharov V.A.
    • 28th International Workshop on Unification (UNIF-2014), Vienna, Austria, Австрия, 2014
  • • 2014 VERMONT - a toolset for checking SDN packet forwarding policies on-line (Устный)
    • Авторы: Altukhov V.S., Chemeritsky E.V., Podymov V.V., Zakharov V.A.
    • SDN&NFV: The Next Generation of Comput. Infrastructure: 2014 Intern. Sci. and Technol. Conf. "Modern Networking Technologies (MoNeTec)", Москва, Россия, 2014
  • • 2014 О сложности задачи решения линейных уравнений над конечными подстановками
    • Авторы: Захаров В.А., Новикова Т.А.
    • 17-я Международная конференция «Проблемы теоретической кибернетики», г.Казань, , 2014
  • • 2011 О применении антиунификации подстановок для проверки эквивалентности программ
    • Авторы: Захаров В.А., Новикова Т.А.
    • Материалы 16-й Международной конференции «Проблемы теоретической кибернетики», Нижний Новгород, 2011

• Тезисы докладов

  • • 2019 О проверке эквивалентности детерминированных биоавтоматов
    • Захаров В.А.
    • в сборнике "Тихоновские чтения": научная конференция: тезисы докладов, место издания МаксПресс Москва, тезисы, с. 94-94
  • • 2019 О свойствах одной простой модели блокчейна
    • Захаров В.А., Шокуров А.В.
    • в сборнике "Тихоновские чтения": научная конференция: тезисы докладов, место издания МаксПресс Москва, тезисы, с. 95-95
  • • 2019 О сложности верификации конечных автоматов-преобразователей над свободными полугруппами
    • Захаров В.А., Гнатенко А.Р.
    • в сборнике "Тихоновские чтения": научная конференция: тезисы докладов, место издания МаксПресс Москва, тезисы, с. 91-91
  • • 2017 О дедуктивной безопасности запросов к базам данных с многобитовыми записями
    • Аббас М.М., Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в сборнике Тихоновские чтения: научная конференция: тезисы докладов (23 октября - 27 октября 2017 г.), место издания МАКС Пресс Москва, тезисы, с. 64-65
  • • 2015 К вопросу о существовании доказуемо стойких систем облачных вычислений
    • Варновский Н.П., Захаров В.А., Шокуров А.В.
    • в сборнике Тихоновские чтения МГУ им. М. В. Ломоносова, Научная конференция: Тезисы докладов, 26 октября-2 ноября 2015, место издания МАКС Пресс Москва, тезисы, с. 28-28
  • • 2010 Equivalence checking of sequential programs using two-tape automata
    • Zakharov V.A.
    • в сборнике International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010), место издания Abstracts Kiev, тезисы, с. 25-25
  • • 2009 О сложности проверки эквивалентности программ с операторами засылки констант
    • Захаров В.А., Щербина В.Л.
    • в сборнике Tруды VIII Международной конференции «Дискре тные модели в теории управляющих систем», место издания М.: МАКС Пресс, тезисы, с. 369-374
  • • 2008 О проблеме эквивалентности в одном классе монадических линейных программ
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XV Международной конференции (Казань, 2-7 июня 2008 г.), серия Проблемы теоретической кибернетики, место издания Изд-во Казанского государственного университета Казань, тезисы, с. 40-40
  • • 2008 Теоретические аспекты проблемы обфускации программ
    • Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
    • в сборнике Тезисы доклада на XVII Общероссийской научно-технической конференции «Методы и технические средства обеспечения безопасности информации», С. Петербург, 7-11 июля 2008, тезисы
  • • 2007 Об эквивалентности программ с операторами, обладающими свойствами коммутативности и подавления
    • Захаров В.А., Щербина В.Л.
    • в сборнике Материалы IX Международного семинара «Дискретная математика и ее приложения» (Москва, 18-23 июня 2007 г.), место издания Изд-во механико-математического ф-та МГУ Москва, тезисы, с. 191-194
  • • 2006 Применение методов теории игр к поиску некоторых видов симуляции на размеченных системах переходов
    • Булычев П.Е., Захаров В.А., Коннов И.В.
    • в сборнике Tруды VII Международной конференции «Дискре тные модели в теории управляющих систем», место издания М.: МАКС Пресс, тезисы, с. 40-46
  • • 2005 Об одном символьном методе верификации криптографических протоколов
    • Захаров В.А., Корчевский А.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции (Пенза, 23-28 мая 2005 г.), серия Проблемы теоретической кибернетики, место издания Изд-во механико-математического факультета МГУ Москва, тезисы, с. 71-71
  • • 2005 Проверка эквивалентности программ: модели и алгоритмы
    • Захаров В.А., Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции (Пенза, 23-28 мая 2005 г.), серия Проблемы теоретической кибернетики, место издания Изд-во механико-математического факультета МГУ Москва, тезисы, с. 122-122
  • • 2004 On the equivalence-checking problem for sequential programs with partially commuting and monotonic statements
    • Zakharov V.A., Zakharyaschev I.M.
    • в сборнике Proceedings of the XI Congress of Mathematics of Serbia and Montenegro, September 28-October 2, 2004, Petrovac, Montenegro, место издания Podgorica, Montenegro, тезисы, с. 79-79
  • • 2002 Вычисление инвариантов последовательных программ
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XIII Международной конференции (Казань, 27-31 мая 2002 г.), серия Проблемы теоретической кибернетики, место издания М.: Изд-во центра прикладных исследований при мех.-мат. ф-те МГУ, тезисы, с. 68-68
  • • 2001 Верификация распределенных программ в системе имитационного моделирования DYANA
    • Захаров В.А., Кончаков Р.В., Смелянский Р.Л., Царьков Д.В.
    • в сборнике Интеллектуальные и многопроцессорные системы. Тезисы докладов Международной научной конференции, место издания Таганрог, тезисы, с. 152-156
  • • 2000 On the approximation relation on dynamic logic models
    • Zakharov V.A.
    • в сборнике Logic Colloquium 2000, Paris, La Sorbonne. Abstracts of contributed papers, серия Logic Colloquium, место издания Paris, тезисы, с. 23-31
  • • 2000 On the logical and timed analysis of an airborne navigation system by means of DYANA
    • Bahmurov A., Chistolinov M., Konchakov R., Tsarkov D., Smelyanskij R., Zakharov V.A.
    • в сборнике 4-th Multiconference of Systematic, Cybernetics and Informatics (SCI-2000), место издания Orlando, USA, тезисы
  • • 2000 The development and verification of distributed real time embedded computer systems for avionics
    • Bahmurov A.G., Chistolinov M.V., Epatko I.V., Smelyanskij R.L., Vinter K., Zakharov V.A.
    • в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129
  • • 2000 The development and verification of distributed real time embedded computer systems for avionics (Project DrTesy)
    • Smeliansky R.L., Chistolinov M.V., Epatko I.V., Grote J.F., Konchakov R.V., Peshko A.S., Tsarkov D.V., Usenko Y.S., Winter K., Zakharov V.A.
    • в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129
  • • 1999 О проблеме эквивалентности унарных металинейных рекурсивных схем
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XII Международной конференции (Нижний Новгород, 17-22 мая 1999 г.), серия Проблемы теоретической кибернетики, место издания Изд-во механико-математического факультета МГУ Москва, тезисы, с. 78-78
  • • 1998 О проблеме эквивалентности пропозициональных программ над полугруппами
    • Захаров В.А.
    • в сборнике Kurosh Algebraic Conference'98, Abstracts of Talks, место издания механико-математический факультет МГУ им. М.В. Ломоносова Москва, тезисы, с. 170-172
  • • 1997 Полиномиальный алгоритм разрешения проблемы эквивалентности унарных линейных рекурсивных схем программ
    • Захаров В.А.
    • в сборнике Труды II Международной конференции «Дискре тные модели в теории управляющих Систем», место издания Диалог - МГУ Москва, тезисы, с. 26-29
  • • 1996 Полиномиальный алгоритм разрешения эквивалентности схем программ
    • Захаров В.А., Подловченко Р.И.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (10-14 июня 1996 г.), серия Проблемы теоретической кибернетики, место издания Российский государственный гуманитарный университет Москва, тезисы, с. 68-70
  • • 1996 Сравнительный анализ двух семантик параллельных вычислений
    • Захаров В.А., Спанопуло В.В.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (10-14 июня 1996 г.), серия Проблемы теоретической кибернетики, место издания Российский государственный гуманитарный университет Москва, тезисы, с. 222-222
  • • 1995 Вывод инвариантов программ с использованием антиунификации
    • Захаров В.А.
    • в сборнике Материалы 4-ой международной конференции по прикладной логике, место издания Иркутский государственный университет Иркутск, тезисы, с. 33-34
  • • 1995 Моделирование логических программ пропозициональными схемами
    • Захаров В.А., Болгов С.К.
    • в сборнике Материалы 4-ой международной конференции по прикладной логике, место издания Иркутский государственный университет Иркутск, тезисы, с. 35-36
  • • 1995 Проект смешанной операторно-логической системы программирования
    • Захаров В.А., Маневич С.И.
    • в сборнике Материалы 4-ой международной конференции по прикладной логике, место издания Иркутский государственный университет Иркутск, тезисы, с. 37-38
  • • 1995 Эквивалентные преобразования схем программ в моделях, порожденных формулами динамической логики
    • Захаров В.А.
    • в сборнике Логика, методология и философия науки. XI Международная конференция, место издания Москва-Обнинск, том 2, тезисы, с. 137-142
  • • 1991 Условия свободной схемы в формальных моделях программ
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов IX Всесоюзной конференции, серия Проблемы теоретической кибернетики, место издания Волгоградский государственный университет Волгоград, тезисы, с. 94-96
  • • 1988 Схемы Янова с автоматными сдвигами
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов VIII Всесоюзной конференции, серия Проблемы теоретической кибернетики, место издания Горьковский государственный университет Горький, тезисы, с. 101-102
  • • 1985 Эквивалентные преобразования в одном классе машин Тьюринга
    • Захаров В.А.
    • в сборнике Прикладая математика и математическое обеспечение ЭВМ, место издания Московский государственный университет им. М.В. Ломоносова Москва, тезисы, с. 75-76
  • • 1985 Эквивалентные преобразования моделей машин Тьюринга
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов VII Всесоюзной конференции (Иркутск, 18-20 сентября 1985 г.), серия Проблемы теоретической кибернетики, место издания Иркутский государственный университет Иркутск, тезисы, с. 78-79
  • • 1983 Проблема эквивалентности в одном классе машин Тьюринга
    • Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Тезисы докладов VI Всесоюзной конференции, серия Проблемы теоретической кибернетики, место издания Саратовский государственный университет Саратов, тезисы, с. 70-71

• НИРы

  • • 1 января 2019 - 31 декабря 2023 Математические модели дискретных управляющих систем и их приложения
    • Кафедра математической кибернетики
    • Руководители: Захаров В.А., Ложкин С.А. Ответственный исполнитель: Романов Д.С. Участники НИР: Борисов А.В., Владимирова Ю.С., Вороненко А.А., Данилов Б.Р., Жуков В.В., Зизов В.С., Мальцев А.Н., Подымов В.В., Половинкина Т.И., Рамиль Альварес Х., Хзмалян Д.Э., Шуплецов М.С.
  • • 22 мая 2018 - 25 мая 2018 10-я Международная конференция "Дискретные модели в теории управляющих систем"
    • Кафедра математической кибернетики
    • Руководитель: Алексеев В.Б. Ответственный исполнитель: Селезнева С.Н. Участники НИР: Данилов Б.Р., Захаров В.А., Ложкин С.А., Нагорный А.С., Подымов В.В., Романов Д.С., Чокаев Б.В., Шуплецов М.С.
  • • 1 февраля 2018 - 31 декабря 2020 Применение теории схем программ и теории автоматов для решения задач верификации и оптимизации программ
    • Кафедра математической кибернетики
    • Руководитель: Захаров В.А.
  • • 1 января 2017 - 31 декабря 2017 Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ
    • Кафедра математической кибернетики
    • Руководитель: Захаров В.А. Участник НИР: Подымов В.В.
  • • 9 января 2016 - 31 декабря 2016 Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ
    • 4.08.Лаборатория параллельных информационных технологий
    • Руководитель: Захаров В.А. Участник НИР: Подымов В.В.
  • • 20 мая 2015 - 22 мая 2015 Проект организации 9-й международной конференции "Дискретные модели в теории управляющих систем"
    • Кафедра математической кибернетики
    • Руководитель: Алексеев В.Б. Участники НИР: Бухман А.В., Данилов Б.Р., Захаров В.А., Ложкин С.А., Нагорный А.С., Романов Д.С., Сапоженко А.А., Селезнева С.Н., Шуплецов М.С.
  • • 1 января 2014 - 31 декабря 2018 Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
    • Кафедра математической кибернетики
    • Руководители: Захаров В.А., Ложкин С.А. Ответственные исполнители: Романов Д.С., Шуплецов М.С. Участники НИР: Антюфеев Г.В., Владимирова Ю.С., Высоцкий Л.И., Данилов Б.Р., Добровецкий Д.И., Довгалюк Е.Л., Жуков В.В., Зиновьев В.С., Коноводов В.А., Кулешов О.В., Кухтинов А.С., Любич И.Г., Марченко А.М., Маслов С.П., Морозов Е.В., Павлова А.Ф., Подловченко Р.И., Подымов В.В., Рамиль Альварес Х., Романов Д.С., Сальников В.А., Шуплецов М.С.
  • • 1 марта 2013 - 28 августа 2013 создание прототипа отечественной пкс платформы управления сетевыми ресурсами и потоками с помощью сетевой операционной системы (сос) на основе анализа и оценки существующих сетевых операционных систем для пкс сетей и выбора одной из них для последующего
    • Лаборатория вычислительных комплексов
    • Руководитель: Смелянский Р.Л. Участники НИР: Алтухов В.С., Балаханов В.А., Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Захаров В.А., Зорин Д.А., Капитонова А.П., Косачева С.А., Мирошникова О.А., Носеевич Г.М., Пашков В.Н., Самойлов М.Н., Сапожников А.В., Сковорода А.А., Чемерицкий Е.В., Чистолинов М.В.
  • • 1 декабря 2012 - 31 декабря 2014 Методы дискретной математики в решении задач семантического анализа программ
    • 4.08.Лаборатория параллельных информационных технологий
    • Руководитель: Подловченко Р.И. Участник НИР: Захаров В.А.
  • • 1 января 2012 - 31 декабря 2016 Развитие теорий моделей программ
    • 4.08.Лаборатория параллельных информационных технологий
    • Руководитель: Подловченко Р.И. Ответственный исполнитель: Захаров В.А.
  • • 1 января 2011 - 31 декабря 2015 Разработка и применение математических моделей и методов для решения задач обеспечения информационной безопасности
    • Кафедра информационной безопасности
    • Руководители: Захаров В.А., Соколов И.А. Участники НИР: Yurova A.Y., Анашин В.С., Бородин М.А., Гилязов Р.Р., Грушо А.А., Егоров В.Н., Захаров В.А., Карпунин Г.А., Липина Т.И., Применко Э.А., Тимонина Е.Е., Хренников А.Ю., Черепнев М.А., Чижов И.В.
  • • 20 сентября 2010 - 15 ноября 2012 Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)
    • Лаборатория вычислительных комплексов
    • Руководитель: Смелянский Р.Л. Участники НИР: Антоненко В.А., Балаханов В.А., Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Гамаюнов Д.Ю., Герасёв А.В., Зайцев Д.А., Зайцев Д.А., Зайцев Д.А., Захаров В.А., Зорин Д.А., Козлов Д.Д., Козлов Д.Д., Коннов И.В., Косачева С.А., Костенко В.А., Наградов Е.А., Носеевич Г.М., Пашков В.Н., Подымов В.В., Прус В.В., Савенков К.О., Савенков К.О., Сапожников А.В., Сахаров Ф.В., Сахаров Ф.В., Сахаров Ф.В., Чемерицкий Е.В., Чистолинов М.В., Шалимов А.В., Шестов П.Е., Шестов П.Е., Ющенко Н.В.

• Патенты

  • • 2017 METHOD FOR DYNAMICALLY MONITORING THE COMPLIANCE OF SWITCHING DEVICE SETTINGS
    • Авторы: CHEMERITSKIY EVGENY VIKTOROVICH, ZAKHAROV VLADIMIR ANATOL'EVICH
    • #WO2016RU00252 20160427, 2 ноября

• Награды и премии

  • • 2017 Премия по Программе развития МГУ
    • Лауреат: Захаров Владимир Анатольевич
    • МГУ им.М.В. Ломоносова, ВМК, Россия
  • • 2016 Премия по Программе развития МГУ
    • Лауреат: Захаров Владимир Анатольевич
    • МГУ им. М.В. Ломоносова, Россия

• Участие в редколлегии журналов

  • • с 1 ноября 2017 Automatic Control and Computer Sciences
    • издательство Allerton Press Inc. (United States)
  • • с 22 августа 2016 Моделирование и анализ информационных систем
    • издательство Яросл. гос. ун-т (Ярославль)

• Участие в программных комитетах конференций

  • • 25-27 ноября 2021 TMPA 2021: Software Testing, Machine Learning and Complex Process Analysis
    • Член программного комитета
    • Томск, Россия
  • • 4-5 ноября 2021 XII Workshop Program Semantics, Specification and Verification: Theory and Applications
    • Председатель программного комитета
    • Москва, Россия
  • • 27 сентября - 1 октября 2021 XIX Международная конференция "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ"
    • Член программного комитета
    • г. Казань, Россия
  • • 21 июня 2021 CSMML Workshop 2021: Control Software: Methods, Models, and Languages
    • Член программного комитета
    • Таллин, Эстония
  • • 27-28 мая 2021 Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE)
    • Член программного комитета
    • Москва, Россия
  • • 3-4 ноября 2020 11-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020, November 3 and 4, 2020, Moscow, Russia)
    • Председатель программного комитета
    • Москва, Россия
  • • 20-29 октября 2020 3rd International Science and Technology Conference «Modern Network Technologies, MoNeTec - 2020»
    • Член программного комитета
    • MTUCI, Moscow, Россия
  • • 28-29 мая 2020 Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE)
    • Член программного комитета
    • Zoom, internet, Россия
  • • 7-9 ноября 2019 International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)
    • Член программного комитета
    • Тбилиси, Грузия
  • • 1-2 июля 2019 10-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV-2019, July 1 and 2, 2019, Novosibirsk Akademgorodok, Russia)
    • Председатель программного комитета
    • Новосибирск, Академгородок, Россия
  • • 29-31 мая 2019 Spring/Summer Young Researchers' Colloquium on Software Engineering - 2019
    • Член программного комитета
    • Саратов, Россия
  • • 21-22 июня 2018 9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia)
    • Председатель программного комитета
    • Ярославль, Россия
  • • 29 мая - 1 июня 2018 The 12th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (May 30 - June 1, 2018, Novgorod the Great, Russia)
    • Член программного комитета
    • Великий Новгород, Россия
  • • 22-25 мая 2018 X Международная конференция "Дискретные модели в теории управляющих систем"
    • Председатель программного комитета
    • Московская область, Можайский район, Красновидово, Россия
  • • 26 июня 2017 Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017)
    • Председатель программного комитета
    • Москва, Россия
  • • 5-7 июня 2017 The 11th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (June 5-7, 2017, Innopolis, Russia)
    • Член программного комитета
    • Иннополис, Россия
  • • 3-4 марта 2017 4-я международная научно-практическая конференция Инструменты и Методы Анализа Программ (TMPA-2017, Москва, 3-4 марта 2017)
    • Член программного комитета
    • Москва, Россия
  • • 14-15 июня 2016 Международный семинар "Программные семантики, спецификации и верификация (PSSV)"
    • Член программного комитета
    • Санкт-Петербург, Россия
  • • 30 мая - 1 июня 2016 X Международная конференция молодых ученых в области программной инженерии SYRCoSE
    • Член программного комитета
    • Московская область, Можайский район, деревня Красновидово, Россия
  • • 12-14 ноября 2015 Третья международная научно-практическая конференция TMPA-2015
    • Член программного комитета
    • Санкт-Петербург, Россия
  • • 24 августа 2015 Семинар "Программные семантики, спецификации и верификация (PSSV)"
    • Член программного комитета
    • Казань, Россия
  • • 28-30 мая 2015 9th Spring/Summer Young Researchers' Colloquium on Software Engineering
    • Член программного комитета
    • Самара, Россия
  • • 20-22 мая 2015 IX Международная конференция "Дискретные модели в теории управляющих систем"
    • Член организационного комитета
    • Москва и Подмосковье, Россия

• Членство в диссертационных советах

  • • 8 мая 2019 - 31 декабря 2022 МГУ.05.01, МГУ имени М.В. Ломоносова, Механико-математический факультет
    • 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • • 19 декабря 2017 - 31 декабря 2018 МГУ.05.01, МГУ имени М.В. Ломоносова, Механико-математический факультет
    • 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • • 15 октября 2014 - 31 августа 2017 Д 501.001.44, МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)

• Руководство диссертациями

  • • 2016 Математические модели и методы в решении задач реорганизации программ
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Новикова Татьяна Анатольевна
    • Научный руководитель: Захаров Владимир Анатольевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • Организация, в которой выполнялась работа: Московский государственный университет
    • Ведущая организация: Институт прикладной математики им. М. В. Келдыша РАН
    • Оппоненты: Башкин В.А., Шилов Н.В.
  • • 2015 Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Подымов Владислав Васильевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Захаров Владимир Анатольевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  • • 2010 Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Булычев П.Е.
    • Научные руководители: Смелянский Р.Л., д.ф.-м.н., проф., член-корр. РАН, МГУ имени М.В. Ломоносова, Захаров В.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  • • 2008 Алгоритмы антиунификации и их применение для вычисления инвариантов программ
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Костылев Е.В.
    • Научный руководитель: Захаров В.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  • • 2008 Верификация параметризованных моделей распределенных систем
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Коннов И.В.
    • Научные руководители: Смелянский Р.Л., д.ф.-м.н., проф., член-корр. РАН, МГУ имени М.В. Ломоносова, Захаров В.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  • • 2002 Верификация распределенных программ методом проверки на модели
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Царьков Дмитрий Викторович
    • Научные руководители: Смелянский Р.Л., д.ф.-м.н., проф., член-корр. РАН, МГУ имени М.В. Ломоносова, Захаров В.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  • • 2002 Вопросы сложности анализа конъюнктивных грамматик
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Охотин Александр Сергеевич
    • Научный руководитель: Захаров В.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Диссертации

  • • 2012 Проблема эквивалентности программ: модели, алгоритмы, сложность
    • Докторская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Захаров Владимир Анатольевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  • • 1987 Автоматные модели машин Тьюринга
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Захаров Владимир Анатольевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Яблонский С.В.
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Авторство учебных курсов

  • • 2022 Введение в искусственный интеллект
    • Авторы: Захаров В.А., Рыжов А.П., и др.
  • • 2021 Введение в искусственный интеллект
    • Авторы: Рыжов А.П., и др., Захаров В.А.
  • • 2019 Дискретная математика
    • Автор: Захаров В.А.
  • • 2018 Modern trends in discrete mathematics and computer science
    • Авторы: Захаров В.А., Алексеев В.Б., Подымов В.В., Романов Д.С., Селезнева С.Н., Шуплецов М.С., Чокаев Б.В.
    • курс на иностранном языке
  • • 2016 Распределенные системы и алгоритмы
    • Автор: Захаров Владимир Анатольевич
  • • 2016 Методы верификации программ
    • Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич
  • • 2016 Математические модели последовательных вычислений
    • Автор: Захаров Владимир Анатольевич
  • • 2016 Математические методы верификации схем и программ
    • Авторы: Захаров Владимир Анатольевич, Подымов Владислав Васильевич
  • • 2015 Модели вычислений
    • Авторы: Захаров В.А., Подловченко Р.И.
  • • 2015 Vermont-a tool get for checking SDN packet forwarding policies on-line
    • Автор: Захаров Владимир Анатольевич
    • курс на иностранном языке
  • • 2010 Языки описания схем. Проблемы верификации
    • Авторы: Корухова Ю.С., Захаров В.А.
  • • 2005 Распределенные алгоритмы
    • Автор: Захаров В.А.
  • • 2004 Математическая логика и теория алгоритмов
    • Автор: Захаров В.А.
  • • 1998 Математическая логика и логическое программирование
    • Авторы: Захарьящев М.В., Захаров В.А.

• Преподавание учебных курсов

  • • 6 мая 2019 - 5 июля 2019 Дискретная математика
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • в МГУ-ППИ (г. Шэньчжэнь) (международная организация, университет, Китай)
    • обязательная, базовой части, семинары, 26 часов
  • • 6 мая 2019 - 5 июля 2019 Дискретная математика
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • в МГУ-ППИ (г. Шэньчжэнь) (государственная организация, университет, Китай)
    • обязательная, базовой части, лекции, 38 часов
  • • 1 сентября 2018 - 20 декабря 2018 Математические методы верификации схем и программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, вариативной части, лекции, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Математическая логика и логическое программирование
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, лекции, 54 часов
  • • 7 февраля 2018 - 20 мая 2018 Математические модели последовательных вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 24 часов
  • • 7 февраля 2018 - 20 мая 2018 Распределенные системы и алгоритмы
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 34 часов
  • • 7 февраля 2018 - 20 мая 2018 Модели вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 24 часов
  • • 7 февраля 2018 - 20 мая 2018 Modern trends in discrete mathematics and computer science
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 5 часов
  • • 1 сентября 2017 - 20 декабря 2017 Математические методы верификации схем и программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 36 часов
  • • 1 сентября 2017 - 20 декабря 2017 Математическая логика и логическое программирование
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, лекции, 54 часов
  • • 7 февраля 2017 - 20 мая 2017 Математические модели последовательных вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 24 часов
  • • 7 февраля 2017 - 20 мая 2017 Распределенные системы и алгоритмы
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 32 часов
  • • 7 февраля 2017 - 20 мая 2017 Модели вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 24 часов
  • • 1 сентября 2016 - 20 декабря 2016 Математическая логика и логическое программирование
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, лекции, 54 часов
  • • 1 сентября 2016 - 20 декабря 2016 Математическая логика и логическое программирование
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, семинары, 48 часов
  • • 1 сентября 2016 - 20 декабря 2016 Математические методы верификации схем и программ
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 36 часов
  • • 7 февраля 2016 - 20 мая 2016 Модели вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, семинары, 26 часов
  • • 7 февраля 2016 - 20 мая 2016 Модели вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 26 часов
  • • 7 февраля 2016 - 20 мая 2016 Распределенные системы и алгоритмы
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 32 часов
  • • 7 февраля 2016 - 20 мая 2016 Распределенные системы и алгоритмы
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, семинары, 16 часов
  • • 1 сентября 2015 - 20 декабря 2015 Математическая логика и логическое программирование
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, лекции, 54 часов
  • • 1 сентября 2015 - 20 декабря 2015 Математическая логика и логическое программирование
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, семинары, 80 часов
  • • 31 августа 2015 - 4 сентября 2015 Vermont-a tool get for checking SDN packet forwarding policies on-line
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • в Университет Саарланда (другое (организация образования, фонды, некоммерческие организации), университет, Германия)
    • факультативная, семинары, 2 часов
  • • 9 февраля 2015 - 19 мая 2015 Математическая логика и теория алгоритмов
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, лекции, 48 часов
  • • 9 февраля 2015 - 15 апреля 2015 Модели вычислений
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 26 часов
  • • 7 февраля 2014 - 17 мая 2014 Математическая логика и теория алгоритмов
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, семинары, 16 часов
  • • 7 февраля 2014 - 17 мая 2014 Математическая логика и теория алгоритмов
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, базовой части, лекции, 48 часов
  • • 10 октября 2008 - 20 декабря 2013 Языки описания схем. Проблемы верификации
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
    • обязательная, вариативной части, лекции, 16 часов

---