| Сравнение образовательных сред визуального программирования роботов ДА Мордвинов, ЮВ Литвинов Компьютерные инструменты в образовании, 32-49, 2016 | 33 | 2016 |
| Synchronizing Constrained Horn Clauses. D Mordvinov, G Fedyukovich LPAR, 338-355, 2017 | 31 | 2017 |
| 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 | 18 | 2021 |
| Trik studio: technical introduction D Mordvinov, Y Litvinov, T Bryksin 2017 20th Conference of Open Innovations Association (FRUCT), 296-308, 2017 | 18 | 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 | 6 | 2017 |
| 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 |
| 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 | 4 | 2023 |
| Обзор применения формальных методов в робототехнике ДА Мордвинов, ЮВ Литвинов Информатика, телекоммуникации и управление, 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), 2019 | 3 | 2019 |
| Collaborative Inference of Combined Invariants Y Kostyukov, D Mordvinov, G Fedyukovich Proceedings of 24th In ternational Conference on Logic for Programming …, 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 |
| 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 |
| 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 |
| LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS, LIPICS A Misonizhnik, D Mordvinov, R Majumdar, M Pirron, D Zufferey, ... | | 2019 |
| SEIM 2017 Organization D Bulychev, A Ivanov, JBI Kirilenko, B Novikov, Y Litvinov, T Bryksin, ... Second Conference on Software Engineering and Information Management (SEIM …, 2017 | | 2017 |
