Вельдер Сергей Эдуардович

Должность: ассистент

Кафедра: кафедра программной инженерии и верификации программ (базовая)

Стаж: 3 года

Условие работы: Основное место работы

Трудовой договор: с 09/01/2012 по 06/30/2013

Образование:

  • Диплом о высшем образовании (первое высшее); Специальность: Прикладная математика и информатика; Квалификация: магистр прикл. математики и информатики;

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

  1. Kogtenkov A., Meyer B., Velder S. Alias calculus, change calculus and frame inference. Science of Computer Programming. 2015. Vol. 97. No. 1. pp. 163-172. [Тип: Статья, Год: 2015]
  2. Furia C.A., Meyer B.E., Velder S. Loop invariants: Analysis, classification, and examples. ACM Computing Surveys. 2014. Vol. 46. No. 3. pp. a34. [Тип: Статья, Год: 2014]
  3. Верификация автоматных программ [Тип: Монография, Год: 2011]
  4. Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2009. № 6(64). С. 66-77. [Тип: Статья, Год: 2009]
  5. Вельдер С.Э. Методы верификации моделей автоматных программ. Научно-технический вестник СПбГУ ИТМО. 2008. № 53. С. 123-137          . [Тип: Статья, Год: 2008]
  6. Вельдер С.Э. Введение в верификацию автоматных программ на основе метода MODEL CHECKING. Научно-технический вестник СПбГУ ИТМО. 2007. № 42. С. 33-49. [Тип: Статья, Год: 2007]