Исследовательская группа

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

Публикации

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

Подробнее

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

ASE 2019

Подробнее

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

Подробнее

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

Подробнее

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

2018

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

SEIM-2018

Подробнее

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

2018

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

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

Подробнее

Recurrent Neural Network for Code Clone Detection

2018

A. Zorin and V.Itsykson

SEIM-2018

Подробнее

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

2018

Ицыксон В.М.

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

Подробнее

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)

Подробнее

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

2017

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

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

Подробнее

Семантически-ориентированная миграция Java-программ: опыт практического применения

2017

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

Моделирование и анализ информационных систем, 24(6):677-690

Подробнее

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

2017

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

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

Подробнее

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

2017

Azat Abdullin, Daniil Stepanov, Marat Akhin

TMPA 2017: Tools and Methods of Program Analysis (pp. 1--10)

Подробнее

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

System Informatics, Volume 10, pp 67-76

Подробнее

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

December 2016

Ицыксон В.М.

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

Подробнее

By the power of SMT! Mining Function Contracts to Better Bounded Model Checking

September 2016

Azat Abdullin, Marat Akhin

SoftwareMining 2016: Proceedings of the 5th International Workshop on Software Mining

Подробнее

The formalism for semantics specification of software libraries

2016

V. Itsykson

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

Подробнее

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

Подробнее

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

Подробнее

Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool

October 2015

Marat Akhin, Alexandr Suhinin

CEE-SECR '15: Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia

Подробнее

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

2015

M. Belyaev, V. Itsykson

Innopolis

Подробнее

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

2015

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

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

Подробнее

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

2015

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

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

Подробнее

Visualization of Execution Paths for Concurrent Programs

2015

Marat Akhin, Andrei Eleshevich

Proceedings of the International Workshop on Applications in Information Technology

Подробнее

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

Подробнее

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

Подробнее

Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration

2014

М. Belyaev, М. Akhin, V. Itsykson

Humanities and Science University Journal, #8

Подробнее

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)"

Подробнее

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

Подробнее

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

2013

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

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

Подробнее

Solving Puzzles: Making Use of SMT Solvers Easy

2013

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

1st Workshop "Fun With Formal Methods"

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

Подробнее

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

2012

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

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

Подробнее

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

2012

Ицыксон В.М.

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

Подробнее

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

2011

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

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

Подробнее

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

2011

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

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

Подробнее

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

2010

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

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

Подробнее

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

2010

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

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

Source code modification technology based on parameterized code patterns

2010

Itsykson V., Timofeev D.

Software Engineering Conference in Russia (CEE-SECR)

Подробнее

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

2009

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

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

Подробнее

A Regression Test Selection Technique Based on Incremental Dynamic Analysis

2009

M. Akhin, V. Itsykson

Software Engineering Conference in Russia (CEE-SECR)

Подробнее

Automatic Defect Detection in Industrial C/C++ Software

2009

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

Software Engineering Conference in Russia (CEE-SECR)

Подробнее

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

2009

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

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

Подробнее

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

2009

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

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

Подробнее

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

2008

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

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

Подробнее

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

2008

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

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

Подробнее