Hripsime Hovhannisyan

According to our database, Hripsime Hovhannisyan authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Symbolic Execution for Control Flow Path Feasibility.

Hovhannes Movsisyan, Hripsime Hovhannisyan, Hayk Aslanyan

Proceedings of the 27th International Conference on Advanced Communications Technology, 2026

Assessing Software Weakness Detection Capabilities: An Empirical Study of IKOS.

Hripsime Hovhannisyan, Gayane Mirakyan, Edgar Khachatryan, Hayk Aslanyan

Proceedings of the 27th International Conference on Advanced Communications Technology, 2026

2025

Accurate code fragment clone detection and its application in identifying known CVE clones.

Mariam Arutunian, Sevak S. Sargsyan, Hripsime Hovhannisyan, Garnik Khroyan, Albert Mkrtchyan, Hovhannes Movsisyan, Arutyun Avetisyan, Hayk Aslanyan

Int. J. Inf. Sec., February, 2025

2024

Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection.

Hayk Aslanyan, Hovhannes Movsisyan, Hripsime Hovhannisyan, Zhora Gevorgyan, Ruslan Mkoyan, Arutyun Avetisyan, Sevak S. Sargsyan

IEEE Access, 2024