Участник:ZakharovVA - История изменений

Root в 10:02, 13 мая 2025

2025-05-13T10:02:55Z

Root: уточнение должности

2022-03-10T17:23:32Z

уточнение должности

ZakharovVA: /* Области научных интересов */

2017-02-13T13:58:05Z

‎Области научных интересов

ZakharovVA: /* Избранные публикации */

2017-02-13T13:49:15Z

‎Избранные публикации

ZakharovVA: /* Избранные публикации */

2017-02-13T13:13:20Z

‎Избранные публикации

ZakharovVA: /* Избранные публикации */

2017-02-13T13:11:06Z

‎Избранные публикации

ZakharovVA: /* Аспиранты и студенты */

2017-02-13T13:02:59Z

‎Аспиранты и студенты

ZakharovVA: /* Лекционные курсы */

2017-02-12T16:23:52Z

‎Лекционные курсы

ZakharovVA: /* Лекционные курсы */

2016-12-31T06:58:35Z

‎Лекционные курсы

ZakharovVA в 09:25, 21 января 2015

2015-01-21T09:25:53Z

← Предыдущая		Версия 10:02, 13 мая 2025
Строка 1:		Строка 1:
	{{DISPLAYTITLE:Захаров Владимир Анатольевич}}		{{DISPLAYTITLE:Захаров Владимир Анатольевич}}
		+
		+	<div style="background-color: #FFAAAA; border-style: dotted">
		+	'''Актуальность информации: 2022 год.'''
		+
		+	'''В настоящее время не является сотрудником кафедры.'''
		+	</div>
		+
	[[Image:Zakharov.jpg\|thumb\|right\|Захаров Владимир Анатольевич]]'''Захаров Владимир Анатольевич''' — доктор физико-математических наук, профессор кафедры МК.		[[Image:Zakharov.jpg\|thumb\|right\|Захаров Владимир Анатольевич]]'''Захаров Владимир Анатольевич''' — доктор физико-математических наук, профессор кафедры МК.

@@ Строка 1: / Строка 1: @@
 {{DISPLAYTITLE:Захаров Владимир Анатольевич}}
-[[Image:Zakharov.jpg|thumb|right|Захаров Владимир Анатольевич]]'''Захаров Владимир Анатольевич''' — доктор физико-математических наук, профессор.
+[[Image:Zakharov.jpg|thumb|right|Захаров Владимир Анатольевич]]'''Захаров Владимир Анатольевич''' — доктор физико-математических наук, профессор кафедры МК.
 email: zakh@cs.msu.su

@@ Строка 27: / Строка 27: @@
 === Программно конфигурируемые сети ===
 Программно-коммутируемые сети (ПКС) --- это класс компьютерных телекоммуникационных сетей, появившийся несколько лет назад в стремлении упростить проектирование и повысить гибкость управления сетями за счет разделения потоков данных (пакетов) и потоков управления (сообщений и команд), циркулирующие в сетях. ПКС представляет собой распределенную систему, в которой один или несколько контроллеров управляют множеством сетевых коммутаторов, обеспечивающих продвижение пакетов по каналам сети.  Функциональные возможности и порядок взаимодействия коммутаторов и контроллеров ПКС определяются протоколом OpenFlow. Конструируются и исследуются формальные модели ПКС, разрабатываются методы и алгоритмы решения задач верификации и реконфигурации ПКС.
 == Лекционные курсы ==

← Предыдущая		Версия 13:49, 13 февраля 2017
Строка 301:		Строка 301:

	'''Статьи в сборниках'''		'''Статьи в сборниках'''
		+
		+	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, издательство 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''
		+
		+
		+	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''
		+

	2014 [[On the Network Update Problem for Software Defined Networks]]		2014 [[On the Network Update Problem for Software Defined Networks]]

@@ Строка 56: / Строка 56: @@
 Варновский Н.П., Захаров В.А., Шокуров А.В.
 в журнале ''Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 1, с. 38-44''
 [[On the minimization and equivalence checking of sequential reactive systems]]
@@ Строка 61: / Строка 62: @@
 Zakharov V.A., Temerbekova G.G.
 в журнале ''Системная информатика, № 7, с. 33-44''
 [[К вопросу о существовании доказуемо стойких систем облачных вычислений]]
@@ Строка 66: / Строка 68: @@
 Варновский Н.П., Захаров В.А., Шокуров А.В.
 в журнале ''Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 2, с. 32-38''
 [[О минимизации конечных автоматов-преобразователей над полугруппами]]
@@ Строка 71: / Строка 74: @@
 Захаров В.А., Темербекова Г.Г.
 в журнале ''Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 23, № 6, с. 741-753''
 [[VERMONT - средство верификации программно-конфигурируемых сетей]]
@@ Строка 76: / Строка 80: @@
 Алтухов В.С., Захаров В.А., Подымов В.В., Чемерицкий Е.В.
 в журнале ''Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, том 212, № 1, с. 74-87''
 [[Комбинированное средство верификации распределённых вычислительных систем реального времени]]
