Research group

Verification or Program Analysis Lab

Publications

Automated Cross-Language Integration Based on Formal Model of Components

August 2020

Artyom Aleksyuk, Vladimir Itsykson

Read more

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Read more

Semantics-Driven Migration of Java Programs: A Practical Application

December 2018

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

Read more

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

December 2018

V. Itsykson.

Read more

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

2018

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

Read more

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

2018

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

Read more

Recurrent Neural Network for Code Clone Detection

2018

A. Zorin and V.Itsykson

Read more

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

2018

Ицыксон В.М.

Read more

Borealis Bounded Model Checker: The Coming of Age Story

September 2017

Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

Read more

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

2017

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

Read more

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

2017

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

Read more

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

2017

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

Read more

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

2017

Azat Abdullin, Daniil Stepanov, Marat Akhin

Read more

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

Read more

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

December 2016

Ицыксон В.М.

Read more

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

September 2016

Azat Abdullin, Marat Akhin

Read more

The formalism for semantics specification of software libraries

2016

V. Itsykson

Read more

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

December 2015

Marat Akhin, Sam Kolton, Vladimir Itsykson

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

Read more

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

October 2015

Marat Akhin, Alexandr Suhinin

Read more

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

2015

M. Belyaev, V. Itsykson

Read more

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

2015

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

Read more

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

2015

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

Read more

Visualization of Execution Paths for Concurrent Programs

2015

Marat Akhin, Andrei Eleshevich

Read more

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

December 2014

M. Akhin, M. Belyaev, V. Itsykson

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

Read more

Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration

2014

М. Belyaev, М. Akhin, V. Itsykson

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

Read more

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

December 2013

M. Akhin, V. Itsykson

Read more

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

2013

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

Read more

Solving Puzzles: Making Use of SMT Solvers Easy

2013

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

Using Dependencies to Improve Precision of Code Analysis

December 2012

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

Read more

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

2012

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

Read more

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

2012

Ицыксон В.М.

Read more

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

2011

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

Read more

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

2011

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

Read more

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

2010

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

Read more

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

2010

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

Source code modification technology based on parameterized code patterns

2010

Itsykson V., Timofeev D.

Read more

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

2009

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

Read more

A Regression Test Selection Technique Based on Incremental Dynamic Analysis

2009

M. Akhin, V. Itsykson

Read more

Automatic Defect Detection in Industrial C/C++ Software

2009

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

Read more

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

2009

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

Read more

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

2009

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

Read more

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

2008

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

Read more

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

2008

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

Read more