| Towards load balancing in SDN-networks during DDoS-attacks M Belyaev, S Gaivoronski 2014 international science and technology conference (modern networking …, 2014 | 62 | 2014 |
| 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 | 10 | 2014 |
| 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 | 8 | 2019 |
| Borealis bounded model checker: the coming of age story M Akhin, M Belyaev, V Itsykson Present and Ulterior Software Engineering, 119-137, 2017 | 8 | 2017 |
| Yet another defect detection: Combining bounded model checking and code contracts M Akhin, M Belyaev, V Itsykson PSSV 13, 1-11, 2013 | 8 | 2013 |
| 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 | 2 | 2015 |
| Fast and safe concrete code execution for reinforcing static analysis and verification MA Belyaev, VM Itsykson Моделирование и анализ информационных систем 22 (6), 763-772, 2015 | 2 | 2015 |
| LLVM-based static analysis tool using type and effect systems M Belyaev, V Tsesko Automatic Control and Computer Sciences 46 (7), 324-330, 2012 | 2 | 2012 |
| 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 | 1 | 2021 |
| 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 | 1 | 2021 |
| Improving static analysis by loop unrolling on an arbitrary iteration MA Belyaev, M Akhin, VM Itsykson Университетский научный журнал, 154-168, 2014 | 1 | 2014 |
| 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 | | |
Marat AkhinSaint Petersburg Polytechnic University / JetBrains ResearchVerified email at kspt.icc.spbstu.ru
