EnglishEnglish

Ицыксон Владимир Михайлович

Фото Родился в 1973 году. В 1990 году поступил на кафедру АиВТ. В 1996 году защитил диплом с отличием по специальности "Вычислительные машины, комплексы, системы, сети". После обучения в аспирантуре защитил кандидатскую диссертацию на тему: "Исследование и проектирование моделей и программных средств эмуляции вычислительных систем" (2000 г.). С 2000 г. - доцент кафедры автоматики и вычислительной техники СПбГПУ, теперь - кафедры компьютерных систем и программных технологий.

С 1997 года руководит учебной лабораторией сетевых технологий и компьютерного моделирования. Принимал активное участие в создании кафедральной компьютерной сети и факультетской сетевой инфраструктуры.

С 2000 года руководит организованной с группой коллег на кафедре лабораторией программно-аппаратных разработок Digitek Labs. Задача лаборатории - решение наукоёмких высокотехнологичных задач промышленности с привлечением научного потенциала кафедры.

В 2001 году возглавил созданный на факультете технической кибернетики Телекоммуникационный центр ФТК, в задачи которого входит сетевое и информационное обеспечение деятельности факультета. Сейчас в связи с реструктуризацией университета и института центр переименован в "Телекоммуникационный центр ИКНТ".

C 2013 выпускающий редактор англоязычного журнала "Университетский научный журнал. Физико-математические, технические и биологические науки".

С 2013 года сотрудник проектного офиса программы повышения конкурентоспособности СПбГПУ среди ведущих мировых научно-образовательных центров (Программа 5-100-2010).

C 2014 года заместитель главного редактора журнала "Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление".

С 2015 года исполняет обязанности заведующего кафедрой КСПТ.

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

  • Методы и средства эмуляции вычислительных систем
  • Компьютерные сети
  • Защита информации в автоматизированных системах и компьютерных сетях
  • Технологии разработки программного обеспечения
  • Программная инженерия
  • Методы обнаружения дефектов в исходном коде программного обеспечения
  • Методы автоматизации тестирования программного обеспечения
  • Реинжиниринг и реверс-инжиниринг ПО

Читает курсы:

Информация для студентов. (2012-2016)

Текущие конференции:

Конференция Роль Лого
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016) Член ПК PSSV-2016
Software Engineering Conference Russia 2016 (CEE-SECR 2016) Член ПК SECR2016
Software Engineering & Information Management 2016 (SEIM-2016) Сопредседатель ПК SEIM-2016
The Second International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2016 ) Член ПК FASSI-2015 banner
2nd International Conference on Applications in Information Technology (ICAIT-2016) Член ПК ICAIT-2016 banner

Полный список конференций и школ

Публикации

Профиль РИНЦ Профиль Scopus Профиль в академии Google
SCOPUS Google Academy

Автор более 120 публикаций, в числе которых 3 учебных пособия, 2 методических указания, 50 научных журнальных и конференционных статей. Основные:

2016 год

Журнал Публикация БД
2 ACCS M.Petrov, K. Gagarski, M. Belyaev, V. Itsykson. Using a bounded model checker for test generation: How to kill two birds with one SMT solver / Automatic Control and Computer Sciences, December 2015, Volume 49, Issue 7, pp 466-472 Springer Scopus ВАК
1 ACCS M. Akhin, S. Kolton, V. Itsykson. Random model sampling: Making craig interpolation work when it should not / Automatic Control and Computer Sciences, December 2015, Volume 49, Issue 7, pp 413-419 Springer Scopus ВАК

2015 год

Журнал Публикация БД
5 MAIS Беляев М.А., Ицыксон В.М. Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ. Моделирование и анализ информационных систем. 2015; 22(6)cc. 763-772. DOI:10.18255/1818-1015-2015-6-763-772 РИНЦ ВАК
4 TMPA-2015 А. Алексюк, В. Ицыксон Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде. Материалы конференции "Инструменты и методы анализа программ (TMPA-2015)", Санкт-Петербург, 2015. сс. 38-47.
3 SECR-2015 И. Егорова, В. Ицыксон Применение патернов проектирования в качестве отдельного вида архитектурных компонентов. 11th annual conference "Software Engineering Conference (Russia)-2015" (SECR-2015) ACM
2 PSSV M. Belyaev, V. Itsykson. Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification". Innopolis-2015.
1 ACCS M.Kh. Akhin, M.A. Belyaev, V.M. Itsykson. Software defect detection by combining bounded model checking and approximations of functions / Automatic Control and Computer Sciences, December 2014, Volume 48, Issue 7, pp 389-397 Springer ВАК Scopus

