RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Ицыксон Владимир Михайлович

В базах данных Math-Net.Ru
Публикаций: 9
Научных статей: 8
Цитированных статей: 1
Ссылок в Math-Net.Ru: 1

Статистика просмотров:
Эта страница:199
Страницы публикаций:878
Полные тексты:287
Списки литературы:95
доцент
кандидат технических наук
E-mail:

http://www.mathnet.ru/rus/person72552
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. Формализм и языковые инструменты для описания семантики программных библиотек
В. М. Ицыксон
Модел. и анализ информ. систем, 23:6 (2016),  754–766
2. Fast and safe concrete code execution for reinforcing static analysis and verification
M. Belyaev, V. Itsykson
Модел. и анализ информ. систем, 22:6 (2015),  763–772
3. Использование метода ограниченной проверки моделей для генерации тестов
М. А. Петров, К. А. Гагарский, М. А. Беляев, В. М. Ицыксон
Модел. и анализ информ. систем, 21:6 (2014),  83–93
4. Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей
М. Х. Ахин, С. Л. Колтон, В. М. Ицыксон
Модел. и анализ информ. систем, 21:6 (2014),  7–17
5. Технология анализа исходного кода программного обеспечения и частичных спецификаций для автоматизированной генерации тестов
А. А. Андрианова, В. М. Ицыксон
Системы и средства информ., 24:2 (2014),  99–113
6. Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций
М. Х. Ахин, М. А. Беляев, В. М. Ицыксон
Модел. и анализ информ. систем, 20:6 (2013),  22–35
7. Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
М. Х. Ахин, В. М. Ицыксон
Модел. и анализ информ. систем, 19:6 (2012),  69–78
8. Использование зависимостей для повышения точности статического анализа программ
М. И. Глухих, В. М. Ицыксон, В. А. Цесько
Модел. и анализ информ. систем, 18:4 (2011),  68–79

9. В Политехническом университете прошла научная конференция по программной инженерии «Инструменты и методы анализа программ» (TMPA-2015)
В. М. Ицыксон
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236),  83

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017