| Synchronizing Constrained Horn Clauses. D Mordvinov, G Fedyukovich LPAR, 338-355, 2017 | 34 | 2017 |
| Сравнение образовательных сред визуального программирования роботов ДА Мордвинов, ЮВ Литвинов Компьютерные инструменты в образовании, 32-49, 2016 | 34 | 2016 |
| Beyond the elementary representations of program invariants over algebraic data types Y Kostyukov, D Mordvinov, G Fedyukovich Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 27 | 2021 |
| Trik studio: technical introduction D Mordvinov, Y Litvinov, T Bryksin 2017 20th Conference of Open Innovations Association (FRUCT), 296-308, 2017 | 19 | 2017 |
| Property directed inference of relational invariants D Mordvinov, G Fedyukovich 2019 Formal Methods in Computer Aided Design (FMCAD), 152-160, 2019 | 12 | 2019 |
| Verifying Safety of Functional Programs with Rosette/Unbound. CoRR, abs/1704.04558, 2017 D Mordvinov, G Fedyukovich | 7 | 2017 |
| UnitTestBot: Automated unit test generation for C code in integrated development environments D Ivanov, A Babushkin, S Grigoryev, P Iatchenii, V Kalugin, E Kichin, ... 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 5 | 2023 |
| Verifying safety of functional programs with Rosette/Unbound D Mordvinov, G Fedyukovich arXiv preprint arXiv:1704.04558, 2017 | 5 | 2017 |
| Visual dataflow language for educational robots programming GA Zimin, DA Mordvinov Труды Института системного программирования РАН 28 (2), 45-62, 2016 | 5 | 2016 |
| Обзор применения формальных методов в робототехнике ДА Мордвинов, ЮВ Литвинов Информатика, телекоммуникации и управление, 84-107, 2016 | 4 | 2016 |
| On Satisfiability of Nominal Subtyping with Variance A Misonizhnik, D Mordvinov 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 7: 1-7: 20, 2019 | 3 | 2019 |
| Collaborative Inference of Combined Invariants. Y Kostyukov, D Mordvinov, G Fedyukovich LPAR, 288-305, 2023 | 2 | 2023 |
| Automated testing of LLVM programs with complex input data structures AV Misonizhnik, AA Babushkin, SA Morozov, YO Kostyukov, ... Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2022 | 2 | 2022 |
| Survey on formal methods in robotics DA Mordvinov, YV Litvinov St. Petersburg State Polytechnical University Journal. Computer Science …, 2016 | 2 | 2016 |
| UTBot Python at the SBFT Tool Competition 2024 E Tochilina, V Tamarin, D Mordvinov, V Sobol, S Pospelov, A Menshutin, ... Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and …, 2024 | | 2024 |
| KLEEF: Symbolic Execution Engine (Competition Contribution) A Misonizhnik, S Morozov, Y Kostyukov, V Kalugin, A Babushkin, ... International Conference on Fundamental Approaches to Software Engineering …, 2024 | | 2024 |
| Symcrete memory model with lazy initialization and objects of symbolic sizes in KLEE SA Morozov, AV Misonizhnik, DA Mordvinov, DV Koznov, DA Ivanov Труды института системного программирования РАН 35 (3), 91-108, 2023 | | 2023 |
| Generation of the weakest preconditions of programs with dynamic memory in symbolic execution AV Misonizhnik, YO Kostyukov, MP Kostitsyn, DA Mordvinov, DV Koznov Journal Scientific and Technical Of Information Technologies, Mechanics and …, 2022 | | 2022 |
| Solving Constrained Horn Clauses over ADTs by Finite Model Finding Y Kostyukov, D Mordvinov, G Fedyukovich arXiv preprint arXiv:2108.00225, 2021 | | 2021 |
| Automatic verification of heap-manipulating programs Y Kostyukov, K Batoev, D Mordvinov, M Kostitsyn, A Misonizhnik arXiv preprint arXiv:1906.10204, 2019 | | 2019 |