Get started
Author

Hripsime Hovhannisyan

Observed name: Hripsime Hovahannisyan
ORCID: 0000-0001-8483-1829
Observed ORCID: 0000-0001-8483-1829
OpenAlex ID: A5063919620
Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection
2024 · Hayk Aslanyan, Hovhannes Movsisyan, et al. · IEEE Access · 10
A Method to Evaluate Binary Code Comparison Tools
2021 · Mariam Arutunian, Hripsime Hovhannisyan, et al. · Ivannikov Memorial Workshop (IVMEM) · 5
Accurate code fragment clone detection and its application in identifying known CVE clones
2025 · Mariam Arutunian, Sevak Sargsyan, et al. · International Journal of Information Security · 2
GENES ISP: code analysis platform
2020 · Sevak Sargsyan, Vahagn Vardanyan, et al. · Ivannikov ISPRAS Open Conference (ISPRAS) · 2
Directed Symbolic Execution for Path Feasibility Analysis]{Directed Symbolic Execution for Path Feasibility Analysis in Software Security Testing
2026 · Hovhannes Movsisyan, Hripsime Hovhannisyan, et al. · Research Square
PDF
Association between subclinical hypothyroidism and motor, cognitive, and physical activity outcomes in overweight adolescents with developmental coordination disorder
2026 · Hasmik Mkrtchyan, Iren Hovsepyan, et al. · Human Movement
PDF
Automated Loop Detection and Iteration Count Analysis in Binary Code
2026 · Hayk Aslanyan, Garnik Khroyan, et al. · Research Square
PDF
Enhancing Symbolic Execution of Programs for Interprocedural Control Flow Path Feasibility Analysis
2026 · Hovhannes Movsisyan, Hripsime Hovhannisyan, et al. · Research Square
PDF
Autotuning Function-Level Compiler Optimizations for Performance Improvement
2026 · Garnik Khroyan, Hripsime Hovhannisyan, et al. · International Conference on Electrical, Computer and Energy Technologies (ICECET)
Symbolic Execution for Control Flow Path Feasibility
2026 · Hovhannes Movsisyan, Hripsime Hovhannisyan, et al. · International Conference on Advanced Communications Technology (ICACT)
Assessing Software Weakness Detection Capabilities: An Empirical Study of IKOS
2026 · Hripsime Hovhannisyan, Gayane Mirakyan, et al. · International Conference on Advanced Communications Technology (ICACT)
Automated Detection of Loops and Iteration Count Analysis in Binary Code
2026 · Garnik Khroyan, Shake Hakobyan, et al. · SSRN Electronic Journal
An Empirical Study of Publicly Available Static Analysis Tools for Detecting Use-After-Free and Double-Free Vulnerabilities
2026 · Hripsime Hovhannisyan, Gayane Mirakyan, et al. · SSRN Electronic Journal
Method for Identifying Changes Between Program Versions
2025 · Mariam Arutunian, Hripsime Hovhannisyan, et al. · International Conference on Computer Theory and Applications (ICCTA)
Program Path Feasibility Through Symbolic Execution
2025 · Hovhannes Movsisyan, Hripsime Hovhannisyan, et al. · Computer Science and Information Technologies (CSIT)
PDF
Development and Implementation of an Algorithm for Memory Leak Detection in C/C++ Programs
2025 · Hripsime Hovhannisyan, Hovhannes Movsisyan, et al. · Computer Science and Information Technologies (CSIT)
PDF
Works count: 16
Citation count: 19
H-index: 2
I10-index: 1
Year
Topic
Type