Автореферат:

  1. Ветрова М.В. Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов // Томск: Копировальный центр "Южный", 2003. - 20 c.

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

  1. Ветрова М.В. Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов // Диссертация, представленная на соискание ученой степени кандидата технических наук, ТГУ, 2004.. - 152 c.
  2. Громов М.Л. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением // Диссертация, представленная на соискание ученой степени кандидата физико-математических наук, Томск, ТГУ, 2009. - 154 c.
  3. Дорофеева М.Ю. Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем // Диссертация, представленная на соискание ученой степени кандидата технических наук, ТГУ, 2007. - 151 c.
  4. Коломеец А.В. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов // Диссертация, представленная на соискание ученой степени кандидата технических наук, Томск, ТГУ, 2010. - 130 c.
  5. Куфарева И.Б. Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления // Диссертация, представленная на соискание ученой степени кандидата технических наук, ТГУ, 2000. - С. 183-189.
  6. Прокопенко А.C. Минимизация проверяющих тестов для систем логического управления методами теории автоматов // Диссертация, представленная на соискание ученой степени кандидата технических наук, Томск, ТГУ, 2000. - 117 c.
  7. Спицына Н.В. Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов // Диссертация, представленная на соискание ученой степени кандидата технических наук, ТГУ, 2005. - 159 c.
  8. Тренькаев В.Н. Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов // Диссертация, представленная на соискание ученой степени кандидата технических наук, ТГУ, 2000. - С. 1-189.

