Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2016

  1. Natalia Fursova Introspection of the virtual machines with system calls monitoring: student research abstract. SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pages 1582-1583, ACM New York.
  2. Mayorov V., Andrianov I. MayAnd at SemEval-2016 Task 5: Syntactic and word2vec-based approach to aspect-based polarity detection in Russian. Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval-2016). 2016. pp. 325-329.
  3. Sysoev A., Andrianov I. Named Entity Recognition in Russian: the Power of Wiki-based Approach. Computational Linguistics and Intellectual Technologies (Proceedings of the Annual International Conference “Dialogue”). Issue 15(22). 2016. pp. 746-755.
  4. Ekaterina M.Lavrischeva. Assemblling Paradigms of Programming in Software Engineering. Journal of Software Engineering and Applications, 2016, 9, 296-317.
  5. Denis Buzdalov. Simulation of AADL models with software-in-the-loop execution ACM SIGAda’s High Integrity Language Technology (HILT16) International Workshop on Model-Based Development and Contract-Based Programming as part of Embedded Systems Week (ESWEEK)
  6. Mordan V., Mutilin V. Checking several requirements at once by CEGAR Lecture Notes in Computer Science. — 2016. — Vol. 9609. — P. 218–232.
  7. S. Apel, D. Beyer, V. Mordan, V. Mutilin and A. Stahlbauer. On-The-Fly Decomposition of Specifications in Software Model Checking 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. – 2016.
  8. I.V. Bogomolov, A.V. Aleksiyants, O.D. Borisenko, A.I. Avetisyan. Scalability Problems In Cloud Environments And Reasons For Performance Degradation On Identity Service Openstack Keystone IZVESTIYA SFedU. ENGINEERING SCIENCES ,12, 2016
  9. V. Vardanyan Profile-based optimizations for JavaScript programs Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 5-20.
  10. V. Koshelev, V. Ignatyev, A. Borzilov C# static analysis framework Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 21-40.
  11. A. Dergachev, A. Sidorin Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 41-62.
  12. E.A. Kudryashov, D.M. Melnik, A.V. Monakov Dynamic loader optimization for ARM Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 63-80.
  13. V. Platonov, A. Monakov Overlapping communications and computations in GPU-based iterative linear solvers Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 81-92.
  14. E.V. Palchevsky, A.R. Khalikov Uniformly distributed load of hardware and software core in the UNIX-based systems Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 93-102.
  15. I.B. Burdonov, A.S. Kossatchev Testing of automata system Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 103-130.
  16. I.B. Burdonov, A.S. Kossatchev Automata system: composition according to graph of links Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 131-150.
  17. I.B. Burdonov, A.S. Kossatchev Automata system: determinism conditions and testing Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 151-184.
  18. A. Tsynaeva, M. Nikitin Numerical modeling of rectangular channel with shallow dumbbell dimples based Code Saturne Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 185-196.
  19. A.I. Ryakhovskiy, A.A. Schmidt MHD supersonic flow control: OpenFOAM simulation Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 197-206.
  20. N.F. Dimitrieva, Yu.D. Chashechkin High-performance numerical simulation of stratified flows around a wedge in OpenFOAM Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 207-220.
  21. V. Puzikova Realization of parallel computations in the software package «LS-STAG_turb» for viscous incompressible flow simulation on systems with shared memory Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 221-242.
  22. E. Davydova, V. Korchagova Open-source software for modelling of free surface flows Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 243-258.
  23. K.S. Kuzmina, I.K. Marchevsky On the estimations of efficiency and error of fast algorithm in vortex element method Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 259-274.
  24. M. Providukhina, I. Sibgatullin Application of statistical and spectral methods to computational modeling of internal wave attractors Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 275-282.
  25. Julia Belyakova Language Support for Generic Programming in Object-Oriented Languages: Design Challenges Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 5-32.
  26. Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera Refinement Types in Jolie Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 33-44.
  27. G.A. Zimin, D.A. Mordvinov Visual Dataflow Language for Educational Robots Programming Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 45-62.
  28. M.S. Malevannyy, S.S. Mikhalkovich Context-Based Model for Concern Markup of a Source Code Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 63-78.
  29. A.S. Yugov Approach to Anti-pattern detection in Service-oriented Software Systems Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 79-96.
  30. A. Gudoshnikova, Y. Litvinov Technology for application family creation based on domain analysis Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 97-110.
  31. Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin Usability of AutoProof: a case study of software verification Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 111-126.
  32. M.I. Polubelova, S.N. Bozhko, S.V. Grigorev Certified Grammar Transformation to Chomsky Normal Form in F* Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 127-138.
  33. C. Thule, P.G. Larsen Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 139-156.
  34. A.M. Troitskiy, D.V. Buzdalov A static approach to estimation of execution time of components in AADL models Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 157-172.
  35. I.V. Koverninskiy, A.V. Kan, V.B. Volkov, Yu. S. Popov, N.K. Gorelits Practical experience of software and system engineering approaches in requirements management for software development in aviation industry Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 173-180.
  36. K.M. Mallachiev, N.V. Pakulin, A.V. Khoroshilov Design and architecture of real-time operating system Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 181-192.
  37. A.N. Emelenko, K.A. Mallachiev, N.V. Pakulin Developing a Debugger for Real-Time Operating System Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 193-204.
  38. Gossen F., Margaria T., Göke T Modelling the People Recognition Pipeline in Access Control Systems Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 205-220.
  39. D.V. Puzyrkov, V.O. Podryga, S.V. Polyakov Parallel processing and visualization for results of molecular simulation problems Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 221-242.
  40. D.D. Kozhevnikov, N.V. Krasilich Memristor-based Hardware Neural Networks Modelling Review and Framework Concept Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 243-258.
  41. I. Chucklyaev Composition model and method of creation of functionally-oriented information resources Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 259-270.
  42. E.A. Glukhoded, S.I. Smetanin The Method of Converting an Expert Opinion to Z-number Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 7-20.
  43. S.M. Avdoshin, A.V. Lazarenko Deep Web Users Deanonimization System Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 21-34.
  44. P.P. Oleynik, S.M. Salibekyan Model of security for object-oriented and object-attributed applications Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 35-50.
  45. A.S. Kiryantsev, I.A. Stefanova Dynamic key generation according to the starting time Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 51-64
  46. D.I. Samokhvalov, L.W. Dworzanski Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 65-84
  47. K.V. Davydova, S.A. Shershakov Mining Hierarchical UML Sequence Diagrams from Event Logs of SOA Systems while Balancing between Abstracted and Detailed Models Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 85-102
  48. I.S. Shugurov, A.A. Mitsyuk Applying MapReduce to Conformance Checking Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 103-122.
  49. A.D. Ermakov, N.V. Yevtushenko Deriving adaptive checking sequence for nondeterministic Finite State Machines Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 123-144.
  50. P. Drobintsev, V. Kotlyarov, I. Nikiforov, N. Voinov, I. Selin Conversion of abstract behavioral scenarios into scenarios applicable for testing Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 145-160.
  51. M. Petrochenkov, I. Stotland, R. Mushtakov Approaches to Stand-alone Verification of Multicore Microprocessor Caches Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 161-172.
  52. E.A. Ilchenko Tools of mathematical service MathPartner for parallel computations on a cluster Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 173-188
  53. V.V. Kuliamin, E.M. Lavrischeva, V.S. Mutilin, A.K. Petrenko Verification and analysis of variable operating systems Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 189-208.
  54. A.R. Topchyan Enabling Data Driven Projects for a Modern Enterprise Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 209-230
  55. V.N. Yudin, L.E. Karpov, V.Y. Abramov Feature’s types and their role in differentiating classes for estimation of not fully described object Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 231-240
  56. Y.A. Rumayanstev, P.N. Zakharov, N. A. Abrashitova, A.V. Shmatok, V.O. Ryzhikh, N.B. Gudimchuk, F.I. Ataullakhanov PGA HPC Implementation of Microtubule Brownian Dynamics Simulations Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 241-266
  57. M.V. Kraposhin Study of capabilities of hybrid scheme for advection terms approximation in mathematical models of compressible flows Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 267-326.
  58. A.R. Topchyan Information Retrieval and Analysis for a Modern Organization Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 7-28.
  59. A.R. Topchyan Scalable Sandbox Environments for a Modern Organization Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 29-40.
  60. M.S. Lebedev, S.A. Smolov A Model Checking-Based Method of Functional Test Generation for HDL Descriptions Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 41-56.
  61. V.S. Burenkov, A.S. Kamkin Checking Parameterized Promela Models of Cache Coherence Protocols Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 57-76.
  62. A.D. Tatarnikov Language for Describing Templates for Test Program Generation for Microprocessors Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 77-98.
  63. A.S. Kamkin, A.M. Kotsynyak Specification-Based Test Program Generation for MIPS64 Memory Management Units Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 99-114.
  64. V.O. Ermakova, I.A. Lomazova Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 115-136.
  65. A.N. Fedotov Method for exploitability estimation of program bugs Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 137-148.
  66. I. Dudina, V. Koshelev, A. Borodin Statically detecting buffer overflows in C/C++ Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 149-168.
  67. A.V. Monakov, V.A. Ivanishin Implementing OpenMP 4.0 for the NVIDIA PTX architecture in GCC compiler Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 169-182
  68. V.N. Yudin, L.E. Karpov Model of spontaneously changing object behavior in case control approach Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 183-192.
  69. R.I. Guralnik Some problems on graph databases Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 193-216.
  70. E.Y. Sharygin, R.A. Buchatskiy, L.V. Skvortsov, R.A. Zhuykov, D.M. Melnik Dynamic compilation of expressions in SQL queries for PostgreSQL Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 217-240.
  71. K.A. Kazakov, V.A. Semenov An overview of modern methods for motion planning Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 241-294.
  72. N.A. Belov Automatic uninitialized value usage detection during full-system emulation Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 11-26.
  73. A.V. Kogtenkov Mechanically Proved Practical Local Null Safety Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 27-54.
  74. P. Dovgalyuk, V. Makarov When stack protection does not protect the stack? Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 55-72.
  75. A.N. Fedotov, V.A. Padaryan, V.V. Kaushan, Sh.F. Kurmangaleev, A.V. Vishnyakov, A.R. Nurmukhametov Severity software defects estimation in presence of modern defense mechanisms Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 73-92.
  76. A.R. Nurmukhametov The Application of Compiler-based Obfuscation and Diversification for Program Signature Modification Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 93-104.
  77. V.K. Koshelev Formalization of Error Criteria for static symbolic execution Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 105-118.
  78. I. Dudina Inter-procedural buffer overflows detection in C/C++ source code via static analysis Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 119-134.
  79. V.V. Kaushan Buffer overrun detection method in binary code Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 135-144.
  80. R.R. Mulyukov, A.E. Borodin Using unreachable code analysis in static analysis tool for finding defects in source code Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 145-158.
  81. 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.
  82. K. Dolgorukova, S. Arishin Link-time optimization speedup Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 175-198
  83. K.A. Batuzov Global register allocation during dynamic binary translation Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 199-214.
  84. H.K. Aslanyan, S.F. Kurmangaleev, V.G. Vardanyan, M.S. Arutunian, S.S. Sargsyan Platform-independent and scalable tool for binary code clone detection Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 215-226
  85. I.A. Yakimov, A.S. Kuznetsov Test Readability Optimization in Context of Symbolic Execution Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 227-238.
  86. A.Y. Hmelnov, I.V. Bychkov, A.A. Mikhailov A declarative language FlexT for analysis and documenting of binary data formats Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 239-268.
  87. A.I. Avetisyan Foreword Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016 . pp. 9-10.
  88. A.I. Avetisyan Foreword Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 9-11.
  89. M.A. Klimushenkova, M.G. Bakulin, V.A. Padaryan, P.M. Dovgalyuk, N.I. Fursova, I.A. Vasiliev On Some Limitations of Information Flow Tracking in Full-system Emulators Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 11-26.
  90. A.V. Vishnyakov Classification of ROP gadgets Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 27-36.
  91. R.A. Buchatskiy, E.Y. Sharygin, L.V. Skvortsov, R.A. Zhuykov, D.M. Melnik, R.V. Baev Dynamic compilation of SQL queries for PostgreSQL Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 37-48.
  92. K.M. Lavrischeva, A.K. Petrenko Software Product Lines Modeling Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 49-64.
  93. P.S. Andrianov, V.S. Mutilin, A.V. Khoroshilov Adjustable method with predicate abstraction for detection of race conditions in operating systems Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 65-86.
  94. A.S. Kamkin, A.M. Kotsynyak, A.S. Protsenko, A.D. Tatarnikov, M.M. Chupilko MicroTESK-Based Test Program Generator for the ARMv8 Architecture Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 87-102.
  95. A. I. Get'man, Yu. V. Markin, D. O. Obydenkov, V. A. Padaryan, A. Yu. Tikhonov Methods of presenting the results of network traffic analysis Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 103-110.
  96. O. Borisenko, R. Pastukhov, S. Kuznetsov Deploying Apache Spark virtual clusters in cloud environments using orchestration technologies Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 111-120.
  97. R. Massobrio, S. Nesmachnow, A. Tchernykh, A. Avetisyan, G. Radchenko Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 121-140.
  98. D.Yu. Ignatov, A.N. Filippov, A.D. Ignatov, X. Zhang Automatic Analysis, Decomposition and Parallel Optimization of Large Homogeneous Networks Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 141-152.
  99. M. Drobyshevskiy, A. Korshunov, D. Turdakov Parallel modularity computation for directed weighted graphs with overlapping communities Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 153-170.
  100. A. Gomzin, S. Kuznetsov A method of automatically estimating user age using social connections Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 171-184.
  101. Y.S. Trofimovich, I.S. Kozlov, D.Y. Turdakov Approaches to estimate location of social network users based on social graph Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 185-196.
  102. D.A. Ustalov Joining Dictionaries and Word Embeddings for Ontology Induction Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 197-206.
  103. I.S. Alimova, V.D. Solovyev, I.Z. Batyrshin Comparative analysis of the similarity measures based on the moving approximation transformation in problems of time series classification Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 207-222.
  104. D.O. Mashkin, E.V. Kotelnikov Aspect term extraction based on word embedding and conditional random fields Proceedings of the Institute for System Programming. Volume 28, issue 6, 2016 . pp. 223-240.

Back to the list of publications of ISP RAS