Ведущий инженер

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

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

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

  1. Объектно-ориентированное программирование (Практика)

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

Доклад:

  1. Жигулин М.В. К разработке обучающей системы по курсу "Лазерное зондирование" // Материалы студенческой научной конференции, посвященной 50-летию РФФ ТГУ. - Томск: ТГУ, 2003. - С. 14-17.
  2. Жигулин М.В., Дмитриев И.М. Необходимое и достаточное условие f-эквивалентности временных автоматов // VI Всесибирский конгресс женщин-математиков : материалы Всероссийской конференции. – Красноярск, 2010. - С. 137-141.
  3. Zhigulin M., Yevtushenko N., Maag S., Cavalli A. FSM-Based Test Derivation Strategies for Systems with Time-Outs // 11th International conference on quality software. – Madrid, 2011. - P. 141-150.

Статья:

  1. Жигулин М.В. Разработка обучающей системы по курсу "Лазерное зондирование" // Современные проблемы физики и высокие технологии. - Томск: НТЛ, 2003. - С. 311-314.
  2. Жигулин М.В., Дмитриев И.М., Евтушенко Н.В. Синтез тестов с гарантированной полнотой для временных автоматов // Известия Томского политехнического университета. – 2010. – Т. 316, № 5. - С. 104-110.
  3. Дмитриев И.М., Жигулин М.В. Синтез проверяющих тестов с гарантированной полнотой для временных автоматов с конечными задержками // Известия высших учебных заведений. Физика. – 2010. – Т. 53, № 9/3. - С. 196-198.
  4. Жигулин М.В., Коломеец А.В., Кушик Н.Г., Шабалдин А.В. Тестирование программной реализации протокола IRC на основе модели расширенного автомата // Известия Томского политехнического университета. – 2011. – Т. 318, № 5. - С. 81-84.
  5. Жигулин М.В., Прокопенко С.А., Евтушенко Н.В. Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов // Новые информационные технологии в исследовании сложных структур : доклады VI Всероссийской конференции с международным участием // Вестник Томского государственного университета. Приложение. – Томск, 2006. – № 18. - С. 62-66.

Тезисы:

  1. Жигулин М.В., Коломеец А.В. Оценка полноты проверки при пассивном тестировании на основе автоматной модели // Известия ТПУ. – 2009. – Т. 314, № 5. - С. 225-228.
  2. Жигулин М.В. Оценка полноты проверки при пассивном тестировании на основе автоматной модели // Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участием. – Томск, 2008. - 48 c.
  3. Жигулин М.В., Дмитриев И.М., Попов Д.Д. Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек для модели «черного ящика» // Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием. – Томск, 2010. - 50 c.