Лукин Михаил Андреевич

Лукин Михаил Андреевич

Должность: доцент (квалификационная категория "доцент практики")

Подразделение: факультет информационных технологий и программирования

Уч. степень: кандидат технических наук

Повышение квалификации:

1. Повышение квалификации 2014 Израиль Хайфа

Список трудов:

  1. Lukin M., Buzdalov M., Shalyto A. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. Vol. 8855. pp. 165-170. [Тип: Статья, Год: 2014]
  2. Лукин М.А., Шалыто А.А. Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы. 2013. № 5(66). С. 43-50. [Тип: Статья, Год: 2013]
  3. Верификация автоматных программ [Тип: Монография, Год: 2011]
  4. Лукин М.А. Верификация автоматных программ с использованием верификатора SPIN. Научно-технический вестник СПбГУ ИТМО. 2008. № 53. С. 145-162. [Тип: Статья, Год: 2008]