Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2017

  1. E.M. Lavrischeva The scientific foundations of programs and technology programming systems
  2. Mikhail Drobyshevskiy, Anton Korshunov, Denis Turdakov Learning and Scaling Directed Networks via Graph Embedding Proceedings of European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases.
  3. E.M. Lavrischeva, I.B. Petrov. Ways of Development of Computer Technologies to Perspective Nano. Preceeding of Future Technologies Conference (FTC) 2017, 29-30 November 2017. Vancouver, Canada, рр.539-548.
  4. Ekaterina Lavrischeva Foundations of software engineering. Paradigms, technologies, tools Proceedings of the 5th International Conference on Actual Problems of System and Software Engineering, Moscow, Russia, November 14-16, 2017, pp. 163-177.
  5. P.A. Parhomenko, A.A. Grigorev, N.A. Astrakhantsev A survey and an experimental comparison of methods for text clustering: application to scientific articles Trudy ISP RAN/Proc. ISP RAS, 2017, vol. 29, issue 2, pp. 161-200 (in Russian).
  6. N.F. Dimitrieva The numerical solution of the problem of stratified fluid flow around a wedge using OpenFOAM Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 7-20.
  7. M. Kalugin, I. Evdokimov Numerical study of characteristic modes and frequencies of flow in high-speed compressors Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 21-38.
  8. P.S. Lukashin, S.V. Strijhak, G.A. Shcheglov Validation of open source code BEM++ for simulation of acoustic problems Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 39-52.
  9. V.G. Melnikova, O.S. Kotsur, G.A. Shcheglov Numerical simulation of the flow rate regulator valve using OpenFOAM Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 53-70.
  10. V. Puzikova The LS-STAG Immersed Boundary Method Modification for Viscoelastic Flow Computations Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 71-84.
  11. D.I. Romanova 3D avalanche flow modeling using OpenFOAM Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 85-100.
  12. A.N. Nuriev, A.I. Yunusova, O.N. Zaitseva Simulation of the wedge-shaped vibration-driven robot motion in the viscous fluid forced by different laws of internal mass movement in the package OpenFOAM Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 101-118.
  13. M.K. Ermakov, A.Y. Gerasimov, D.O. Kutz, A.A. Novikov Applying iterative dynamic analysis to programs with graphical user interface Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 119-134.
  14. S.P. Vartanov, M.K. Ermakov, A.Y. Gerasimov Applying dynamic analysis to programs running in interpreted environments Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 135-148.
  15. S.P. Vartanov, A.Y. Gerasimov, M.K. Ermakov, D.O. Kutz, A.A. Novikov Dynamic analysis of programs with graphical user interface based on symbolic execution Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 149-166.
  16. A.D. Tatarnikov A Survey of Methods and Tools for Test Program Generation for Microprocessors Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 167-194.
  17. M.U. Mandrykin, V.S. Mutilin Survey of memory modeling methods in static verification tools Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 195-230.
  18. R.S. Samarev Review of streaming processing field Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 231-260.
  19. I. Burdonov, A. Kossatchev Size of the memory for storage of ordered rooted graph Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 7-26.
  20. I. Burdonov, A. Kossatchev A general approach to solving problems on graphs by collective automata Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 27-76.
  21. E.M. Novikov Evolution of the Linux kernel Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 77-96.
  22. E.M. Novikov Static verification of operating system monolithic kernels Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 97-116.
  23. S.D. Kuznetsov Data Management: 25 Years of Forecasts Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 117-160.
  24. C.E. Leyton-Pavez, J.M. Redondo, A.M. Tarquis-Alfonso, J.C. Gil-Martín, J.D. Tellez-Alvarez Fractal Analysis of Growing Cities and its Relationship with Health Centre Distribution Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 201-214.
  25. J.M. Redondo, J.D. Tellez-Alvarez, J.M. Sanchez Turbulent convection by thermoelectricity in a cooling-heating didactive device Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 215-230.
  26. P.A. Parhomenko, A.A. Grigorev, N.A. Astrakhantsev A survey and an experimental comparison of methods for text clustering: application to scientific articles Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 161-200.
  27. A.S. Anichkin, V.A. Semenov Mathematical formalization of project scheduling problems Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 231-256.
  28. A.V. Kozachok, E.V. Kochetkov Secure code execution system operation algorithm Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 17-30.
  29. A. Merkulov, S. Polyakov, A. Belevantsev Supporting Java programming in the Svace static analyzer Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 57-74.
  30. A.Y. Gerasimov Survey on static program analysis results refinement approaches Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 75-98.
  31. M.V. Belyaev, N.V. Shimchik, V.N. Ignatyev, A.A. Belevantsev Comparative analysis of two approaches to the static taint analysis Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 99-116.
  32. A.I. Get’man, Yu.V. Markin, D.O. Obidenkov, E.F. Evstropov A survey of problems and solution methods in network traffic classification Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 117-150.
  33. Yu.A. Solodelov, N.K. Gorelits Certifiable onboard real-time operation system JetOS for Russian aircrafts design Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 171-178.
  34. V.O. Mordan Combination of static verification methods for checking requirements composition Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 151-170.
  35. E.Y. Sharygin, R.A. Buchatskiy Survey of Just-in-Time Query Compilation Methods Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 179-224.
  36. N.N. Kuzyurin On the problem of finding approximation of bipatite cliques Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 225-232.
  37. A. Sotnikov, N. Shabaldina, M. Gromov Experiments on Parallel Composition of Timed Finite State Machines Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 233-246.
  38. P.N. Devyanin On the problem of representation of the formal model of security policy for operating systems Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 7-16.
  39. V.A. Padaryan On representation used in the binary code reverse engineering Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 31-42.
  40. A.V. Khoroshilov, I.V. Shchepetkov ADV_SPM — Formal security policy models in practice Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 43-56.
  41. A.S. Anichkin, V.A. Semenov Object-oriented framework for software development of scheduling applications Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 247-296.
  42. N. Y. Viuginov, V. S. Fondaratov Automated Type Contracts Generation in Ruby Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 7-20.
  43. R.A. Nesterov, I.A. Lomazova Using Interface Patterns for Compositional Discovery of Distributed System Models Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 21-38.
  44. A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, S. Ebersold A contract-based method to specify stimulus-response requirements Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 39-54.
  45. D.R. Bashkirova, S. Yoshizawa, R.H. Latypov, H. Yokota Fast L1 Gauss Transforms for Edge-Aware Image Filtering Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 55-72.
  46. A.V. Kornilova, I.A. Kirilenko, N.I. Zabelina Real-time digital video stabilization using MEMS-sensors Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 73-86.
  47. A.R. Gimaletdinova, K.Y. Degtiarev Type-2 Fuzzy Rule-Based Model of Urban Metro Positioning Service Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 87-106.
  48. M.K. Gordenko, S.M. Avdoshin The Mixed Chinese Postman Problem Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 107-122.
  49. S.M. Avdoshin, E.N. Beresneva The Metric Travelling Salesman Problem: The Experiment on Pareto-optimal Algorithms Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 123-138.
  50. A.S. Tvardovskii, N.V. Yevtushenko, M.L. Gromov Minimizing Finite State Machines with time guards and timeouts Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 139-154.
  51. K.V. Davydova, S.A. Shershakov Mining Hybrid UML Models from Event Logs of SOA Systems Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 155-174.
  52. L.W. Dworzanski, V.E. Mikhaylov Tool for Behavioral Analysis of Well-Structured Transition Systems Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 175-190.
  53. A.A. Karnov, S.V. Zelenov Stochastic Methods for Analysis of Complex Hardware-Software Systems Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 191-202
  54. A. Volkov, M. Mandrykin Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 203-216
  55. S.V. Kozin, V.S. Mutilin Static Verification of Linux Kernel Configurations Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 217-230.
  56. V.S. Burenkov A Technique for Parameterized Verification of Cache Coherence Protocols Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 231-246
  57. M.M. Chupilko, A.S. Kamkin, M.S. Lebedev, S.A. Smolov Test Generation for Digital Hardware Based on High-Level Models Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 247-256
  58. M.V. Petrochenkov, R.E. Mushtakov, I.A. Stotland Verification of 10 Gigabit Ethernet Controllers Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 257-268.
  59. O. Moskaleva, A. Gromova Creating Test Data for Market Surveillance Systems with Embedded Machine Learning Algorithms Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 269-282.
  60. K.A. Mallachiev, N.V. Pakulin, A.V. Khoroshilov, D.V. Buzdalov Using modularization in embedded OS Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 283-294.
  61. A.N. Emelenko, K.A. Mallachiev, N.V. Pakulin Debugger for Real-Time OS: Challenges of Multiplatform Support Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 295-302.
  62. L.D. Kanteev, Yu.O. Kostyukov, D.V. Luciv, D.V. Koznov, M.N. Smirnov Discovering Near Duplicate Text in Software Documentation Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 303-314
  63. S.I. Smetanin The Program for Public Mood Monitoring through Twitter Content in Russia Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 315-324.
  64. I.I. Dolgaleva, I.A. Gorshkov, R.E. Yavorskiy Narrabat — a Prototype Service for Stylish News Retelling Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017 . pp. 325-336.
  65. Barabanov A.V., Lavrov A.I., Markov A.S., Polotnyanschikov I.A., Tsirlov V.L. The Study into Cross-Site Request Forgery Attacks within the Framework of Analysis of Software Vulnerabilities Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 7-18.
  66. Semenkovich S.A., Kolekonova O.I., Degtiarev K.Y. A Modified Scrum Story Points Estimation Method Based on Fuzzy Logic Approach Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 19-38.
  67. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Modified codes with weighted-transitions summation in concurrent error detection systems of combinational circuits Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 39-60.
  68. Matrosova A.Yu., Ostanin S.A., Nikolaeva E.A. Partially Programmable Circuit Design Oriented to masking Trojan Circuits Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 61-74.
  69. Nikiforov V.V., Baranov S.N. A Flat Chart Technique for Embedded OS Testing Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 75-92.
  70. Lavrischeva E.M., Mutilin V.S., Ryzhov A.G. Designing variability models for software, operating systems and their families Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 93-110.
  71. Gerasimov A.Y., Kruglov L.V., Ermakov M.K., Vartanov S.P. An approach of reachability determination for static analysis defects with help of dynamic symbolic execution Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 111-134.
  72. Kozachok A.V. First order logic to set requirements for secure code execution Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 135-148.
  73. Podkopaev A.V., Lahav O., Vafeiadis V. Promising Compilation to ARMv8.3 Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 149-164.
  74. Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. Support tools for creation and transformation of functional-dataflow parallel programs Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 165-184.
  75. Kazakov K.A., Semenov V.A. Object-oriented framework for motion planning in complex dynamic environments Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 185-238.
  76. Anichkin A.S., Morozov S.V., Semenov V.A., Tarlapan O.A. Evolutionary development of a visual planning system using object-oriented framework Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 239-256.
  77. Zelenova S.A., Zelenov S.V. Modeling and Risk Analysis of Hardware-Software Systems Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 257-282.
  78. Burdonov I., Kossatchev A., Sortov A. Distributed algorithms on rooted undirected graphs Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 283-310.
  79. Semakin A.N. Software for adaptive grid construction Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 311-328.
  80. Tsynaeva A., Razorenov S., Belaya V. Numerical modeling of heat transfer of channel with shallow curly dimples Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017 . pp. 329-344.
  81. Kozachok A.V., Kochetkov E.V. Verified program code execution system prototype Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 7-24.
  82. Zakharov I.S., Novikov E.M. Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 25-48.
  83. Efremov D.V., Mandrykin M.U. Formal Verification of Linux Kernel Library Functions Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 49-76.
  84. Efimov V.Yu., Bezzubikov A.A., Bogomolov D.A., Goremykin O.V., Padaryan V.A. Automation of device and machine development for QEMU Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 77-104.
  85. Mikhailov A.A., Hmelnov A.E. Delphi object files decompiler Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 105-116.
  86. Yakimov I.A., Kuznetsov A.S. Searching for missing library function calls using machine learning Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 117-134.
  87. Kogtenkov A.V. Null safety benchmarks for object initialization Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 135-150.
  88. Fedotov A.N., Kaushan V.V., Gaissaryan S.S., Kurmangaleev Sh.F. Building security predicates for some types of vulnerabilities Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 151-162.
  89. Nurmukhametov A.R., Zhabotinskiy E.A., Kurmangaleev Sh. F., Gaissaryan S.S., Vishnyakov A.V. Fine-grained address space layout randomization on program load Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 163-182.
  90. Zelenova S.A., Zelenov S.V. Non-conflict scheduling criterion for strict periodic tasks Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 183-202.
  91. Axenova E.L., Shvetsova V.V., Borisenko O.D., Bogomolov I.V. Openstack Keystone identification service drop-in replacement Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 203-212.
  92. Kuzyrin N.N., Lazarev D.O. Analysis of size of the largest dense subgraph of random hypergraph Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 213-220.
  93. Lazarev D.O., Kuzyrin N.N. An algorithm for Multiple Strip Package and its average case evaluation Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 221-228.
  94. Grushin D.A., Kuzjurin N.N. Optimization problems running MPI-based HPC applications Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 229-244.
  95. Nikitin M.N. Simulation of mixed convection over horizontal plate Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 245-252.
  96. Lukashin P.S., Melnikova V.G., Strijhak S.V., Shcheglov G.A. The method of solving aeroelasticity problems for wind blade using open source software Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 253-270.
  97. Koterov V.N, Krivtsov V.M., Zubov V.I. Software package to calculate the aerodynamic characteristics of aircrafts Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 271-288.
  98. Tellez-Alvarez J., Gomez M., Russo B. Image processing technique for hydraulic application Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 289-298.
  99. Ryakhovskiy A.I., Schmidt A.A., Antonov V.I. Numerical Simulation of High-Speed Non-equilibrium Flow with Applied Magnetic Field Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 299-310.
  100. Sánchez-Cordero E., Gómez M., Bladé E. Three-dimensional numerical analysis of a dam-break using OpenFOAM Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 311-320.
  101. Avdeev E.V., Volkova K.A., Ovchinnikov V.A. Final drive lubrication modeling Proceedings of the Institute for System Programming. Volume 29, issue 6, 2017 . pp. 321-330.

Back to the list of publications of ISP RAS