- Y.R. Nedumov, A.V. Babichev, I.D. Mashonsky, N.V. Semina SciNoon: Exploratory Search System for Scientific Groups Joint Proceedings of the ACM IUI 2019 Workshops
- Mikhail Drobyshevskiy, Denis Aivazov, Denis Turdakov, Alexander Yatskov, Maksim Varlamov, Danil Shayhelislamov Collecting Influencers: a Comparative Study of Online Network Crawlers Ivannikov Ispras Open Conference (ISPRAS)
- Mikhail Drobyshevskiy, Denis Turdakov. Random graph modeling: A survey of the concepts ACM Computing Surveys (CSUR) 52 (6), 1-36
- Gonakhchyan, V., Tarlapan O., Semenov V. Generating dynamic 3D scenes for rendering benchmarks Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Interfaces and Human Computer Interaction 2019, Game and Entertainment Technologies 2019 and Computer Graphics, Visualization, Computer Vision and Image Processing 2019, pp. 485-488
- Semenov V., Shutkin V., Zolotov V. Faster rendering of large pseudo-dynamic scenes using hierarchical dynamic lods Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Interfaces and Human Computer Interaction 2019, Game and Entertainment Technologies 2019 and Computer Graphics, Visualization, Computer Vision and Image Processing 2019, pp. 275-282
- Semenov V., Kazakov, K., Zolotov V., Jones, H., Jones, S. Combined strategy for efficient collision detection in 4D planning applications. EG-ICE 2010 - 17th International Workshop on Intelligent Computing in Engineering
- Semenov V., Shutkin V., Zolotov V. Visualization of complex industrial products and processes using hierarchical dynamic LODs Advances in Transdisciplinary Engineering, 10, pp. 655-664
- Semenov V., Ilyin D., Morozov S., Tarlapan O. Effective consistency management for large-scale product data Journal of Industrial Information Integration, 13, pp. 13-21
- E.M. Lavrischeva, V.S. Mutilin, S.V. Коzin, A.V. Ryzhov Modeling of application and information systems from ready–made Internet service resources
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 7-24.
- N.K. Gorelits, D.S. Kildishev, A.V. Khoroshilov Requirements management for safety-critical systems. Overview of solutions
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 25-48.
- M.S Arutunian, G.S. Ivanov, V.G. Vardanyan, H.K. Aslanyan, A.I. Avetisyan, Sh.F. Kurmangaleev Analysis of program changes nature and searching for unpatched code fragments
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 49-58.
- A.S. Chadin, G.A. Biziukin Determining cloud platform limits on resource migration
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 59-68.
- A.I. Sokolova, A.S. Konushin Methods of gait recognition in video
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 69-82.
- S.E. Slyadnev, V.E. Turlapov Toward the development of open source software for the reconstruction of CAD-models
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 83-104.
- A.V. Maksimov, E.A. Kiselev, S.D. Kurgalin, S.A. Zuev Mathematical model describing air flow dynamics in a turbine spirometer
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 105-114.
- D.V. Efanov, V.V. Sapozhnikov, Vl.V. Sapozhnikov, D.V. Pivovarov Fault detection in combinational circuits based on self-dual complement to constant-weight code
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 115-132.
- D.O. Lazarev, N.N. Kuzyurin An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of large number of strips given
Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019 . pp. 133-142.
- Tchernykh A.N., Hadjali A. Editorial: Special Issue on «Advanced Computing: from Theory to Practice»
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 7-14.
- Iturriaga Fabra S.D., Nesmachnow Cánovas S.E., Goñi Bofrisco G., Dorronsoro Díaz B., Tchernykh A.N. Soft computing methods for design and optimization of cloud-based Content Distribution Networks
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 15-20.
- Massobrio R., Dorronsoro Díaz B., Nesmachnow Cánovas S.E. Virtual Savant for the Knapsack Problem: learning for automatic resource allocation
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 21-32.
- Sun Y., Zhao Z., Ma X., Du Z. Hybrid Model for Efficient Anomaly Detection in Short-timescale GWAC Light Curves and Similar Datasets
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 33-40.
- Vershkov N.N., Kuchukov V.A., Kuchukova N.N. The theoretical approach to the search for a global extremum in the training of neural networks
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 41-52.
- Hussain A., Safyan M., Ul Qayyum Z., Sarwar S., Iqbal M., Saqib N.A. Mitigating MAC Layer Performance Anomaly of Wi-Fi Networks through Adaptable Channelization
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 53-66.
- Ivanov M.V., Sergiyenko O.Yu., Tyrsa V.V., Lindner L., Rodriguez-Quiñonez J.C., Flores-Fuentes W., Rivas-Lopez M., Hernández-Balbuena D., Nieto Hipólito J.I. Wireless integration to optimize environmental recognition and calculate the trajectory of a group of robots
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 67-82.
- Feoktistov A.G., Gorsky S.A., Sidorov I.A., Kostromin R.O., Fereferov E.S., Bychkov I.V. Continuous integrating modules of distributed applied software packages in Orlando Tools
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 83-96.
- M.A. Alaniz, Nesmachnow Cánovas S.E. A semi-automatic approach for parallel problem solving using the Multi-BSP model
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 97-120.
- Ahmad Z., Jehangiri A.I., Iftikhar M., Umer A.I., Afzal I. Data-Oriented scheduling with Dynamic-Clustering fault-tolerant technique for Scientific Workflows in Clouds
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 121-136.
- Garay Alvarez G.R., Bertot Valdés J.A., Perez-Teruel K. Internet of Things for evaluating foraging and feeding behavior of cattle on grassland-based farming systems: concepts and review of sensor technologies
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 137-152.
- Chervyakov N.I., Deryabin M.A., Nazarov A.S., Babenko M.G., Kucherov N.N., Gladkov A.V., Radchenko G.I. Secure and Reliable Data Transmission Over MANET Based On Principles of Computationally Secure Secret Sharing
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 153-170.
- Sarwar S., Ul Qayyum Z., Safyan M., Iqbal M., Mahmood Y. Graphs Resemblance based Software Birthmarks through Data Mining for Piracy Control
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 171-186.
- Babenko M.G., Tchernykh A.N., Chervyakov N.I., Kuchukov V.A., Miranda-López V., Rivera-Rodriguez R., Du Z. Efficient Number Comparison in the Residue Number System based on Positional Characteristics
Proceedings of the Institute for System Programming. Volume 31, issue 2, 2019 . pp. 187-202.
- Goloveshkin A.V. Tolerant parsing using modified LR(1) and LL(1) algorithms with embedded “Any” symbol
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 7-28.
- Gudiev A.V., Grazhevskaya A.S Graphic DSL for Mobile Development
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 29-34.
- Naumović T., Baljak L., Živojinović L., Filipović F Development of а software framework for real-time management of intelligent devices
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 35-46.
- Poroshin P.A., Meshkov A.N. An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of «Elbrus»
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 47-58.
- Frolov P.V. Approach to test program development for multilevel verification
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 59-66.
- Lebedev D.A., Petrochenkov M.V. Test environment for verification of multi-processor memory subsystem unit
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 67-76.
- Petrykin A.A., Stotland I.A., Meshkov A.N. Standalone verification of IOMMU with virtualization supporting
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 77-84.
- Kotlyarov V.P., Maslakov A.P., Tolstoles A.A. Digital Modelling of Production Engineering for Metalworking Machine Shops
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 85-98.
- Nosovskiy M.M., Degtiarev K.Y. Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 99-122.
- Putro P.A. Applying High-Level Function Loop Invariants for Machine Code Deductive Verification
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 123-134.
- Kamkin A.S., Lebedev M.S., Smolov S.A. Extracting Assertions for Conflicts in HDL Descriptions
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 135-144.
- Avdoshin S.M., Beresneva E.N. Constructive heuristics for Capacitated Vehicle Routing Problem: a comparative study
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 145-156.
- Tyurin A.V., Tyuluandin I.V., Maltsev V.S., Kirilenko I.A., Berezun D.A. Overview of the Languages for Safe Smart Contract Programming
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 157-176.
- Shimchik N.V., Ignatyev V.N. Vulnerabilities Detection via Static Taint Analysis
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 177-190.
- Pisarev I.A., Babenko L.K. C# parser for extracting cryptographic protocols structure from source code
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 191-202.
- Rigin A.M., Shershakov S.A. SQLite RDBMS Extension for Data Indexing Using B-tree Modifications
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 203-216.
- Shalyapina N.A., Gromov M.L. «Life» in Tensor: Implementing Cellular Automata on Graphics Adapters
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 217-228.
- Melnichuk D.V. Modeling Nonlinear Stabilization System on Clusters with Intel Xeon Phi Coprocessors
Proceedings of the Institute for System Programming. Volume 31, issue 3, 2019 . pp. 229-240.
- Godunov A.N., Chemerev F.N. Tracing Tools for «Baget» Family RTOS
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 7-28.
- Silakov D.V. Automated Error Detection and Analysis in Hyperconverged Systems
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 29-38.
- Staroletov S.M., Amosov M.S., Shulga K.M. Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 39-60.
- Timokhin P.Yu., Mikhaylyuk M.V., Vozhegov E.M., Panteley K.D. Technology and methods for deferred synthesis of 4K stereo clips for complex dynamic virtual scenes
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 61-72.
- Pandey M., Litoriya R., Pandey P. Application of Fuzzy DEMATEL approach in analyzing mobile application issues
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 73-96.
- Karpov Yu.L., Volkova I.A., Vylitok A.A., Karpov L.E., Smetanin Yu.G. Designing classes’ interfaces for neural network graph model
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 97-112.
- Nuzhny A.S. Bayes regularization in the selection of weight coefficients in the predictor ensembles
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 113-120.
- Avdoshin S.M., Beresneva E.N. Local search metaheuristics for Capacitated Vehicle Routing Problem: a comparative study
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 121-138.
- Zubkova N.S., Shershakov S.A. Method for Building UML Activity Diagrams from Event Logs
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 139-150.
- Pertsukhov P.A., Mitsyuk A.A. Simulating Petri Nets with Inhibitor and Reset Arcs
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 151-162.
- Serebrennikov K.G. Computing Transition Priorities for Live Petri Nets
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 163-174.
- Tvardovskii A.S., Yevtushenko N.V. FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 175-188.
- Burdonov I.B. Self-transformation of trees with a bounded degree of vertices to minimize or maximize the Wiener index
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 189-210.
- Shemetova E. N., Grigorev S.V. Path querying on acyclic graphs using Boolean grammars
Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019 . pp. 211-226.
- Koltunov D.S., Efimov V.Y., Padaryan V.A. Automated testing of a TCG frontend for Qemu
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 7-24
- Fursova N.I., Dovgalyuk P.M. Introspection of QEMU emulator peripherals configuration
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 25-36
- Kostyukov Yu.O., Batoev K.A., Mordvinov D.A., Kostitsyn M.P., Misonizhnik A.V. Automatic verification of heap-manipulating programs
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 37-62
- Namakonov E. S., Podkopaev A. V. Compilation of OCaml memory model into Power
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 63-78
- Sargsyan S.S., Hakobyan J.A., Movsisyan H.M., Mehrabyan M.S., Sirunyan V.T., Kurmangaleev Sh.F. Improving fuzzing performance by applying interval mutations
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 79-88
- Nedoria A.E. Language Design: OOP or not OOP or better OOP
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 89-94
- Lavrischeva E.M., Zelenov S.V., Pakulin N.V. Methods for assessing the reliability of software and hardware systems
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 95-108
- Khan A. DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 109-126
- Zubarev D.V., Sochenkov I.V. Cross-lingual similar document retrieval methods
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 127-136
- Avetisyan A.A., Drobyshevskiy M.D., Turdakov D.Yu. Methods for News Items Popularity Estimation on Early Stages
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 137-144
- Ryndin M.A., Turdakov D.Y. Domain adaptation by proactive labeling
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 145-152
- Bērziņš A.A. Usage of i-Vectors for Automated Determination of a Similarity Level between Languages
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 153-164
- Samonov A.V. Methods and Means for Automated Information Systems Development based on Ontology «Software and Hardware Complexes Quality Management»
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 165-182
- Ivashko E.E., Litovchenko V.S. Dynamic forecasting of the completion time of a computational experiment in a Desktop Grid
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 183-190
- Avdoshin S.М., Lazarenko A.В., Chichileva N.И., Naumov P.А., Klyucharev P.Г. Machine Learning Use Cases in Cybersecurity
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 191-202
- Andrianov P.S. Analysis of correct synchronization of operating system components
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 203-232
- Abramov S.A., Khmelnov D.E., Ryabenko A.A. Procedures to search for Laurent and regular solutions of linear ordinary differential equations with truncated power series coefficients
Proceedings of the Institute for System Programming. Volume 31, issue 5, 2019 . pp. 233-248
- Vasilyev A.A., Mutilin V.S. Predicate extension of symbolic memory graphs for analysis of memory safety correctness
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 7-20
- Gerasimov A.Y., Kutz D.O., Novikov A.A. A formal model for defect detection using symbolic program execution
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 21-32
- Bugerya A.B., Efimov V.Yu. Kulagin I.I., Padaryan V.A., Solovev M.A., Tikhonov A.Yu. A software complex for revealing malicious behavior in untrusted binary code
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 33-64
- Solovev M.A., Bakulin M.G., Makarov S.S., Manushin D.V., Padaryan V.A. Decoding of machine instructions for abstract interpretation of binary code
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 65-88
- Ivanov G.S., Palchickov P.M., Tarasov A.Y., Akimov G.S., Aslanyan A.K., Vardanyan V.G., Arutunian M.S., Keropyan G.S. Research and development of interprocedural algorithms for defect searching in executable program code
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 89-98
- Vishnyakov A.V., Nurmukhametov A.R. Survey of methods for automated code-reuse exploit generation.
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 99-124
- Grushin D.A., Lazarev D.O., Fomin S.A. Data caching in multi-container systems
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 125-144
- Shokurov A.V., Abramova I.V., Varnovsky N.P., Zakharov V.A. On the possibility of secure program obfuscation in some model of cloud computing
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 145-162
- Ivanov A.V., Strijhak S.V., Zakharov М. I. Modeling weather conditions in the port area and coastal zone of Tiksi Bay
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 163-176
- Koshelev K.B., Sttrijhak S.V. Simulation of particle dynamics in planetary boundary layer and in a model wind farm
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 177-186
- Mukha T. Effects of numerical dissipation on the predictive accuracy of wall-modelled large-eddy simulation
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 187-194
- Ovchinnikov K.D. Analysis of total resistance for different ship speeds
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 195-202
- Ali Rami, Tryaskin N.V. Numerical study on effect of the turbulence initial conditions on transition flow over 2D airfoil.
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 203-214
- Mikhailov E.A., Sibgatullin I.N. Research of influence of regular magnetic fields on flows in outer rings of galaxies
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 215-224
- Malinovskaya E.A. Study of the conditions for the occurrence of aeolian microrelief
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 225-236
- Khokhlov N.I., Petrov I.B. Application of the grid-characteristic method for solving the problems of the propagation of dynamic wave disturbances in high-performance computing systems
Proceedings of the Institute for System Programming. Volume 31, issue 6, 2019 . pp. 237-252
Back to the list of publications of ISP RAS