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. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. D.I. Romanova 3D avalanche flow modeling using OpenFOAM Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 85-100.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. R.S. Samarev Review of streaming processing field Proceedings of the Institute for System Programming. Volume 29, issue 1, 2017 . pp. 231-260.
  16. 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.
  17. 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.
  18. E.M. Novikov Evolution of the Linux kernel Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 77-96.
  19. 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.
  20. S.D. Kuznetsov Data Management: 25 Years of Forecasts Proceedings of the Institute for System Programming. Volume 29, issue 2, 2017 . pp. 117-160.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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
  51. 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
  52. 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.
  53. 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
  54. 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
  55. 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.
  56. 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.
  57. 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.
  58. 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.
  59. 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
  60. 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.
  61. 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.

Back to the list of publications of ISP RAS