Захаров Владимир Анатольевич

Публикации в базе данных Math-Net.Ru

1. О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени
   
   Модел. и анализ информ. систем, 28:4 (2021),  356–371
2. О задаче верификации моделей программ для одного расширения логики CTL*
   
   Модел. и анализ информ. систем, 27:4 (2020),  428–441
3. О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени
   
   Модел. и анализ информ. систем, 27:4 (2020),  396–411
4. Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов
   
   Модел. и анализ информ. систем, 27:3 (2020),  260–303
5. О возможности стойкой обфускации программ в одной модели облачных вычислений
   
   Труды ИСП РАН, 31:6 (2019),  145–162
6. О выразительных возможностях некоторых расширений линейной темпоральной логики
   
   Модел. и анализ информ. систем, 25:5 (2018),  506–524
7. On the verification of strictly deterministic behavior of timed finite state machines
   
   Труды ИСП РАН, 30:3 (2018),  325–340
8. On the model checking of finite state transducers over semigroups
   
   Труды ИСП РАН, 30:3 (2018),  303–324
9. О задаче минимизации последовательных программ
   
   Модел. и анализ информ. систем, 24:4 (2017),  415–433
10. О минимизации конечных автоматов-преобразователей над полугруппами
    
    Модел. и анализ информ. систем, 23:6 (2016),  741–753
11. VERMONT – средство верификации программно-конфигурируемых сетей
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  74–87
12. Применение алгоритмов проверки эквивалентности для оптимизации программ
    
    Труды ИСП РАН, 27:4 (2015),  145–174
13. Моделирование и анализ поведения последовательных реагирующих программ
    
    Труды ИСП РАН, 27:2 (2015),  221–250
14. О некоторых задачах реконфигурирования программно-конфигурируемых сетей
    
    Модел. и анализ информ. систем, 21:6 (2014),  57–70
15. Формальная модель и задачи верификации программно-конфигурируемых сетей
    
    Модел. и анализ информ. систем, 20:6 (2013),  36–51
16. Как разработать простое средство верификации систем реального времени
    
    Модел. и анализ информ. систем, 19:6 (2012),  45–56
17. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени
    
    Модел. и анализ информ. систем, 17:4 (2010),  78–87
18. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
    
    Фундамент. и прикл. матем., 15:5 (2009),  181–198
19. О сложности задачи антиунификации
    
    Дискрет. матем., 20:1 (2008),  131–144
20. Аппроксимация абстрактных семантик формальными моделями программ
    
    Дискрет. матем., 10:4 (1998),  119–141
21. Автоматные модели программ
    
    Докл. АН СССР, 309:1 (1989),  24–27
22. Автоматные модели машин Тьюринга
    
    Докл. АН СССР, 291:2 (1986),  280–284


23. От редакторов выпуска
    
    Модел. и анализ информ. систем, 28:4 (2021),  322–324
24. От редакторов выпуска
    
    Модел. и анализ информ. систем, 27:4 (2020),  372–374
25. От редакторов выпуска
    
    Модел. и анализ информ. систем, 26:4 (2019),  473–474
26. Даже простые процессы $\pi$-исчисления трудны для анализа
    
    Модел. и анализ информ. систем, 25:6 (2018),  589–606
27. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 25:5 (2018),  463–464
28. От редактора специального выпуска
    
    Модел. и анализ информ. систем, 24:6 (2017),  675–676