Proceedings of ISP RAS


Proceedings of the Institute for System Programming. Volume 29, issue 5, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Corresponding Member of RAS A.I. Avetisyan

Download full volume
PDF


Table of Contents

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 pp. 7-18.

Semenkovich S.A., Kolekonova O.I., Degtiarev K.Y. A Modified Scrum Story Points Estimation Method Based on Fuzzy Logic Approach pp. 19-38.

Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Modified codes with weighted-transitions summation in concurrent error detection systems of combinational circuits pp. 39-60.

Matrosova A.Yu., Ostanin S.A., Nikolaeva E.A. Partially Programmable Circuit Design Oriented to masking Trojan Circuits pp. 61-74.

Nikiforov V.V., Baranov S.N. A Flat Chart Technique for Embedded OS Testing pp. 75-92.

Lavrischeva E.M., Mutilin V.S., Ryzhov A.G. Designing variability models for software, operating systems and their families pp. 93-110.

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 pp. 111-134.

Kozachok A.V. First order logic to set requirements for secure code execution pp. 135-148.

Podkopaev A.V., Lahav O., Vafeiadis V. Promising Compilation to ARMv8.3 pp. 149-164.

Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. Support tools for creation and transformation of functional-dataflow parallel programs pp. 165-184.

Kazakov K.A., Semenov V.A. Object-oriented framework for motion planning in complex dynamic environments pp. 185-238.

Anichkin A.S., Morozov S.V., Semenov V.A., Tarlapan O.A. Evolutionary development of a visual planning system using object-oriented framework pp. 239-256.

Zelenova S.A., Zelenov S.V. Modeling and Risk Analysis of Hardware-Software Systems pp. 257-282.

Burdonov I., Kossatchev A., Sortov A. Distributed algorithms on rooted undirected graphs pp. 283-310.

Semakin A.N. Software for adaptive grid construction pp. 311-328.

Tsynaeva A., Razorenov S., Belaya V. Numerical modeling of heat transfer of channel with shallow curly dimples pp. 329-344.

Back to the list of all volumes