brand

Ivannikov Institute for System Programming of the RAS

What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2021

  1. Lavrischeva E. M., Petrenko A. K., Kozin V. P. Technology of assembly creation of an experimental version OS Linux kernels with quality assurance for applied and subject areas of knowledge Euroazian Science Assosiation, № 11 (81), November-2021. pp. 94-105.
  2. Gonakhchyan V.I. Performance Model of Graphics Pipeline for a One-Pass Rendering of 3D Dynamic Scenes Programming and Computer Software, 47 (7), pp. 522-533
  3. Shutkin V. Morozkin, N., Zolotov V., Semenov V. City and building information modelling using IFC standard eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 13th European Conference on Product and Process Modelling, ECPPM 2021, pp. 406-413
  4. Semenov V., Arishin, S., Semenov G. Towards conceptual interoperability of BIM applications: Transaction management versus data exchange eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 13th European Conference on Product and Process Modelling, ECPPM 2021, pp. 51-58
  5. Morozov S., Sazonov, S., Semenov V. IFC query language: leveraging power of EXPRESS and JSON eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 13th European Conference on Product and Process Modelling, ECPPM 2021, pp. 21-28
  6. Semenov V., Shutkin V., Zolotov V. Conservative out-of-core rendering of large dynamic scenes using HDLODs CEUR Workshop Proceedings, 3027, pp. 105-115
  7. Borodin A.E., Goremykin A.V., Vartanov S.P., Belevantsev A.A. Searching for tainted vulnerabilities in static analysis tool Svace Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 7-32
  8. Vershkov N.A., Babenko M.G., Kuchukov V.A., Kuchukova N.N. Advanced supervised learning in multi-layer perceptrons to the recognition tasks based on correlation indicator Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 33-46
  9. Safyan M., Sarwar S., Qayyum Z.U., Iqbal M., Li S., Kashif M. Machine Learning based Activity learning for Behavioral Contexts in Internet of Things Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 47-58
  10. Rodríguez-Quiñonez J.C. Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 59-64
  11. Alaasam A.B.A., Radchenko G., Tchernykh A., Gonzalez-Compean J.L. Stateful Stream Processing Containerized as Microservice to Support Digital Twins in Fog Computing Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 65-80
  12. Valdivia J.A., Lora-González A., Limón X., Cortes-Verdin K., Ocharán-Hernández J.O. Patterns Related to Microservice Architecture: a Multivocal Literature Review Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 81-96
  13. Tariq A., Azam F., Anwar M.W., Zahoor T., Muzaffar A.W. Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 97-110
  14. Lozano-Rizk J.E., Rivera-Rodriguez R., Nieto-Hipolito J.I., Villarreal-Reyes S., Galaviz-Mosqueda A., Vazquez-Briseño M. Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 111-122
  15. Burdonov I.B., Yevtushenko N.V., Kossatchev A.S. Secure Implementing a Virtual Network on the SDN Data Plane Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 123-136
  16. Sergiyenko O., Zhirabok A. Fault Identification in Mobile Robot groups using Sliding Mode Observers Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 137-150
  17. Tchernykh A., Bychkov I.V., Feoktistov A.G., Gorsky S.A., Sidorov I.A., Kostromin R.O., Edelev A.V., Zorkalzev V.I., Avetisyan A.I. Mitigating Uncertainty in Developing Scientific Applications in Integrated Environment Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 151-172
  18. Tello-Rodríguez M., Ocharán-Hernández J.O., Pérez-Arriaga J.C., Limón X., Sánchez-García Á.J. A Design Guide for Usable Web APIs Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 173-188
  19. Ramachandran R., Ogunshile E. A reflection on the design and user acceptance of Tamil talk Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 189-208
  20. Yeshilbashian Ye.М., Asatryan A.А., Ghukasyan Ts.G. Plagiarism Detection in Armenian Texts Using Intrinsic Stylometric Analysis Proceedings of the Institute for System Programming. Volume 33, issue 1, 2021 . pp. 209-224
  21. Frolov V.A., Voloboy A.G., Ershov S.V., Galaktionov V.A. The current state of the methods for calculating global illumination in tasks of realistic computer graphics Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 7-48
  22. Guerra-García C., Pérez González H., Ramírez-Torres M., Juárez-Ramírez R. Developing Web Applications with Awareness of Data Quality Elements – DQAWA Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 49-64
  23. Riaño D., Piñon R., Molero-Castillo G., Bárcenas E., Velázquez-Mena A. Regular Expressions for Web Advertising Detection based on an Automatic Sliding Algorithm Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 65-76
  24. Durán M., Juárez-Ramírez R., Jiménez S., Tona C. User Story Estimation based on the Complexity Decomposition using Bayesian Networks Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 77-92
  25. M. G.C., A. Alsadoon, Pham D.T.H., Abdullah S., Mai H.T, Prasad P.W.C., Nguen T.Q.V. A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 93-114
  26. Rodríguez-Ruiz J.G., Galván-Tejada C.E., Vázquez-Reyes S., Galván-Tejada J.I., Gamboa-Rosales H. Classification of Depressive Episodes Using Nighttime Data: Multivariate and Univariate Analysis Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 115-124
  27. Muraña J., Nesmachnow S., Iturriaga S., Montes de Oca S., Belcredi G., Monzón P., Shepelev V., Tchernykh A. Smart grid demand response strategies for datacenters Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 125-136
  28. Flores-Fuentes W. Vehicle Image Classifier for Bridge Displacement Correlation Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 137-148
  29. Fortuna-Cervantes J.M., Ramírez-Torres M.T., Martínez-Carranza J., Murguía-Ibarra J.S., Mejía-Carlos M. Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A first Approach Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 149-162
  30. Risso C., Robledo F., Nesmachnow S. Solving the Quality of Service Multicast Tree Problem Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 163-172
  31. Martishin S.A., Khrapchenko M.V., Shokurov A.V. Study of the problem of ensuring security in the storage and processing of confidential data Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 173-190
  32. Limón Y., Bárcenas E., Benítez-Guerrero E., Molero-Castillo G., Velázquez-Mena A. Mu-Calculus Satisfiability with Arithmetic Constraints Proceedings of the Institute for System Programming. Volume 33, issue 2, 2021 . pp. 191-200
  33. Mitsyuk A.A., Jamgaryan N.A. What Software Architecture Styles are Popular? Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 7-26
  34. Menshikov M.A. Review of static analyzer service models Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 27-40
  35. Gimatdinov D.M., Gerasimov A.Y., Privalov P.A., Butkevich V.N., Chernova N.A., Gorelova A.A. An Automated Framework for Testing Source Code Static Analysis Tools Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 41-50
  36. Shamparov V.E., Neiman-zade M.I. Data Layout Optimization for the LCC Compiler Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 51-60
  37. Kryshtapovich V.S. Localized Lama Gradual Typing Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 61-76
  38. Lapkina A.V., Petukhov A.A. HTTP-request classification in automatic web application crawling Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 77-86
  39. Eyzenakh D.S., Rameykov A.S., Nikiforov I.V. High performance distributed web-scraper Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 87-100
  40. Voronkov I.A., Saradgishvili S.E. Power Fx: Low-code language for collaboration tools Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 101-108
  41. Rigin A.M., Shershakov S.A. Method of Performance Analysis of Time-Critical Applications Using DB-Nets Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 109-122
  42. Khan R., Schieweck A., Breathnach C., Margaria T. Historical Civil Registration Record Transcription Using an eXtreme Model Driven Approach Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 123-142
  43. Gladstein V.P., Mikhailovskii D.V., Moiseenko E.A., Trunov A.A. Mechanized Theory of Event Structures: A Case of Parallel Register Machine Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 143-154
  44. Nesterov R.A., Savelyev S.Yu. Generation of Petri Nets Using Structural Property-Preserving Transformations Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 155-170
  45. Kuznetsov S.D., Velikhov P.E., Fu Q. Real-time analytics, hybrid transactional/analytical processing, in-memory data management, and non-volatile memory Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 171-198
  46. Rusnachenko N. L. Language Models Application in Sentiment Attitude Extraction Task Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 199-222
  47. Gasheva T.S., Vlasov D.I., Otinov A.V., Datsun N.N. Validation Automation of UML Diagrams Created by Students Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 7-18
  48. Chaudhary H.A.A., Margaria T. Integration of micro-services as components in modeling environments for low code development Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 19-30
  49. Getman A.I., Ikonnikova M.K. Identification of transparent, compressed and encrypted data in network traffic Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 31-48
  50. Larin D.V., Getman A.I. Hight-speed network traffic capturing and processing tools Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 49-68
  51. Kuzmin Y.K., Volkanov D.Y., Skobtsova J.A. A Method for the Stateful Data-Plane Algorithm State Synchronization in the Network Procesing Unit Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 69-76
  52. Nikiforov N.I., Volkanov D.Yu. Data compression algorithms for flow tables in Network Processor RuNPU Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 77-86
  53. Ananev V.V., Skorik S.N., Shaklein V.V., Avetisyan A.A., Teregulov Y.E, Turdakov D.Y, Gliner V., Schuster A., Karpulevich Е.A. Assessment of the impact of non-architectural changes in the predictive model on the quality of ECG classification Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 87-98
  54. Geltser B.I., Gorbach T.A., Gribova V.V., Karpik O.V., Klyshinskiy E.S., Kochetkova N.A., Okun D.B., Petryaeva M.V., Shakhgeldyan K.I. Ontology-based syntactic analysis of domain-specific texts Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 99-116
  55. Sapin A.S. Building neural network models for morphological and morpheme analysis of texts Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 117-130
  56. Kozachok A.V., Kopylov S.A., Gorbachev P.N., Gaynov A.E., Kondrat’ev B.V. Text documents marking algorithm based on interword distances shifting invariant to format conversion Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 131-146
  57. Yakushev A.Yu., Markin Yu.V., Fomin S.A., Obydenkov D.O., Kondrat’ev B.V. Text documents screen watermarking by changing background brightness in the interline spacing Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 147-162
  58. Suvorov N.M., Lyadova L.N. A Multilayer Approach to Subgraph Matching in HP-graphs Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 163-176
  59. Sadykov R., Mandrykin M. Complete decision procedure for the bounded theory of pointer arithmetic based on quantifier instantiation and SMT Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 177-194
  60. Baev R.V., Skvortsov L.V., Kudryashov E.A., Buchatskiy R.A., Zhuykov R.A. Prevention of vulnerabilities arising from optimization of code with Undefined Behavior Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 195-210
  61. Sharkov. I.V., Padaryan V.A., Khenkin P.V. Features of network interfaces fuzzing without source codes Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 211-226
  62. Romanova D.I. Experiment based calibration of k − ε turbulence model in OpenFOAM package for mountain slope flows using machine learning techniques Proceedings of the Institute for System Programming. Volume 33, issue 4, 2021 . pp. 227-240
  63. Semenov V.A., Arishin S.V., Semenov G.V. Formal rules to produce object notation for EXPRESS schema-driven data Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 7-24
  64. Devyanin P.N., Telezhnikov V.Y., Khoroshilov V.V. Building a methodology for secure system software development on the example of operating systems Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 25-40
  65. Boubacar I., Budko M.B., Budko M.Yu., Guirik A.V. Ontological support of information security risk management Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 41-64
  66. Obydenkov D. O., Frolov A.E., Markin Y.V., Fomin S.A., Kondrat’ev B.V. Printed text documents watermarking based on vertical word shift and word fragments brightness changing Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 65-82
  67. Getman A.I., Goryunov M.N., Matskevich A.G., Rybolovlev D.A. Methodology for Collecting a Training Dataset for an Intrusion Detection Model Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 83-104
  68. Vinarskii E.M., Demakov A.V. Optimization of ProVerif programs for AKE-protocols Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 105-116
  69. A formal language for primary specifications of the cryptographic protocols Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 117-136
  70. Skvortsov L.V., Baev R.V., Dolgorukova K.Y., Sharygin E.Y. Developing an LLVM-based compiler for stack based TF16 processor architecture. Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 137-154
  71. Kovalenko R.D., Makarov A.N. Dynamic analysis of IoT systems based on full-system emulation in QEMU Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 155-166
  72. Krasnov M.M., Feodoritova O.B. Using the functional programming library for solving numerical problems on graphics accelerators with CUDA technology Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 167-180
  73. Frolov V.A., Sanzharov V.V., Galaktionov V.A, Scherbakov A.S. Development in Vulkan: a domain-specific approach Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 181-204
  74. Vargas-Pérez V.A., Vargas-Pérez L.S., Gutiérrez-Tornés A.F., Soto-Hernández M., Felipe-Riverón E.M. A Requirements Solution While Training Professional Project Leaders Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 205-218
  75. Ortiz-Hernandez J., Ruiz-Martinez J., Hernandez Y., Mijarez-Castro R. Agile Software Development for Housing Reconstruction: The 2017 Earthquake case in Mexico Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 219-236
  76. Amelyushkin I.A., Kudrov M.A., Morozov A.O., Shcheglov A.S. Mathematical models and methods of numerical investigation of processes which accompany aircraft icing Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 237-248
  77. Koshelev K.B., Osipov A.V. Strijhak S.V. Features of implementation an efficient parallel computation algorithm for modeling the ice accretion of a swept wing with a GLC-305 airfoil Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 249-258
  78. Tsynaeva A.A., Tsynaeva Е.А. Numerical simulation of indoor microclimate using free software Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 259-270
  79. Baimetova E.S., Gizzatullina A.F., Koroleva M.R., Mishchenkova O.V., Pushkarev F.N., Chernova A.A. Heat load of bimetallic ribbed tube Proceedings of the Institute for System Programming. Volume 33, issue 5, 2021 . pp. 271-282
  80. Novikov E.M. Capabilities and Restrictions of Software Model Checkers Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 7-14
  81. Efremov D.D., Kopach V.V., Kornykhin E.V., Kuliamin V.V., Petrenko A.K., Khoroshilov A.V., Shchepetkov I.V. Runtime Verification of Operating Systems Based on Abstract Models Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 15-26
  82. Evgin A.A., Solovev M.A., Padaryan V.A. Model and declarative specification language of binary data formats Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 27-50
  83. Vasiliev I.A., Dovgalyuk P.M., Klimushenkova M.A. Using the identification of threads of execution when solving problems of full-system analysis of binary code Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 51-66
  84. Afanasyev V.O., Polyakov S.A., Borodin A.E., Belevantsev A.A. Kotlin from the perspective of a static analyzer developer Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 67-82
  85. Syromiatnikov S.V. Automatic Repair of Code Defects in the Svace System Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 83-94
  86. Kachanov V.V., Ermakov M.K., Pankratenko G.A., Spiridonov A.V., Volkov A.S., Markov S.I. Technical debt in the software development lifecycle: code smells Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 95-110
  87. Kamkin A.S., Smolov S.A., Chupilko M.M. Comparison of Open Flows for Digital Hardware Development: qFlow, OpenLANE, Coriolis, and SymbiFlow Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 111-130
  88. Kuznetsov S.V., Tsyryulnikov A.V., Koznov D.V. Unidata: open source component platform for Master Data Management Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 149-160
  89. Obydenkov D.O., Yakushev A.Yu., Markin Yu.V., Frolov A.E., Fomin S.A., Kozlov S.V., Gromey D.D., Kozachok A.V., Kondrat’ev B.V. Document Marking System for Leak Investigations Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 161-174
  90. Lebedev M.S., Belecky P.N. Artificial Neural Network Inference on FPGAs Using Open-Source Tools Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 175-192
  91. Bolshina A.S., Loukachevitch N.V. Weakly Supervised Word Sense Disambiguation Using Automatically Labelled Collections Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 193-204
  92. Kiranov D.M., Ryndin M.A., Kozlov I.S. Active learning and transfer learning for document segmentation Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 205-216
  93. Sakhovskiy A.S., Tutubalina E.V. Сross-lingual transfer learning in drug-related information extraction from user-generated texts Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 217-228
  94. Kononov D.S., Gidaspov V.Y., Strijhak S.V. Simplified kinetic models of methane combustion to expand the capabilities of the OpenFOAM package and physicochemical libraries Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 229-240
  95. Vatutin K.A., Kraposhin M.V., Kudrov M.A., Miller A.B., Melnikova V.G., Morozov A.O., Sautkina S.M., Shevelyov A.A. Development of the flagmanFoam Solver for Modeling Aircraft Icing in Conditions of Small Droplet Inflow Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 241-252
  96. Mikhailov E.A., Khasaeva T.T., Teplyakov I.O. The emergence of contrast structures for galactic magnetic field: theoretical estimates and modeling on GPU Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 253-264
  97. Lavrischeva E.M., Petrenko A.K. Modeling of operational, software and technical systems in RFBR projects Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 265-280
  98. Chertok N.D., Chupilko M.M. Survey of Methods for Functional Online Testing of Microprocessors Proceedings of the Institute for System Programming. Volume 33, issue 6, 2021 . pp. 131-148

Back to the list of publications of ISP RAS