- Lavrischeva E.M., Ryzhov A.G. Approach to the modeling of systems and sites from ready resources Conference "Scientific Service on the Internet", Novorossiysk, 17-22 September 2018
- Gonakhchyan V.I. Efficient command buffer recording for accelerated rendering of large 3d scenes In Proceedings of the 12th International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing, pp. 397–402.
- Ilyin D., Morozov S., Semenov V., Tarlapan O. Management of complex product data using incremental semantic validation Advances in Transdisciplinary Engineering, 7, pp. 956-965
- Semenov V., Arishin, S., Petrishchev, K., Zolotov V. Holistic framework for spatial-temporal analysis of production schedules Advances in Transdisciplinary Engineering, 7, pp. 807-816
- Kazakov, K., Morozov S., Semenov V., Zolotov V. Software library for path planning in complex construction environments eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the 12th European Conference on Product and Process Modelling, ECPPM 2018, pp. 207-214
- Zolotov V.A., Petrishchev, K.S., Semenov V.A. Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees Programming and Computer Software, (2016), 42, 6, (375-381), Programming and Computer Software, 44 (6), p. 554
- Morozov S., Semenov V., Tarlapan O., Zolotov V. Indexing of hierarchically organized spatial-temporal data using dynamic regular octrees Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10742 LNCS, pp. 276-290
- H.Yenigun, N. Yevtushenko, N. Kushik, J. López The effect of partiality and adaptivity on the complexity of FSM state identification problems
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 7-24.
- A. Tvardovskii, A. Laputenko On the possibilities of FSM description of Parallel composition of Timed Finite State Machines
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 25-40.
- N.A. Shalyapina, A.A. Zaytsev, S.V. Batratskiy, M.L. Gromov Stuck-At-Faults Tester as a Web-Service
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 41-54.
- S. Staroletov Towards the methods of analysis malicious applications for Android operating system
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 55-68.
- I. Burdonov, A. Kossatchev, V. Kuliamin, A. Tomilin, V. Shnitman Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 69-88.
- S.M. Avdoshin, A.V. Lazarenko Bitcoin Users Deanonimization Methods
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 89-102.
- B.Α. Pozin The Principles of Life Cycle Supporting System for Mission-Critical Systems
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 103-114.
- M.S. Guskova, L.Yu. Barash, L.N. Shchur Applying AVX512 vectorization to improve the performance of a random number generator
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 115-126.
- V.N. Yudin, L.E. Karpov Dealing with not Fully Described Objects in Decision Support Systems: Alternative Approaches
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 127-136.
- V.A. Pavlov, B.A. Novikov Array Database Internals
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 137-160.
- E.I. Gusev Optimizing access to memory pages in software-implemented global page cache systems
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 161-182.
- A.N. Nuriev, A.M. Kamalutdinov, O.N. Zaitseva Dependence of hydrodynamic forces acting on oscillating thin plates on the shape of edges in the range of large oscillation amplitudes
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 183-194.
- I. Marchevsky, V. Puzikova The efficiency comparison of solvers for sparse linear algebraic equations systems based on the BiCGStab and FGMRES methods
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 195-214.
- S.A. Dergachev Mathematical simulation of vorticity evolution in the case of spatial flow around bodies by the method of vortex loops
Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 215-226.
- Stolyarov A.V., Frantsuzov O.G., Anikina A.S. Pure Compiled Execution as a Programming Paradigm
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 7-24.
- Bugerya A.B., Kim E.S., Solovev M.A. Parallelization of implementations of purely sequential algorithms
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 25-44.
- Lozov P., Boulytchev D. Conversion Typed Functions into Relational Form
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 45-64.
- Fokina N.Yu., Solovev M.A. Automated generation of machine instruction decoders
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 65-80.
- Gonakhchyan V.I. Occlusion culling algorithm based on software visibility checks
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 81-98.
- Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. The organization of the totally self-checking integrated control circuit based on the Boolean complement method up to «2-out-of-4» constant-weight code
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 99-112.
- Nikeshin A.V., Shnitman V.Z. The review of Extensible Authentication Protocol and its methods
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 113-148.
- Azimov R.Sh., Grigorev S.V. Path querying using conjunctive grammars
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 149-166.
- Burdonov I.B., Kossatchev A.S. Directed distributed system: Backtracking problem
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 167-194.
- Sytnik A.A., Shulga T.E., Danilov N.A. Ontology of the “Software Usability” Domain
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 195-214.
- Gilyazev R.A., Turdakov D.Y. Active learning and crowdsourcing: a survey of annotation optimization methods
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 215-250.
- Nuzhny A.S., Prozorov A.A., Bugaev V.I., Shuvalov N.D., Podumov V.V. Ballistocardiogram analysis on edge computing nodes
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 251-262.
- Smirnova E.V., Marchevsky I.K., Bondarchuk V.O. Axisymmetric viscous incompressible flow simulation by using the Particle finite element PFEM-2 method in the open source Kratos code
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 263-284.
- Korchagova V.N., Fufaev I.N., Sautkina S.M., Lukin V.V. On 2D gas dynamics simulation using RKDG method on structured rectangular meshes
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 285-300.
- Avdeeva A.N., Puzikova V.V. Application of parallel algorithms for numerical simulation of quasi-one dimensional blood flow
Proceedings of the Institute for System Programming. Volume 30, issue 2, 2018 . pp. 301-316.
- Asryan S.A., Gaissaryan S.S., Kurmangaleev Sh. F., Aghabalyan A.М., Hovsepyan N.H., Sargsyan S.S. Dynamic detection of Use After Free bugs
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 7-20.
- Dudina I.A. Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 21-30.
- Lesovoy S.L. Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 31-46.
- Trifanov V.Yu. Applying synchronization contracts approach for dynamic detection of data races in industrial applications
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 47-62.
- Chebykin A.E., Kirilenko I.A. Applying Deep Learning to C# Call Sequence Synthesis
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 63-86.
- M.A. Abakumov., P.M. Dovgalyuk Stealth debugging of programs in Qemu emulator with WinDbg debugger
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 87-92.
- Ivanov A.V., Dovgaluk P.M., Makarov V.A. Configurable system call tracer in QEMU emulator
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 93-98.
- Lavrischeva E.M., Pakulin N.V., Ryzhov A.G., Zelenov S.V. Analysis of methods for assessing the reliability of equipment and systems. Practice of methods
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 99-120.
- Cheptsov V.Yu., Khoroshilov A.V. In-Kernel Memory-Mapped I/O Device Emulation
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 121-134.
- Mallachiev K.A., Khoroshilov A.V. Building Modular Real-time software from Unified Component Model
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 135-148.
- A.A. Andryukhin Methods of protecting decentralized autonomous organizations from crashes and attacks
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 149-164.
- Prokopev S.E. Cryptographic Stack Machine Notation One
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 165-182.
- Lebedev D.A., Stotland I.A. Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 183-194.
- Petrochenkov M.V., Mushtakov R.E., Shpagilev D.I. Verification of System on Chip Integrated Communication Controllers
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 195-206.
- Zosimov V.V., Khrystodorov O.V., Bulgakova O.S. Dynamically changing user interfaces: software solutions based on automatically collected user information
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 207-220.
- Gordenko M.K., Avdoshin S.M. The Variants of Chinese Postman Problems and Way of Solving through Transformation into Vehicle Routing Problems
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 221-232.
- Beresneva E., Avdoshin S. Analysis of Mathematical Formulations of Capacitated Vehicle Routing Problem and Methods for their Solution
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 233-250.
- Beresneva E., Gordenko M. Applying the methods of system analysis to teaching assistants evaluation
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 251-270.
- Ilyin D.V., Fokina N.Yu., Semenov V.A. Static dependency analysis for semantic data validation
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 271-284.
- Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 285-302.
- Gnatenko A.R., Zakharov V.A. On the model checking of finite state transducers over semigroups
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 303-324.
- Vinarskii E.M., Zakharov V.A. On the verification of strictly deterministic behaviour of Timed Finite State Machines
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 325-340.
- Slovokhotov Yu.L., Neretin I.S. Toward construction of a modular model of distributed intelligence
Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 341-362.
- Goloveshkin A.V., Mikhalkovich S.S. Tolerant parsing with a special kind of «Any» symbol: the algorithm and practical application
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 7-28.
- Adamovich I.A., Klimov And.V. An Interactive Specializer Based on Partial Evaluation for a Java Subset
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 29-44.
- Kirgizov G.V., Kirilenko I.A. Heterogeneous Architectures Programming Library
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 45-62.
- Gorelits N.K., Gukova A.S., Peskov E.V. Criteria for software to safety-critical complex certifiable systems development
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 63-78.
- Kulik T., Larsen P.G. Towards Formal Verification of Cyber Security Standards
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 79-94.
- Putro P.A. Combining ACSL Specifications and Machine Code
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 95-106.
- Carrasquel J.C., Morales A., Villapol M.E. Prosega/CPN: An extension of CPN Tools for Automata-based Analysis and System Verification
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 107-128.
- Chupilko M.M., Drozdova E.A. Simulation-based Verification of Hardware Bus Controllers
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 129-138.
- Tvardovskii A.S., Yevtushenko N.V. Deriving adaptive distinguishing sequences for Finite State Machines
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 139-154.
- Pisarev I.A., Babenko L.K. Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 155-168.
- Polyakov A.R., Kornilova A.V., Kirilenko I.A. Auto-calibration and synchronization of camera and MEMS-sensors
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 169-182
- Musatian S.A., Lomakin A.V., Sartasov S. Yu., Popyvanov L.K., Monakhov I.B., Chizhova A.S. Medical Images Segmentation Operations
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 183-194
- Sachkov V.E. The use of associative semantic preprocessor in the interactive dialogue systems in natural language
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 195-208.
- Lazarev D.O., Kuzjurin N.N. On on-line algorithms for Bin, Strip and Box Packing, and their worst- and average-case analysis
Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 209-230
- Lavrischeva E.M., Petrenko A.K. Iformatics: Formation of computer software and technologies of software systems
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 7-30.
- Vishnyakov A.V., Nurmukhametov A.R., Kurmagaleev Sh.F., Gaisaryan S.S. Method for analysis of code-reuse attacks
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 31-54.
- Dudina A., Malyshev N.E. An approach to the C string analysis for buffer overflow detection
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 55-74.
- Kononov D.S. An approach to analyzing executable code based on recovery of software architecture
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 75-88.
- Stepanov V.M., Dovgalyuk P.M., Poletaev D.N. Tracing ext3 file system operations in the emulator QEMU
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 101-108.
- Aslanyan H.K. Platform for interprocedural static analysis of binary code
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 89-100.
- Kovalev S.G. Reading the contents of deleted and modified files in virtualization based black-box binary analysis system Drakvuf
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 109-122.
- Samonov A.V., Samonova G.N. Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 123-146.
- Levin M.P. Rock Flow Simulation by High-Order Quasi-Characteristics Scheme
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 197-212.
- Sorokovikova O.S., Dzama D.V., Asfandiyarov D.G. Specialized robust CFD RANS microscale meteorological model for modelling atmospheric processes and contamination transport in urban and industrial areas.
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 213-234.
- Ovchinnikov K.D. Numerical simulation of motions of ship with moonpool in head waves
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 235-248.
- Zenkin V.A. Ontological CFD-repository
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 249-264.
- Shishkin E.S. Verifying functional properties of smart contracts using symbolic model-checking
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 265-288.
- Kozachok A.V. TLA+ based access control model specification
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 147-162.
- Kildishev D.S., Khoroshilov A.V. Formalizing Metamodel of Requirements Management System
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 163-176.
- Alimova I.S., Tutubalina E.V. Entity-level classification of adverse drug reactions: a comparison of neural network models
Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 177-196.
- B.M. Shabanov, O.I. Samovarov Building the Software Defined Data Center
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 7-24.
- A.Yu. Gerasimov, S.S. Sargsyan, S.Sh. Kurmangaleev, J.A. Hakobyan, S.A. Asryan, M.K. Ermakov Combining dynamic symbolic execution, code static analysis and fuzzing
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 25-38.
- M.A. Solovev, M.G. Bakulin, M.S. Gorbachev, D.V. Manushin, V.A. Padaryan, S.S. Panasenko Next generation intermediate representations for binary code analysis
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 39-68.
- I.B. Burdonov, N.V. Evtushenko, A.S. Kossatchev Testing switch rules in software defined networks
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 69-88.
- A.V. Nikeshin, V.Z. Shnitman Conformance testing of Extensible Authentication Protocol implementations
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 89-104.
- D.O. Lazarev, N.N. Kuzyurin On-line algorithm for scheduling parallel tasks on related computational clusters with processors of different capacities and it’s average-case analysis
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 105-122.
- D.A. Grushin, N.N. Kuzyurin On an effective scheduling problem in computation clusters
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 123-142.
- A.A. Vasilyev Static verification for memory safety of Linux kernel drivers
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 143-160.
- S.V. Kozin Linux kernel configuration build for application systems
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 161-170.
- Y.R. Nedumov, S.D. Kuznetsov Exploratory search for scientific articles
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 171-198.
- A. A. Avetisyan, M. D. Drobyshevskiy, D.Yu. Turdakov Methods for Information Spread Analysis
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 199-220.
- A.V. Glazkova Automatic search for fragments containing biographical information in a natural language text
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 221-236.
- K.S. Petrishchev, V.A. Zolotov, V.A. Semenov A system of operators for spatial-temporal analysis of dynamic scenes
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 237-258.
- M.V. Kraposhin, S.V. Strijhak The problem-oriented library SOWFA for solving the applied tasks of wind energy
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 259-274.
- M.V. Kraposhin Multiscale approach for simulation of complex transient processes of fluid flows in technical systems
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 275-292.
- A.V. Shokurov Minimal basis of the syzygies module of leading terms
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 293-304.
- A.M. Vodovozov, D.S. Poletaev Programming of digital linear phase filter in ARMv8 architecture
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 305-314.
- V.G. Melnikova Testing different numerical methods opportunities for internal flows simulation
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 315-328.
- N.A. Polibina Mathematical modeling of polymeric cover outgassing process in open space conditions
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 329-340.
- D.V. Buzdalov, A.K. Petrenko, A.V. Khoroshilov On representation of simulation time in functional programming style
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 341-366.
- V.V. Kuliamin, A.K. Petrenko, A.V. Khoroshilov Component-based verification of operating systems
Proceedings of the Institute for System Programming. Volume 30, issue 6, 2018 . pp. 367-382.
Back to the list of publications of ISP RAS