2014 год

Журнал Публикация БД
9 MAIS Ахин М.Х., Колтон С.Л., Ицыксон В.М.Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей. Моделирование и анализ информационных систем. 2014. Т. 21. № 6. С. 7-17. РИНЦ ВАК
8 MAIS Петров М.А., Гагарский К.А., Беляев М.А., Ицыксон В.М. Использование метода ограниченной проверки моделей для генерации тестов. Моделирование и анализ информационных систем. 2014. Т. 21. № 6. С. 83-93. РИНЦ ВАК
7 УНЖ М. Belyaev, М. Akhin, V. Itsykson. Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration // Humanities and Science University Journal. #8, 2014 pp. 154-168. РИНЦ ВАК
6 SECR-2014 A.Polovtcev, V. Itsykson, T. Krikun, T. Vert, A. Zozulya Visualization of parallel program execution for software behavior analysis and defect detection. Tenth annual conference "Software Engineering Conference (Russia)-2014" (SECR-2014) ACM
5 A. Andrianova and V. Itsykson Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics. Volume 24, Issue 2, 2014. pp 99-113 РИНЦ ВАК
4 PSSV M. Belyaev, K.Gagarski, M. Petrov, V. Itsykson. Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver. Proceedings of 5th Workshop "Program Semantics, Specification and Verification". Moscow-2014. pp. 17-25.
3 PSSV M. Akhin, S.Kolton, V. Itsykson. Random Model Sampling: Making Craig Interpolation Work When It Should Not. Proceedings of 5th Workshop "Program Semantics, Specification and Verification". Moscow-2014. pp. 1-8.
2 ACCS M. Akhin, V. M. Itsykson Tree slicing: Finding intertwined and gapped clones in one simple step / Automatic Control and Computer Sciences, December 2013, Volume 47, Issue 7, pp 427-432 Springer Scopus РИНЦ ВАК
1 MAIS Ахин М.Х., Беляев М.А., Ицыксон В.М.. Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций. Моделирование и анализ информационных систем. 2013. Т. 20. № 6. С. 22-35. РИНЦ ВАК

2013 год

Журнал Публикация БД
6 SECR-2013 Ицыксон В.М., Баженов А.С. Прогнозирование характеристик программных проектов с помощью мета-моделирования. Девятая ежегодная конференция "Разработка ПО 2013" (SECR-2013) ACM Scopus РИНЦ
5 TMPA-2013 Андрианова А.А., Ицыксон В.М. Автоматизированный синтез тестов для Java-программ на основе анализа программ и учета контрактов. Материалы конференции "Инструменты и методы анализа программ (TMPA-2013)", Кострома, 2013. сс. 83-95. РИНЦ IEEE ACM Scopus
4 FWFM-2013 E. Zaychenko, V. Galuzin, V. Itsykson. Solving Puzzles: Making Use of SMT Solvers Easy. 1st Workshop "Fun With Formal Methods". St. Petersburg-2013.
3 PSSV M. Akhin, M.Belyaev, V. Itsykson. Yet Another Defect Detection: Combining Bounded Model Checking and Code Contracts. Proceedings of 4th Workshop "Program Semantics, Specification and Verification". Ekaterinburg-2013. pp. 1-11.
2 MAIS Ахин М.Х., Ицыксон В.М. Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения. Моделирование и анализ информационных систем. 2012. Т. 19. № 6. С. 69-78. РИНЦ ВАК
1 ACCS M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko. Using dependencies to improve precision of code analysis / Automatic Control and Computer Sciences, December 2012, Volume 46, Issue 7, pp 338-344 Springer Scopus РИНЦ ВАК

2012 год

Журнал Публикация БД
6 SE Ицыксон В.М., Зозуля А.В. Автоматизированная трансформация программ при миграции на новые библиотеки. Программная инженерия. 2012. № 6. С. 8-14. РИНЦ ВАК
5 TUSUR Баженов А.С., Ицыксон В.М. Применение принципов прогнозирования в задачах проектирования программного обеспечения. Доклады Томского государственного университета систем управления и радиоэлектроники. 2012. № 1-1. С. 76-86. РИНЦ ВАК
4 PSSV M. Akhin, V. Itsykson. Tree slicing in clone detection: syntactic analysis made semi-semantic. Proceedings of 3nd Workshop "Program Semantics, Specification and Verification". N.Novgorod-2012. pp. 1-8.
3 PSSV A.Zakharov, V.Itsykson. Static approach to detection of data loss errors. Proceedings of 3nd Workshop "Program Semantics, Specification and Verification". N.Novgorod-2012. pp. 72-80.
2 IUS Ицыксон В.М. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций. Информационно-управляющие системы. №2, 2012. - СПб:РИЦ ГУАП, сс. 31-38 РИНЦ ВАК
1 MAIS Глухих М.И., Ицыксон В.М., Цесько В.А. Использование зависимостей для повышения точности статического анализа программ. Моделирование и анализ информационных систем. №4, 2011. Т. 18. - Ярославль: Изд-во Яросл. ун-та. сс. 68-79. РИНЦ ВАК

