Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2018

  1. 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
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. V.A. Pavlov, B.A. Novikov Array Database Internals Proceedings of the Institute for System Programming. Volume 30, issue 1, 2018 . pp. 137-160.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. Prokopev S.E. Cryptographic Stack Machine Notation One Proceedings of the Institute for System Programming. Volume 30, issue 3, 2018 . pp. 165-182.
  43. 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.
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. 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.
  55. 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.
  56. 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.
  57. 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.
  58. 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.
  59. Putro P.A. Combining ACSL Specifications and Machine Code Proceedings of the Institute for System Programming. Volume 30, issue 4, 2018 . pp. 95-106.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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
  65. 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
  66. 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.
  67. 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
  68. 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.
  69. 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.
  70. 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.
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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.
  76. 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.
  77. 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.
  78. 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.
  79. Zenkin V.A. Ontological CFD-repository Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 249-264.
  80. 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.
  81. Kozachok A.V. TLA+ based access control model specification Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018 . pp. 147-162.
  82. 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.
  83. 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.
  84. 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.
  85. 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.
  86. 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.
  87. 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.
  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.
  89. 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.
  90. 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.
  91. 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.
  92. 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.
  93. 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.
  94. 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.
  95. 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.
  96. 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.
  97. 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.
  98. 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.
  99. 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.
  100. 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.
  101. 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.
  102. 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.
  103. 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.
  104. 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