Follow
Vladimir Itsykson
Vladimir Itsykson
Univerity ITMO
Verified email at itmo.ru
Title
Cited by
Cited by
Year
Present and ulterior software engineering
M Mazzara, B Meyer
Springer, 2017
222017
Clone detection: Why, what and how?
M Akhin, V Itsykson
2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010
212010
Software defect detection by combining bounded model checking and approximations of functions
MK Akhin, MA Belyaev, VM Itsykson
Automatic Control and Computer Sciences 48, 389-397, 2014
112014
Automated program transformation for migration to new libraries
V Itsykson, A Zozulya
2011 7th Central and Eastern European Software Engineering Conference (CEE …, 2011
102011
Using dependencies to improve precision of code analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Automatic Control and Computer Sciences 46, 338-344, 2012
92012
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
92009
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
82017
Yet another defect detection: Combining bounded model checking and code contracts
M Akhin, M Belyaev, V Itsykson
PSSV 13, 1-11, 2013
82013
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 informa-tsionnykh sistem–Modeling and Analysis of …, 2011
82011
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
72011
A program component behavior specification language
I Glukhikh Mikhail, VM Itsykson
Computing, Telecommunication and Control 14 (3), 63-70, 2010
72010
Formalism and language tools for specification of the semantics of software libraries
VM Itsykson
Automatic Control and Computer Sciences 51, 531-538, 2017
62017
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
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
62011
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
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
52009
Semantics-driven migration of Java programs: a practical application
AO Aleksyuk, VM Itsykson
Automatic Control and Computer Sciences 52, 581-588, 2018
42018
The Formalism and Language Tools for Semantics Specification of Software Libraries
VM Itsykson
Modeling and Analysis of Information Systems 23 (6), 754-766, 2016
42016
Формализм и языковые инструменты для описания семантики программных библиотек
ВМ Ицыксон
Моделирование и анализ информационных систем 23 (6), 754-766, 2016
42016
Visualization of parallel program execution for software behavior analysis and defect detection
A Polovtcev, A Zozulya, T Vert, T Krikun, V Itsykson
Proceedings of the 10th Central and Eastern European Software Engineering …, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20