Доцент кафедры ИТИДиС

Кандидат технических наук, Доцент по кафедре

Список предметов:

  1. АБД и АБЗ (Лекция)
  2. Аналитическая геометрия (Лекция)
  3. Дискретная математика (Лекция)
  4. Защита информации (Лекция)
  5. АБД и АБЗ (Практика)
  6. Аналитическая геометрия (Практика)
  7. Дискретная математика (Практика)
  8. Дополнительные главы математики (Практика)

Список публикаций:

Диссертация, представленная на соискание ученой степени кандидата технических наук:

  1. Прокопенко А.C. Минимизация проверяющих тестов для систем логического управления методами теории автоматов // Диссертация, представленная на соискание ученой степени кандидата технических наук, Томск, ТГУ, 2000. - 117 c.

Статья:

  1. Cavalli A., Prokopenko S., Yevtushenko N. Fault detection power of a widely used test suite for a system of communicating FSMs. Protocol Test Systems VII // Proc. of IFIP WG 13.1 Intern. Workshop on Protocol Test Systems 2000, Ottawa, 2000. - P. 35-56.
  2. Cavalli A., Prokopenko S., Yevtushenko N. Fault detection within a component of a system communicating FSMs // Proceedings of the 14th Inter. Conf. TestCom 2002, Germany. - P. 317-332.
  3. Cavalli A., Prokopenko S. Passive testing using configuration distinguishability // Вестник ТГУ. Приложение.- 2002.-1(II). - P. 301-304.
  4. El-Fakih Kh., Prokopenko S., Yevtushenko N., Bochmann G.v. Fault Diagnosis in Extended Finite State Machines // Testing of Communicating Systems. - France: Springer, 2003 . - P. 197-210.
  5. Коломеец А.В., Прокопенко С.А. Метод синтеза диагностических тестов для расширенных конечных автоматов // Вестник ТГУ. Приложение. – 2003. – № 6. - С. 174-177.
  6. Жигулин М.В., Прокопенко С.А., Евтушенко Н.В. Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов // Новые информационные технологии в исследовании сложных структур : доклады VI Всероссийской конференции с международным участием // Вестник Томского государственного университета. Приложение. – Томск, 2006. – № 18. - С. 62-66.

Учебно-методическая литература:

  1. Прокопенко С.А. Дискретная математика. Часть I // Томск: Изд-во ТГУ, 2003. - 32 c.

Доклад:

  1. Коломеец А.В., Громов М.Л., Прокопенко С.А. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Инфокоммуникационные и вычислительные технологии и системы. Материалы Всероссийской конференции.Часть II. - Улан-Удэ: Издательство Бурятского университета, 2003. - С. 6-9.
  2. Коломеец А.В., Громов М.Л., Прокопенко С.А., Евтушенко Н.В. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Современные проблемы физики и высокие технологии.Материалы конференции, посвященной 125-летию ТГУ, 75-летию СФТИ, 75-летию РФФ ТГУ. - Томск: Издательство научно-технической литературы, 2003. - С. 503-505.
  3. Коломеец А.В., Прокопенко С.А. Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах // Вестник ТГУ. Приложение. – 2005. – № 14. - С. 154-157.
  4. Коломеец А.В., Прокопенко С.А. Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата // Вестник ТГУ. Приложение. – 2006. – № 18. - С. 62-66.
  5. Прокопенко С.А., Евтушенко Н.В. К построению легко тестируемых автоматов // Материалы 2 Межд. конф. "Автоматизированное проектирование дискретных систем". - Минск, 1997, том 3. - С. 66-74.
  6. Евтушенко Н.В., Прокопенко С.А. Построение проверяющих тестов для входо-выходных полуавтоматов // Материалы 2 Всероссийской конф. "Новые информационные технологии в исследовании дискретных структур". - Екатеринбург, 1998. - С. 216-219.
  7. Прокопенко С.А., Евтушенко Н.В. Минимизация проверяющих тестов для сложных многокомпонентных устройств // Материалы 3 Межд. конф. "Автоматизированное проектирование дискретных систем". - Минск, 1999. - том З. - С. 14-21.
  8. Yevtushenko N., Petrenko A., Dssouli R., Karoui K., S. Prokopenko S. On the design for testability of communication protocols // Proc. of the 6 Int. Workshop on Protocol Test Systems, 1995. - P. 271-286.

Тезисы:

  1. El-Fakih Kh., A.Kolomeez, S.Prokopenko, N.Yevtushenko Extended Finite State Machine Based Test Derivation Driving By User Defined Faults // International Conference ICST’2008. – 2008. - P. 308-317.
  2. Прокопенко C.A. Построение проверяющих тестов для недетерминированных автоматов относительно эквивалентности // Тезисы докладов молодых ученых СФТИ на конф., посвященной 70-летию института, 1998. - С. 60-61.