- 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.
- 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
- 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
- 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
- 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
- Semenov V., Shutkin V., Zolotov V. Conservative out-of-core rendering of large dynamic scenes using HDLODs CEUR Workshop Proceedings, 3027, pp. 105-115
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Menshikov M.A. Review of static analyzer service models
Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 27-40
- 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
- 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
- Kryshtapovich V.S. Localized Lama Gradual Typing
Proceedings of the Institute for System Programming. Volume 33, issue 3, 2021 . pp. 61-76
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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