Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2019

  1. Y.R. Nedumov, A.V. Babichev, I.D. Mashonsky, N.V. Semina SciNoon: Exploratory Search System for Scientific Groups Joint Proceedings of the ACM IUI 2019 Workshops
  2. Mikhail Drobyshevskiy, Denis Aivazov, Denis Turdakov, Alexander Yatskov, Maksim Varlamov, Danil Shayhelislamov Collecting Influencers: a Comparative Study of Online Network Crawlers Ivannikov Ispras Open Conference (ISPRAS)
  3. Mikhail Drobyshevskiy, Denis Turdakov. Random graph modeling: A survey of the concepts ACM Computing Surveys (CSUR) 52 (6), 1-36
  4. E.M. Lavrischeva, V.S. Mutilin, S.V. Коzin, A.V. Ryzhov Modeling of application and information systems from ready–made Internet service resources Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 7-24.
  5. N.K. Gorelits, D.S. Kildishev, A.V. Khoroshilov Requirements management for safety-critical systems. Overview of solutions Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 25-48.
  6. M.S Arutunian, G.S. Ivanov, V.G. Vardanyan, H.K. Aslanyan, A.I. Avetisyan, Sh.F. Kurmangaleev Analysis of program changes nature and searching for unpatched code fragments Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 49-58.
  7. A.S. Chadin, G.A. Biziukin Determining cloud platform limits on resource migration Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 59-68.
  8. A.I. Sokolova, A.S. Konushin Methods of gait recognition in video Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 69-82.
  9. S.E. Slyadnev, V.E. Turlapov Toward the development of open source software for the reconstruction of CAD-models Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 83-104.
  10. A.V. Maksimov, E.A. Kiselev, S.D. Kurgalin, S.A. Zuev Mathematical model describing air flow dynamics in a turbine spirometer Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 105-114.
  11. D.V. Efanov, V.V. Sapozhnikov, Vl.V. Sapozhnikov, D.V. Pivovarov Fault detection in combinational circuits based on self-dual complement to constant-weight code Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 115-132.
  12. D.O. Lazarev, N.N. Kuzyurin An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of large number of strips given Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 133-142.
  13. Tchernykh A.N., Hadjali A. Editorial: Special Issue on «Advanced Computing: from Theory to Practice» Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 7-14.
  14. Iturriaga Fabra S.D., Nesmachnow Cánovas S.E., Goñi Bofrisco G., Dorronsoro Díaz B., Tchernykh A.N. Soft computing methods for design and optimization of cloud-based Content Distribution Networks Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 15-20.
  15. Massobrio R., Dorronsoro Díaz B., Nesmachnow Cánovas S.E. Virtual Savant for the Knapsack Problem: learning for automatic resource allocation Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 21-32.
  16. Sun Y., Zhao Z., Ma X., Du Z. Hybrid Model for Efficient Anomaly Detection in Short-timescale GWAC Light Curves and Similar Datasets Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 33-40.
  17. Vershkov N.N., Kuchukov V.A., Kuchukova N.N. The theoretical approach to the search for a global extremum in the training of neural networks Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 41-52.
  18. Hussain A., Safyan M., Ul Qayyum Z., Sarwar S., Iqbal M., Saqib N.A. Mitigating MAC Layer Performance Anomaly of Wi-Fi Networks through Adaptable Channelization Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 53-66.
  19. Ivanov M.V., Sergiyenko O.Yu., Tyrsa V.V., Lindner L., Rodriguez-Quiñonez J.C., Flores-Fuentes W., Rivas-Lopez M., Hernández-Balbuena D., Nieto Hipólito J.I. Wireless integration to optimize environmental recognition and calculate the trajectory of a group of robots Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 67-82.
  20. Feoktistov A.G., Gorsky S.A., Sidorov I.A., Kostromin R.O., Fereferov E.S., Bychkov I.V. Continuous integrating modules of distributed applied software packages in Orlando Tools Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 83-96.
  21. M.A. Alaniz, Nesmachnow Cánovas S.E. A semi-automatic approach for parallel problem solving using the Multi-BSP model Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 97-120.
  22. Ahmad Z., Jehangiri A.I., Iftikhar M., Umer A.I., Afzal I. Data-Oriented scheduling with Dynamic-Clustering fault-tolerant technique for Scientific Workflows in Clouds Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 121-136.
  23. Garay Alvarez G.R., Bertot Valdés J.A., Perez-Teruel K. Internet of Things for evaluating foraging and feeding behavior of cattle on grassland-based farming systems: concepts and review of sensor technologies Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 137-152.
  24. Chervyakov N.I., Deryabin M.A., Nazarov A.S., Babenko M.G., Kucherov N.N., Gladkov A.V., Radchenko G.I. Secure and Reliable Data Transmission Over MANET Based On Principles of Computationally Secure Secret Sharing Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 153-170.
  25. Sarwar S., Ul Qayyum Z., Safyan M., Iqbal M., Mahmood Y. Graphs Resemblance based Software Birthmarks through Data Mining for Piracy Control Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 171-186.
  26. Babenko M.G., Tchernykh A.N., Chervyakov N.I., Kuchukov V.A., Miranda-López V., Rivera-Rodriguez R., Du Z. Efficient Number Comparison in the Residue Number System based on Positional Characteristics Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 187-202.
  27. Goloveshkin A.V. Tolerant parsing using modified LR(1) and LL(1) algorithms with embedded “Any” symbol Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 7-28.
  28. Gudiev A.V., Grazhevskaya A.S Graphic DSL for Mobile Development Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 29-34.
  29. Naumović T., Baljak L., Živojinović L., Filipović F Development of а software framework for real-time management of intelligent devices Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 35-46.
  30. Poroshin P.A., Meshkov A.N. An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of «Elbrus» Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 47-58.
  31. Frolov P.V. Approach to test program development for multilevel verification Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 59-66.
  32. Lebedev D.A., Petrochenkov M.V. Test environment for verification of multi-processor memory subsystem unit Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 67-76.
  33. Petrykin A.A., Stotland I.A., Meshkov A.N. Standalone verification of IOMMU with virtualization supporting Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 77-84.
  34. Kotlyarov V.P., Maslakov A.P., Tolstoles A.A. Digital Modelling of Production Engineering for Metalworking Machine Shops Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 85-98.
  35. Nosovskiy M.M., Degtiarev K.Y. Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 99-122.
  36. Putro P.A. Applying High-Level Function Loop Invariants for Machine Code Deductive Verification Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 123-134.
  37. Kamkin A.S., Lebedev M.S., Smolov S.A. Extracting Assertions for Conflicts in HDL Descriptions Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 135-144.
  38. Avdoshin S.M., Beresneva E.N. Constructive heuristics for Capacitated Vehicle Routing Problem: a comparative study Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 145-156.
  39. Tyurin A.V., Tyuluandin I.V., Maltsev V.S., Kirilenko I.A., Berezun D.A. Overview of the Languages for Safe Smart Contract Programming Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 157-176.
  40. Shimchik N.V., Ignatyev V.N. Vulnerabilities Detection via Static Taint Analysis Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 177-190.
  41. Pisarev I.A., Babenko L.K. C# parser for extracting cryptographic protocols structure from source code Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 191-202.
  42. Rigin A.M., Shershakov S.A. SQLite RDBMS Extension for Data Indexing Using B-tree Modifications Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 203-216.
  43. Shalyapina N.A., Gromov M.L. «Life» in Tensor: Implementing Cellular Automata on Graphics Adapters Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 217-228.
  44. Melnichuk D.V. Modeling Nonlinear Stabilization System on Clusters with Intel Xeon Phi Coprocessors Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 229-240.
  45. Godunov A.N., Chemerev F.N. Tracing Tools for «Baget» Family RTOS Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 7-28.
  46. Silakov D.V. Automated Error Detection and Analysis in Hyperconverged Systems Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 29-38.
  47. Staroletov S.M., Amosov M.S., Shulga K.M. Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 39-60.
  48. Timokhin P.Yu., Mikhaylyuk M.V., Vozhegov E.M., Panteley K.D. Technology and methods for deferred synthesis of 4K stereo clips for complex dynamic virtual scenes Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 61-72.
  49. Pandey M., Litoriya R., Pandey P. Application of Fuzzy DEMATEL approach in analyzing mobile application issues Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 73-96.
  50. Karpov Yu.L., Volkova I.A., Vylitok A.A., Karpov L.E., Smetanin Yu.G. Designing classes’ interfaces for neural network graph model Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 97-112.
  51. Nuzhny A.S. Bayes regularization in the selection of weight coefficients in the predictor ensembles Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 113-120.
  52. Avdoshin S.M., Beresneva E.N. Local search metaheuristics for Capacitated Vehicle Routing Problem: a comparative study Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 121-138.
  53. Zubkova N.S., Shershakov S.A. Method for Building UML Activity Diagrams from Event Logs Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 139-150.
  54. Pertsukhov P.A., Mitsyuk A.A. Simulating Petri Nets with Inhibitor and Reset Arcs Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 151-162.
  55. Serebrennikov K.G. Computing Transition Priorities for Live Petri Nets Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 163-174.
  56. Tvardovskii A.S., Yevtushenko N.V. FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 175-188.
  57. Burdonov I.B. Self-transformation of trees with a bounded degree of vertices to minimize or maximize the Wiener index Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 189-210.
  58. Shemetova E. N., Grigorev S.V. Path querying on acyclic graphs using Boolean grammars Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 211-226.
  59. Koltunov D.S., Efimov V.Y., Padaryan V.A. Automated testing of a TCG frontend for Qemu Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 7-24
  60. Fursova N.I., Dovgalyuk P.M. Introspection of QEMU emulator peripherals configuration Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 25-36
  61. Kostyukov Yu.O., Batoev K.A., Mordvinov D.A., Kostitsyn M.P., Misonizhnik A.V. Automatic verification of heap-manipulating programs Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 37-62
  62. Namakonov E. S., Podkopaev A. V. Compilation of OCaml memory model into Power Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 63-78
  63. Sargsyan S.S., Hakobyan J.A., Movsisyan H.M., Mehrabyan M.S., Sirunyan V.T., Kurmangaleev Sh.F. Improving fuzzing performance by applying interval mutations Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 79-88
  64. Nedoria A.E. Language Design: OOP or not OOP or better OOP Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 89-94
  65. Lavrischeva E.M., Zelenov S.V., Pakulin N.V. Methods for assessing the reliability of software and hardware systems Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 95-108
  66. Khan A. DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 109-126
  67. Zubarev D.V., Sochenkov I.V. Cross-lingual similar document retrieval methods Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 127-136
  68. Avetisyan A.A., Drobyshevskiy M.D., Turdakov D.Yu. Methods for News Items Popularity Estimation on Early Stages Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 137-144
  69. Ryndin M.A., Turdakov D.Y. Domain adaptation by proactive labeling Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 145-152
  70. Bērziņš A.A. Usage of i-Vectors for Automated Determination of a Similarity Level between Languages Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 153-164
  71. Samonov A.V. Methods and Means for Automated Information Systems Development based on Ontology «Software and Hardware Complexes Quality Management» Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 165-182
  72. Ivashko E.E., Litovchenko V.S. Dynamic forecasting of the completion time of a computational experiment in a Desktop Grid Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 183-190
  73. Avdoshin S.М., Lazarenko A.В., Chichileva N.И., Naumov P.А., Klyucharev P.Г. Machine Learning Use Cases in Cybersecurity Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 191-202
  74. Andrianov P.S. Analysis of correct synchronization of operating system components Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 203-232
  75. Abramov S.A., Khmelnov D.E., Ryabenko A.A. Procedures to search for Laurent and regular solutions of linear ordinary differential equations with truncated power series coefficients Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 233-248
  76. Vasilyev A.A., Mutilin V.S. Predicate extension of symbolic memory graphs for analysis of memory safety correctness Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 7-20
  77. Gerasimov A.Y., Kutz D.O., Novikov A.A. A formal model for defect detection using symbolic program execution Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 21-32
  78. Bugerya A.B., Efimov V.Yu. Kulagin I.I., Padaryan V.A., Solovev M.A., Tikhonov A.Yu. A software complex for revealing malicious behavior in untrusted binary code Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 33-64
  79. Solovev M.A., Bakulin M.G., Makarov S.S., Manushin D.V., Padaryan V.A. Decoding of machine instructions for abstract interpretation of binary code Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 65-88
  80. Ivanov G.S., Palchickov P.M., Tarasov A.Y., Akimov G.S., Aslanyan A.K., Vardanyan V.G., Arutunian M.S., Keropyan G.S. Research and development of interprocedural algorithms for defect searching in executable program code Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 89-98
  81. Vishnyakov A.V., Nurmukhametov A.R. Survey of methods for automated code-reuse exploit generation. Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 99-124
  82. Grushin D.A., Lazarev D.O., Fomin S.A. Data caching in multi-container systems Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 125-144
  83. Shokurov A.V., Abramova I.V., Varnovsky N.P., Zakharov V.A. On the possibility of secure program obfuscation in some model of cloud computing Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 145-162
  84. Ivanov A.V., Strijhak S.V., Zakharov М. I. Modeling weather conditions in the port area and coastal zone of Tiksi Bay Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 163-176
  85. Koshelev K.B., Sttrijhak S.V. Simulation of particle dynamics in planetary boundary layer and in a model wind farm Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 177-186
  86. Mukha T. Effects of numerical dissipation on the predictive accuracy of wall-modelled large-eddy simulation Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 187-194
  87. Ovchinnikov K.D. Analysis of total resistance for different ship speeds Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 195-202
  88. Ali Rami, Tryaskin N.V. Numerical study on effect of the turbulence initial conditions on transition flow over 2D airfoil. Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 203-214
  89. Mikhailov E.A., Sibgatullin I.N. Research of influence of regular magnetic fields on flows in outer rings of galaxies Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 215-224
  90. Malinovskaya E.A. Study of the conditions for the occurrence of aeolian microrelief Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 225-236
  91. Khokhlov N.I., Petrov I.B. Application of the grid-characteristic method for solving the problems of the propagation of dynamic wave disturbances in high-performance computing systems Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 237-252

Back to the list of publications of ISP RAS