Вы здесь

Бодин Е. В.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Подходы к верификации спецификаций на языке REAL 1995 Бодин Е. В. Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 15.12.1996
СТ Анимация выполнимых спецификаций языка REAL 1998 Бодин Е. В. ИНПРИМ-98 26.06.1998
СТ Спецификация и верификация распределенных систем средствами языка Elementary_REAL 1999 Непомнящий В. А., Шилов Н. В., Бодин Е. В. Программирование 29.10.1999
СТ REAL: язык для спецификации и верификации систем реального времени 2000 Непомнящий В. А., Шилов Н. В., Бодин Е. В. Системная информатика 05.04.2001
СТ О программных логиках - просто 2002 Ии К., Шилов Н. В., Бодин Е. В. Системная информатика 22.03.2003
П По какому предмету олимпиада? 2005 Бодин Е. В., Городняя Л. В., Шилов Н. В. ИСИ СО РАН 30.11.2005
П Проект верифицируюoего компилятора F@BOOL@. Часть 1: Об ее описание проекта F@BOOL@, его место в компонентном подходе к программированию. Язык Mini-Nil - прототип языка виртуальной машины проекта 2005 Бодин Е. В., Калинина Н. А., Шилов Н. В. ИСИ СО РАН 30.03.2006
П Симуляция и верификация статических SDL-спецификаций распределенных систем с помо ью промежуточного языка REAL 2007 Непомнящий В. А., Бодин Е. В., Веретнов С. О., Тюрюшкин М. В. ИСИ СО РАН 29.04.2007
П Проект верифицируюoего компилятора F@BOOL@: Часть II: Логические аннотации в языке MINI-NIL, их статическая семантика и семантика времени исполнения 2006 Бодин Е. В., Калинина Н. А., Шилов Н. В. ИСИ СО РАН 29.04.2007
П Язык спецификаций распределенных систем Dynamic-Real 2007 Непомнящий В. А., Бодин Е. В., Веретнов С. О. ИСИ СО РАН 14.04.2008
СТ О генерации условий корректности для императивных программ 2008 Шилов Н. В., Ануреев И. С., Бодин Е. В. Программирование 26.01.2009
П Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL 2010 Непомнящий В. А., Бодин Е. В., Веретнов С. О. ИСИ СО РАН 12.08.2010
П Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL 2012 Непомнящий В. А., Бодин Е. В., Веретнов С. О. ИСИ СО РАН 03.04.2012
СТ Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем 2014 Непомнящий В. А., Бодин Е. В., Веретнов С. О. Программирование 01.12.2014
СТ Верификация алгоритмов мультиагентного анализа данных с помо ью системы проверки моделей SPIN 2014 Гаранина Н. О., Бодин Е. В., Сидорова Е. А. Моделирование и анализ информационных систем 23.05.2015