Publications during 2012


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2012

Dissertations

  1. M.M. Chupilko. Dynamic verification of the digital equipment based on formal specifications. Diss. Institute for System Programming of the Russian Academy of Sciences, 2012. Print.
  2. Mutilin Vadim. Linux drivers verification using predicate abstraction. Diss. Institute for System Programming of the Russian Academy of Sciences, 2012.

Other publications

  1. Buzdalov D. Enhancement of automated static verification efficiency through manual quantifiers instantiation. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering SYRCoSE.
  2. Kamkin A., Tatarnikov A. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE).
  3. Mutilin V., Mandrykin M. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), pp. 85-93.
  4. Shved P., Mandrykin M., Mutilin V. Predicate Analysis with Blast 2.7. Proceedings of TACAS. 2012. Vol. 7214. P. 525–527.
  5. Dirk Beyer and Alexander K. Petrenko. Linux Driver Verification. In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18), LNCS 7610, pages 1-6, 2012. Springer-Verlag, Heidelberg.
  6. Y. Gerlits, A. Khoroshilov. Model-Based Testing of Safety Critical Real-Time Control Logic Software. In Proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), Tallin, Estonia, March 25, 2012.
  7. A. Khoroshilov, I. Koverninskiy, M. Olshanskiy, A. Petrenko, A. Ugnenko. Model-based Tool Chain For System Design and System Integration of IMA. In Proceedings of the International Space System Engineering Conference DASIA-2012, pp. 67-71, Dubrovnik, Croatia, May 14-16, 2012.
  8. M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov, and P. E. Shved. Using Linux Device Drivers for Static Verification Tools Benchmarking. Programming and Computer Software, 2012, Volume 38, Number 5, Pages 245-256.
  9. Khoroshilov, A., Albitskiy, D., Koverninskiy, I., Olshanskiy, M., Petrenko, A., Ugnenko, A. AADL-Based Toolset for IMA System Design and Integration. SAE Int. J. Aerosp. 5(2):2012.
  10. N. Pakulin, A. Tugaenko, V. Shnitman. Model-Based Testing of E-Mail Protocols of the Internet. Programming and Computer Software, 2012, Vol. 38, No. 5, pp. 268-275. Pleiades Publishing, Ltd., 2012.
  11. Denis Efremov, Nikolay Pakulin. Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. Proceedings of SECRYPT 2012, SciTePress 2012, pp.395-398.
  12. M.M. Chupilko Developing Test Systems of Multi-Modeuls Hardware Designs. Programming and Computer Software, 2012, Vol. 38, No. 1, pp. 34-42. © Pleiades Publishing, Ltd., 2012.
  13. Borisenko O., Taranov I. Implementing block-stored prefix trees in XML-DBMS. Proceedings of SYRCoDIS'12: The Eighth Spring Researchers Colloquium on Databases and Information Systems, 2012, pp. 16-21.
  14. Buzun N., Korshunov A. Innovative Methods and Measures in Overlapping Community Detection. Proceedings of the International Workshop on Experimental Economics and Machine Learning (EEML 2012), Brussel, Belgium.
  15. Bartunov S., Korshunov A. User Identity Resolution based on Social Relations Proceedings of the conference "Analysis of images, social networks, and texts". AIST'12, Yekaterinburg.
  16. Kuznetsov S. Out of the Big Data problem. Open Systems. DBMS, 2012, Number 2.
  17. Buzun N., Korshunov A. Overlapping Community Detection in Social Networks. Proceedings of the conference for analysis of images, networks and texts. Yekaterinburg, 2012.
  18. Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A. On the Designing of Model Checkers for Real-Time Distributed Systems. Proceedings of the 3-rd Workshop "Program Semantics, Specification, and Verification: Theory and Applications", Nizhni Novgorod, Russia, July 1-2, 2012, 2012, Novgorod, Russia, pp. 72-81.
  19. Zakharov V.A. Models and algorithms in the equivalence-checking problem for sequential programs.
  20. Zakharov V.A., Novikova T.A. On the logic-and-term equivalence of first-order programs.
  21. Ilyin D.V., Morozov S.V., Semenov V.A. Verification of object-oriented data models. Proceedings of XVII Baikal Conference "Information and Mathematical Technologies in Science and Management". Vol 2. Publisher: ISEM SB RAS, 2012. Pp. 123-130.
  22. Vitaly Semenov, Konstantine Kazakov, Vladislav Zolotov Advanced spatio-temporal validation of construction schedules. Computing in Civil and Building Engineering, Proceedings of the 14th International Conference, 27-29 June, Moscow, Russia. Publisher: Moscow State University of Civil Engineering, 2012. Pp. 184-185 (full paper 8 p.p. published on CD).
  23. V.A. Semenov, K.A. Kazakov & V.A. Zolotov Global path planning in 4D environments using topological mapping. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2012 Proceedings. Publisher: CRC Press, Taylor & Francis Group, 2012. Pp. 263-269.
  24. Vitaly Semenov, Konstantine Kazakov, Vladislav Zolotov Spatio-temporal validation of construction projects against path conflicts. CONVR'2012: Proceedings of the 12th International Conference on Construction Applications of Virtual Reality, Taipei, Taiwan. Publisher: National Taiwan University Press, 2012. Pp. 542-551.
  25. Kalugin M.D., Samovarov O.I., Strijhak S.V., Lushnikov A.V., Kashtanova E.N. Solution of optimization problems in gas dynamics using cloud and parallel computing.
  26. Pavel Dovgalyuk. Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging. Proceedings of 16th European Conference on Software Maintenance and Reengineering (CSMR’2012), 2012.
  27. Ya.A. Khetagurov. On creation approximating functions of characteristics of small number of systems. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 475-492.
  28. A.V. Shokurov. Comparing complexities of problems of determining of Grebner’s basis of ideal and solving this ideal. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 463-474.
  29. M.A. Trushnikov. On one problem of Koffman-Shor connected with strip packing. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 456-462.
  30. V.A.Zakharov, T.A. Novikova. Polynomial time algorithm for checking strong equivalence of program. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp.435-455.
  31. M.M. Bernovskiy, N.N. Kuzyurin. Random graphs, models and generators of scale-free graphs. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 419-434.
  32. A.G. Gomzin, A.V. Korshunov. Recommender systems: a survey of modern approaches. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 401-418.
  33. A.V. Tretyakov. Automation of scheduling for periodic real-time systems. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 375-400.
  34. Mutilin V.S., Novikov E.M., Khoroshilov A.V. Analysis of typical faults in Linux operating system drivers. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 349-374.
  35. Vadim Mutilin, Mikhail Mandrykin. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 327-348.
  36. Khoroshilov A.V., Mandrykin M.U., Mutilin V.S., Novikov E.M. Static Verification Tools for C Programs and Linux Device Drivers: A Survey. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 293-326.
  37. 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.
  38. Igor Burdonov, Alexander Kosachev. The final models of specification. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 233-280.
  39. A. Monakov. On Optimizing OpenFOAM GPU Solvers. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 223-232.
  40. Andrey Belevantsev, Alexey Merkulov, Vladimir Platonov. Optimizations in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 211-222.
  41. Alexander Kudryavtsev, Vladimir Koshelev, Arutyun Avetisyan. The prospects for virtualization of high performance x64 systems. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 189-210.
  42. V.N. Ignatyev. Using static analysis for checking configurable semantic restrictions on a programming language. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 169-188.
  43. I. N. Ledovskikh, M.G. Bakulin. An Approach to Reconstruction Control Flow of the Obfuscated Program. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 153-168.
  44. A.Y. Tikhonov, A.I. Avetisyan. Combined (static and dynamic) analysis of binary code. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 131-152.
  45. 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.
  46. A.I. Avetisyan, A.I. Getman. Recovery the structure of binary data on the program traces. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 95-118.
  47. K. Batuzov, P. Dovgaluk, V.Koshelev, V. Padaryan. Two approaches to full-system deterministic replay in QEMU. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 77-94.
  48. Kirill Batuzov. Local Register Allocation Problem in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 67-76.
  49. Roman Zhuykov, Dmitry Plotnikov, Mamikon Vardanyan. Automatic tuning of GCC optimizations for ARM platform. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 49-66.
  50. Roman Zhuykov, Dmitry Melnik, Ruben Butchaskiy. Loops software pipelining on ARM platform. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 33-48.
  51. Arutyun Avetisyan. Instruction scheduling and software pipelining for modern architectures. Proceedings of the Institute for System Programming. Volume 22, 2012 . Стр. 19-32.
  52. Arutyun Avetisyan. Two-stage compilation for optimizing and deploying programs in general purpose languages. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 11-18.
  53. V.P. Ivannikov. Introduction. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 5-10.
  54. V.P. Ivannikov. Introduction. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 7-12.
  55. V.A.Zakharov, T.A. Novikova. Polynomial time algorithm for checking strong equivalence of program. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 455-476.
  56. S.N. Zhuk. On-line algorithm for scheduling parallel tasks on a group of related clusters. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 447-454.
  57. D.A. Grushin, N.N. Kuzyurin. Energy-efficient computations on a group of clusters. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 433-446.
  58. A.V. Shokurov, K.V. Sergeev. On Constructing a Fully Homomorphic Encryption. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 427-432.
  59. A.V. Tsyvarev, V.A. Martirosyan. Testing of Linux File System Drivers. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 413-426.
  60. D. Beyer, A.K. Petrenko. Linux Driver Verification. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 405-412.
  61. A. Nikeshin, N. Pakulin, V. Shnitman. Test Suite development for verification of TLS security protocol. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 387-404.
  62. E.M. Novikov, A.V. Khoroshilov. Using Aspect-Oriented Programming for Querying Source Code. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 371-386.
  63. V.V. Kuliamin. Combinatorial generation of operation system software configurations. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 359-370.
  64. Igor Burdonov, Alexander Kosachev. Error dependencies on classes of implementations under testing. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 323-358.
  65. Ekaterina Ivannikova. Periodic event sets detection in temporal databases. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 307-322.
  66. A. Pigul. Comparative Study Parallel Join Algorithms for MapReduce environment. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 285-306.
  67. Kuznetcov Konstantin. Linkset–based Data Integration System for LOD Space. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 277-284.
  68. A.A. Alekseev, N.V. Loukachevitch. Use of Multiple Features for Extracting Topics from News Clusters. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 257-276.
  69. A. Koshkarev, A. Medvedev, Yu. Vishnyakov, S. Polikarpov, A. Sotnikov. Virtual GIS laboratory as a tool for spatial data analysis. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 245-256.
  70. Anton Korshunov, Andrey Gomzin. Topic modeling in natural language texts. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 215-244.
  71. Mendkovich N.A., Kuznetcov S.D. An Overwiew of Evolution of Lexical Query Optimization Techniques. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 195-214.
  72. Kuznetsov S.D., Prokhorov A.A. Flash-based algorithms of database buffer management. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 173-194.
  73. Andrey Poskonin. Web applications and data: achieving abstraction and scalability. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 159-172.
  74. Pavel Klemenkov, Sergey Kuznetsov. Big data: modern approaches to storage and analysis. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 143-158.
  75. Savitskiy V.O., Sidorov D.V. Lazy source code analysis for C/C++ languages. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 133-142.
  76. N.L. Lugovskoy. The refactoring approach used in Klocwork Insight toolkit. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 107-132.
  77. Nazarov A.G., Klimushenkova M.A., Dovgalyuk P.M., Makarov V.A. Raising the level of abstraction of program’s execution trace. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 93-106.
  78. Kurmangaleev S.F., Korchagin V.P., Savchenko V.V., Sargsyan S.S. Building obfuscation compiler based on LLVM infrastructure. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 77-92.
  79. Kurmangaleev S.F., Korchagin V.P., Matevosyan H.A. Description of the approach to development of the obfuscating compiler. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 67-76.
  80. M.G. Bakulin, S.S. Gaissaryan, Sh.F. Kurmangaleev, I.N. Ledovskikh, V.A. Padaryan, S.M. Shchevyeva. Dynamic analysis of virtualization- or dispatching-obfuscated applications. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 49-66.
  81. Alexey Merkulov, Andrey Belevantsev. Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 33-48.
  82. M.S. Akopyan. Extension of ParJava model for HPC clusters with multicore nodes. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 13-32.

Back to the list of publications of ISP RAS