Доклад:

  1. Dorofeeva М., El-Fakih Kh., Yevtushenko N. An improved conformance testing method // Lecture Notes in Computer Science No. 3731. - P. 204-218.
  2. El-Fakih Kh., Trenkaev V., Spitsyna N., Yevtushenko N. FSM Based Interoperability Testing Methods // Lecture notes in Computer Science 2978, 2004. - P. 60-75.
  3. 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.
  4. 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.
  5. 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.
  6. Gromov M. A novel method for derivation of a test with guaranteed coverage for LTS // Proceedings of SYRCoSE 2008. -St.Peterburg:S-PSU, 2008. - P. 47-49.
  7. 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.
  8. 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.
  9. 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.
  10. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Design of digital Controlling Module by multiphase Inverters // Труды 1-й конференции студенческого научно-исследовательского инкубатора, Томск: НТЛ, 2005.
  11. 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.
  12. Kolomeets A.V., Gromov M.L., Zharikova C.V., Popov D.D. Techniques for Designing a Digital Circuit Controlling Multiphase Inverters // Труды 2-й конференции студенческого научно-исследовательского инкубатора. – Томск: НТЛ, 2005.
  13. Koufareva I., Dorofeeva М. A novel modification of W-method // Joint Bulletin of the Novosibirsk computing center and A.P. Ershov institute ofinformatics systems. Series: Computing science, issue: 18, 2002, NCC Publisher, Novosibirsk. - P. 69-81.
  14. Petrenko A., Yevtushenko N. Solving Asynchronous Equations // IFIP TC6 WG6.1 Joint International Conference. - France, 1998. - P. 231-247.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. Spitsyna N., Trenkaev V. FSM Based interoperability testing of communication protocols // Proceedings of the IEEE-Siberian Conference on Control and Communications. - Tomsk: The Tomsk IEEE - Chapter & Student Branch, 2003 . - P. 20-23.
  20. 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.
  21. Yevtushenko N., Villa T., Brayton R., Petrenko A., Sangiovanni-Vincentelli A. Sequential Synthesis by Language Equation Solving // Technical report, 2003.
  22. 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.
  23. Буфалов С.А., Евтушенко H.В. Живые решения полуавтоматных уравнений // Проблемы теоретической кибернетики: Тез. Х1П Международной конф. 27-31 мая 2002. - Казань, 2002. - С. 71-74.
  24. Ветрова М.В. Исследование методов синтеза проверяющих тестов для недетерминированных автоматов // Конференция, посвященная 70-летию СФТИ, Томск, 1998. - 40 c.
  25. Ветрова М.В. Синтез условных тестов для верификации цифровых контроллеров // Современные проблемы физики и высокие технологии.Материалы конференции, посвященной 125-летию ТГУ, 75-летию СФТИ, 75- летию РФФ ТГУ. - Томск: Издательство научно-технической литературы, 2003. - С. 498-499.
  26. Громов М., Кондратьева О. Об одном классе автоматов с полиномиальной оценкой числа состояний в наблюдаемой форме // Журнал СФУ. Серия: Математика и физика — 2008. — Т. 1, № 3. - С. 257-261.
  27. Громов М.Л. Квантовый алгоримт дискретного логарифмирования // Материалы студенческой научной конференции, посвященной 50-летию РФФ ТГУ. - Томск: ТГУ, 2003. - С. 7-10.
  28. Громов М.Л. Метод построения полного проверяющего теста для входо-выходных полуавтоматов // Вестник ТГУ. Управление, вычислительная техника и информатика. — 2008. — №3(4). - С. 85-98.
  29. Громов М.Л., Жарикова С.В., Коломеец А.В., Попов Д.Д. Синтез цифровых узлов схем управления многофазными инверторами // Труды 1-й конференции студенческого научно-исследовательского инкубатора. - Томск: НТЛ, 2005.
  30. Громов М.Л., Жарикова С.В., Коломеец А.В., Попов Д.Д. Методы синтеза цифровых узлов схем управления m-фазными инверторами // Труды 2-й конференции студенческого научно-исследовательского инкубатора. – Томск: НТЛ, 2005.
  31. Громов М.Л., Коломеец А.В., Евтушенко Н.В. Синтез диагностических тестов для автоматных сетей // Вестник ТГУ. Приложение. – 2004. – № 9(I). - С. 204-209.
  32. Громов М.Л., Шабалдина Н.В. О распознавании недетерминированного автомата в заданном классе // Материалы IX Международного семинара «Дискретная математика и её приложения» / Под ред. О.М. Касим-Заде. - М.: ММФ МГУ, 2007. - С. 157-160.
  33. Евтушенко Н.В., Буфалов С.А. К решению автоматных уравнений // ХП Международная конференция по проблемам теоретической кибернетики, 17-22 мая 1999. Нижний Новгород, 1999. - 65 c.
  34. Евтушенко Н.В., Прокопенко С.А. Построение проверяющих тестов для входо-выходных полуавтоматов // Материалы 2 Всероссийской конф. "Новые информационные технологии в исследовании дискретных структур". - Екатеринбург, 1998. - С. 216-219.
  35. Евтушенко Н.В., Спицына Н.В. Синтез полуавтоматов посредством решения логических уравнений // Материалы международной конференции "Компьютерные науки и информационные технологии", посвященной памяти профессора А. М. Богомолова. - Саратов, 2002. - 26 c.
  36. Евтушенко Н.В., Тренькаев В.Н. Методы синтеза тестов для компоненты автоматной сети // Новые информационные технологии в исследовании дискретных структур. Екатеринбург: УрО РАН, 1998. - С. 219-223.
  37. Жарикова С., Ярошевич Е., Евтушенко Н. Представление выигрышных стратегий в логических играх с помощью конечных автоматов // Новые информационные технологии в исследовании дискретных структур, Томск, изд-во ТНЦ СО РАН, "Спектр", 2000. - С. 199-203.
  38. Жарикова С.В., Ветрова М.В. Оптимизация многокомпонентных схем на основе решения автоматных уравнений // Инфокоммуникационные и вычислительные технологии и системы. Материалы Всероссийской конференции.Часть I. - Улан-Удэ: Издательство Бурятского университета, 2003. - С. 136-139.
  39. Жигулин М.В. К разработке обучающей системы по курсу "Лазерное зондирование" // Материалы студенческой научной конференции, посвященной 50-летию РФФ ТГУ. - Томск: ТГУ, 2003. - С. 14-17.
  40. Жигулин М.В., Дмитриев И.М. Необходимое и достаточное условие f-эквивалентности временных автоматов // VI Всесибирский конгресс женщин-математиков : материалы Всероссийской конференции. – Красноярск, 2010. - С. 137-141.
  41. Коломеец А.В. Метод сжатия проверяющих тестов для цифровых схем // Международная конференция молодых ученых по математическому моделированию и информационным технологиям. - Новосибирск: Институт вычислительных технологий СО РАН 2002 . - С. 59-60.
  42. Коломеец А.В. Метод синтеза проверяющих тестов для расширенных конечных автоматов // Материалы XLII международной научной студенческой конференции «Студент и научно – технический прогресс», Информационные технологии. – Новосибирск. – 2004. - С. 174-176.
  43. Коломеец А.В., Громов М.Л., Прокопенко С.А. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Инфокоммуникационные и вычислительные технологии и системы. Материалы Всероссийской конференции.Часть II. - Улан-Удэ: Издательство Бурятского университета, 2003. - С. 6-9.
  44. Коломеец А.В., Громов М.Л., Прокопенко С.А., Евтушенко Н.В. Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов // Современные проблемы физики и высокие технологии.Материалы конференции, посвященной 125-летию ТГУ, 75-летию СФТИ, 75-летию РФФ ТГУ. - Томск: Издательство научно-технической литературы, 2003. - С. 503-505.
  45. Коломеец А.В., Прокопенко С.А. Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах // Вестник ТГУ. Приложение. – 2005. – № 14. - С. 154-157.
  46. Коломеец А.В., Прокопенко С.А. Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата // Вестник ТГУ. Приложение. – 2006. – № 18. - С. 62-66.
  47. Куфарева И.Б. Метод построения контрольного эксперимента для недетерминированного автомата // Дискретный анализ и исследование операций. Математическая международная конференция, Новосибирск, 2000. - 1 c.
  48. Куфарева И.Б., Дорофеева М.Ю. Об оценке длины переборного теста для конечного автомата // Сборник научных трудов по материалам 7-й международной конференции «Теория и техника передачи, приема и обработки информации». Харьков, 2001. - С. 299-300.
  49. Куфарева И.Б., Косарева М.Ю. Исследование методов построения проверяющих тестов для детерминированных автоматов // «Новые информационные технологии в исследовании дискретных структур», 3-я Российская конференция с международным участием, Томск, изд-со СО РАН, 2000. - С. 204-208.
  50. Михайлов Ю.В., Коломеец А.В. Автоматизация внесения ошибок в программные реализации протоколов на основе модели расширенного автомата // Наука. Технологии. Инновация: материалы всероссийской научной конференции молодых ученых в 7 ч. - Новосибирск: Изд-во НГТУ, 2006. - Ч. 1. - С. 49-51.
  51. Пашенцев А.Г., Тренькаев В.Н. Тестирование совместного функционирования телекоммуникационных протоколов: оценка качества теста // Современные проблемы физики и высокие технологии.Материалы конференции, посвященной 125-летию ТГУ, 75-летию СФТИ, 75- летию РФФ ТГУ. - Томск: Издательство научно-технической литературы, 2003. - С. 518-519.
  52. Прокопенко С.А., Евтушенко Н.В. К построению легко тестируемых автоматов // Материалы 2 Межд. конф. "Автоматизированное проектирование дискретных систем". - Минск, 1997, том 3. - С. 66-74.
  53. Прокопенко С.А., Евтушенко Н.В. Минимизация проверяющих тестов для сложных многокомпонентных устройств // Материалы 3 Межд. конф. "Автоматизированное проектирование дискретных систем". - Минск, 1999. - том З. - С. 14-21.
  54. Спицына H.В., Евтушенко H.В. Трансляция тестов для компоненты автоматной сети посредством решения автоматных уравнений // Материалы пятой международной конференции «Автоматизация проектирования дискретных систем». - Минск: НАН Беларуси, 2004. - С. 96-103.
  55. Спицына H.В., Евтушенко H.В. Синтез условных проверяющих тестов для недетерминированных автоматов // Материалы VIII Международного семинара «Дискретная математика и ее приложения». - М.: Изд-во механико-математического факультета МГУ, 2004 . - С. 310-313.
  56. Спицына Н.В. Тестирование на взаимодействие: введение класса неисправностей на примере протокола POP3 // Материалы IX международной научно-практической конференции студентов, аспирантов и молодых ученых «Современные техника и технологии». - Томск: Изд-во ТПУ, 2003. - С. 214-216.
  57. Спицына Н.В. Этапы тестирования на взаимодействие // Материалы Международной конференции «Современные проблемы физики и высокие технологии». Томск: Изд-во НТЛ, 2003. - С. 500-502.
  58. Спицына Н.В., Шабалдин А.В. Тестирование программных реализаций протоколов в лабораторном практикуме // Материалы Всероссийской конференции «Инфокоммуникационные и вычислительные технологии и системы». - Улан-Удэ: Изд-во Бурятского госуниверситета, 2003. - С. 78-81.
  59. Тренькаев В.Н. О синтезе неполных проверяющих тестов для автоматной сети // Новые информационные технологии в исследовании дискретных структур, Томск, изд-во ТНЦ СО РАН, "Спектр", 2000. - С. 218-222.
  60. Шабалдин А.В. Автоматическая генерация формул в компьютерной обучающей системе // Материалы студенческой научной конференции, посвященной 50-летию РФФ ТГУ. - Томск: ТГУ, 2003 . - С. 50-53.
  61. Шабалдин А.В., Спицына Н.В., Коломеец А.В. Автоматизация тестирования реализаций протоколов прикладного уровня в лабораторном практикуме // Материалы IV научно-практической конференции «Современные средства и системы автоматизации». – Томск: Изд-во ТУСУР, 2004. - С. 222-225.

