Automatic verification of heap-manipulating programs. - Yurii Kostyukov; Konstantin Batoev; Dmitry Mordvinov; Michael Kostitsyn; Aleksandr Misonizhnik (CoRR, 2019)

Beyond the elementary representations of program invariants over algebraic data types. - Yurii Kostyukov; Dmitry Mordvinov; Grigory Fedyukovich (PLDI, 2021)

Collaborative Inference of Combined Invariants. - Yurii Kostyukov; Dmitry Mordvinov; Grigory Fedyukovich (LPAR, 2023)

KLEEF: Symbolic Execution Engine (Competition Contribution). - Aleksandr Misonizhnik; Sergey Morozov 004; Yurii Kostyukov; Vladislav Kalugin; Aleksei Babushkin; Dmitry Mordvinov; Dmitry Ivanov (FASE, 2024)

Automatic Inference of Synchronous Regular Invariants. - A. I. Vasenina; Yurii Kostyukov; Dmitry Mordvinov (Program. Comput. Softw., 2025)