Заведующий кафедрой ИТИДиС

Доктор технических наук, Профессор

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

  1. Аналитическая геометрия (Лекция)
  2. Общая алгебра (Лекция)
  3. Теория автоматов (Лекция)
  4. Теория информационных систем (Лекция)
  5. Теория кодирования (Семинар)

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

Статья:

  1. Куфарева И.Б., Евтушенко Н.В., Петренко А.Ф. Построение проверяющих тестов для недетерминированных автоматов // Автоматика и вычислительная техника. 1998. № 3. - С. 48-53.
  2. Koufareva I., Petrenko A., Yevtushenko N. Test generation driven by user-defined fault models // Proceedings of IFIP TC6 12th International Workshop on Testing of Communicating Systems, Hungary, 1999. - P. 215-233.
  3. Petrenko A., Yevtushenko N. Test suite derivation from partial FSMs // Formal description techniques / protocol specification, testing and validation.13. Kluwer Academic Publishers, 2000. - P. 85-102.
  4. Bufalov S., Yevtushenko N. Studying solutions to a parallel FSM equation // Bulletin of the Novosibirsk Computong Center, Computer Science, V.11, 2001. - P. 7-16.
  5. Yevtushenko N., Villa T., Brayon R., Petrenko A., Sangioani-Vincentelli A. Synthesis by language equation solving: exended abstract // In Proc.of Annual Intern.Workshop on Logic Synthesis, 2000. - P. 11-14.
  6. 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.
  7. Спицына Н.В., Евтушенко Н.В., Петренко А.Ф. Решение уравнений в алгебре полуавтоматов для операции обобщенной композиции // Вестник ТГУ. Приложение, 2002.- № 1(II). - С. 265-270.
  8. Spitsyna N., Trenkaev V., El-Fakih Kh., Yevtushenko N. FSM Based Interoperability Testing: Work in Progress // Proceedings of the Work in Progress Session of 23rd IFIP WG 6.1. Inter. Confer. Formal Techniques For Networked and Distributed Systems, FORTE 2003. - P. 29-38.
  9. Petrenko A., Yevtushenko N., Bochmann G.v., Dssouli R. Testing in Context: Framework and Test Derivation // IEEE Trans. on Computer Communications. - 1996. Vol. 19. - P. 1236-1249.
  10. Yevtushenko N., Villa T., Brayton R.K., Petrenko A., Sangiovanni-Vincentelli A. Solving a parallel language equation // Proceedings of the ICCAD'01, USA, 2001. - P. 103-110.
  11. Евтушенко Н.В., Петренко А.Ф., Тренькаев В.Н. Метод тестирования автоматных сетей, основанный на тестируемом поведении компоненты // Автоматика и вычислительная техника. - 1996. - № 2. - С. 48-59.
  12. Куфарева И.Б., Евтушенко Н.В. Синтез проверяющих тестов для недетерминированных автоматов относительно редукции в классе автоматов с неисправной функцией выходов // CAD DD' 97, Т. 2. - Минск: Ин-т Техн. киб. НАН Беларуси, 1997. - С. 51-58.
  13. 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.
  14. Ветрова М.В., Евтушенко Н.В., Косарева М.Ю., Куфарева И.Б., Тренькаев В.Н., Штарнова О.В. Система автоматизированного проектирования и тестирования цифровых контроллеров // Материалы 2-й м/д научно-техн. конф. Кибернетика и технологии XXI века. Воронеж, 2001.
  15. Под редакцией: Майер Г.В., Агибалов Г.П., Быкова С.В., Горцев А.М., Дмитриев Ю.Г., Евтушенко Н.В. Вестник Томского государственного университета. Серия "Математика.Киберненика.Информатика, 6. // Томск: ТГУ, 2003. - 288 c.
  16. 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.
  17. Koufareva I., Trenkaev V., Yevtushenko N. Exerimental comparison of test derivation methods for an embedded FSM // Радиоэлектроника и информатика. Научно-технический журнал., 3. - Харьков: ХНУРЭ, 2003. - P. 64-68.
  18. Дорофеева М.Ю., Евтушенко Н.В. Усовершенствование метода синтеза проверяющих тестов по мутационному автомату // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", № 6. - Томск: ТГУ, 2003. - С. 164-168.
  19. Buffalov S., El-Fakih Kh., Yevtushenko N., Bochmann G.v. Progressive Solutions to a Parallel Automata Equation // Lecture Notes in Computer Science, 2767. - Berlin, Germany: Springer, 2003. - P. 367-382.
  20. Yevtushenko N., Zharikova C.V., Vetrova M. Multi Component Digital Circuit Optimization by Solving FSM Equations // Euromicro Simpozium on Digital System Design. - Turkey: IEEE Computer society, 2003. - P. 62-68.
  21. Вилла Т., Евтушенко Н.В., Жарикова С.В. Характеризация живых решений синхронного автоматного уравнения // Вестник Томского государственного университета. Серия "Физика", 278. - Томск: ТГУ, 2003. - С. 129-133.
  22. Евтушенко Н.В. Об одной ветви Томской кибернетики // Вестник Томского государственного университета. Серия "Физика", 278. - Томск: ТГУ, 2003. - С. 43-44.
  23. Кириллов А.Б., Евтушенко Н.В. Синтез проверяющих тестов для входо-выходных полуавтоматов // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", 6. - Томск: ТГУ, 2003. - С. 169-173.
  24. Евтушенко Н.В., Жарикова С.В., Ветрова М.В. Оптимизация декомпозиций конечных автоматов на основе решения автоматных уравнений // Материалы XV Международной школы-семинара "Синтез и сложность управляющих систем". Новосибирск:Издательство Института математики, 2004. - С. 29-34.
  25. El-Fakih Kh., Trenkaev V., Spitsyna N., Yevtushenko N. FSM Based Interoperabiliti Testing Methods for Multi Stimuli Model // Testing of Communicating Systems. Germany. Springer, 2004. - P. 60-75.
  26. Агибалов Г. П., Евтушенко Н. В. Декомпозиция конечных автоматов // Томск: Изд-во Том. ун-та, 1985. - 127 c.
  27. Yevtushenko N., Villa Т., Brayton R. Logic Synthesis by Equation Solving // Proc. of 16th Intern. Workshop on Logic synthesis. - USA, 2000 . - P. 107-114.
  28. Евтушенко H. В., Матросова А. Ю. Об одном подходе к синтезу проверяющих последовательностей для автоматных сетей // Автоматика и вычислительная техника. - 1991. № 2. - С. 3-7.
  29. Евтушенко Н.В., Лебедев А.В., Петренко А.Ф. Построение проверяющего множества для компоненты последовательной автоматной сети // Автоматика и телемеханика. 1994. - № 8. - С. 145-153.
  30. Petrenko A., Yevtushenko N., Bochmann G. Experiments on Nondeterministic Systems for the Reduction Relation // Dept. Publ. #932 of Universite de Monreal, 1991. - 24 p.
  31. Petrenko A., Yevtushenko N., Lebedev A., Das A. Nondeterministic state machines in protocol conformance testing // Proc. of the IFIP 6th International Workshop on Protocol Test Systems. - 1993. - P. 363-378.
  32. Yevtushenko N., Cavali A., and Lima L. Jr. Test Suite Minimization for Testing in Context // Proc. of the 11th IWTCS, Russia, 1998. - P. 127-145.
  33. Евтушенко Н.В., Куфарева И.Б. Отношения между недетерминированными автоматами // Томск: Изд-во "Спектр", 2001. - 26 c.
  34. Yevtushenko N., Petrenko A. Test derivation method for an arbitrary deterministic automaton // Automatic Control and Computer Sciences, Allerton Press Inc., USA, no. 5,1990.
  35. Yevtushenko N., Villa Т., Brayton R., Petrenko A., Sangiovani-Vincentelli A. Solution of synchronous language equations for logic synthesis // Вестник ТГУ. Приложение. 2002. № 1(11). - P. 132-137.
  36. Petrenko A., Yevtushenko N., Bochmann G. v. Fault models for testing in context // Proceedings of the IFIP 1st Joint International Conference FORTE/PSTV, Chapman & Hall, 1996. - P. 163-178.
  37. Евтушенко H.B., Петренко А.Ф. Метод построения эксперимента для произвольного детерминированного автомата // Автоматика и вычислительная техника. 1990, № 5. - С. 73-76.
  38. Евтушенко H.B., Петренко А.Ф. Синтез проверяющих экспериментов в некоторых классах автоматов // Автоматика и Вычислительная техника. -1990, № 4. - С. 59-64.
  39. Евтушенко H.B., Петренко А.Ф. О проверяющих возможностях кратных экспериментов // Автоматика и Вычислительная техника. 1989, №3. - С. 9-14.
  40. Куфарева И.Б., Евтушенко H.B., Петренко А.Ф. Синтез проверяющих тестов для недетерминированного автомата относительно редукции // Автоматика и вычислительная техника. 1998, № 3. - С. 10-20.
  41. Евтушенко Н.В., Лебедев А.В., Петренко А.Ф. О проверяющих экспериментах с недетерминированными автоматами // Автоматика и Вычислительная техника. 1991, № 6. - С. 81-85.
  42. Dorofeeva М., El-Fakih Kh., Yevtushenko N. Incremental testing methods for implementations with more states than specifications // Вестник ТГУ. Приложение. 2004. - № 9(1). - P. 163-168.
  43. Dorofeeva М., Petrenko A., Vetrova М., Yevtushenko N. Adaptive test generation from a nondeterministic FSM // Радиоэлектроника и информатика. 2004. - № 3. - P. 91-95.
  44. Жигулин М.В., Дмитриев И.М., Евтушенко Н.В. Синтез тестов с гарантированной полнотой для временных автоматов // Известия Томского политехнического университета. – 2010. – Т. 316, № 5. - С. 104-110.
  45. Жигулин М.В., Прокопенко С.А., Евтушенко Н.В. Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов // Новые информационные технологии в исследовании сложных структур : доклады VI Всероссийской конференции с международным участием // Вестник Томского государственного университета. Приложение. – Томск, 2006. – № 18. - С. 62-66.
  46. Кушик Н.Г., Маммар А., Кавалли А., Евтушенко Н.В., Джиминез В., Монте де Ока Э. Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN // Моделирование и анализ информационных систем. 2011. Т. 18. № 4. - С. 131-143.
  47. Kushik N., Yevtushenko N., El-Fakih Kh. Preset and adaptive homing experiments for nondeterministic finite state machines // Lecture Notes in Computer Science. 2011. Т. 6807 LNCS. - P. 215-224.
  48. Громов М.Л., Кушик Н.Г., Евтушенко Н.В. Различающие эксперименты с неинициальными недетерминированными автоматами // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. - С. 93-101.

