4
Publications
61
Citations
4
H-Index
2015
Active since
Affiliations
Shamil Kurmangaleev is an author at Institute for System Programming specializing in formal verification, formal methods, and computer engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringSoftware Design
Publications per year
2015–2019
4
4
ISP-Fuzzer: Extendable Fuzzing Framework
Sevak Sargsyan, Jivan Hakobyan, Matevos Mehrabyan et al. · 2019 · 19 citations
Sevak Sargsyan, Shamil Kurmangaleev, Matevos Mehrabyan et al. · 2018 · 17 citations
LLVM-based code clone detection framework
Arutyun Avetisyan, Shamil Kurmangaleev, Sevak Sargsyan et al. · 2015 · 13 citations
Software Maintenance, Code Clones Detection, Engineering +19
Scalable Framework for Accurate Binary Code Comparison
Hayk Aslanyan, Arutyun Avetisyan, Mariam Arutunian et al. · 2017 · 12 citations
Software Maintenance, Engineering, Program Dependence Graph +20
Rows per page
1–4 of 4