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

В базах данных Math-Net.Ru
Публикаций: 10
Научных статей: 9

Статистика просмотров:
Эта страница:354
Страницы публикаций:2040
Полные тексты:654
Списки литературы:222
доцент
кандидат технических наук
E-mail:

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

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

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

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