Захаров Владимир Анатольевич
пользователь
доктор физико-математических наук с 2012 года
Количество цитирований статей в журналах по данным
Web of Science: 31,
Scopus: 112
РИНЦ:
IstinaResearcherID (IRID): 1528411
Деятельность
Статьи в журналах
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
Статьи в сборниках
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
2018
Модели активного противника в задаче обеспечения безопасности облачных вычислений
Варновский Н.П. ,
Захаров В.А. ,
Шокуров А.В.
в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды , серия 978-5-317-05834-0 , издательство ООО "МАКС Пресс" (Москва) , том 1, с. 67-70
редакторы
Алексеев Валерий Борисович ,
Данилов Борис Радиславович ,
Романов Дмитрий Сергеевич
2018
О задаче проверки дедуктивной безопасности запросов к базам данных
Варновский Н.П. ,
Захаров В.А. ,
Шокуров А.В.
в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды , серия 978-5-317-05834-0 , издательство ООО "МАКС Пресс" (Москва) , том 1, с. 70-73
редакторы
Алексеев Валерий Борисович ,
Данилов Борис Радиславович ,
Романов Дмитрий Сергеевич
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
Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте 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
редакторы
Королев Л.Н. ,
Королев Л.Н. ,
Корухова Людмила Сергеевна ,
Костенко Валерий Алексеевич
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
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
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
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
редактор
Адян Сергей Иванович
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
Книги
Доклады на конференциях
Тезисы докладов
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
НИРы
1 января 2014 - 31 декабря 2018
Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
Кафедра математической кибернетики
Руководители:
Захаров В.А. ,
Ложкин С.А.
Ответственные исполнители:
Романов Д.С. ,
Шуплецов М.С.
Участники НИР:
Антюфеев Г.В. ,
Владимирова Ю.С. ,
Высоцкий Л.И. ,
Данилов Б.Р. ,
Добровецкий Д.И. ,
Довгалюк Е.Л. ,
Жуков В.В. ,
Зиновьев В.С. ,
Коноводов В.А. ,
Кулешов О.В. ,
Кухтинов А.С. ,
Любич И.Г. ,
Марченко А.М. ,
Маслов С.П. ,
Морозов Е.В. ,
Павлова А.Ф. ,
Подловченко Р.И. ,
Подымов В.В. ,
Рамиль Альварес Х. ,
Романов Д.С. ,
Сальников В.А. ,
Шуплецов М.С.
1 марта 2013 - 28 августа 2013
создание прототипа отечественной пкс платформы управления сетевыми ресурсами и потоками с помощью сетевой операционной системы (сос) на основе анализа и оценки существующих сетевых операционных систем для пкс сетей и выбора одной из них для последующего
Лаборатория вычислительных комплексов
Руководитель:
Смелянский Р.Л.
Участники НИР:
Алтухов В.С. ,
Балаханов В.А. ,
Балашов В.В. ,
Бахмуров А.Г. ,
Волканов Д.Ю. ,
Захаров В.А. ,
Зорин Д.А. ,
Капитонова А.П. ,
Косачева С.А. ,
Мирошникова О.А. ,
Носеевич Г.М. ,
Пашков В.Н. ,
Самойлов М.Н. ,
Сапожников А.В. ,
Сковорода А.А. ,
Чемерицкий Е.В. ,
Чистолинов М.В.
1 января 2011 - 31 декабря 2015
Разработка и применение математических моделей и методов для решения задач обеспечения информационной безопасности
Кафедра информационной безопасности
Руководители:
Захаров В.А. ,
Соколов И.А.
Участники НИР:
Yurova A.Y. ,
Анашин В.С. ,
Бородин М.А. ,
Гилязов Р.Р. ,
Грушо А.А. ,
Егоров В.Н. ,
Захаров В.А. ,
Карпунин Г.А. ,
Липина Т.И. ,
Применко Э.А. ,
Тимонина Е.Е. ,
Хренников А.Ю. ,
Черепнев М.А. ,
Чижов И.В.
20 сентября 2010 - 15 ноября 2012
Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)
Лаборатория вычислительных комплексов
Руководитель:
Смелянский Р.Л.
Участники НИР:
Антоненко В.А. ,
Балаханов В.А. ,
Балашов В.В. ,
Бахмуров А.Г. ,
Волканов Д.Ю. ,
Гамаюнов Д.Ю. ,
Герасёв А.В. ,
Зайцев Д.А. ,
Зайцев Д.А. ,
Зайцев Д.А. ,
Захаров В.А. ,
Зорин Д.А. ,
Козлов Д.Д. ,
Козлов Д.Д. ,
Коннов И.В. ,
Косачева С.А. ,
Костенко В.А. ,
Наградов Е.А. ,
Носеевич Г.М. ,
Пашков В.Н. ,
Подымов В.В. ,
Прус В.В. ,
Савенков К.О. ,
Савенков К.О. ,
Сапожников А.В. ,
Сахаров Ф.В. ,
Сахаров Ф.В. ,
Сахаров Ф.В. ,
Чемерицкий Е.В. ,
Чистолинов М.В. ,
Шалимов А.В. ,
Шестов П.Е. ,
Шестов П.Е. ,
Ющенко Н.В.
Патенты
Награды и премии
Участие в редколлегии журналов
Участие в программных комитетах конференций
Членство в диссертационных советах
с 8 мая 2019
МГУ.05.01, МГУ имени М.В. Ломоносова, Механико-математический факультет
05.13.17 - Теоретические основы информатики (физ.-мат. науки)
Действующие члены совета:
Садовничий В.А. ,
Васенин В.А. ,
Журавлев Ю.И. ,
Кобельков Г.М. ,
Кривчиков М.А. ,
Алешин С.В. ,
Анашин В.С. ,
Бабин Д.Н. ,
Васин А.А. ,
Гасанов Э.Э. ,
Гашков С.Б. ,
Головизнин В.М. ,
Голубцов П.В. ,
Денисов А.М. ,
Захаров В.А. ,
Измаилов А.Ф. ,
Корнев А.А. ,
Кочергин В.В. ,
Кудрявцев В.Б. ,
Логачев О.А. ,
Ложкин С.А. ,
Махортов С.Д. ,
Михалёв А.В. ,
Романов Д.С. ,
Сетуха А.В. ,
Тимонина Е.Е. ,
Фомичев В.М. ,
Черепнев М.А. ,
Чечкин А.В. ,
Чижонков Е.В.
19 декабря 2017 - 31 декабря 2018
МГУ.05.01, МГУ имени М.В. Ломоносова, Механико-математический факультет
05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
Действующие члены совета:
Садовничий В.А. ,
Васенин В.А. ,
Журавлев Ю.И. ,
Кобельков Г.М. ,
Кривчиков М.А. ,
Алешин С.В. ,
Анашин В.С. ,
Бабин Д.Н. ,
Васин А.А. ,
Гасанов Э.Э. ,
Гашков С.Б. ,
Головизнин В.М. ,
Голубцов П.В. ,
Денисов А.М. ,
Захаров В.А. ,
Измаилов А.Ф. ,
Корнев А.А. ,
Кочергин В.В. ,
Кудрявцев В.Б. ,
Логачев О.А. ,
Ложкин С.А. ,
Махортов С.Д. ,
Михалёв А.В. ,
Романов Д.С. ,
Сетуха А.В. ,
Тимонина Е.Е. ,
Фомичев В.М. ,
Черепнев М.А. ,
Чечкин А.В. ,
Чижонков Е.В.
Руководство диссертациями
Диссертации
Авторство учебных курсов
Преподавание учебных курсов