|
СТ |
Подходы к верификации спецификаций на языке 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 |
|
П |
Проект верифицируюoего компилятора F@BOOL@. Часть 1: Об ее описание проекта F@BOOL@, его место в компонентном подходе к программированию. Язык Mini-Nil - прототип языка виртуальной машины проекта |
2005 |
Бодин Е. В., Калинина Н. А., Шилов Н. В. |
|
|
ИСИ СО РАН |
|
30.03.2006 |
|
П |
По какому предмету олимпиада? |
2005 |
Бодин Е. В., Городняя Л. В., Шилов Н. В. |
|
|
ИСИ СО РАН |
|
30.11.2005 |
|
П |
Проект верифицируюoего компилятора F@BOOL@: Часть II: Логические аннотации в языке MINI-NIL, их статическая семантика и семантика времени исполнения |
2006 |
Бодин Е. В., Калинина Н. А., Шилов Н. В. |
|
|
ИСИ СО РАН |
|
29.04.2007 |
|
П |
Язык спецификаций распределенных систем Dynamic-Real |
2007 |
Непомнящий В. А., Бодин Е. В., Веретнов С. О. |
|
|
ИСИ СО РАН |
|
14.04.2008 |
|
П |
Симуляция и верификация статических SDL-спецификаций распределенных систем с помо ью промежуточного языка REAL |
2007 |
Непомнящий В. А., Бодин Е. В., Веретнов С. О., Тюрюшкин М. В. |
|
|
ИСИ СО РАН |
|
29.04.2007 |
|
СТ |
О генерации условий корректности для императивных программ |
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 |
