Инженер

Кандидат технических наук

Группа: 786 (1998 - 2002)
Магистратура: 720 (2002 - 2004)
Аспирантура: 2004 - 2010

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

Статья:

  1. Коломеец А.В., Прокопенко С.А. Метод синтеза диагностических тестов для расширенных конечных автоматов // Вестник ТГУ. Приложение. – 2003. – № 6. - С. 174-177.
  2. Громов М.Л., Дорофеева М.Ю., Коломеец А.В. К синтезу тестов по мутационному автомату // Вестник ТГУ. Приложение. 2006. - № 18. - С. 43-49.
  3. Жигулин М.В., Коломеец А.В., Кушик Н.Г., Шабалдин А.В. Тестирование программной реализации протокола IRC на основе модели расширенного автомата // Известия Томского политехнического университета. – 2011. – Т. 318, № 5. - С. 81-84.

Доклад:

  1. Коломеец А.В., Громов М.Л., Прокопенко С.А. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Инфокоммуникационные и вычислительные технологии и системы. Материалы Всероссийской конференции.Часть II. - Улан-Удэ: Издательство Бурятского университета, 2003. - С. 6-9.
  2. Коломеец А.В., Громов М.Л., Прокопенко С.А., Евтушенко Н.В. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Современные проблемы физики и высокие технологии.Материалы конференции, посвященной 125-летию ТГУ, 75-летию СФТИ, 75-летию РФФ ТГУ. - Томск: Издательство научно-технической литературы, 2003. - С. 503-505.
  3. Коломеец А.В. Метод сжатия проверяющих тестов для цифровых схем // Международная конференция молодых ученых по математическому моделированию и информационным технологиям. - Новосибирск: Институт вычислительных технологий СО РАН 2002 . - С. 59-60.
  4. Коломеец А.В. Метод синтеза проверяющих тестов для расширенных конечных автоматов // Материалы XLII международной научной студенческой конференции «Студент и научно – технический прогресс», Информационные технологии. – Новосибирск. – 2004. - С. 174-176.
  5. Шабалдин А.В., Спицына Н.В., Коломеец А.В. Автоматизация тестирования реализаций протоколов прикладного уровня в лабораторном практикуме // Материалы IV научно-практической конференции «Современные средства и системы автоматизации». – Томск: Изд-во ТУСУР, 2004. - С. 222-225.
  6. Громов М.Л., Коломеец А.В., Евтушенко Н.В. Синтез диагностических тестов для автоматных сетей // Вестник ТГУ. Приложение. – 2004. – № 9(I). - С. 204-209.
  7. Громов М.Л., Жарикова С.В., Коломеец А.В., Попов Д.Д. Синтез цифровых узлов схем управления многофазными инверторами // Труды 1-й конференции студенческого научно-исследовательского инкубатора. - Томск: НТЛ, 2005.
  8. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Design of digital Controlling Module by multiphase Inverters // Труды 1-й конференции студенческого научно-исследовательского инкубатора, Томск: НТЛ, 2005.
  9. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Digital controller for multiphase invertors // Proceeding of IEEE East-West Design & Test Workshop (EWDTW`05). - Ukraine, Odessa: IEEE Computer Society, 2005. - P. 165-168.
  10. Коломеец А.В., Прокопенко С.А. Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах // Вестник ТГУ. Приложение. – 2005. – № 14. - С. 154-157.
  11. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Techniques for Designing a Digital Circuit Controlling Multiphase Inverters // Труды 2-й конференции студенческого научно-исследовательского инкубатора. – Томск: НТЛ, 2005.
  12. Громов М.Л., Жарикова С.В., Коломеец А.В., Попов Д.Д. Методы синтеза цифровых узлов схем управления m-фазными инверторами // Труды 2-й конференции студенческого научно-исследовательского инкубатора. – Томск: НТЛ, 2005.
  13. Коломеец А.В., Прокопенко С.А. Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата // Вестник ТГУ. Приложение. – 2006. – № 18. - С. 62-66.
  14. Михайлов Ю.В., Коломеец А.В. Автоматизация внесения ошибок в программные реализации протоколов на основе модели расширенного автомата // Наука. Технологии. Инновация: материалы всероссийской научной конференции молодых ученых в 7 ч. - Новосибирск: Изд-во НГТУ, 2006. - Ч. 1. - С. 49-51.
  15. Gromov M.L., Evtushenko N.V., Kolomeets A.V. On the synthesis of adaptive tests for nondeterministic finite state machines // Program. Comput. Softw. - 2008. - Vol. 34, no. 6. - P. 322-329.

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

  1. Коломеец А.В., Евтушенко Н.В. Циклические коды // Томск: Изд-во ТГУ, 2004. - 32 c.

Тезисы:

  1. Коломеец А.В. Экспериментальное исследование диагностических тестов для локализации одиночных выходных ошибок и ошибок переходов в расширенных автоматах // Наука. Технологии. Инновации: материалы всероссийской научной конференции молодых ученых в 7 ч. Новосибирск: Изд-во НГТУ, 2006. - Ч. 1. - 238–240 c.
  2. 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.
  3. Михайлов Ю.В., Коломеец А.В. Проверка переходов в расширенном автомате на основе срезов // Вестник ТГУ. Управление, вычислительная техника и информатика. – 2008. – № 3(4). - С. 110-118.
  4. Громов М.Л., Евтушенко Н.В., Коломеец А.В. К синтезу условных тестов для недетерминированных автоматов // Программирование. – 2008. – № 6. - С. 1-11.
  5. Жигулин М.В., Коломеец А.В. Оценка полноты проверки при пассивном тестировании на основе автоматной модели // Известия ТПУ. – 2009. – Т. 314, № 5. - С. 225-228.

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

  1. Коломеец А.В. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов // Диссертация, представленная на соискание ученой степени кандидата технических наук, Томск, ТГУ, 2010. - 130 c.