EnglishИцыксон Владимир Михайлович
Родился в 1973 году. В 1990 году поступил на кафедру АиВТ. В 1996 году защитил диплом
с отличием по специальности "Вычислительные машины, комплексы, системы, сети". После обучения
в аспирантуре защитил кандидатскую диссертацию на тему: "Исследование и проектирование моделей
и программных средств эмуляции вычислительных систем" (2000 г.). С 2000 г. - доцент кафедры автоматики
и вычислительной техники СПбГПУ, теперь - кафедры компьютерных систем и программных технологий.
С 1997 года руководит учебной лабораторией сетевых технологий и компьютерного моделирования. Принимал активное участие в создании кафедральной компьютерной сети и факультетской сетевой инфраструктуры.
С 2000 года руководит организованной с группой коллег на кафедре лабораторией программно-аппаратных разработок Digitek Labs. Задача лаборатории - решение наукоёмких высокотехнологичных задач промышленности с привлечением научного потенциала кафедры.
В 2001 году возглавил созданный на факультете технической кибернетики Телекоммуникационный центр ФТК, в задачи которого входит сетевое и информационное обеспечение деятельности факультета. Сейчас в связи с реструктуризацией университета и института центр переименован в "Телекоммуникационный центр ИКНТ".
C 2013 выпускающий редактор англоязычного журнала "Университетский научный журнал. Физико-математические, технические и биологические науки".
С 2013 года сотрудник проектного офиса программы повышения конкурентоспособности СПбГПУ среди ведущих мировых научно-образовательных центров (Программа 5-100-2010).
C 2014 года заместитель главного редактора журнала "Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление".
С 2015 года - заведующий кафедрой КСПТ.
Области научных интересов:
- Методы и средства эмуляции вычислительных систем
- Компьютерные сети
- Защита информации в автоматизированных системах и компьютерных сетях
- Технологии разработки программного обеспечения
- Программная инженерия
- Методы обнаружения дефектов в исходном коде программного обеспечения
- Методы автоматизации тестирования программного обеспечения
- Реинжиниринг и реверс-инжиниринг ПО
Читает курсы:
- Сети ЭВМ и телекоммуникации
- Технологии компьютерных сетей
- Основы программной инженерии
- Технологии разработки программного обеспечения
- Параллельные вычисления
- Верификация и анализ программ
Информация для студентов. (2012-2019)
Текущие конференции:
| Конференция | Роль | Лого |
|---|---|---|
| Инструменты и методы анализа программ (TMPA-2017) | Сопредседатель ПК |  |
| Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2017) | Член ПК |  |
| Software Engineering Conference Russia 2017 (CEE-SECR 2017) | Член ПК |  |
| Software Engineering & Information Management 2017 (SEIM-2017) | Член ПК |  |
Полный список конференций и школ
Публикации
| Профиль РИНЦ | Профиль Scopus | Профиль в академии Google |
|---|---|---|
 |
 |