2011 год

Журнал Публикация БД
6 SECR2011 Itsykson V., Zozulya A. Automated program transformation for migration to new libraries / Software Engineering Conference in Russia (CEE-SECR), 2011 7th Central and Eastern European (Ицыксон В.М., Зозуля А.В. Автоматизированная трансформация программ при миграции на новые библиотеки. Седьмая ежегодная конференция "Разработка ПО 2011" (SECR-2011)) IEEE Scopus
5 NTV Ицыксон В.М., Зозуля А.В. Формализм для описания частичных спецификаций компонентов программного окружения. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №4, 2011. - СПб: Изд-во Политехн. ун-та. - 2011. - сс. 81-90. РИНЦ ВАК
4 SySProg Ахин М.Х., Ицыксон В.М. Обнаружение клонов исходного кода: теория и практика. Системное программирование. Вып.5 . Сборник статей. Под ред. А.Н. Терехова, Д.Ю. Булычева. - СПб: Изд-во С. Петерб. ун-та. - 2010. - сс. 145-164. РИНЦ
3 PSSV M. Glukhikh, V. Itsykson, V. Tsesko. Using Dependencies to Improve Precision of Program Analysis. Proceedings of 2nd Workshop "Program Semantics, Specification and Verification". St.Petersburg-2011. pp. 51-58.
2 PSSV V. Itsykson, A. Zozulya, M. Glukhikh. Automated Program Reengineering When Porting Software to a New Environment Described by Partial Specifications . Proceedings of 2nd Workshop "Program Semantics, Specification and Verification". St.Petersburg-2011. pp. 111-119.
1 Фото Глухих М.И., Ицыксон В.М. Программная инженерия. Обеспечение качества программных средств методами статического анализа. Учебное пособие. СПб: Изд-во Политехн. ун-та. 2011, 150 с.

2010 год

Журнал Публикация БД
6 SECR2010 Itsykson V., Timofeev D. Source code modification technology based on parameterized code patterns / Software Engineering Conference in Russia (CEE-SECR), 2010 6th Central and Eastern European (Ицыксон В.М., Тимофеев Д.А. Технология модификации программного кода, основанная на параметризуемых шаблонах. Шестая ежегодная конференция "Разработка ПО 2010" (SECR-2010) ) IEEE Scopus
5 SECR2010 Akhin M., Itsykson V. Clone detection: Why, what and how? / Software Engineering Conference in Russia (CEE-SECR), 2010 6th Central and Eastern European (Ицыксон В.М., Ахин М.Х. Обнаружение клонов исходного кода: современное состояние дел. Шестая ежегодная конференция "Разработка ПО 2010" (SECR-2010) ) IEEE Scopus
4 NTV Ицыксон В.М., Тимофеев Д.А. Технология модификации программного кода, основанная на параметризируемых шаблонах. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3, 2010. сс. 99-107. СПб: СПбГПУ РИНЦ ВАК
3 NTV Ицыксон В.М., Глухих М.И. Язык спецификаций поведения программных компонентов. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3, 2010. сс. 63-71. СПб: СПбГПУ РИНЦ ВАК
2 Ицыксон В.М., Тимофеев Д.А. Технология модификации программного кода, основанная на параметризируемых шаблонах. Технологии Microsoft в теории и практике программирования: материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада. – СПб.: Изд-во Политехн. ун-та, 2010. – 194 с.
1 Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А. Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа. Технологии Microsoft в теории и практике программирования: материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада. – СПб.: Изд-во Политехн. ун-та, 2010. – 194 с.

2009 год