Доклад:

  1. Жарикова С., Ярошевич Е., Евтушенко Н. Представление выигрышных стратегий в логических играх с помощью конечных автоматов // Новые информационные технологии в исследовании дискретных структур, Томск, изд-во ТНЦ СО РАН, "Спектр", 2000. - С. 199-203.
  2. Евтушенко Н.В., Спицына Н.В. Синтез полуавтоматов посредством решения логических уравнений // Материалы международной конференции "Компьютерные науки и информационные технологии", посвященной памяти профессора А. М. Богомолова. - Саратов, 2002. - 26 c.
  3. Евтушенко Н.В., Тренькаев В.Н. Методы синтеза тестов для компоненты автоматной сети // Новые информационные технологии в исследовании дискретных структур. Екатеринбург: УрО РАН, 1998. - С. 219-223.
  4. Petrenko A., Yevtushenko N., Jia Le Huo Testing Transition Sistems with Input and Output Testers // Testing of Communicating Systems. - Frence: Springer, 2003. - P. 129-132.
  5. Коломеец А.В., Громов М.Л., Прокопенко С.А., Евтушенко Н.В. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Современные проблемы физики и высокие технологии.Материалы конференции, посвященной 125-летию ТГУ, 75-летию СФТИ, 75-летию РФФ ТГУ. - Томск: Издательство научно-технической литературы, 2003. - С. 503-505.
  6. Громов М.Л., Коломеец А.В., Евтушенко Н.В. Синтез диагностических тестов для автоматных сетей // Вестник ТГУ. Приложение. – 2004. – № 9(I). - С. 204-209.
  7. Спицына H.В., Евтушенко H.В. Трансляция тестов для компоненты автоматной сети посредством решения автоматных уравнений // Материалы пятой международной конференции «Автоматизация проектирования дискретных систем». - Минск: НАН Беларуси, 2004. - С. 96-103.
  8. Спицына H.В., Евтушенко H.В. Синтез условных проверяющих тестов для недетерминированных автоматов // Материалы VIII Международного семинара «Дискретная математика и ее приложения». - М.: Изд-во механико-математического факультета МГУ, 2004 . - С. 310-313.
  9. El-Fakih Kh., Trenkaev V., Spitsyna N., Yevtushenko N. FSM Based Interoperability Testing Methods // Lecture notes in Computer Science 2978, 2004. - P. 60-75.
  10. 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.
  11. Gromov M., Popov D., Yevtushenko N. Deriving test suites for timed Finite State Machines // Proceedings of IEEE East-West Design & Test Symposium'08. — Kharkov, Ukraine: SPD FL Stepanov V.V., 2008. - P. 339-343.
  12. Gromov M., El-Fakih Kh., Shabaldina N., Yevtushenko N. Distinguing Non-deterministic Timed Finite State Machines // Vol. 5522 of LNCS. - Springer, 2009. - P. 137-151.
  13. Прокопенко С.А., Евтушенко Н.В. К построению легко тестируемых автоматов // Материалы 2 Межд. конф. "Автоматизированное проектирование дискретных систем". - Минск, 1997, том 3. - С. 66-74.
  14. Евтушенко Н.В., Прокопенко С.А. Построение проверяющих тестов для входо-выходных полуавтоматов // Материалы 2 Всероссийской конф. "Новые информационные технологии в исследовании дискретных структур". - Екатеринбург, 1998. - С. 216-219.
  15. Прокопенко С.А., Евтушенко Н.В. Минимизация проверяющих тестов для сложных многокомпонентных устройств // Материалы 3 Межд. конф. "Автоматизированное проектирование дискретных систем". - Минск, 1999. - том З. - С. 14-21.
  16. 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.
  17. Petrenko A., Yevtushenko N. Solving Asynchronous Equations // IFIP TC6 WG6.1 Joint International Conference. - France, 1998. - P. 231-247.
  18. Буфалов С.А., Евтушенко H.В. Живые решения полуавтоматных уравнений // Проблемы теоретической кибернетики: Тез. Х1П Международной конф. 27-31 мая 2002. - Казань, 2002. - С. 71-74.
  19. Евтушенко Н.В., Буфалов С.А. К решению автоматных уравнений // ХП Международная конференция по проблемам теоретической кибернетики, 17-22 мая 1999. Нижний Новгород, 1999. - 65 c.
  20. Petrenko A., Yevtushenko N., Bochmann G. v. Testing deterministic implementations from their nondeterministic specifications // Proceedings of the IFIP Ninth International Workshop on Testing of Communication Systems, Germany, 1996. - P. 125-140.
  21. Yevtushenko N., Villa T., Brayton R., Petrenko A., Sangiovanni-Vincentelli A. Sequential Synthesis by Language Equation Solving // Technical report, 2003.
  22. El-Fakih Кh., Yevtushenko N. Fault Propagation by Equation Solving // Proceedings of the 24th IFIP WG 6.1. Inter. Confer. Formal Techniques For Networked and Distributed Systems, FORTE 2004. - P. 185-198.
  23. El-Fakih Кh., Yevtushenko N. and Bochmann G. Protocol re-testing methods // Proc. of the IFIP 14th International Conference on Testing of Communicating Systems, 2002.
  24. El-Fakih Kh., Yevtushenko N., and Bochmann G. v. FSM-based incremental conformance testing methods // IEEE Transactions on software engineering, 2004, v.20, N7. - P. 425-436.
  25. Petrenko A., Yevtushenko N. Test Suite Generation for a Given Type of Implementation Errors // Proceedings of IFIP 12th International Conference on Protocol Specification, Testing and Verification, 1992. - P. 229-243.
  26. Petrenko A., Yevtushenko N. Conformance tests as checking experiments for partial nondeterministic FSM // Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software, 2005.
  27. Dorofeeva М., El-Fakih Kh., Yevtushenko N. An improved conformance testing method // Lecture Notes in Computer Science No. 3731. - P. 204-218.
  28. 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. Евтушенко Н.В., Тренькаев В.Н. Методы синтеза тестов для цифровых автоматов: Учебно-методическое пособие // Томск: Изд-во ТГУ, 1997. - 34 c.
  2. Евтушенко Н.В. Решение уравнений в логическом синтезе // Томск: Изд-во "Спектр" ИОА СО РАН, 1999. - 27 c.
  3. Коломеец А.В., Евтушенко Н.В. Циклические коды // Томск: Изд-во ТГУ, 2004. - 32 c.

Тезисы:

  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. Громов М.Л., Евтушенко Н.В., Коломеец А.В. К синтезу условных тестов для недетерминированных автоматов // Программирование. – 2008. – № 6. - С. 1-11.