Vadim Tsesko
Vadim Tsesko
Saint-Petersburg State Polytechnical University
Verified email at incubos.org - Homepage
TitleCited byYear
The use of dependencies for improving the precision of program static analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Modelirovanie i Analiz Informatsionnykh Sistem 18 (4), 68-79, 2011
62011
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
62009
Using dependencies to improve precision of code analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Automatic Control and Computer Sciences 46 (7), 338-344, 2012
52012
LLVM-based static analysis tool using type and effect systems
M Belyaev, V Tsesko
Automatic Control and Computer Sciences 46 (7), 324-330, 2012
12012
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
Modelirovanie i Analiz Informatsionnykh Sistem 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–12