Журнал Публикация БД
6 NTV Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С. Исследование средств построения моделей исходного кода программ на языках C и C++. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №1 (72), 2009. сс. 122-130. СПб: СПбГПУ РИНЦ
5 IUS Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы. №2 (39), 2009. СПб:РИЦ ГУАП, сс. 34-41. РИНЦ
4 SySProg Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А. Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ. Системное программирование. Вып.4 . Сборник статей. Под ред. А.Н. Терехова, Д.Ю. Булычева. - СПб: Изд-во С. Петерб. ун-та. - 2009. - сс. 5-30. РИНЦ
3 SECR2009 Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A. Automatic defects detection in industrial C/C++ software / Software Engineering Conference in Russia (CEE-SECR), 2009 5th Central and Eastern European (Ицыксон В.М., Моисеев М.Ю., Цесько В.А.,Захаров А.В. Автоматическое обнаружение дефектов в промышленных программных системах на языках С/С++. Пятая ежегодная конференция "Разработка ПО 2009" (SECR-2009) ) IEEE Scopus
2 SECR2009 Akhin, M. Itsykson, V. A regression test selection technique based on incremental dynamic analysis/ Software Engineering Conference in Russia (CEE-SECR), 2009 5th Central and Eastern European.(Ицыксон В.М., Ахин М.Х. Технология выборочного регрессионного тестирования на основе инкрементального динамического анализа. Пятая ежегодная конференция "Разработка ПО 2009" (CEE-SECR 2009) ) IEEE Scopus
1 Ицыксон В.М. Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения. Итоговая конференция по результатам выполнения мероприятий ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 годы» по приоритетному направлению «Информационные и телекоммуникационные системы» за 2009 год. Ханты-Мансийск: ОАО «Информационно-издательский центр»-2009

2008 год

Журнал Публикация БД
3 NTV Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В. Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 119-127. СПб: СПбГПУ РИНЦ
2 NTV Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В. Автоматическое обнаружение дефектов программных систем на основе метода проверки модели. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 127-134. СПб: СПбГПУ РИНЦ
1 Ицыксон В.М. Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения. Итоговая конференция по реализации мероприятий за 2008г. по приоритетному направлению «Информационно-телекоммуникационные системы» в рамках выполнения ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 годы». Ханты-Мансийск-2008

2006 год и ранее

  • Ицыксон В.М. Формальная модель интерфейсов информационных систем для автоматизации синтеза корректных пользовательских интерфейсов. Вычислительные, измерительные и управляющие системы. Сборник научных трудов. 2006
  • Ицыксон В.М. Технологии компьютерных сетей. Программирование сетевых приложений. Методические указание к лабораторным работам. СПб: СПбГПУ, 2006, 91с.
  • Стручков И.В., Ицыксон В.М. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени. Информационно-управляющие системы. № 2(26) 2006, СПб:РИЦ ГУАП. сс. 8-13.
  • Ицыксон В.М., Фролов Д.С. Автоматизированная генерация графических пользовательских интерфейсов на основе графовых моделей с обеспечение непротиворечивости с помощью технологии семантических инвариантов. Вычислительные, измерительные и управляющие системы. Сборник научных трудов. СПб: СПбГПУ. 2005
  • Ицыксон В.М. Технологии компьютерных сетей. Методические указания к лабораторным работам. СПбГПУ. 2005. 68с.
  • Ицыксон В.М. Обеспечение целостности программного обеспечения с помощью технологии безопасной модификации. Вычислительные, измерительные и управляющие системы. Сборник научных трудов аспирантов и молодых ученых ФТК. СПб: СПбГПУ. 2004. сс. 95-101
  • Ицыксон В.М. Архитектура встраиваемой операционной системы реального времени для многоканальных систем сигнальной обработки. Вычислительные, измерительные и управляющие системы. Сборник научных трудов аспирантов и молодых ученых ФТК. СПб: СПбГПУ. 2004. сс. 83-88.
  • Ицыксон В.М. Технология проектирования программного обеспечения, основанная на явном представлении семантических свойств программ. Вычислительные, измерительные и управляющие системы. Труды СПбГТУ № 486. сс. 54-59
  • Ицыксон В.М. Применение статических инвариантов для обеспечения целостности программ при их модификации. Труды СПбГТУ № 482. - СПб.: 2001.
  • Ицыксон В.М., Цыган В.Н. Организация вычислительного процесса для реализации параллельного взаимодействия компонентов в системах эмуляции микропроцессорных систем. Труды СПбГТУ № 479. - СПб.: 2000.
  • Птицына Л.К., Соколова Н.В., Хлудова М.В., Ицыксон В.М. Системное программное обеспечение. Технологии, инструментальные средства и среды глобальных сетей. Учебное пособие. - СПб.: СПбГТУ, 1998.
  • Ицыксон В.М. Эмуляция работы вычислительных систем с помощью специализированного языка описания устройств. Труды СПбГТУ № 469. - СПб.: 1997.

Интервью для электронного портала "Software-Testing.ru"

E-mail: vlad@icc.spbstu.ru