Mikhail Belyaev
Mikhail Belyaev
Peter the Great St.Petersburg Polytechnic University (SPbPU)
Verified email at kspt.icc.spbstu.ru - Homepage
Title
Cited by
Cited by
Year
Towards load balancing in SDN-networks during DDoS-attacks
M Belyaev, S Gaivoronski
2014 international science and technology conference (modern networking …, 2014
582014
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
ReduKtor: How we stopped worrying about bugs in kotlin compiler
D Stepanov, M Akhin, M Belyaev
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
72019
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
52017
Using a bounded model checker for test generation: how to kill two birds with one SMT solver
M Petrov, K Gagarski, M Belyaev, V Itsykson
Automatic Control and Computer Sciences 49 (7), 466-472, 2015
22015
Fast and safe concrete code execution for reinforcing static analysis and verification
MA Belyaev, VM Itsykson
Моделирование и анализ информационных систем 22 (6), 763-772, 2015
22015
LLVM-based static analysis tool using type and effect systems
M Belyaev, V Tsesko
Automatic Control and Computer Sciences 46 (7), 324-330, 2012
22012
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver
M Belyaev, K Gagarski, M Petrov, V Itsykson
Autom. Control Comput. Sci 49 (7), 466, 2015
12015
Improving static analysis by loop unrolling on an arbitrary iteration
MA Belyaev, M Akhin, VM Itsykson
Университетский научный журнал, 154-168, 2014
12014
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
D Stepanov, M Akhin, M Belyaev
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
2021
PROCEEDINGS-2019 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2019
D Sondhi, R Purandare, D Stepanov, M Akhin, M Belyaev, H Zhang, ...
2019
Using a bounded model checker for test generation: how to kill two birds with one SMT-solver
M Petrov, K Gagarski, M Belyaev, V Itsykson
Modeling and Analysis of Information Systems 21 (6), 83-93, 2014
2014
Defect Detection: Combining Bounded Model Checking and Code Contracts
M Akhin, M Belyaev, V Itsykson
Modeling and Analysis of Information Systems 20 (6), 22-35, 2013
2013
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
Stabbing Loops in the Back or How to Unroll a Loop on an Arbitrary Iteration
M Belyaev, M Akhin, V Itsykson
The system can't perform the operation now. Try again later.
Articles 1–16