Sergey Ivanovskiy

According to our database, Sergey Ivanovskiy authored at least 2 papers between 2016 and 2019.

Collaborative distances:

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

2019

Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog.

René Haberland, Sergey Ivanovskiy

CoRR, 2019

2016

Abstract predicate entailment over points-to heaplets is syntax recognition.

René Haberland, Kirill Krinkin, Sergey Ivanovskiy

Proceedings of the 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology, 2016