Vladimir Itsykson

Vladimir Itsykson


Research Groups

Biography

Vladimir Itsykson graduated from Saint Petersburg State Technical University in 1996. Since 1996 he continued education in University as a post graduate student. In 2000 he successfully defended his PhD thesis "Research and design of models and software for computer systems simulation".

Home page: http://kspt.icc.spbstu.ru/info/staff/itsykson/en

Research Area

  • Software development technologies
  • Software engineering
  • Software defect detection methods
  • Software testing automation
  • Software revers-engineering and reengineering

Teaching

Publications

Automated Cross-Language Integration Based on Formal Model of Components

August 2020

Artyom Aleksyuk, Vladimir Itsykson

Lecture Notes in Computer Science book series, volume 12271

Read more

Semantics-Driven Migration of Java Programs: A Practical Application

December 2018

Aleksyuk, A.O., Itsykson, V.M.

Automatic Control and Computer Sciences, Volume 52, Issue 7, pp 581–588

Read more

Formalism and Language Tools for Specification of the Semantics of Software Libraries

December 2018

V. Itsykson.

Automatic Control and Computer Sciences, Volume 51, Issue 7, pp. 531-538

Read more

Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов

2018

Егорова И.С., Ицыксон В.М.

Информационно-управляющие системы. № 2. С. 67–75.

Read more

LibSL — язык спецификации компонентов программного обеспечения

2018

Ицыксон В.М.

Программная инженерия, № 5. С. 209-220

Read more

Автоматизация проверки корректности использования программных библиотек

2018

М. Гусев, В. Ицыксон

SEIM-2018

Read more

Recurrent Neural Network for Code Clone Detection

2018

A. Zorin and V.Itsykson

SEIM-2018

Read more

Borealis Bounded Model Checker: The Coming of Age Story

September 2017

Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

Present and Ulterior Software Engineering (pp. 119--137)

Read more

Разработка аспектно-ориентированного расширения для языка Kotlin

2017

Борис Скрипаль, Владимир Ицыксон

Конференция по программной инженерии и организации информации​ (SEIM)

Read more

Message from the editors

2017

G. Chernishev, M. Akhin, B. Novikov, and V. Itsykson

CEUR Workshop Proceedings, 1864

Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов

2017

И.С. Егорова , В.М. Ицыксон.

Информационно-управляющие системы. 2017, №6, С. 66-75.

Read more

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

System Informatics, Volume 10, pp 67-76

Read more

Формализм и языковые инструменты для описания семантики программных библиотек

December 2016

Ицыксон В.М.

Моделирование и анализ информационных систем

Read more

The formalism for semantics specification of software libraries

2016

V. Itsykson

Системная информатика, № 8, 2016

Read more

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver

December 2015

M. Petrov, K. Gagarski, M. Belyaev, V. Itsykson

Automatic Control and Computer Sciences, Volume 49, Issue 7

Read more

Random Model Sampling: Making Craig Interpolation Work When It Should Not

December 2015

Marat Akhin, Sam Kolton, Vladimir Itsykson

Automatic Control and Computer Sciences, Volume 49, Issue 7

Read more

Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ

2015

М.А. Беляев, В.М. Ицыксон

Моделирование и анализ информационных систем

Read more

Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification

2015

M. Belyaev, V. Itsykson

Innopolis

Read more

Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде

2015

А. Алексюк, В. Ицыксон

Материалы конференции "Инструменты и методы анализа программ (TMPA-2015)"

Read more

Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions

December 2014

M. Akhin, M. Belyaev, V. Itsykson

Automatic Control and Computer Sciences, Volume 48, Issue 7

Read more

Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics

2014

A. Andrianova and V. Itsykson

Systems and Means of Informatics. Volume 24, Issue 2

Read more

Visualization of parallel program execution for software behavior analysis and defect detection.

2014

A.Polovtcev, V. Itsykson, T. Krikun, T. Vert, A. Zozulya

Tenth annual conference "Software Engineering Conference (Russia)"

Read more

Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration

2014

М. Belyaev, М. Akhin, V. Itsykson

Humanities and Science University Journal, #8

Read more

Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step

December 2013

M. Akhin, V. Itsykson

Automatic Control and Computer Sciences, Volume 47, Issue 7

Read more

Solving Puzzles: Making Use of SMT Solvers Easy

2013

E. Zaychenko, V. Galuzin, V. Itsykson.

1st Workshop "Fun With Formal Methods"

Прогнозирование характеристик программных проектов с помощью мета-моделирования.

2013

Ицыксон В.М., Баженов А.С.

Девятая ежегодная конференция "Разработка ПО"

Read more

Using Dependencies to Improve Precision of Code Analysis

December 2012

M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko

Automatic Control and Computer Sciences, Volume 46, Issue 7

Read more

Автоматизированная трансформация программ при миграции на новые библиотеки

2012

Ицыксон В.М., Зозуля А.В.

Программная инженерия, #6

Read more

Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.

2012

Ицыксон В.М.

Информационно-управляющие системы. №2

Read more

Формализм для описания частичных спецификаций компонентов программного окружения

2011

Ицыксон В.М., Зозуля А.В.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №4

Read more

Обнаружение клонов исходного кода: теория и практика

2011

Ахин М.Х., Ицыксон В.М.

Системное программирование. Выпуск 5

Read more

Программная инженерия. Обеспечение качества программных средств методами статического анализа.

2011

Глухих М.И., Ицыксон В.М.

Учебное пособие. СПб: Изд-во Политехн. ун-та

Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа

2010

Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.

Технологии Microsoft в теории и практике программирования: материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада

Source code modification technology based on parameterized code patterns

2010

Itsykson V., Timofeev D.

Software Engineering Conference in Russia (CEE-SECR)

Read more

Язык спецификаций поведения программных компонентов.

2010

Ицыксон В.М., Глухих М.И.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3

Read more

Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ

2009

Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.

Системное программирование. Выпуск 4

Read more

Исследование средств построения моделей исходного кода программ на языках C и C++.

2009

Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №1

Read more

A Regression Test Selection Technique Based on Incremental Dynamic Analysis

2009

M. Akhin, V. Itsykson

Software Engineering Conference in Russia (CEE-SECR)

Read more

Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ

2009

Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.

Информационно-управляющие системы. №2

Read more

Automatic Defect Detection in Industrial C/C++ Software

2009

Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.

Software Engineering Conference in Russia (CEE-SECR)

Read more

Автоматическое обнаружение дефектов программных систем на основе метода проверки модели

2008

Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5

Read more

Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения

2008

Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5

Read more