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
532014
Sampling-Reconstruction Procedure for non-Stationary Gaussian processes Based on Conditional Expectation Rule
VA Kazakov, MA Beliaev
Sampling Theory in Signal and Image Processing 1 (2), 135-153, 2002
372002
Sample-reconstruction procedure of some non-stationary processes
VA Kazakov, MA Beliaev
Radioelectronics and Communication Systems 40 (9), 43-49, 1997
121997
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
62019
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
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
Fast and safe concrete code execution for reinforcing static analysis and verification
MA Belyaev, VM Itsykson
Моделирование и анализ информационных систем 22 (6), 763-772, 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
MK Akhin, MA Belyaev, VM Itsykson
Modelirovanie i Analiz Informatsionnykh Sistem 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
COMPARISON OF 2 ALGORITHMS OF REALIZATION RENEWAL BY RANDOM READING NUMBER
VA KAZAKOV, SA AFRIKANOV, MA BELYAEV
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA 37 (3-4), A62-A64, 1994
1994
Stabbing Loops in the Back or How to Unroll a Loop on an Arbitrary Iteration
M Belyaev, M Akhin, V Itsykson
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
The system can't perform the operation now. Try again later.
Articles 1–19