ИСТИНА

Гнатенко Антон Романович пользователь

Соавторы: Захаров В.А.

13 статей, 5 докладов на конференциях, 1 тезисы доклада

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 1

IstinaResearcherID (IRID): 92534447

Деятельность

• Статьи в журналах

  • • 2022 Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 56, № 7, с. 649-660 DOI
  • 
    • 2021 On the Model Checking Problem for Some Extension of CTL*
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 55, № 7, с. 776-785 DOI
  • • 2021 О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 28, № 4, с. 378-393 DOI
  • • 2020 Using an extension of CT L∗ for specification and verification of sequential reactive systems
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Системная информатика, том 17, с. 21-32
  • • 2020 О задаче верификации моделей программ для одного расширения логики CTL*
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 27, № 4, с. 428-441 DOI
  • 
    • 2019 On the expressive power of some extensions of linear temporal logic
    • Gnatenko A.R., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 53, № 7, с. 506-524 DOI
  • • 2018 О верификации конечных автоматов-преобразователей над полугруппами
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 3, с. 303-324 DOI
  • • 2018 О выразительных возможностях некоторых расширений линейной темпоральной логики
    • Гнатенко А.Р., Захаров В.А.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 25, № 5, с. 506-524 DOI

• Статьи в сборниках

  • • 2019 Верификация моделей реагирующих систем относительно одного расширения темпоральной логики CTL*
    • Гнатенко А.Р., Захаров В.А.
    • в сборнике Материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 17–22 июня 2019 г.), место издания Изд-во механико-математического факультета МГУ, с. 263-266
  • • 2018 On the Model Checking of Finite State Transducers over Semigroups
    • Gnatenko A., Zakharov V.
    • в сборнике Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),, с. 26-34
    • редакторы Камкин Александр Сергеевич, Петренко Александр Константинович
  • 
    • 2018 On the expressive power of some extensions of Linear Temporal Logic
    • Gnatenko Anton, Zakharov Vladimir
    • в сборнике Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018, издательство Яросл. гос. ун-т (Ярославль), с. 29-36
  • • 2018 Языки спецификаций моделей Крипке на основе темпоральных логик и их выразительные возможности
    • Захаров В.А., Гнатенко А.Р.
    • в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 131-133
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • • 2017 О сложности верификации автоматов-преобразователей над коммутативными полугруппами
    • Гнатенко А.Р., Захаров В.А.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.), серия Проблемы теоретической кибернетики, место издания М: МАКС Пресс, с. 68-71
    • редакторы Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич

• Доклады на конференциях

  • • 2019 О сложности верификации конечных автоматов-преобразователей над свободными полугруппами (Устный)
    • Авторы: Захаров В.А., Гнатенко А.Р.
    • Научная конференция "Тихоновские чтения 2019", МГУ, Россия, 28 октября - 1 ноября 2019
  • • 2018 On the Expressive Power of Some Extensions of Linear Temporal Logic (Устный)
    • Авторы: Гнатенко Антон Романович, Захаров Владимир Анатольевич
    • 9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia), Ярославль, Россия, 21-22 июня 2018
  • • 2018 On the Model Checking of Finite State Transducers over Semigroups (Устный)
    • Авторы: Zakharov V.A., Gnatenko A.R.
    • The 12th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (May 30 - June 1, 2018, Novgorod the Great, Russia), Великий Новгород, Россия, 29 мая - 1 июня 2018
  • • 2018 Языки спецификаций для моделей Крипке на основе темпоральных логик и их выразительные возможности (Устный)
    • Авторы: Захаров В.А., Гнатенко А.Р.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2017 О сложности верификации автоматов-преобразователей над коммутативными полугруппами (Устный)
    • Авторы: Гнатенко А.Р., Захаров В.А.
    • XVIII Международная конференция «Проблемы теоретической кибернетики» (Пенза, 19-23 июня 2017 г.), Пенза, Россия, 19-23 июня 2017

• Тезисы докладов

  • • 2019 О сложности верификации конечных автоматов-преобразователей над свободными полугруппами
    • Захаров В.А., Гнатенко А.Р.
    • в сборнике "Тихоновские чтения": научная конференция: тезисы докладов, место издания МаксПресс Москва, тезисы, с. 91-91