Publications


Publications

2017

  1. M.K. Ermakov, A.Y. Gerasimov, D.O. Kutz, A.A. Novikov Applying iterative dynamic analysis to programs with graphical user interface Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 119-134.
  2. S.P. Vartanov, M.K. Ermakov, A.Y. Gerasimov Applying dynamic analysis to programs running in interpreted environments Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 135-148.
  3. S.P. Vartanov, A.Y. Gerasimov, M.K. Ermakov, D.O. Kutz, A.A. Novikov Dynamic analysis of programs with graphical user interface based on symbolic execution Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 149-166.
  4. A.Y. Gerasimov Survey on static program analysis results refinement approaches Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 75-98.

2016

  1. A.Y. Gerasimov, L.V. Kruglov Input data generation for reaching specific function in program by iterative dynamic analysis method Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 159-174.

2015

  1. S.P. Vartanov, M.K. Ermakov Applying Java bytecode static instrumentation for software dynamic analysis Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 25-38.
  2. M.K. Ermakov, S.P. Vartanov Dynamic analysis of ARM ELF shared libraries using static binary instrumentation Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 5-24.

2014

  1. Vartanov S.P., Gerasimov A.Y. Dynamic program analysis for error detection using goal-seeking input data generation. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 375-394.
  2. S.V. Syromyatnikov, I. E. Bronshteyn, N. L. Lugovskoy. Refactoring on the whole project. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 395-402.

2013

  1. I.E. Bronshteyn. Type inference for Python programming language. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 161-190.
  2. V. P. Ivannikov, S. P. Vartanov, M. K. Ermakov. Automatic concurrency defect detection for Android applications. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 191-206.
  3. S.V. Gerasimov, R.V. Kurynin, I.V. Mashechkin, M.I. Petrovskiy, D.V. Tsarev, A.A.Shestimerov. Tools for Quality Assessment of Scientific and Technical Documents. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 359-380.
  4. M.K. Ermakov, A.Y. Gerasimov. Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection. Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 29-38.
  5. N.G. Zetser. Automatic clone detection for refactoring. Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 39-50.
  6. N.L. Lugovskoy, S.V. Syromyatnikov. Source code transformation and automatic correction of defects with KAST language. Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 51-66.
  7. I.E. Bronshteyn. Approach to detecting types inconsistency errors in a program code in dynamic languages. Proceedings of the Institute for System Programming. Volume 25, 2013 . Стр. 67-84.
  8. Sergey Vartanov, Alexander Gerasimov. Applying dynamic analysis for defect detection in Java-applications. Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 9-28.

2012

  1. V.O. Savitskiy, D.V. Sidorov. Incremental source code analysis for C/C++ languages. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 119-130.
  2. Sergey Vartanov, Denis Sidorov. Optimization of Boolean satisfiability solver by caching intermediate results. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 281-292.

2011

  1. S.V. Syromyatnikov. Declarative Interface of Detecting Defects on Syntax Trees: KAST Language. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 51-68.
  2. Ildar Isaev, Denis Sidorov, Alexander Gerasimov, Mikhail Ermakov. Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 55-70.

2010

  1. D. Silakov, A. Smachev. Improving Portability of Linux Applications by Early Detection of Interoperability Issues. Proceedings of ISoLA 2010. Heraclion, Greece, 2010, part II, pp. 357–370.
  2. L. Bing, Z. Linlin, R. Guofang, C. Viho, N. Pakulin, M. Zoric. Java-Based Test System Development with Open Source Components. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.

2009

  1. Pavel Shved, Denis Silakov. Binary Compatibility of Shared Libraries Implemented in C++ on GNU/Linux Systems. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.17-26.
  2. Ivannikov V. P., Avetisyan A. I., Gaissaryan S. S., Akopyan M. S. Implementation of parallel programs interpreter in the development environment ParJava. Web of Science, PROGRAMMING AND COMPUTER SOFTWARE, 2009.

2008

  1. V. Kuliamin. Test Construction for Mathematical Functions. K. Suzuki, T. Higashino, A. Ulrich, T. Hasegawa, eds. Testing of Software and Communicating Systems, proceedings of TESTCOM/FATES 2008, LNCS 5047, pp. 23-37.

2006

  1. А. Волков. Использование ролей в сценариях взаимодействия. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 193-222.

2004

  1. К.В. Буздин. Исполнение моделей при помощи виртуальной машины. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 199-210.
  2. М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 211-228.

1999

  1. Victor Ivannikov, Sergei Morozov, Vitaly Semenov, Oleg Tarlapan, Reinhard Rasche, Thomas Jung Parallel object-oriented modeling and visualization in OpenMV environment. Proceedings of GraphiCon'99. Publisher: Dialog-MSU, 1999. Pp. 206-213.

1998

  1. N. Rajala, D. Campara., N. Mansurov inSight Reverse Engineering CASE Tool Proc. of the ICSE’99, Los Angeles, USA, 1998

1978-1997

  1. Kamensky V. E., Klimov A. V., Manzgeley S. G., Solovskaya L. B. Applying CORBA Standard to Legacy Systems. Voprosy kibernetiki, N 3, 1997.
  2. Dyshlevoi K. V. CORBA IDL/C++ mapping superstructure. Voprosy kibernetiki, N 3, 1997.
  3. Ivannikov V. P., Dyshlevoi K. V., Kamensky V. E., Klimov A. V., Manzgeley S. G., Omelchenko V. A., Solovskaya L. B., Vinokurov A. A. Cover Model: a Framework for Design and Execution for Distributed Applications.
  4. Ivannikov V. P., Dyshlevoi K. V., Kamensky V. E., Klimov A. V., Manzgeley S. G., Omelchenko V. A., Solovskaya L. B., Vinokurov A. A. Distributed applications design and run time support in Cover Model. Voprosy kibernetiki, N 3, 1997.
  5. Ivannikov V. P., Zadorozhnyi V. I., Kossmann D., Novikov B. A. Efficient Metaobject Control Using Mediators. 2-nd International A. Ershov Conference, Novosibirsk , 1996, LNCS 1181.
  6. Dyshlevoi K. V., Kamensky V. E., Solovskaya L. B. Marshalling in distributed systems: two approaches. Voprosy kibernetiki, N 3, 1997.
  7. Ivannikov V. P., Dyshlevoi K. V., Zadorozhnyi V. I. Specification of Metaextensions for Efficient Metaobject Control. Programming and Computer Software, No. 4, 1997.