Шелехов Владимир Иванович

Россия, Новосибирск

Степень

Область научных интересов

Место работы и должность

Институт систем информатики им. А.П. Ершова СО РАН — заведующий лабораторией

Новосибирский государственный университет — преподаватель

Адрес электронной почты

Список статей в журнале СИ:

Шелехов В.И. Списки и строки в предикатном программировании // Системная информатика. — 2014. — № 3. — С. 25-43

Шелехов В.И. Разработка автоматных программ на базе определения требований // Системная информатика. — 2014. — № 4. — С. 1-29

Тумуров Э.Г., Шелехов В.И. Требования к системе управления квадрокоптером // Системная информатика. — 2015. — № 5. — С. 39-54

Шелехов В.И. Предикатная программа вставки в АВЛ-дерево // Системная информатика. — 2017. — № 9. — С. 23-42

Каблуков И.В., Шелехов В.И. Реализация оптимизирующих трансформаций в системе предикатного программирования // Системная информатика. — 2017. — № 11. — С. 21-48

Шелехов В.И. Дедуктивная верификация и оптимизация предикатной программы конкатенации строк // Системная информатика. — 2018. — № 12. — С. 61-84

Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // Системная информатика. — 2019. — № 15. — С. 45-64

Шелехов В.И. Верификация программы преобразования строки в целое число // Системная информатика. — 2020. — № 17. — С. 43-90

Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // Системная информатика. — 2021. — № 18. — С. 1-34

Шелехов В.И. Сравнение технологий автоматного программирования и Event-B // Системная информатика. — 2021. — № 18. — С. 53-84