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

В базах данных Math-Net.Ru
Публикаций: 20
Научных статей: 15
Цитированных статей: 9
Ссылок в Math-Net.Ru: 31

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

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

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

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

http://www.mathnet.ru/rus/person35627
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. Построение CFC-программ ПЛК по LTL-спецификации
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 23:2 (2016),  173–184
2. 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
3. Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
Модел. и анализ информ. систем, 22:4 (2015),  546–562
4. О выразительности подхода к построению ПЛК-программ по LTL-спецификации
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
Модел. и анализ информ. систем, 22:4 (2015),  507–520
5. Моделирование согласованного поведения ПЛК-датчиков
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
Модел. и анализ информ. систем, 21:4 (2014),  75–90
6. Построение IL-программ ПЛК по LTL-спецификации
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 21:2 (2014),  26–38
7. Построение и верификация LD-программ ПЛК по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
Модел. и анализ информ. систем, 20:6 (2013),  78–94
8. Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний
В. Н. Бойков, В. Е. Захаров, М. С. Каряева, В. А. Соколов
Модел. и анализ информ. систем, 20:4 (2013),  125–135
9. Построение и верификация ПЛК-программ по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
Модел. и анализ информ. систем, 20:4 (2013),  5–22
10. Моделирование, спецификация и построение программ логических контроллеров
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 20:2 (2013),  104–120
11. Моделирование счетчиковых машин двухголовочными автоматами
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 19:5 (2012),  69–73
12. О построении и верификации программ логических контроллеров
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 19:4 (2012),  25–36
13. О верификации LD-программ логических контроллеров
Е. В. Кузьмин, В. А. Соколов
Модел. и анализ информ. систем, 19:2 (2012),  138–144
14. Об одном классе высокоуровневых конечных автоматов
Р. А. Виноградов, В. А. Соколов
Модел. и анализ информ. систем, 15:3 (2008),  38–46
15. Синхронная модель автоматной программы
С. В. Кубасов, В. А. Соколов
Модел. и анализ информ. систем, 14:1 (2007),  11–18

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

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