| Clone detection: Why, what and how? M Akhin, V Itsykson 2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010 | 22 | 2010 |
| Present and ulterior software engineering M Mazzara, B Meyer Springer, 2017 | 18 | 2017 |
| Software defect detection by combining bounded model checking and approximations of functions MK Akhin, MA Belyaev, VM Itsykson Automatic Control and Computer Sciences 48, 389-397, 2014 | 11 | 2014 |
| Using dependencies to improve precision of code analysis MI Glukhikh, VM Itsykson, VA Tsesko Automatic Control and Computer Sciences 46, 338-344, 2012 | 10 | 2012 |
| Automated program transformation for migration to new libraries V Itsykson, A Zozulya 2011 7th Central and Eastern European Software Engineering Conference (CEE …, 2011 | 10 | 2011 |
| Borealis bounded model checker: the coming of age story M Akhin, M Belyaev, V Itsykson Present and Ulterior Software Engineering, 119-137, 2017 | 9 | 2017 |
| Automatic defects detection in industrial C/C++ software V Itsykson, M Moiseev, V Tsesko, A Zakharov 2009 5th Central and Eastern European Software Engineering Conference in …, 2009 | 9 | 2009 |
| Yet another defect detection: Combining bounded model checking and code contracts M Akhin, M Belyaev, V Itsykson PSSV 13, 1-11, 2013 | 8 | 2013 |
| The use of dependencies for improving the precision of program static analysis MI Glukhikh, VM Itsykson, VA Tsesko Modeling and analysis of information systems 18 (4), 68-79, 2011 | 8 | 2011 |
| Ispol'zovanie zavisimostei dlya povysheniya tochnosti staticheskogo analiza programm [The use of dependencies for improving the precision of program static analysis] MI Glukhikh, VM Itsykson, VA Tses' ko Modelirovanie i analiz informa-tsionnykh sistem–Modeling and Analysis of …, 2011 | 8 | 2011 |
| Formalism and language tools for specification of the semantics of software libraries VM Itsykson Automatic Control and Computer Sciences 51, 531-538, 2017 | 7 | 2017 |
| A program component behavior specification language VM Itsykson, I Glukhikh Mikhail Computing, Telecommunication and Control 14 (3), 63-70, 2010 | 7 | 2010 |
| Kex: A platform for analysis of JVM programs AM Abdullin, VM Itsykson Информационно-управляющие системы, 30-43, 2022 | 6 | 2022 |
| Random model sampling: Making craig interpolation work when it should not M Akhin, S Kolton, V Itsykson Automatic Control and Computer Sciences 49 (7), 413-419, 2015 | 6 | 2015 |
| The formalism for description of the partial specifications of program envinroment components VM Itsykson, V Zozulya Alexey Computing, Telecommunication and Control 21 (4), 81-90, 2011 | 6 | 2011 |
| Source code modification technology based on parameterized code patterns V Itsykson, D Timofeyev 2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010 | 5 | 2010 |
| Interval analysis algorithm for detecting defects in the software source code VM Itsykson, MM Ju, VA Tsesko, AV Zakharov, MH Akhin Informationcontrol systems 2, 34-41, 2009 | 5 | 2009 |
| Semantics-driven migration of Java programs: a practical application AO Aleksyuk, VM Itsykson Automatic Control and Computer Sciences 52, 581-588, 2018 | 4 | 2018 |
| The Formalism and Language Tools for Semantics Specification of Software Libraries VM Itsykson Modeling and Analysis of Information Systems 23 (6), 754-766, 2016 | 4 | 2016 |
| Формализм и языковые инструменты для описания семантики программных библиотек ВМ Ицыксон Моделирование и анализ информационных систем 23 (6), 754-766, 2016 | 4 | 2016 |
Marat AkhinJetBrains ResearchVerified email at jetbrains.com
