brand

Publications during 2022

What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2022

  1. S.K. Mitrofanov, V.Yu. Cheptsov, M.Yu. Krichanov, A.V. Khoroshilov Secure booting of the Linux kernel in a UEFI environment: problems and prospects OS DAY 2022 Conference. Technological fundamentals of operating system security
  2. Gerlits E.A., Kildishev D.S., Khoroshilov A.V. Elicitation of functional requirements from the application programming interface documentation for functional testing Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 7-22
  3. Pozin B.A., Tsiperman G.N. Requirements traceability as the basis for designing a functional and logical architecture of a software system Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 23-34
  4. Markin D.O., Makeev S.M., Ho T.T. Security threat level estimation for untrusted software based on TrustZone technology Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 35-48
  5. Surchenko A.V. Evaluation of Hardware Data Compression in Interprocessor Links of Elbrus Processors Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 49-58
  6. Romanova D.S., Nepomnyashchiy O.V., Ryzhenko I.N., Legalov A.I., Sirotinina N.Y. Parallelism reduction method in the high-level VLSI synthesis implementation Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 59-72
  7. Moskin N.D., Rogov A.A., Voronov R.V. Generalized context-dependent graph-theoretic model of folklore and literary texts Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 73-86
  8. Chernenkiy V.M., Dunin I.V., Gapanyuk Yu.E. The Software Implementation of a Metagraph Processing System Based on the Big Data Approach Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 87-100
  9. Burdonov I.B., Karnov A.A. Matrix regularity analysis Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 101-122
  10. Feoktistov A.G., Kostromin R.O., Gorsky S.A., Bychkov I.V., Tchernykh A.N., Basharina O.Yu. Redundancy and Uncertainty-Based Algorithms for Computation Planning Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 123-140
  11. Zhaxybayev D.O., Mizamova G.N. Natural Language Processing Algorithms for Understanding the Semantics of Text Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 141-150
  12. Safin K.F., Chehovich Y.V. Combined method for plagiarism detection in text documents Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 151-160
  13. Likhachev I.V. Solving of the problem of storing trajectories of molecular dynamics in a DBMS Proceedings of the Institute for System Programming. Volume 34, issue 1, 2022 . pp. 161-172
  14. Agafonov V.A., Frolov P.V., Meshkov A.N. An Approach to Test Program Generation for Memory Coherence Verification of “Elbrus” Microprocessors Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 7-16
  15. Kobyshev K.S., Molodyakov S.A. An algorithm of test generation from functional specification using Open IE model and clustering Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 17-24
  16. Vishnyakov A.V., Kobrin E.A., Fedotov A.N. Error detection in binary code with dynamic symbolic execution Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 25-42
  17. Zayakin V.S., Lyadova L.N., Rabchevskiy E.A. Design Patterns for a Knowledge-Driven Analytical Platform Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 43-56
  18. Pribylev T.M., Zaytsev M.N., Vikentyeva O.L. Actor-oriented approach for business-process management of analytical system development Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 57-66
  19. Samoylova K.V., Zamyatina E.B. Architecture a software system for designing robust business processes Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 67-76
  20. Krasnov F.V., Smaznevich I.S., Baskakova E.N. Text sampling strategies for predicting missing bibliographic links Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 77-88
  21. Perminov A.I., Turdakov D. Y., Belyaeva O.V. Loss functions for train document image segmentation models Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 89-110
  22. Lazarev V.A., Varlamov M.I., Yatskov A.K Job management system for automated data collection from the Internet Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 111-122
  23. Stonozhenko K. M., Nikiforov I. V., Ustinov S. M. Automated Object Storage Management Approach with Operator SDK and Custom Resource Definition Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 123-134
  24. Shibaev P.P., Chupakhin А.А. Wi-Fi Sensing Human Detection with Kolmogorov-Wiener Filter and Gated Recurrent Neural Networks Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 135-144
  25. Rudko I.D., Khoroshko L.L., Keyno P.P. Automation of the process of environmental monitoring in specially protected natural territories of the Russian Federation based on the content management system Directum RX Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 145-158
  26. Ignatyev A.O., Kalinin A.A., Mokshin S.Yu. Task and resources management function in HPC operation system «SPO Super-EVM» Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 159-178
  27. Smirnov P.A, Malinovskaya V.V., Voinov N.V. A Web Application to Promote Blood Donation in Russia Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 179-190
  28. Kondrateva O.A., Karpulevich E.A. Modification of the Method for Calculating Polygenic Risks with Variation Graph Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 191-200
  29. Busenkov A.A., Kholodov E.A., Novikov R.S., Pozin B.A. Approach to Displaying Data to Users of Telemedicine Systems for Early Detection of Diseases by ECG Proceedings of the Institute for System Programming. Volume 34, issue 2, 2022 . pp. 201-208
  30. Vishnyakov A.V. Analyzing properties of path predicate slicing algorithm Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 7-12
  31. Kanatov A.V., Zouev E.A. Unified type system for the modern general-purpose programing language Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 13-30
  32. Miroshnikov V.I. Diff tool for comparing .NET assemblies in the Rider IDE Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 31-46
  33. Sherbakov A.S., Frolov V.A., Galaktionov V.A. Virtual patches approach for radiosity Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 47-60
  34. Valueva M.V., Valuev G.V., Babenko M.G., Tchernykh A., Cortes-Mendoza J. M. Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 61-74
  35. Gladkov A.V., Kuchukov V.A., Babenko M.G., Tchernykh A.N., Berezhnoy V.V., Drozdov A.Yu. Modified Error Detection and Localization in the Residue Number System Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 75-88
  36. del Ángel-Flores H., López-Domínguez E., Hernández-Velázquez Y., Domínguez-Isidro S., Medina-Nieto M.A., de la Calleja J. Mobile Learning Platform focused on Learning Monitoring and Customization: Usability Evaluation Based on a Laboratory Study Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 89-110
  37. Reyes-Flores A., Mezura-Godoy C., Benítez-Guerrero E., Montané-Jiménez L.G. Group Cohesion for a Coaching System in Co-located Collaborative Environments Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 111-126
  38. Silva-Vásquez P.O., Rosales-Morales V.Y., Benítez-Guerrero E. Model-Driven in Serios Games and Serious Games with User-Centered Design in the Last Decade: A Review Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 127-144
  39. Ortega Y.N., Mezura-Godoy C. Usability Evaluation of Brain Computer Interfaces: Analysis of State of Art Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 145-158
  40. Burdonov I.B., Yevtushenko N.V., Kossatchev A.S. Implementation of distributed and parallel computing in the SDN network Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 159-172
  41. Martishin S.A., Khrapchenko M.V., Shokurov А.V. Organization of a secure query to a database in the cloud Proceedings of the Institute for System Programming. Volume 34, issue 3, 2022 . pp. 173-188
  42. Kozachok A.V., Spirin A.A., Kozachok E.S. Review of methods for early melanoma computer vision detection Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . стр. 241-250
  43. Gerasimov A.Y., Kanakhin A.A., Privalov P.A., Zhukov A.A., Kaminsky E.A. Case study: source code static analysis for performance issues detection. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 7-24
  44. Egorova V.V., Panov A.S., Telezhnikov V.Y., Devyanin P.N. Approaches for improving the efficiency of protected OS components fuzzing. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 21-34
  45. Kovalenko R.D., Makarov A.N. ELF dynamic analysis tool for IoT systems with symbolic execution support. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 35-48
  46. Misonizhnik A.V., Babushkin A.A., Morozov S.A., Kostyukov Yu.O., Mordvinov D.A., Koznov D.V. Automated testing of LLVM programs with complex input data structures. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 49-62
  47. Ragozina P., Ignatyev V. Detection of erroneous usage of synchronization monitor in С# via static analysis. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 63-78
  48. Arutyunov G.A., Avdoshin S.M. Big Transformers for Code Generation Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 79-88
  49. Kataev N.A., Kolganov A.S. Data distribution and parallel code generation for heterogenious computational clusters. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 89-110
  50. Dolgodvorov E. V., Buchatskiy R. A., Pantilimonov M. V., Melnik D.M. JIT-aware DBMS planner configuration. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 101-116
  51. Ivankov D.V. Large-scale scientific data and long-term data storage function in a computing center. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 117-134
  52. Lependin A.A., Nasretdinov R.S., Ilyashenko I.D. Speech Enhancement Method Based on Modified Encoder-Decoder Pyramid Transformer. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 135-152
  53. Kozachok A.V., Kozachok V.I., Kopylov S.A., Gorbachev P.N., Markin Y.V., Obydenkov D.O. Experimental evaluation of the text documents marking algorithm based on interword distances shifting. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 153-172
  54. Leonov A.S., Laptev A.A., Laushkina A.A., Sinko M.V., Basov O.O. An algorithm for finding specialists with unique skills based on a digital footprint. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 173-186
  55. Mezentseva A.A., Bruches E.P., Batura T.V. Methods and techniques to automatic entity linking in Russian Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 187-200
  56. Alexandrov I.A., Kuklin V.Zh., Muranov А.N., Tatarkanov А.А. Theoretical Foundations of an Algorithm of Visualization of a Set of Points of a Multidimensional Space for Use in Anthropotechnical Decision Support Systems. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 201-210
  57. Lazarev N.A., Borisenko O.D. Requirements and architecture design for cloud PaaS orchestrator. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . pp. 211-228
  58. Mashkova O.A., Shaklein V.V., Markin Yu.V., Karpulevich E.A., Ananev V.V., Asatryan A.A., Tigranyan Sh.T., Skorik S.N., Turdakov D.Yu. Methods for determining the elements of the PQRST-complex of the electrocardiogram. Proceedings of the Institute for System Programming. Volume 34, issue 4, 2022 . стр. 229-240
  59. Kamkin A.S., Chupilko M.M., Lebedev M.S., Smolov S.A., Gaydadjiev G. Comparison of High-Level Synthesis and Hardware Construction Tools. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 7-22
  60. Garashchenko A.V., Lashina D.S., Nikitin S. A., Nikolaev A. V., Prokopev E. A., Putrya F. M., Tsyrenzhapov B.N. The practice and prospects of using open and proprietary software solutions in the SoC verification flow. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 23-42
  61. Sharkov I.V. Protocol automata recovery method using binary code. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 43-62
  62. Borisov P.D., Kosolapov Yu.V. A method for evaluating the similarity of program code using machine learning methods. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 63-76
  63. Mironov S.V., Batraeva I.A., Dunaev P.D. Library for Development of Compilers. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 77-88
  64. Dovgalyuk P.M., Klimushenkova M.A., Fursova N.I., Stepanov V.M., Vasiliev I.A., Ivanov A.A., Ivanov A.V., Bakulin M.G., Egorov D.I. Natch: using virtual machine introspection and taint analysis for detection attack surface of the software. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 89-110
  65. Getman A.I., Goryunov M.N., Matskevich A.G., Rybolovlev D.A. A Comparison of a Machine Learning-Based Intrusion Detection System and Signature-Based Systems. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 111-126
  66. Pastukhov R.K., Drobyshevskiy M.D., Turdakov D.Yu. Detecting Influential Users in Social Networks Based on Bipartite Comments Graph. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 127-142
  67. Borisova A.A., Borisenko O.D. Research of Construction Methods for Cloud Services and Overview of the Implementations TOSCA Standard. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 143-162
  68. Donina O.V. Data Mining Methods to Compare Englishes. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 163-170
  69. Khoroshilov Alexander A., Nikitin Yu.V., Kan A.V., Kozlovskaya Ya.D., Evdokimova E.A. Context resolution of homonymy based on a centroid-context model. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 171-182
  70. Dworzanski L.W. Overapproximation of the Number of Active Timers in Timed-Arc Petri Nets Using DP-Systems. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 183-194
  71. Benderskyi B.Ya., Chernova A.A. Turbulent gas flows in channels of different cross-sectional shapes with mass flow. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 195-204
  72. Baymetova E.S., Hval'ko M.E., Armyanin A.Yu. Modeling of coupled heat transfer in microchannels in OpenFOAM. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 205-214
  73. Koshelev K.B., Osipov A.V., Strijhak S.V. Features of creating a mesh for modeling the icing process of a delta-wing with a complex shape. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 215-226
  74. Amosova E.V., Kuznetsov K.S., Lemeshev V.S. Mathematical modeling of hydrodynamic processes in the coastal waters of the Sea of Japan. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . стр. 227-242
  75. Potapov I.I., Timosh P.S. Solving the shallow water problem by central differences and FCT correction. Proceedings of the Institute for System Programming. Volume 34, issue 5, 2022 . pp. 243-250
  76. Afanasyev V.O., Dvortsova V.V., Borodin A.E. Static analysis for languages with exception handling. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 7-28
  77. Karcev V. S., Ignatiev V.N. Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 29-40
  78. Tsiazhkorob U.V., Ignatiev V.N., Belevantsev A.A. Detection of uses of disposed resources in C# source code using static analysis. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 41-50
  79. Shimchik N. V., Ignatyev V. N., Belevantsev A. A. Irbis: static taint analyzer for vulnerabilities detection in C/C++. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 51-66
  80. Fayzrakhmanov T.R. Introducing Programming Language Metrics. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 67-84
  81. Bocharov N.A., Paramonov N.B., Slavin O.A., Suminov K.A. Mathematical and software models of technical vision tasks of robotic complexes based on “Elbrus” microprocessors. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 85-100
  82. Kurdenkova E.O., Cherepnina M.S., Chistyakova A.S., Arkhipenko K.V. Effect of transformations on the success of adversarial attacks for Clipped BagNet and ResNet image classifiers. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 101-116
  83. Markin E.I., Zuparova V.V., Martyshkin A.I. Exploring the application of neural networks for facial image reconstruction in recognition systems. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 117-126
  84. Martyshkin A.I., Bershadskaya E.G., Markin E.I., Zuparova V.V. Modification of the Method of Object Contours Extraction in Intelligent Systems. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 127-136
  85. Mikhailov A.A. Automatic data labeling for document image segmentation using deep neural networks. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 137-146
  86. Jayatilake D., Phung K., Ogunshile E., Aydin M. Modelling Interrelationship between Diseases with Communicating Stream X-Machines. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 147-164
  87. Koshelyuk N.A. The «Phonology» option of the LingvoDoc platform as a verification method (based on the data of the Sosva dialect of the Mansi language). Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 165-172
  88. Nurieva F.Sh., Galiullina G.R., Yusupov A.F. Research Perspectives on the Tatar language based on the LingvoDoc platform. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 173-178
  89. Studenikina K.A. Evaluation of neural models’ linguistic competence: evidence from Russian predicate agreement. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 179-184
  90. Ali R. Effect of relative longitudinal spacing on the dynamic behavior of two interacting ships in head waves. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 185-196
  91. Gordeeva U.S., Sharipov F.M. Mathematical modeling the process of gas flow in the turbomolecular pump using the Cercignani-Lampis gas-surface interaction model. Proceedings of the Institute for System Programming. Volume 34, issue 6, 2022 . pp. 197-206

Back to the list of publications of ISP RAS