brand

Publications during 2020

What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2020

  1. Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts, Alexander Novikov, Darya Parygina, Eli Kobrin, Vlada Logunova, Pavel Belecky, Shamil Kurmangaleev Sydr: Cutting Edge Dynamic Symbolic Execution Cryptography and Security (cs.CR)
  2. Maxim Ryndin, Denis Turdakov, Sergey Kuznetsov Catalyst: Combining Co-training and Active Learning for Lifelong Classification 2020 Ivannikov Ispras Open Conference (ISPRAS)
  3. Gonakhchyan V.I. Occlusion Culling Algorithm Based on Software Visibility Checks Programming and Computer Software 46, 454–462
  4. Semenov V.A., Shutkin V.N., Zolotov V.A., Morozov S.V., Gonakhchyan, V.I. Visualization of Large Scenes with Deterministic Dynamics Programming and Computer Software, 46 (3), pp. 223-232
  5. Devyanin P.N., Kuliamin V.V., Petrenko A.K., Khoroshilov A.V., Shchepetkov I.V. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 7-26
  6. Burenkov V. S., Kulagin D. A. A Mandatory Integrity Control Model for the KasperskyOS Operating System Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 27-56
  7. Barladian B.Kh., Shapiro L.Z., Mallachiev K.A., Khoroshilov A.V., Solodelov Y.A., Voloboy A.G., Galaktionov V.A., Koverninskiy I.V.. Rendering System for the Aircraft Real-Time OS JetOS Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 57-70
  8. Denisov E.Y., Voloboy A.G., Birukov E.D., Kopylov M.S., Kalugina I.A. Technologies for automatic testing of a software package for realistic computer graphics Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 71-88
  9. Zvezdakova A.V., Kulikov D.L., Zvezdakov S.V., Vatolin D.S. BSQ-rate: a new approach for video-codec performance comparison and drawbacks of current solutions Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 89-108
  10. Voronin A.V. Augmented reality when visualizing data using «golden» section properties Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 109-120
  11. Shtekhin S.E., Karachev D.K., Ivanova Yu.A. Computer vision system for Working time estimation by Human Activities detection in video frames Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 121-136
  12. Apishev M.A. Effective implementations of topic modeling algorithms Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 137-152
  13. Kuznetsov S.D. In anticipation of native DBMS architectures based on non-volatile main memory Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 153-180
  14. Ali N.M., Novikov B.A. Big Data: Analytical Solutions, Research Challenges and Trends Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 181-204
  15. Pantilimonov M.V., Buchatskiy R.A., Zhuykov R.A. Machine code caching in PostgreSQL query JIT-compiler Proceedings of the Institute for System Programming. Volume 32, issue 1, 2020 . pp. 205-220
  16. Ts. Ghukasyan Character N-gram-Based Word Embeddings for Morphological Analysis of Texts Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 7-14
  17. E.V. Timoshchuk Assessing the quality of the requirements specification by applying GQM approach and using NLP tools Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 15-28
  18. Kultin N.B., Kultin D.N., Bauer R.V. Application of machine learning technology to analyze the probability of winning a tender for a project Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 29-36
  19. Babenko M.G., Golimblevskaia E.I., Shiriaev E.M. Comparative Analysis of Homomorphic Encryption Algorithms Based on Learning with Errors Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 37-52
  20. Lebedev D., Kutsevol V. Test environment for verification of multi-processor interrupt system with virtualization support Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 53-60
  21. Poroshin P.A., Znamenskiy D.V., Meshkov A.N Implementation of Memory Subsystem of Cycle-Accurate Application-Level Simulator of the Elbrus Microprocessors Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 61-80
  22. Frolov V.A., Galaktionov V.A., Sanzharov V.V Investigation of the RISC-V Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 81-98
  23. Shemyakinskaya A.S., Nikiforov I.V. Hard drives monitoring automation approach for Kubernetes container orchestration system Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 99-106
  24. Sadykov R., Mandrykin M. Verified Isabelle/HOL tactic for the theory of bounded integers based on quantifier instantiation and SMT Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 107-124
  25. Tvardovskii A.S., Yevtushenko N.V On reduced forms of initialized Finite State Machines with timeouts Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 125-134
  26. Susanina Y.A., Yaveyn A.N., Grigorev S.V. Modification of Valiant’s algorithm for the string-matching problem Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 135-148
  27. Suvorov N.M., Lyadova L.N. HP-Graph as a Basis of a DSM Platform Visual Model Editor Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 149-160
  28. Sargsyan S.S., Vardanyan V.G., Hakobyan J.A., Aghabalyan A.M., Mehrabyan M.S., Kurmangaleev Sh.F., Gerasimov A.Yu., Ermakov M.K., Vartanov S.P. Automatic API fuzzing framework Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 161-174
  29. Gorelits N.K., Gukova A.S., Krasnoshekov D.V. Analysis of Russian software supporting onboard systems development lifecycle in context of import substitution policy Proceedings of the Institute for System Programming. Volume 32, issue 2, 2020 . pp. 175-190
  30. Gladyshev I.V., Kamkin A.S., Kotsynyak A.M., Putro P.A., Khoroshilov A.V. Architecture of a Machine Code Deductive Verification System Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 7-20
  31. Belyaev M.V., Romanenkov E.S., Ignatyev V.N. Modeling of library functions in an industrial static code analyzer Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 21-32
  32. Menshikov M.A. Static analyzer debugging and quality assurance approaches Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 33-48
  33. Arkhipov I.S. Code generation for floating-point arithmetic in architecture MIPS Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 49-56
  34. Pankov P.A., Nikiforov I.V., Drobintsev D.F. Hardware and software data processing system for research and scientific purpose based on Raspberry Pi 3 microcomputer Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 57-70
  35. Kovalev M.G. Tracing Network Packets in the Linux Kernel using eBPF Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 71-78
  36. Markoborodov A.A., Skobtsova Yu.A., Volkanov D.Yu. An Approach to the Translation of Software-Defined Network Switch Flow Table into Network Processing Unit Assembly Language Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 79-90
  37. Barsukov N.D., Sysoev I.M., Pereskokova A.A., Nikiforov I.V., Posmetnijs D. Analysis of student activity on the e-learning course based on «OpenEdu» platform logs Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 91-100
  38. Monastyrev V.V., Drobintsev P.D. Recommendation system based on user actions in the social network Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 101-108
  39. Samokhvalov D.I. Machine Learning-Based malicious users’ detection in the VKontakte social network Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 109-118
  40. Sergeev D.I., Andreev A.E., Drobintseva A.O., Cenevska S., Kukavica N., Drobintsev P.D. Development of automated computer vision methods for cell counting and endometrial gland detection for medical images processing Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 119-130
  41. Shirmohammadi M.M., Esmaeilpour M. Analysis of Traffic Congestion in Main Streets of Electronic city using Traffic Congestion Index and Artificial Neural Network (Case Study: Hamedan City) Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 131-146
  42. Trofimov E.V., Metsker O.G. Application of Computer Techniques and Systems in the Study of Law, Intellectual Analysis and Modeling of Legal Activity: A Systematic Review Proceedings of the Institute for System Programming. Volume 32, issue 3, 2020 . pp. 147-170
  43. Alekseev K.A. Using Big Data in International Business Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 7-20
  44. Belenkov V.G., Budzko V.I., Devyatkin D.A., Kan A.V., Mikhailin I.S., Sochenkov I.V., Tikhomirov I.A., Shapkin V.S. Methodology for identifying centers of excellence in aviation science based on publication and patent activity Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 21-40
  45. Mokshin S.Yu. General approaches to the design of the access subsystem of high-performance computing systems Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 41-52
  46. Gonakhchian V.I. Performance model of graphics pipeline for single-pass dynamic 3d scene rendering scheme Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 53-72
  47. Timokhin P.Yu., Mikhaylyuk M.V., Vozhegov E.M. Efficient methods and algorithms to synthesize 360-degree video based on cubemap projection of virtual environment Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 73-88
  48. Fedotof A.N., Kurmangaleev Sh.F. CASR: core dump analysis and severity reporter tool Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 89-96
  49. Kiselev A.B., Kiselev S.N. A debugger of parallel programs for OS Linux Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 97-114
  50. Shishkin E.S., Kislitsyn E.S. Protocol for Certifying Cloud Computations Integrity Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 115-132
  51. Khrapov N.P. Metrics of efficiency and productivity when using the evolutionary algorithm on desktopgrid Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 133-140
  52. Andreev P.K., Ananev V.V., Makarov V.A., Karpulevich E.A., Turdakov D.Y. Diagnosis of left atrial and left ventricular hypertrophies using a deep neural network Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 141-154
  53. Polunin A.A., Yandashevskaya E.A. Using of convolutional neural networks for steganalysis of digital images Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 155-164
  54. Skorniakov K.A., Laskina A.S., Turdakov D.Yu. Two Step Method for Grouping News with Similar Topics Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 165-174
  55. Bogatenkova A.O., Kozlov I.S., Belyaeva O.V., Perminov A.I. Logical structure extraction from scanned documents Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 175-188
  56. Belyaeva O.V., Perminov A.I., Kozlov I.S. Synthetic data usage for document segmentation models fine-tuning Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 189-202
  57. Kushchuk D.O., Ryndin M.A., Yatskov A.K., Varlamov M.I. Using Domain Adversarial Learning for Text Captchas Recognition Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 203-216
  58. Koshelev K.B., Melnikova V.G. Strijhak S.V. Development of iceFoam solver for modeling ice accretion Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 217-234
  59. Amelyushkin I.A., Kudrov M.A., Morozov A.O., Stasenko A.L., Shcheglov A.S. Models of processes accompanying crystallization of supercooled droplets Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 235-244
  60. Burdonov I.B., Binarskii E.M., Yevtushenko N.V., Kossatchev A.S. Perfect sets of paths in the full graph of SDN network switches Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 245-260
  61. Virbitskaite I.B., Zubarev A.Yu. Time Causal Processes in Time Petri Nets with Weak Semantics Proceedings of the Institute for System Programming. Volume 32, issue 4, 2020 . pp. 261-284
  62. Gratinskiy V.A., Novikov E.M., Zakharov I.S. Expert Assessment of Verification Tool Results Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 7-20
  63. Polyakov S. A., Borodin A. E. Deadlock Detection using Static Analysis Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 21-34
  64. Sovietov P.N. Accelerating the development of DSL compilers for specialized processors Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 35-56
  65. Shmid A.V. Practice and Prospects for Using the Emulator Family of IBM Mainframe Architecture Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 57-66
  66. Dzhidzhoev V.M., Buchatskiy R.A., Pantilimonov M.V., Tomilin A.N. Dynamic Compilation of User-Defined Functions in PL/pgSQL Language Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 67-80
  67. Goryunov M.N., Matskevich A.G., Rybolovlev D.A. Synthesis of a Machine Learning Model for Detecting Computer Attacks Based on the CICIDS2017 Dataset Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 81-94
  68. Kozlov S.V., Kopylov S.A., Kondrat’ev B.V., Obydenkov D.O. Implementing Watermarking Based on a Virtual XPS Printer for Windows Operating Systems Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 95-110
  69. Akimenkova M.A., Maznina A.A., Naumov A.Y., Karpulevich E.A. Application of HDBSСAN Method for Clustering scRNA-seq Data Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 111-120
  70. Berezin A.A., Novikov R.S., Novopashin M.A., Pozin B.A., Shmid A.V. Application of a New Method of Noninvasive Aassessment of Carbohydrate Metabolism Disorders in the Population Screening Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 121-130
  71. Poltavtseva M.A. Heterogeneous Data Aggregation and Normalization in Information Security Monitoring and Intrusion Detection Systems of Large-scale Industrial CPS Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 131-142
  72. Polyakov A.N., Enyagina I.M., Kokovin D.S. «Digital Lab» Platform as an Environment for Scientific Research and Development at the Kurchatov Institute Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 143-152
  73. Lavrischeva E.M., Zelenov S.V. Model-Based Approach to Ensuring Reliability and Security of Web-services Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 153-166
  74. Hernández Farías D.I., Guzmán Cabrera R., Cordova Fraga T., Huamaní Luna J.Z., Gomez Aguilar J.F. Modification of the Marching Cubes Algorithm to Obtain a 3D Representation of a Planar Image Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 167-180
  75. Golovin D.V. Simulation of Infrasound Pistonphone Proceedings of the Institute for System Programming. Volume 32, issue 5, 2020 . pp. 181-198
  76. Petrenko A.K., Efremov D.V., Kornykhin E.V., Kuliamin V.V., Khoroshilov A.V., Shchepetkov I.V. Monitoring and testing based on multi-level program specifications Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 7-18
  77. Khoroshilov A.V. Verification of compliance for multilevel models in individual trace semantics Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 19-30
  78. Burenkov V.S. Formal Verification of a Mandatory Integrity Control Model for the KasperskyOS Operating System Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 31-48
  79. Staroletov S. A Formal Model of a Partitioned Real-Time Operating System in Promela Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 49-66
  80. Dagaev D.V Towards Developing of Oberon System with Specific Requirements of Ergodicity Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 67-78
  81. Rudometkin V.A. Designing highly loaded systems Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 79-86
  82. Borodin A.E., Dudina I.A. Symbolic Execution Based Intra-Procedural Analysis for Search for Defects Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 87-100
  83. Solovev M.A., Bakulin M.G., Makarov S.S., Manushin D.V., Padaryan V.A. Practical abstract interpretation of binary code Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 101-110
  84. Zakalkin P.V., Ivanov S.A., Vershennik E.V., Kir’yanov A.V. Method of masking transmitted information Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 111-126
  85. Sorokin D.I., Nuzhny A.S., Saveleva E.A. Hierarchical rubrication of text documents Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 127-136
  86. Getman A.I., Ikonnikova M.K A survey of Network Traffic Classification Methods Using Machine Learning Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 137-154
  87. Izmaylov A.A., Dworzanski L.W. Automated Analysis of DP-systems Using Timed-Arc Petri Nets via TAPAAL Tool Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 155-166
  88. Lavrishcheva E.M., Petrov I.B. Modeling technical and mathematical tasks of applied knowledge areas on computers Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 167-182
  89. Romanova D.I. Architecture of open source program for numerical modeling of flows on mountain slopes Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 183-200
  90. Elistratov S.A., Vatutin K.A., Sibgatullin I.N., Ermanyuk E.V., Mikhajlov E.A. Numerical simulation of internal waves and effects of accumulation of kinetic energy in large aspect ratio domains Proceedings of the Institute for System Programming. Volume 32, issue 6, 2020 . pp. 201-212

Back to the list of publications of ISP RAS