| Using dependencies to improve precision of code analysis MI Glukhikh, VM Itsykson, VA Tsesko Automatic Control and Computer Sciences 46, 338-344, 2012 | 10 | 2012 |
| 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 | 9 | 2009 |
| 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 | 8 | 2011 |
| LLVM-based static analysis tool using type and effect systems M Belyaev, V Tsesko Automatic Control and Computer Sciences 46, 324-330, 2012 | 6 | 2012 |
| 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 | 5 | 2009 |
| Streaming matching of events D Schitinin, V Tsesko Proceedings of the 12th Central and Eastern European Software Engineering …, 2016 | | 2016 |
| YoctoDB: A Partitioned Immutable Embedded Database V Tsesko, S Demidov Proceedings of the 12th Central and Eastern European Software Engineering …, 2016 | | 2016 |
| LLVM-based Static Analysis Tool Using Type and Effect Systems MA Belyaev, VA Tsesko Modeling and Analysis of Information Systems 18 (4), 45-55, 2011 | | 2011 |
| Points-to Analysis Algorithm for Source Code Defect Detection VT Vladimir Itsykson, Mikhail Moiseev, Marat Akhin, Alexey Zakharov System Programming 4, 5-30, 2009 | | 2009 |
| Interval Analysis Algorithm for Source Code Defect Detection MA Vladimir Itsykson, Mikhail Moiseev, Vadim Tsesko, Alexey Zakharov Information and Control Systems 2 (39), 34-41, 2009 | | 2009 |
| Interval Analysis Algorithms for Source Code Defect Detection VM Itsykson, MY Moiseev, VA Tsesko, AV Zakharov, MK Akhin Inf. Control Syst, 39, 2009 | | 2009 |
| TMPA 2013 C SPbSPU | | |
| Rev ei wers C SPbSPU | | |
Vladimir ItsyksonUniverity ITMOVerified email at itmo.ru