Статья:

  1. 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.
  2. 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.
  3. Cavalli A., Prokopenko S. Passive testing using configuration distinguishability // Вестник ТГУ. Приложение.- 2002.-1(II). - P. 301-304.
  4. 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.
  5. 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.
  6. Dorofeeva М., El-Fakih Kh., Yevtushenko N. Incremental testing methods for implementations with more states than specifications // Вестник ТГУ. Приложение. 2004. - № 9(1). - P. 163-168.
  7. Dorofeeva М., Petrenko A., Vetrova М., Yevtushenko N. Adaptive test generation from a nondeterministic FSM // Радиоэлектроника и информатика. 2004. - № 3. - P. 91-95.
  8. 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.
  9. 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.
  10. Gromov M., Willemse T. Testing and Model-Checking Techniques for Diagnosis // Vol.4581 of LNCS. - Springer, 2007. - P. 138-154.
  11. 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.
  12. Koufareva I., Trenkaev V., Yevtushenko N. Exerimental comparison of test derivation methods for an embedded FSM // Радиоэлектроника и информатика. Научно-технический журнал., 3. - Харьков: ХНУРЭ, 2003. - P. 64-68.
  13. 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.
  14. 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.
  15. Petrenko A., Yevtushenko N., Bochmann G. Experiments on Nondeterministic Systems for the Reduction Relation // Dept. Publ. #932 of Universite de Monreal, 1991. - 24 p.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. Trenkaev V., Kim M. Test derivation method for a system of communicating FSMs with respect to output faults // Вестник ТГУ. - 2002.- 1(II). - P. 310-315.
  21. Trenkaev V., Kim M., Seol S. Interoperability Testing Based on a Fault Model for a System // Testing of Communicating Systems. - France: Sprinter, 2003. - P. 226-242.
  22. 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.
  23. Yevtushenko N., Petrenko A. Test derivation method for an arbitrary deterministic automaton // Automatic Control and Computer Sciences, Allerton Press Inc., USA, no. 5,1990.
  24. 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.
  25. 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.
  26. Yevtushenko N., Villa Т., Brayton R. Logic Synthesis by Equation Solving // Proc. of 16th Intern. Workshop on Logic synthesis. - USA, 2000 . - P. 107-114.
  27. Yevtushenko N., Villa Т., Brayton R., Petrenko A., Sangiovani-Vincentelli A. Solution of synchronous language equations for logic synthesis // Вестник ТГУ. Приложение. 2002. № 1(11). - P. 132-137.
  28. 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.
  29. Агибалов Г. П., Евтушенко Н. В. Декомпозиция конечных автоматов // Томск: Изд-во Том. ун-та, 1985. - 127 c.
  30. Беляев В.А., Елисеева Н.А. Графический вывод схем // Сб. Автоматизация, математические методы и управление народным хозяйством. ТИАСУР, изд-в ТГУ, Томск, 1990. - С. 68-72.
  31. Быкова С.В., Ахунов Д.С., Громов М.Л., Колегов Д.Н. Моделирование квантовых алгоритмов Шора и Гровера на классическом компьютере // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", 6. - Томск: ТГУ, 2003. - С. 192-198.
  32. Быкова С.В., Головчинер М.Н.и др. ТОМЛЕС-система программирования с базовым языком ЛЯПАС-М для ЕС ЭВМ // Программирование.- 1984.- № 5 . - С. 56-63.
  33. Быкова С.В., Никитин К.В. Фрактальное сжатие изображений // Кибернетика. Информатика. Томск. Изд-во ТГУ, 1999. - 6 c.
  34. Быкова С.В., Панкратова Н.А.и др. Система автоматизированного синтеза комбинационных схем СИНТЕЗ-Ф // УСиМ.- 1991.- № 1. - С. 3-9.
  35. Быкова С.В., Шабалдин А.В. Фрактальное сжатие изображений и его параллельная реализация // Новые информационные технологии в исследовании дискретных структур, Томск, изд-во ТНЦ СО РАН, "Спектр", 2000. - С. 74-78.
  36. Ветрова М.В. Синтез контроллеров для микропрограммных автоматов // Новые информационные технологии в исследовании дискретных структур, Томск, изд-во ТНЦ СО РАН, "Спектр", 2000. - С. 194-198.
  37. Ветрова М.В. Решение автоматного уравнения для топологии контроллера // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика." , 6. - Томск: ТГУ, 2003. - С. 159-164.
  38. Ветрова М.В., Дорофеева М.Ю. Тестирование недетерминированных автоматов на основе условного эксперимента // Вестник ТГУ. Приложение. Материалы V Всесоюзной конференции с международным участием ICAM' 04,№ 9(1). Томск, ТГУ, 2004. - С. 199-203.
  39. Ветрова М.В., Евтушенко Н.В., Косарева М.Ю., Куфарева И.Б., Тренькаев В.Н., Штарнова О.В. Система автоматизированного проектирования и тестирования цифровых контроллеров // Материалы 2-й м/д научно-техн. конф. Кибернетика и технологии XXI века. Воронеж, 2001.
  40. Вилла Т., Евтушенко Н.В., Жарикова С.В. Характеризация живых решений синхронного автоматного уравнения // Вестник Томского государственного университета. Серия "Физика", 278. - Томск: ТГУ, 2003. - С. 129-133.
  41. Громов М.Л., Дорофеева М.Ю., Коломеец А.В. К синтезу тестов по мутационному автомату // Вестник ТГУ. Приложение. 2006. - № 18. - С. 43-49.
  42. Громов М.Л., Кушик Н.Г., Евтушенко Н.В. Различающие эксперименты с неинициальными недетерминированными автоматами // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. - С. 93-101.
  43. Дмитриев И.М., Жигулин М.В. Синтез проверяющих тестов с гарантированной полнотой для временных автоматов с конечными задержками // Известия высших учебных заведений. Физика. – 2010. – Т. 53, № 9/3. - С. 196-198.
  44. Дорофеева М.Ю. Экспериментальное сравнение методов синтеза проверяющих тестов для детерминированных автоматов // Вестник ТГУ. Приложение. 2005. - №14. - С. 148-154.
  45. Дорофеева М.Ю. Адаптация Н-метода для тестирования недетерминированных автоматов относительно редукции // Вестник ТГУ. Приложение. 2006. - № 18. - С. 49-54.
  46. Дорофеева М.Ю., Евтушенко Н.В. Усовершенствование метода синтеза проверяющих тестов по мутационному автомату // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", № 6. - Томск: ТГУ, 2003. - С. 164-168.
  47. Евтушенко H. В., Матросова А. Ю. Об одном подходе к синтезу проверяющих последовательностей для автоматных сетей // Автоматика и вычислительная техника. - 1991. № 2. - С. 3-7.
  48. Евтушенко H.B., Петренко А.Ф. Метод построения эксперимента для произвольного детерминированного автомата // Автоматика и вычислительная техника. 1990, № 5. - С. 73-76.
  49. Евтушенко H.B., Петренко А.Ф. Синтез проверяющих экспериментов в некоторых классах автоматов // Автоматика и Вычислительная техника. -1990, № 4. - С. 59-64.
  50. Евтушенко H.B., Петренко А.Ф. О проверяющих возможностях кратных экспериментов // Автоматика и Вычислительная техника. 1989, №3. - С. 9-14.
  51. Евтушенко Н.В. Об одной ветви Томской кибернетики // Вестник Томского государственного университета. Серия "Физика", 278. - Томск: ТГУ, 2003. - С. 43-44.
  52. Евтушенко Н.В., Жарикова С.В., Ветрова М.В. Оптимизация декомпозиций конечных автоматов на основе решения автоматных уравнений // Материалы XV Международной школы-семинара "Синтез и сложность управляющих систем". Новосибирск:Издательство Института математики, 2004. - С. 29-34.
  53. Евтушенко Н.В., Куфарева И.Б. Отношения между недетерминированными автоматами // Томск: Изд-во "Спектр", 2001. - 26 c.
  54. Евтушенко Н.В., Лебедев А.В., Петренко А.Ф. Построение проверяющего множества для компоненты последовательной автоматной сети // Автоматика и телемеханика. 1994. - № 8. - С. 145-153.
  55. Евтушенко Н.В., Лебедев А.В., Петренко А.Ф. О проверяющих экспериментах с недетерминированными автоматами // Автоматика и Вычислительная техника. 1991, № 6. - С. 81-85.
  56. Евтушенко Н.В., Петренко А.Ф., Тренькаев В.Н. Метод тестирования автоматных сетей, основанный на тестируемом поведении компоненты // Автоматика и вычислительная техника. - 1996. - № 2. - С. 48-59.
  57. Елисеева Н.А. Задание булевых функций формулами. // Новые информационные технологии в исследовании дискретных структур, Томск, изд-во ТНЦ СО РАН, "Спектр", 2000. - С. 223-226.
  58. Елисеева Н.А. Алгоритм трассировки электрических цепей // сб. Алгоритмы решения задач дискретной математики. Изд-во ТГУ, Томск, 1987, вып. 2. - С. 154-160.
  59. Жарикова С.В. К синтезу отказоустойчивых элементов цифровых схем // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика." , 6. - Томск: ТГУ, 2003. - С. 114-118.
  60. Жигулин М.В. Разработка обучающей системы по курсу "Лазерное зондирование" // Современные проблемы физики и высокие технологии. - Томск: НТЛ, 2003. - С. 311-314.
  61. Жигулин М.В., Дмитриев И.М., Евтушенко Н.В. Синтез тестов с гарантированной полнотой для временных автоматов // Известия Томского политехнического университета. – 2010. – Т. 316, № 5. - С. 104-110.
  62. Жигулин М.В., Коломеец А.В., Кушик Н.Г., Шабалдин А.В. Тестирование программной реализации протокола IRC на основе модели расширенного автомата // Известия Томского политехнического университета. – 2011. – Т. 318, № 5. - С. 81-84.
  63. Жигулин М.В., Прокопенко С.А., Евтушенко Н.В. Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов // Новые информационные технологии в исследовании сложных структур : доклады VI Всероссийской конференции с международным участием // Вестник Томского государственного университета. Приложение. – Томск, 2006. – № 18. - С. 62-66.
  64. Закревский А.Д., Балаклей Л.И., Елисеева Н.А.и др. Синтез асинхронных автоматов на ЭВМ // Изд-во: Наука и техника, Минск, 1975. - 184 c.
  65. Кириллов А.Б., Евтушенко Н.В. Синтез проверяющих тестов для входо-выходных полуавтоматов // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", 6. - Томск: ТГУ, 2003. - С. 169-173.
  66. Коломеец А.В., Прокопенко С.А. Метод синтеза диагностических тестов для расширенных конечных автоматов // Вестник ТГУ. Приложение. – 2003. – № 6. - С. 174-177.
  67. Куфарева И.Б., Дорофеева М.Ю. Минимизация проверяющих тестов для конечных автоматов // Вестник ТГУ. Приложение.- 2002.- 1(II). - С. 357-363.
  68. Куфарева И.Б., Евтушенко H.B., Петренко А.Ф. Синтез проверяющих тестов для недетерминированного автомата относительно редукции // Автоматика и вычислительная техника. 1998, № 3. - С. 10-20.
  69. Куфарева И.Б., Евтушенко Н.В. Синтез проверяющих тестов для недетерминированных автоматов относительно редукции в классе автоматов с неисправной функцией выходов // CAD DD' 97, Т. 2. - Минск: Ин-т Техн. киб. НАН Беларуси, 1997. - С. 51-58.
  70. Куфарева И.Б., Евтушенко Н.В., Петренко А.Ф. Построение проверяющих тестов для недетерминированных автоматов // Автоматика и вычислительная техника. 1998. № 3. - С. 48-53.
  71. Куфарева И.Б., Тренькаев В.Н. Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента // Вестник Томского государственного университета. Серия "Физика", 278. - Томск: ТГУ, 2003. - С. 122-128.
  72. Кушик Н.Г., Маммар А., Кавалли А., Евтушенко Н.В., Джиминез В., Монте де Ока Э. Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN // Моделирование и анализ информационных систем. 2011. Т. 18. № 4. - С. 131-143.
  73. Кушик Н.Г., Рекун М.В. К оптимизации комбинационных схем на основе решения уравнений // Журнал Сибирского федерального университета. Серия: Математика и физика. 2008. Т. 1. № 3. - 290–295 c.
  74. Маракин В.В. Синтез диагностических тестов для конечных автоматов // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", 6. - Томск: ТГУ, 2003. - С. 178-182.
  75. Паршина Н.А Минимизация частичных булевых функций в классе ортогональных днф // Новые информационные технологии в исследовании дискретных структур - Екатеринбург: УрО РАН, 1998. - 6 c.
  76. Паршина Н.А. Задача о выполнимости: некоторые полиномиальные классы КНФ // Кибернетика и системный анализ.-1992.- № 1. - С. 156-160.
  77. Паршина Н.А. Синтез легко диагностируемых комбинационных схем методом факторизации тупиковых ДНФ // АВТ.-1980.- № 4. - С. 69-74.
  78. Паршина Н.А. Задача о выполнимости кнф в криптографии // Вестник Томского Государственного университета, серия "Математика. Кибернетика. Информатика", 6. - Томск: ТГУ, 2003. - С. 49-52.
  79. Паршина Н.А. Полимиально выполнимые КНФ: некоторые оценки // Вестник ТГУ.Приложение. Материалы V Всесоюзной конференции с международным участием ICAM' 04.9(1). Томск. ТГУ. 2004. - С. 28-31.
  80. Под редакцией: Майер Г.В., Агибалов Г.П., Быкова С.В., Горцев А.М., Дмитриев Ю.Г., Евтушенко Н.В. Вестник Томского государственного университета. Серия "Математика.Киберненика.Информатика, 6. // Томск: ТГУ, 2003. - 288 c.