@@ Строка 81: / Строка 86: @@
 Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
 в журнале ''Программирование, № 6, с. 72-86''
 [[Моделирование и анализ поведения последовательных реагирующих программ]]
@@ Строка 86: / Строка 92: @@
 Захаров В.А.
 в журнале ''Труды Института системного программирования РАН (электронный журнал), том 27, № 2, с. 221-250''
 [[Применение алгоритмов проверки эквивалентности для оптимизации программ]]
@@ Строка 97: / Строка 104: @@
 Захаров В.А., Чемерицкий Е.В.
 в журнале ''Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 21, № 6, с. 57-69''
 [[Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами]]
@@ Строка 102: / Строка 110: @@
 Подымов В.В., Захаров В.А.
 в журнале ''Труды Института системного программирования РАН (электронный журнал), том 26, № 3, с. 145-166''
 [[Современное состояние исследований в области обфускации программ: определения стойкости обфускации]]

← Предыдущая		Версия 13:11, 13 февраля 2017
Строка 51:		Строка 51:

	'''Статьи в журналах'''		'''Статьи в журналах'''
		+
		+	2017 [[О дедуктивной безопасности запросов к базам конфиденциальных данных в системе облачных вычислений]]
		+
		+	Варновский Н.П., Захаров В.А., Шокуров А.В.
		+	в журнале ''Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 1, с. 38-44''
		+
		+	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 [[VERMONT - средство верификации программно-конфигурируемых сетей]]
		+
		+	Алтухов В.С., Захаров В.А., Подымов В.В., Чемерицкий Е.В.
		+	в журнале ''Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, том 212, № 1, с. 74-87''
		+
		+	2015 [[Комбинированное средство верификации распределённых вычислительных систем реального времени]]
		+
		+	Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
		+	в журнале ''Программирование, № 6, с. 72-86''
		+
		+	2015 [[Моделирование и анализ поведения последовательных реагирующих программ]]
		+
		+	Захаров В.А.
		+	в журнале ''Труды Института системного программирования РАН (электронный журнал), том 27, № 2, с. 221-250''
		+
		+	2015 [[Применение алгоритмов проверки эквивалентности для оптимизации программ]]
		+
		+	Захаров В.А., Подымов В.В.
		+	в журнале ''Труды Института системного программирования РАН (электронный журнал), том 27, № 4, с. 145-174''
		+
		+
		+	2014 [[О некоторых задачах реконфигурирования программно-конфигурируемых сетей]]
		+
		+	Захаров В.А., Чемерицкий Е.В.
		+	в журнале ''Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 21, № 6, с. 57-69''
		+
		+	2014 [[Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами]]
		+
		+	Подымов В.В., Захаров В.А.
		+	в журнале ''Труды Института системного программирования РАН (электронный журнал), том 26, № 3, с. 145-166''
		+
		+	2014 [[Современное состояние исследований в области обфускации программ: определения стойкости обфускации]]
		+
		+	Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В.
		+	в журнале ''Труды Института системного программирования РАН (электронный журнал), том 26, № 3, с. 167-198''
		+

	2014 [[Двусторонняя унификация программ и ее применение для задач рефакторинга]]		2014 [[Двусторонняя унификация программ и ее применение для задач рефакторинга]]

@@ Строка 42: / Строка 42: @@
 == Аспиранты и студенты ==
+<!--
 # Подымов Владислав Васильевич
 # Новикова Татьяна Анатольевна
-# Попеско Ульна Владиславовна
+# Попеско Ульяна Владиславовна
 == Избранные публикации ==

@@ Строка 30: / Строка 30: @@
 == Лекционные курсы ==
-* [[Математическая логика и логическое программирование (3-й поток)]]
+* [[Математическая логика и теория алгоритмов]] ((3 семестр))
-* [[Математическая логика и логическое программирование (318 группа)]]
+* [[Математическая логика и логическое программирование (3-й поток)]] (7 семестр)
-* [[Модели вычислений]]
+* [[Модели вычислений]] (8 семестр)
-* [[Математическая логика и теория алгоритмов]]
+* [[Распределенные алгоритмы]] (10 семестр)
-* [[Распределенные алгоритмы]]
+* [[Математические методы верификации схем и программ]] (11 семестр)
-* [[Математические методы верификации схем и программ]]
+* [[Модели последовательных и параллельных вычислений]] (12 семестр)
 == Спецсеминары ==

← Предыдущая		Версия 09:25, 21 января 2015
Строка 1:		Строка 1:
	{{DISPLAYTITLE:Захаров Владимир Анатольевич}}		{{DISPLAYTITLE:Захаров Владимир Анатольевич}}
	[[Image:Zakharov.jpg\|thumb\|right\|Захаров Владимир Анатольевич]]'''Захаров Владимир Анатольевич''' — доктор физико-математических наук, профессор.		[[Image:Zakharov.jpg\|thumb\|right\|Захаров Владимир Анатольевич]]'''Захаров Владимир Анатольевич''' — доктор физико-математических наук, профессор.
		+
		+	email: zakh@cs.msu.su