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

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

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

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

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