Follow
Vadim Tsesko
Vadim Tsesko
Saint-Petersburg State Polytechnical University
Verified email at incubos.org - Homepage
Title
Cited by
Cited by
Year
Using dependencies to improve precision of code analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Automatic Control and Computer Sciences 46, 338-344, 2012
102012
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
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
LLVM-based static analysis tool using type and effect systems
M Belyaev, V Tsesko
Automatic Control and Computer Sciences 46, 324-330, 2012
52012
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
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
The system can't perform the operation now. Try again later.
Articles 1–13