Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2011

Monographs

  1. Burdonov, Igor. Theory of Conformity (functional testing of program systems based on formal models). LAP Lambert Academic Publishing, 2011.
  2. Igor Burdonov, Alexander Kosachev. Nonconforming traces elimination from specification. Preprints of the Institute for System Programming of RAS, Preprint 23, 2011, pp. 1-219.

Other publications

  1. B. Bourdonov, V. P. Ivannikov, A.S.Kosachev, S. D. Kuznetsov A. N. Tomilin Operating System of the Multi-machine Computer AS-6. Perspectives on Soviet and Russian Computing. IFIP Advances in Information and Communication Technology, 2011, Volume 357/2011, pp. 31-35.
  2. N. Pakulin, A. Tugaenko. Model Based Conformance Testing for Extensible Internet Protocols. Proceedings of SYRCoSE 2011.
  3. A. Demakov, A. Kamkin, A. Sortov. High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration. Open Cirrus, 2011.
  4. A. Kamkin. Simulation-Based Verification with Time-Abstract Models. Design & Test Symposium (EWDTS), 2011 9th East-West, 43-47.
  5. M. Chupilko, A. Kamkin. A TLM-based approach to functional verification of hardware components at different abstraction levels. Test Workshop (LATW), 2011 12th Latin American, 1-6.
  6. A.S. Kamkin, M.M. Chupilko. Survey of modern technologies of simulation-based verification of hardware. Programming and Computer Software 37 (3), 147-152.
  7. M.Chupilko. Developing test systems for multi-modules hardware designs. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 111-116.
  8. M.Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs. EWDTS-2011.
  9. A. Kamkin, E. Kornikhin, D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. A-MOST, 2011.
  10. Vladimir V. Rubanov, Eugene A. Shatokhin. Runtime Verification of Linux Kernel Modules Based on Call Interception. Proc. of the Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11), pp. 180-189. Berlin, Germany, March 2011.
  11. Burdonov I., Ivannikov V., Kosachiov A. The KLASTOS Project SORUCOM-2011 Proceedings,12–16 September, 2011, Veliky Novgorod, Russia, pp. 76-82.
  12. Khoroshilov A., Mutilin V., Novikov E., Shved P., Strakh A. Towards an Open Framework for C Verification Tools Benchmarking. In Proceedings of the Eighth International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2011), 82-91, Novosibirsk, Russia, June 27 - July 1, 2011.
  13. A.V.Khoroshilov, A.K.Petrenko. Model Based Testing in LSB Compliance Program. MBT User Conference, Berlin, October 18-20th, 2011.
  14. Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko, Alexender Ugnenko. Integrating AADL-based Tool Chain into Existing Industrial Processes. In Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011), pp. 367-371, ISBN: 978-1-61284-853-2, Las Vegas, USA, April 27-29, 2011.
  15. O. Khorevsky, A. Khoroshilov, A. Ugnenko, S. Zelenov. Configurable AFDX network simulation. In Proceedings of the International Space System Engineering Conference DASIA-2011, pp. 31-34, San Anton, Malta, May 17-20, 2011.
  16. E.M. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C programming language. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 74-81.
  17. D. V. Silakov, A. V. Khoroshilov. Ensuring portability of software. Programming and Computer Software January 2011, Volume 37, Issue 1, pp 41-47.
  18. V.N. Fedotov. Fuzzy Matching for Partial XML Merge. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 42-44.
  19. V. Kuliamin, N. Pakulin, A. Tugaenko. Case Studies of Summer Model-based Testing Framework. Model-based Testing User Conference, October 18-20, 2011.
  20. P. Shved, V. Mutilin, M. Mandrykin. Static Verification Under The Hood: Implementation Details and Improvements of BLAST. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 54-60.
  21. Vadim Mutilin, Evgeniy Gerlits, Vladimir Fedotov. Analysis of Complex Data Structures with PEX. SSSEV, 2011.
  22. I.B.Bourdonov, A.S.Kossatchev. Safe simulation testing of systems with refusals and destructions. Automatic Control and Computer Sciences, Vol. 45, №7, 2011, pp. 380-389.
  23. Grineva M., Grinev M., Lizorkin D., Boldakov A., Turdakov D., Sysoev A., Kiyko A. Blognoon: Exploring a Topic in the Blogosphere. WWW ’11: Proceedings of the 20th international conference companion on World wide web, Hyderabad, India, pp. 213-216.
  24. Ivannikov V., Turdakov D., Nedumov Y. Fast Text Annotation with Linked Data. Eighth International Conference on Computer Science and Information Technologies 26 - 30 September, 2011, Yerevan, Armenia.
  25. Korshunov A., Turdakov D., Jeong J., Lee M., Moon Ch. A Category-Driven Approach to Deriving Domain Specific Subset of Wikipedia. Proceedings of SYRCoDIS'11: The Seventh Spring Researchers Colloquium on Databases and Information Systems, 2011, pp. 43-53
  26. Bartunov S., Boldakov A., Turdakov D. WikifyMe: Creating Testbed for Wikifers. Proceedings of SYRCoDIS'11: The Seventh Spring Researchers Colloquium on Databases and Information Systems, 2011, pp. 38-42.
  27. Astrakhantsev N. Extracting Objects and Their Attributes from Tables in Text Documents. Proceedings of SYRCoDIS'11: The Seventh Spring Researchers Colloquium on Databases and Information Systems, 2011, pp. 34-47.
  28. Zakharov V.A. Program equivalence checking by two-tape automata. Cybernetics and Systems Analysis, 2011, vol 46, № 4, pp. 554-562.
  29. Vitaly Semenov, Sergey Morozov, Oleg Tarlapan and Vladislav Zolotov Concurrent Planning Using Semantics-driven Reconciliation. Improving Complex Systems Today. Advanced Concurrent Engineering. Publisher: Springer London, 2011. Pp. 191-198.
  30. Ilyin D.I., Morozov S.V., Semenov V.A. On a cardinality problem in object-oriented models. Proceedings of XVI Baikal Conference "Information and Mathematical Technologies in Science and Management". Vol 3. Publisher: ISEM SB RAS, 2011. Pp. 158-163.
  31. Konstantine Kazakov, Vitaly Semenov, Vladislav Zolotov Topological Mapping Complex 3D Environments Using Occupancy Octrees. GraphiCon'2011: The 21st International Conference on Computer Graphics and Vision, September 26-30, 2011, Moscow, Russia: Conference Proceedings. Publisher: МАКС Пресс, 2011. Pp. 111-114.
  32. Vitaly Semenov, Oleg Tarlapan, Sergey Morozov, Konstantine Kazakov, Vladislav Zolotov Global Path Planning in Complex Environments using Metric and Topological Schemes. Proceedings of the CIB W78-W102 2011: International Conference – Sophia Antipolis, France, 26-28 October. Publisher: Office for Official Publications of the European Communities, 2011. Pp. 87-95.
  33. Konstantine Kazakov, Vladislav Zolotov, Vitaly Semenov, Tom Dengenis Virtual Construction: 4D Planning and Validation. CONVR'2011: Proceedings of the 11th International Conference on Construction Applications of Virtual Reality, 3-4 November, 2011, Bauhaus-Universität Weimar, Germany. Publisher: Bauhaus-Universität Weimar, 2011. Pp. 295-308.
  34. V.A. Padaryan, M.A. Solovyev, A.I. Kononov. Modeling operational semantics of machine instructions.
  35. A.I. Avetisyan, A.I. Getman, V.A. Padaryan, M.A. Solovyev, A.YU. Tikhonov. Features of TRAL, a binary code analysis framework, and its future directions. The Proceedings of XX Conference «Methods and technics for information security», 2011.
  36. Taranov I. Using prefix trees for searching text strings with disk-based storage. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 283-296.
  37. Anton V. Korshunov. Keyterm extraction from microblogs' messages using Wikipedia. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 269-282.
  38. Evgeny Kostychev, Vitaly Omelchenko, Sergey Zelenov. Covering functionality of database applications by generating special data. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 253-268.
  39. Sergey D. Kuznetsov. Transactional Massive-Parallel DBMSs: A New Wave. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 189-251.
  40. A.V. Khoroshilov, V.S. Mutilin, E.M. Novikov, P.E. Shved, A.V. Strakh. Linux Driver Verification Architecture. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 163-187.
  41. A.S. Kamkin, M.M. Chupilko. Mechanisms for functional testing of hardware models at different levels of abstraction. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 143-160.
  42. N.V. Pakulin, A.N. Tugaenko. Model-based testing of Internet Mail Protocols. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 125-141.
  43. S.V. Zelenov. Scheduling of Strictly Periodic Tasks in Real-Time Systems. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 113-122.
  44. V.V. Lipaev. Cross programming system YAUZA-6 for specialized real time computers (70s–80s of the last century). Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 95-110.
  45. L.V. Dvoryansky. On the modeling of infinite counters by ordinary Petri nets. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 71-94.
  46. 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.
  47. Kirill Batuzov, Alexey Merkulov. Optimizations in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 37-50.
  48. D.V. Silakov. Using Hardware-assisted Virtualization in the Information Security Area. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 25-36.
  49. A.Y. Tichonov, A.I. Avetisyan. Development of taint-analysis methods to solve the problem of searching of undeclared features. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 9-24.
  50. V.P. Ivannikov. Introduction. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 5-8.
  51. C.S. Pan. Development of a Parallel DBMS on the Basis of PostgreSQL. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 357-370.
  52. Martin Davtyan. Heuristic data modeling in information systems Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 349-356.
  53. Anton V. Korshunov, Denis Yu. Turdakov, Jinguk Jeong, Minho Lee, Changsung Moon. A category-driven approach to deriving domain specific subsets of Wikipedia. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 323-348.
  54. Sergey Bartunov, Alexander Boldakov, Denis Turdakov. WikifyMe: Creating Testbed for Wikifiers. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 311-322.
  55. Nikita Astrakhantsev. Extracting Objects and Their Attributes from Tables in Text Documents. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 297-310.
  56. Anton Pavlov, Boris Dobrov. Detecting Content Spam on the Web through Text Diversity Analysis. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 277-296.
  57. R.M. Miniakhmetov. Integrating Fuzzy c-Means Clustering with PostgreSQL. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 263-276.
  58. Kirill Smirnov, George Chernishev. Empirical study of parallel SQL query execution. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 245-262.
  59. D. Vasilik. Snapshot Isolation Protocol Performance Evaluation. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 227-244.
  60. A.M. Eldarkhanov. An overview of data models of object-oriented DBMSS. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 205-226.
  61. Ivan V. Bludov. Solving NULL issue in queries to a relational database using the operators of relational algebra A. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 183-204.
  62. V.V. Lipaev. Risks of Design and Development of Portable Software Products. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 167-182.
  63. V.A. Zakharov, T.A. Novikova. On the application of substitution algebra to program unification. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 141-166.
  64. Pavel A. Klemenkov. Software performance estimation in a virtualized environment based on atomic tests. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 133-140.
  65. Pavel Dovgalyuk. Deterministic program rerun within a virtual machine. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 123-132.
  66. M.A. Klimushenkova, V.A. Makarov. A Method for Automatic Recovery of Variables Based on Program Execution Traces. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 119-122.
  67. Dmitry Melnik, Alexandr Monakov, Arutyun Avetisyan. Support for Conditional Execution in Selective Scheduling. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 103-118.
  68. A.I. Avetisyan, M.S. Akopyan, S.S. Gaissaryan. The methods of precise measurement of the loop nests' execution time during JavaMPI-programs analysis in ParJava environment. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 83-102.
  69. A.I. Avetisyan, K.U. Dolgorukova, Sh.F. Kurmangaleev. Dynamic profile collection for LLVM. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 71-82.
  70. 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.
  71. Arutyun Avetisyan, Alexey Borodin. Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 39-54.
  72. Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov. Using static analysis for finding security vulnerabilities and critical errors in source code. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 23-38.
  73. Andrey Belevantsev, Alexey Kravets, Alexander Monakov. Automatically generating OpenCL code from loop nests via a polyhedral model. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 5-22.
  74. Ivannikov V.P, Introduction. Proceedings of the Institute for System Programming. Volume 21, 2011 . Стр. I-V

Back to the list of publications of ISP RAS