Vladimir Itsykson
Vladimir Itsykson
Peter the Great St.Petersburg Polytechnic University
Подтвержден адрес электронной почты в домене icc.spbstu.ru - Главная страница
Название
Процитировано
Процитировано
Год
Present and ulterior software engineering
M Mazzara, B Meyer
Springer International Publishing, 2017
282017
Clone detection: Why, what and how?
M Akhin, V Itsykson
2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010
192010
Software defect detection by combining bounded model checking and approximations of functions
MK Akhin, MA Belyaev, VM Itsykson
Automatic Control and Computer Sciences 48 (7), 389-397, 2014
92014
Yet another defect detection: Combining bounded model checking and code contracts
M Akhin, M Belyaev, V Itsykson
PSSV 13, 1-11, 2013
92013
The use of dependencies for improving the precision of program static analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Modeling and analysis of information systems 18 (4), 68-79, 2011
82011
Ispol'zovanie zavisimostei dlya povysheniya tochnosti staticheskogo analiza programm [The use of dependencies for Improving the precision of program static analysis]
MI Glukhikh, VM Itsykson, VA Tses' ko
Modelirovanie i analiz informatsionnykh sistem–Modeling and analisys of …, 2011
72011
Automatic defects detection in industrial C/C++ software
V Itsykson, M Moiseev, V Tsesko, A Zakharov
2009 5th Central and Eastern European Software Engineering Conference in …, 2009
72009
Random model sampling: Making craig interpolation work when it should not
M Akhin, S Kolton, V Itsykson
Automatic Control and Computer Sciences 49 (7), 413-419, 2015
62015
Using dependencies to improve precision of code analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Automatic Control and Computer Sciences 46 (7), 338-344, 2012
62012
Interval analysis algorithm for detecting defects in the software source code
VM Itsykson, MM Ju, VA Tsesko, AV Zakharov, MH Akhin
Informationcontrol systems 2, 34-41, 2009
62009
The formalism and language tools for semantics specification of software libraries
VM Itsykson
Modelirovanie i analiz informatsionnykh sistem 23 (6), 754-766, 2016
52016
Automated program transformation for migration to new libraries
V Itsykson, A Zozulya
2011 7th Central and Eastern European Software Engineering Conference (CEE …, 2011
52011
The formalism for description of the partial specifications of program envinroment components
VM Itsykson, V Zozulya Alexey
Computing, Telecommunication and Control 21 (4), 81-90, 2011
52011
Source code modification technology based on parameterized code patterns
V Itsykson, D Timofeyev
2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010
52010
A program component behavior specification language
VM Itsykson, I Glukhikh Mikhail
Computing, Telecommunication and Control 14 (3), 63-70, 2010
52010
Formalism and language tools for specification of the semantics of software libraries
VM Itsykson
Automatic Control and Computer Sciences 51 (7), 531-538, 2017
42017
Формализм и языковые инструменты для описания семантики программных библиотек
ВМ Ицыксон
Моделирование и анализ информационных систем 23 (6), 754-766, 2016
42016
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
32017
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
МХ Ахин, ВМ Ицыксон
Моделирование и анализ информационных систем 19 (6), 69-78, 2015
32015
A regression test selection technique based on incremental dynamic analysis
M Akhin, V Itsykson
2009 5th Central and Eastern European Software Engineering Conference in …, 2009
32009
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20