brand

Publications during 2025

What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2025

  1. Churkin Y.A., Buchatskiy R.A., Kitaev K.N., Volokhov A.G., Dolgodvorov E.V., Kamkin A.S., Kotsynyak A.M., Samovarov D.O. System for Static Analysis of SystemVerilog HDL. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 7-40
  2. Ignatiev V.N. Static analysis on abstract syntax trees based on finite automata. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 41-54
  3. Varfolomeeva A.A., Pyatko L. A., Parshina S.R. Modeling and analysis of the microfluidic chip. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 55-64
  4. Protsenko A.S. Functional testing of language virtual machines based on formal ISA specifications. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 65-86
  5. Kulagin I.I., Buchatskiy R.A., Pantilimonov M.V., Vyazovtsev A.V., Romanov M. M., Melnik D.M. Approach to Building AI-Compilers Using the MLIR Framework. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 87-106
  6. Gerlits E.A., Mutilin V.S. Towards a test automation framework for data race testing. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 107-120
  7. Pozin B.A., Borodushkina P.A., Korotkov D.A., Fedorov M.A., Muratov A.F. Vulnerability detection methodology in software written in several programming languages. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 121-132
  8. Amerikanov A.A., Evtushenko L.G., Zunin V.V., Vinarskii V.M. CAD for remote high-level modeling of NoC. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 133-144
  9. Goncharova O.V. Deep Learning for the Development of an Automatic Transcription System. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 145-158
  10. Kondratyev D.A., Staroletov S.M., Shoshmina I.V., Krasnenkova A.V., Ziborov K.V., Shilov N.V., Garanina N.O., Cherganov T.Y. VeHa-2024 Formal Verification Contest: Two Years of Experience and Prospects. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 159-184
  11. Grigoreva D.D., Serov D.V., Sorokin D.S., Martyshkin A.I. Using artificial intelligence technologies to conduct psychological testing. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 185-200
  12. Koshelev K.B., Kulinsky A.V., Strijhak S.V. Mathematical modeling of soil processes using open-source software. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 201-216
  13. Marchevsky I.K., Puzikova V.V. The LS-STAG Immersed Boundary Method Modification for Non-Newtonian Viscous Fluids Computation. Proceedings of the Institute for System Programming. Volume 37, issue 1, 2025 . pp. 217-234
  14. Nuzhny A.S., Saveleva E.A. Estimation of uncertainty in the regression problem with Bayesian regularization of the solution. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 7-18
  15. Kuznetsov V.V., Andreev D.V., Grishin G.K. FOSS tools usage for circuit simulation in analog IC design. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 19-32
  16. Shchepetov D.S., Timoshenko A.G., Garanzha V.A., Kaporin I.E., Kargin D.N. Methods of circuit and topological synthesis of analog integrated circuits according to specification using machine learning and differentiable programming methods. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 33-48
  17. Lebedev M.S., Dyskina D.A., Eremenko A.Y., Kabanov F.A., Kozmin I.A., Petrenko D.M., Poudial N.B., Sergeev A.A., Shirinova R.A. Netlist-based ASIC area and delay prediction using machine learning. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 49-60
  18. Devyanin P.N., Starostin A.A., Panov D.S., Usachev S.V. Design and development of mandatory integrity control in Astra Linux OS. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 61-78
  19. Chibisov K.A., Buchatskiy R.A., Timonin A.D., Lazar V.I., Zhurikhin D.M., Belevantsev A.A. TSAR: Tool for Static Analyzers Ranking. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 79-96
  20. Raykin G.R., Pelevin M.S., Itsykson V.M. Semantic mutation strategy in grey-box fuzzing. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 97-114
  21. Balabanov F.M., Lukyanov K.S. Improved search in graph AutoML: expansion and dynamic prioritization in the search space for enhanced efficiency. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 115-128
  22. Baimetova.E.S., Koroleva M.R. Construction of a hydraulic model of a heat exchanger. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 129-140
  23. Chernova A.A., Shigapova A.R. Parametric study of the performance efficiency of a single oil cooler section. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 141-152
  24. Morar G., Karpov A.I., Shaklein A.A. Numerical Study of the Turbulent Diffusion Flame on the PMMA Surface using FDS. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 153-162
  25. Koroliova K.S., Potapov I.I. Mathematical modeling of a turbulent fliud flow by using the quasihydrodynamic equations and k-omega turbulence model. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 163-180
  26. Petrov A.G., Potapov I. I. On the erosion of the bottom caused by a suspended turbulent jet. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 181-194
  27. Korepanov M.A., Koroleva M.R., Mitryukova E.A. Interaction of opposed underexpanded jets from micronozzles. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 195-206
  28. Mikhailov E.A., Teplyakov I.O., Vinogradov D.A. Research of the propagation of an impurity in a medium in one applied axisymmetric problem. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 207-216
  29. Titov Y.P., Kilmishkin N.V., Kubrakov D.D., Ivanova P.M. Use of deep learning and natural language processing techniques for searching named entities in the medical instructions for use of drugs. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 217-236
  30. Vorobeva V.V., Novitskaya I.V. What status of the Vasyugan Khanty vernacular do calculations on the LingvoDoc platform support from the point of view of systemic morphological characteristics? Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 237-246
  31. Muratova R.T. Names of jewelry in the Turkic and Finno-Ugric languages of the Ural-Volga region. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 247-254
  32. Bazhenova O.N. The Position of the Komi-Yaz'va Idiom in the Komi Languages Based on Phonetic, Lexical, and Morphological Features: Evidence from the LingvoDoc Platform Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 255-262
  33. Serenko D.S., Terentev E.D., Zubarev D.V., Sochenkov I.V. Architecture of an information collection and extraction system for an intelligent search and analytical platform. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 263-280
  34. Markov N.S. A Model for Atrial Fibrillation Detection Based on Differentiation and Compression of Interbeat Interval Sequences. Proceedings of the Institute for System Programming. Volume 37, issue 2, 2025 . pp. 281-300
  35. Saibodalov M.K., Dashiev M.V., Karandashev I.M., Zheludkov N.V., Kocheva E.S. Application of Neural Networks for Routing Congestion Prediction in VLSI Design Using Initial Layout Parameters. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 9-18
  36. Efanov D.V. Control of Combinational Circuits by Two Diagnostic Criteria Based on Boolean Signal Correction Using the Hamming Codes Properties. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 19-38
  37. Varnovskiy N.P., Martishin S.A., Khrapchenko M.V., Shokurov А.V. Optimizing confidential database queries on the cloud. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 39-58
  38. Menisov A.B., Lomako A.G. Modeling scenarios of destructive impact on the integrity of machine learning models. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 59-68
  39. Gushchin A.E., Antsiferova A.V., Vatolin D.S. Adversarial purification for no-reference image-quality metrics: applicability study and new methods. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 69-84
  40. Molodetskikh I.A., Erofeev M.V., Moskalenko A.V., Vatolin D.S. Temporally coherent person matting trained on fake-motion dataset. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 85-106
  41. Lutsenko V.V., Kravtsov M.D., Gorlacev D.E., Mirny N.M. Research of special sets of moduli of the residue number system. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 107-120
  42. Kuznetsov V.V., Andreev V.V., Lomakin S.A. Electrostatic discharge protection devices macromodelling using open-source tools. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 121-130
  43. Pavlevich A.L. Application of open-source software solving industrial tasks in aerodynamical design and external flow simulation of the aircrafts. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 131-146
  44. Bruches E.P., Baturova D.T., Bondarenko I.Y. BERTScore for Russian. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 147-158
  45. Abodo Eloundou B.D., Quanyu W. Enhanced Text Classification Using DistilBERT with Low-Rank Adaptation: A Comparative Study. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 159-170
  46. Chetvergov A.S., Sharafetdinov R.S., Polukoshko M.M., Akhmetov V.A., Oruzheinikova N.A. Anichkov Ye.S., Alekseevskaia I.S., Bolovtsov S.V., Golosov P.E. SLAVA: benchmark of Sociopolitical Landscape and Value Analysis. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 171-184
  47. Naidenova X.A., Bulykina E.S., Martirova T.A. Development of a system for evaluating cognitive function of introducing ellipses in the texts of planimetric problems. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 185-194
  48. Normanskaja Ju.V. Glottochronology classification of the modern and the earliest Samoyed dictionaries using LingvoDoc programs. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 195-210
  49. Timofeeva E.O. Computerised Experimental Methods of Studying Australian Aboriginal English. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 211-224
  50. Kovylin S.V. Distribution of the dual number markers of nouns in Selkup (corpus-oriented approach). Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 225-236
  51. Tikhonov P.A., Ianina A.O., Malykh V.A. SumHiS: Extractive Summarization Exploiting Hidden Structure. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 237-250
  52. Stepanov I.A., Popov M.V., Getman A.I., Ikonnikova M.K., Belevantsev A.A. Overview of congestion control methods using machine learning. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 251-276
  53. Petrenko A.K., Devyanin P.N., Efremov D.V., Karnov A.A., Kornykhin Е.V., Kuliamin V.V., Khoroshilov A.V. Methods of runtime verification of industrial information security tools based on formal access control models. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 277-290
  54. Malyshev N.E., Borodin A.E., Belevantsev A.A., Semenov V.A. Detecting Memory and Resource Leaks in the Svace static analyzer. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 291-302
  55. Pozin. P.A. Testing in life cycle of automated systems. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 303-310
  56. Shutkin V. N., Morozkin N. K., Semenov V. A., Tarlapan O.A. Optimizations for hierarchical levels of detail generation on large-scale polygonal scenes. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 311-324
  57. Efremov D.V., Petrenko A.K., Pozin B.A., Semenov V.A. Overview of Hardening Mechanisms in Operating Systems and User Applications. Proceedings of the Institute for System Programming. Volume 37, issue 3, 2025 . pp. 325-354
  58. Burdonov I.B., Yevtushenko N.V., Kossatchev A.S., Ponomarenko V.N. A distributed network model in which hosts can perform message switching functions Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 7-30
  59. Bhuvaneswari T., Ruba Soundar K., Chandra Guru Sekar R. Rabbit and Tortoise optimization algorithm with mutual information based adaptive strategy for network intrusion detection Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 31-50
  60. Ermolitsky A.V., Levchenko D.N., Neiman-zade M.I. Detection of inaccuracies in some specialized loop optimizations in the LCC compiler for “Elbrus” architecture Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 51-64
  61. Vasileva V.I., Borodin A.E., Volkov A.E. Detection of Dead Function Calls as Source Code Defects through Static Analysis Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 65-78
  62. Sovietov P.N. HOREC: a specialized regular expression compiler for designing programmable and resource-efficient hardware architecture Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 79-96
  63. Ilina A.A., Kurmangaleev Sh.F. Extraction of Functionality from Binary Code Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 97-110
  64. Churkin Y.A., Melnik D.M., Buchatskiy R.A. Survey of Application Program Interface Migration Methods for object-oriented languages Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 111-146
  65. Vasilev T.I. Implementation of a flexible access control system in the application Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 147-160
  66. Kuznetsov S.V., Koznov D.V., Luciv D.V. Managing Master Data Implementations Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 161-176
  67. Fomina V.V., Sobol V., Koznov D.V. MaxSMT solver with portfolio mode support Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 177-188
  68. Sahakyan V.R., Melkonyan V.G., Sargsyan S.S. Real-Time Target Localization Using Gimbaled Laser on UAVs Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 189-198
  69. Novak I.P. Nominal morphology of the earliest printed piece of Tver Karelian written language heritage Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 199-214
  70. Merina R.D., Ram R.S., Micheal L.C.P. Machine Learning-Enabled Battery Management System on FPGAfor Electric Vehicles Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 215-232
  71. Teplyakova A.R., Shershnev R.V. Application of Computer Vision for Localization of Vertebrae on Midsagittal Computed Tomography Slices Proceedings of the Institute for System Programming. Volume 37, issue 4, part 1, 2025 . pp. 233-248
  72. Rusetskiy I.V., Aleinik V.V., Cheptsov V.Y. Architecture for time synchronization in an onboard SpaceWire network of ARINC 653 nodes Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 7-16
  73. Gulin A.N., Staroletov S.M. Using software-defined performance counters to construct a GPU power consumption model Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 17-30
  74. Kovalevsky V.M., Kechin V.V., Itsykson V.M. DIFFuzzer: Detecting File System Errors with Differential Grey-box Fuzzing Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 31-46
  75. Zemlyanoy E.O., Nesterov R.A. Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 47-68
  76. Suvorov N.M., Lomazova I.A. Relaxed Lazy Soundness Verification for Data Petri nets Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 69-84
  77. Sanzharov V.V., Frolov V.A., Galaktionov V.A. Viewpoint selection for material reconstruction using inverse rendering of geometric models Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 85-102
  78. Potapov D.P., Staroletov S.M. A distributed framework for large-scale data analysis using bio-inspired sensory-motor algorithms Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 103-116
  79. Kachanov V.V. Automatic Code Review Generation: Instruction Evolution and Intelligent Filtering Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 117-132
  80. Lukianov K.S., Perminov A.I., Turdakov D.Y., Pautov M.A. Knowledge Distillation in Local-Region for Black-Box Adversarial Examples Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 133-146
  81. Lapina M.A., Podruchny N.V., Rusanov M.A., Babenko M.G. Research of machine learning methods for detecting network attacks Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 147-174
  82. Karavaeva E.A., Vasilevskij V.I., Lanin G.M., Prokudin D.S. AI-Assistant Development and Integration into Learning Management System Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 175-190
  83. Dzheiranian A.D., Lyadova L.N. Integrating an Ontology-Driven Approach to Data Visualization and AI Based Visualization with Plotly Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 191-206
  84. Fedoseev D.S., Neroslov A.D., Lanin V.V. Development of Knowledge-based Intelligence for Sustainability Assessment of Russian Regions Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 207-218
  85. Rezunik L.A., Prozorskiy M.A., Alexandrov D.V. Combining Logical Reasoning and LLMs Toward Creating Multi-Agent Smart Home Systems Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 219-234
  86. Logunova V.I. Application of Dynamic Symbolic Execution in Hybrid Fuzzing of Binary Code for Baikal-M and RISC-V 64 Architectures Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 235-250
  87. Vishnyakov А.V., Kuts D.O., Logunova V.I., Parygina D.A., Kobrin E.A., Savidov G.A., Fedotov A.N. Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle Proceedings of the Institute for System Programming. Volume 37, issue 4, part 2, 2025 . pp. 251-270
  88. Burdonov I.B., Yevtushenko N.V., Kossatchev A.S., Ponomarenko V.N. Clustering services of distributed networks in which hosts can perform message switching functions Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 7-32
  89. Sharapov A.R., Davydov V.A. Application of suffix codes in modular metrics to solve clustering problem and k-neighbor search problem Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 33-42
  90. Lutsenko V.V., Babenko M.G. Generating compact residue number systems bases Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 43-52
  91. Stepanov I.A., Ponomarenko R.E., Golovash D.R., Pokidko A.Y., Getman A.I. RTT prediction using offline and online learning Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 53-66
  92. Orlova E.M., Vasilyev A.A., Petrov O.M. Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 67-80
  93. Lapina M.A., Kapshuk N.R., Rusanov M.A., Timofeeva E.F. Detection of SQL injection attacks through the network logs using machine learning methods Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 81-92
  94. Djambong Tenkeu H-D., Alexandrov D.V. The dynamic adaptive packet buffering (DAPB) algorithm for service mesh performance enhancement based on eBPF Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 93-110
  95. Shaikhelislamov D.S., Varetsa M.S., Syomkin A.S., Rogov O.Yu. Tuning LLM in secure code generation Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 111-122
  96. Shaikhelislamov D.S., Drobyshevskiy M.D., Belevantsev A.A. LLM-based interactive code generation: empirical evaluation Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 123-130
  97. Panova S.M., Smolov S.A., Volkova M.М. Application of SVAN static analysis tool on open RTL benchmarks. Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 131-142
  98. Korznikov A.O., Datsun N.N. Designing refactoring tool for object-oriented code based on metrics Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 143-156
  99. Cherepanov N. I., Stepina N. O., Nikiforov I. V. Improving image analysis and processing performance on the RISC-V platform with Lichee Pi 4A Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 157-172
  100. Vasilevskiy V.I., Alexandrov D.V. Generating and debugging Java code using LLMs based on associative recurrent memory Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 173-182
  101. Bezuglova E.S., Shiriaev E.M., Kucherov N.N., Babenko M.G. Modification of the Smith-Waterman algorithm for local alignment of genetic sequences based on the window method Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 183-194
  102. Alekseevskaia I.S., Khaibullin D.V., Turdakov D.Yu. Developing defending large language models against adversarial attacks in a black-box scenario based on paraphrasing Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 195-204
  103. Dorodnykh N.O., Yurin A.Yu. Testing the performance of fact extraction from Russian-language tables Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 205-224
  104. Mozhegova A.S., Lanin V.V. Comparative analysis of requirements prioritization methods for personalized nutrition web applications Proceedings of the Institute for System Programming. Volume 37, issue 5, 2025 . pp. 225-240
  105. Burdonov I.B., Yevtushenko N.V., Kossatchev A.S. On length of an adaptive distinguishing sequence for a family of observable finite state machines Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 7-20
  106. Grinkrug E.M. Yet another kind of JavaBeans: composed types from aggregated instances Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 21-42
  107. Kosov P.V., Legalov A.I. Comparison of object-oriented and procedural-parametric polymorphism Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 43-58
  108. Dvortsova V.V., Borodin A.E. Static Analysis of Golang Source Code: A Survey Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 59-82
  109. Panov D.D., Shimchik N.V., Chibisov D.A., Belevantsev A.A., Ignatyev V.N. Increasing precision of static code analysis using large language models Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 83-100
  110. Tsiazhkorob U.V., Belyaev M.V., Belevantsev A.A., Ignatiev V.N. Machine learning-based validation of warnings in an industrial static code analyzer Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 101-120
  111. Zavedeev D.V., Zhuykov R.A., Skvortsov L.V., Pantilimonov M.V. Fast calls and in-place expansion: A hybrid strategy for VM intrinsics Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 121-134
  112. Afanasyev V.O., Borodin A.E., Velesevich E.A., Orlov B.V. Source code annotation for static analysis Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 135-148
  113. Okhotin I.I., Dorodnykh N.O. Using large language models for table header recognition Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 149-166
  114. Radosavljević L., Simić M., Joksimović A., Naumović T., Despotović-Zrakić M. Enhancing e-government services through chatbot development using Azure OpenAI Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 167-180
  115. Kovylin S.V. Plural number markers of nouns in Selkup dialects Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 181-192
  116. Muratova R.T. Turkic-Mongolian parallels in the vocabulary of the material culture of the Turkic languages of the Ural-Volga region (based on the names of horse colors) Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 193-202
  117. Bazhenova O.N. Material Culture Lexicon in M.A.Castrén’s Dictionary (1844) and an Audio Dictionary of the Ižma Dialect (2012): Comparative Analysis on LingvoDoc Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 203-218
  118. Kopylov D.E., Mikhailov A.A., Trifonov R.I. Segmentation of documents based on graph neural networks: from strings to words Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 219-232
  119. Gridin V.N., Novikov I.A., Salem B.R., Solodovnikov V.I. Comparison of the interpretability of ResNet50 and ViT-224 models in the classification task is erroneous on images of a scanned microscope object Proceedings of the Institute for System Programming. Volume 37, issue 6, part 1, 2025 . pp. 233-242
  120. Popov M.V., Stepanov I.A., Getman A.I. Research of the effectiveness of MPQUIC protocol schedulers depending on the congestion control algorithms Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 7-20
  121. Devyanin P.N., Zhiliakov S.S., Smirnov A.I. Testing the Astra Linux OS security subsystem based on a formalized description of the access control model Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 21-36
  122. Karcev V. S., Ignatiev V. N. Static analysis of Visual Basic .NET language Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 37-52
  123. Parygina D.A., Mezhuev T.P., Kutz D.O. Hybrid approach to directed fuzzing Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 53-64
  124. Sosnovikov A.D., Zemerov A.D., Turdakov D.Yu. Iterative weak supervision with LLM-guided labeling function refinement Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 65-76
  125. Pantilimonov M.V., Buchatskiy R.A., Zavedeev D.V. Beyond LLVM: Evaluating fast code generation alternatives for query compilation in PostgreSQL Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 77-92
  126. Perminov A.I., Kovalenko A.P., Turdakov D.Y. Method for training perceptron on tabular data with missing values Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 93-106
  127. Tobola K.V., Dorodnykh N.O. Using contrastive learning for semantic interpretation of Russian-language tables Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 107-122
  128. Ukhov P.A., Bulakina M.B., Krylov S.S. Comparison of classical and machine learning algorithms for feature point extraction in rugged terrain images for application in SLAM algorithms Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 123-130
  129. Gladkov A.N., Bystrov L.Y., Kuzmin E.V. Application of YOLO family neural networks for useful signals detection on Eddy Current Rail defectograms Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 131-150
  130. Samsonova M.V. LingvoDoc platform tools in the study of hydronyms of the Republic of Sakha (Yakutia) Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 151-168
  131. Nagurnaya S.V. The language of Baltic-Finnic literary monuments of the 17th–19th centuries: a comprehensive analysis based on the LingvoDoc linguistic platform (introduction to the project) Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 169-176
  132. Goncharova O.V. Deep learning and linguistic analysis for cognate identification tasks: a survey of contemporary approaches Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 177-190
  133. Buyanov I.O., Yaskova D.V., Serenko D.S., Shkereda D.N., Yaskov A.D., Sochenkov I.V. The methodology of constructing the large-scale dataset for detecting presuicidal and anti-suicidal signals in social media texts in Russian Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 191-210
  134. Chistyakova A.S., Pautov M.A. ExpressPrint: An approach to watermarking of visual foundation models Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 223-236
  135. Koltunov N.A., Guguchkin E.P., Karpulevich E.A. Optimization of short reads alignment with indels in whole-genome sequencing Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 211-222
  136. Uzdenov R.S., Perminov A.I. Shazam algorithm for partial video copy detection Proceedings of the Institute for System Programming. Volume 37, issue 6, part 2, 2025 . pp. 237-248
  137. Nepeivoda A.N., Delman A.D., Terentyeva А.S. Bisimulations in Memory Finite Automata Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 17-18
  138. Ignatyev А.О., Mokshin S.Yu., Melnikov A.I., Ivankov D.V. Typical HPC system architecture for numerical simulation Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 19-44
  139. Poletaev D.N., Dovgaluk P.M, Teys G.N., Kostin M.A. Hardware acceleration of Qemu MMU for AARCH64 on x86-64 full system emulation Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 45-58
  140. Stepanov V.M., Dovgalyuk P.M., Fursova N.I. Virtual Machine Introspection Based on System Calls and Kernel Data Structures Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 59-72
  141. Pokidko A.Y., Stepanov I.A., Getman A.I. Transfer learning in network intrusion detection systems: a review of methods and approaches Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 73-90
  142. Elchinov E.S. Adaptation of the ThreadSanitizer algorithm for data race detection in a RTOS kernel Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 91-108
  143. Galustov A.L., Vihlyantsev K.I., Borodin A.E., Belevantsev A.A. Devirtualization-based Python static analysis Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 109-120
  144. Bachishche O.I., Vorobiev Y.S., Raykin G.R., Vasina D.V., Shushakov D.S., Grigoriev S.V. PereFlex: A tool for automated evaluation of error recovery in parsers Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 121-132
  145. Rudenchik V.P., Andrianov P.S., Mutilin V.S. Bounding Thread Switches in Dynamic Analysis of Multithreaded Programs Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 133-148
  146. Normanskaja Ju.V., Goncharova O.V. Clarifying knowledge about early contacts of native speakers of the Proto-Finno-Volgaic language using neural networks Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 149-162
  147. Jin S., Panfilov P.B., Suleykin A.S. Mapping Restaurant and Supplier Product Nomenclatures Using LLM – Case Study for a Restaurant Holding Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 163-176
  148. Kopylov D.E., Shchurik M.V. Vector representations of fonts: an additional feature for understanding documents Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 177-188
  149. Elistratov S.A. 2D ray tracing algorithm as a preprocessing method for wave attractor problems Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 189-202
  150. Potapov I.I., Potapov D.I. Erosion model of overflow dam right bank on the Pemzenskaya bayou Proceedings of the Institute for System Programming. Volume 37, issue 6, part 3, 2025 . pp. 203-216

Back to the list of publications of ISP RAS