RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Соколов Валерий Анатольевич

В базах данных Math-Net.Ru
Публикаций: 26
Научных статей: 20

Статистика просмотров:
Эта страница:1371
Страницы публикаций:3847
Полные тексты:1277
Списки литературы:507
профессор
доктор физико-математических наук (2006)
Специальность ВАК: 01.01.09 (дискретная математика и математическая кибернетика)
Дата рождения: 04.08.1944
Телефон: +7 (4852) 45 72 09
E-mail:
Ключевые слова: формальные модели, сети Петри, автоматы, системы переходов, темпоральные логики, верификация, распределенные системы, параллельные программы, семантические свойства.

Основные темы научной работы

Моделирование и анализ информационных систем.

   
Основные публикации:
  • Структурированные системы переходов (монография, в соавторстве с Кузьминым Е. В.), Москва, Физматлит, 2006.

http://www.mathnet.ru/rus/person35627
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://orcid.org/0000-0003-1427-4937

Публикации в базе данных Math-Net.Ru
2019
1. S. Korsakov, V. Sokolov, “On the way to SD-WAN solution”, Модел. и анализ информ. систем, 26:2 (2019),  203–212  mathnet
2. С. В. Моржов, В. А. Соколов, “Эффективный алгоритм разрешения коллизий в правилах политики безопасности”, Модел. и анализ информ. систем, 26:1 (2019),  75–89  mathnet  elib
2018
3. М. С. Каряева, П. И. Браславский, В. А. Соколов, “Векторное представление слов с семантическими отношениями: экспериментальные наблюдения”, Модел. и анализ информ. систем, 25:6 (2018),  726–733  mathnet
4. Д. Р. Филонов, Д. Ю. Чалый, Д. М. Мурин, В. Г. Дурнев, В. А. Соколов, “Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров”, Модел. и анализ информ. систем, 25:4 (2018),  411–420  mathnet  elib
5. В. Г. Дурнев, Д. М. Мурин, В. А. Соколов, Д. Ю. Чалый, “О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»”, Модел. и анализ информ. систем, 25:4 (2018),  402–410  mathnet  elib
2016
6. Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение CFC-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 23:2 (2016),  173–184  mathnet  mathscinet  elib
2015
7. D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov, “End-to-end information flow security model for software-defined networks”, Модел. и анализ информ. систем, 22:6 (2015),  735–749  mathnet  mathscinet  elib
8. В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин, “Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов”, Модел. и анализ информ. систем, 22:4 (2015),  546–562  mathnet  mathscinet  elib
9. Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “О выразительности подхода к построению ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 22:4 (2015),  507–520  mathnet  mathscinet  elib
2014
10. Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “Моделирование согласованного поведения ПЛК-датчиков”, Модел. и анализ информ. систем, 21:4 (2014),  75–90  mathnet
11. Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение IL-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 21:2 (2014),  26–38  mathnet
2013
12. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация LD-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 20:6 (2013),  78–94  mathnet
13. В. Н. Бойков, В. Е. Захаров, М. С. Каряева, В. А. Соколов, “Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний”, Модел. и анализ информ. систем, 20:4 (2013),  125–135  mathnet
14. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 20:4 (2013),  5–22  mathnet
15. Е. В. Кузьмин, В. А. Соколов, “Моделирование, спецификация и построение программ логических контроллеров”, Модел. и анализ информ. систем, 20:2 (2013),  104–120  mathnet
2012
16. Е. В. Кузьмин, В. А. Соколов, “Моделирование счетчиковых машин двухголовочными автоматами”, Модел. и анализ информ. систем, 19:5 (2012),  69–73  mathnet
17. Е. В. Кузьмин, В. А. Соколов, “О построении и верификации программ логических контроллеров”, Модел. и анализ информ. систем, 19:4 (2012),  25–36  mathnet
18. Е. В. Кузьмин, В. А. Соколов, “О верификации LD-программ логических контроллеров”, Модел. и анализ информ. систем, 19:2 (2012),  138–144  mathnet
2008
19. Р. А. Виноградов, В. А. Соколов, “Об одном классе высокоуровневых конечных автоматов”, Модел. и анализ информ. систем, 15:3 (2008),  38–46  mathnet
2007
20. С. В. Кубасов, В. А. Соколов, “Синхронная модель автоматной программы”, Модел. и анализ информ. систем, 14:1 (2007),  11–18  mathnet

2019
21. В. А. Соколов, “От главного редактора”, Модел. и анализ информ. систем, 26:1 (2019),  5–6  mathnet
2014
22. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 21:6 (2014),  5–6  mathnet
2011
23. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 18:4 (2011),  5–6  mathnet
2010
24. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 17:4 (2010),  1–2  mathnet
2009
25. В. Соколов, “Обращение главного редактора”, Модел. и анализ информ. систем, 16:4 (2009),  1  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019