Follow
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
622014
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
102014
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
82019
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
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
Kotlin coroutines: design and implementation
R Elizarov, M Belyaev, M Akhin, I Usmanov
Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas …, 2021
12021
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
12021
Improving static analysis by loop unrolling on an arbitrary iteration
MA Belyaev, M Akhin, VM Itsykson
Университетский научный журнал, 154-168, 2014
12014
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