Автор более 120 публикаций, в числе которых 3 учебных пособия, 2 методических указания, 50 научных журнальных и конференционных статей. Основные:
2018 год
| № | Журнал | Публикация | БД |
|---|---|---|---|
| 5 |  |
Aleksyuk, A.O., Itsykson, V.M.Semantics-Driven Migration of Java Programs: A Practical Application / Automatic Control and Computer Sciences, December 2018, Volume 52, Issue 7, pp 581–588 (https://doi.org/10.3103/S0146411618070027) | Springer ВАК Scopus |
| 4 |  |
A. Zorin and V.Itsykson Recurrent Neural Network for Code Clone Detection. SEIM-2018, Санкт-Петербург, 2018 | |
| 3 | |
М. Гусев, В. Ицыксон Автоматизация проверки корректности использования программных библиотек. SEIM-2018, Санкт-Петербург, 2018 | |
| 2 |  |
Ицыксон В.М.. LibSL — язык спецификации компонентов программного обеспечения // Программная инженерия. 2018. № 5. С. 209-220. doi:10.17587/prin.9.209-220 | ВАК, РИНЦ |
| 1 |  |
Егорова И.С., Ицыксон В.М.. Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов // Информационно-управляющие системы. 2018. № 2. С. 67–75. doi:10.15217/issn1684-8853.2018.2.67 | ВАК, РИНЦ, Scopus |
2017 год
2016 год
| № | Журнал | Публикация | БД |
|---|---|---|---|
| 4 |  |
Ицыксон В.М. Формализм и языковые инструменты для описания семантики программных библиотек. Моделирование и анализ информационных систем. 2016;23(6):754-766. DOI:10.18255/1818-1015-2016-6-754-766 | ВАК, РИНЦ |
| 3 |  |
V. Itsykson. The formalism for semantics specification of software libraries / System Informatics, 2016, Volume 8, Issue 7, pp 43-52 | |
| 2 | |
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 | |
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 год
2014 год
| № | Журнал | Публикация | БД |
|---|---|---|---|
| 9 | |
Ахин М.Х., Колтон С.Л., Ицыксон В.М.Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей. Моделирование и анализ информационных систем. 2014. Т. 21. № 6. С. 7-17. | РИНЦ ВАК |
| 8 | |
Петров М.А., Гагарский К.А., Беляев М.А., Ицыксон В.М. Использование метода ограниченной проверки моделей для генерации тестов. Моделирование и анализ информационных систем. 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 |  |
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 |  |
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 | |
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 | |
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 | |
Ахин М.Х., Беляев М.А., Ицыксон В.М.. Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций. Моделирование и анализ информационных систем. 2013. Т. 20. № 6. С. 22-35. | РИНЦ ВАК |
2013 год
| № | Журнал | Публикация | БД |
|---|---|---|---|
| 6 |  |
Ицыксон В.М., Баженов А.С. Прогнозирование характеристик программных проектов с помощью мета-моделирования. Девятая ежегодная конференция "Разработка ПО 2013" (SECR-2013) | ACM Scopus РИНЦ |
| 5 |  |
Андрианова А.А., Ицыксон В.М. Автоматизированный синтез тестов для Java-программ на основе анализа программ и учета контрактов. Материалы конференции "Инструменты и методы анализа программ (TMPA-2013)", Кострома, 2013. сс. 83-95. | РИНЦ IEEE ACM Scopus |
| 4 |  |
E. Zaychenko, V. Galuzin, V. Itsykson. Solving Puzzles: Making Use of SMT Solvers Easy. 1st Workshop "Fun With Formal Methods". St. Petersburg-2013. | |
| 3 | |
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 | |
Ахин М.Х., Ицыксон В.М. Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения. Моделирование и анализ информационных систем. 2012. Т. 19. № 6. С. 69-78. | РИНЦ ВАК |
| 1 | |
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 |  |
Ицыксон В.М., Зозуля А.В. Автоматизированная трансформация программ при миграции на новые библиотеки. Программная инженерия. 2012. № 6. С. 8-14. | РИНЦ ВАК |
| 5 |  |
Баженов А.С., Ицыксон В.М. Применение принципов прогнозирования в задачах проектирования программного обеспечения. Доклады Томского государственного университета систем управления и радиоэлектроники. 2012. № 1-1. С. 76-86. | РИНЦ ВАК |
| 4 | |
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 | |
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 |  |
Ицыксон В.М. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций. Информационно-управляющие системы. №2, 2012. - СПб:РИЦ ГУАП, сс. 31-38 | РИНЦ ВАК |
| 1 | |
Глухих М.И., Ицыксон В.М., Цесько В.А. Использование зависимостей для повышения точности статического анализа программ. Моделирование и анализ информационных систем. №4, 2011. Т. 18. - Ярославль: Изд-во Яросл. ун-та. сс. 68-79. | РИНЦ ВАК |
2011 год
2010 год
2009 год
2008 год
| № | Журнал | Публикация | БД |
|---|---|---|---|
| 3 |  |
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В. Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 119-127. СПб: СПбГПУ | РИНЦ |
| 2 | |
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В. Автоматическое обнаружение дефектов программных систем на основе метода проверки модели. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №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
