1. Common knowledge in well-structured perfect recall systems

   • N. O. Garanina

   OriginalPaper 01 February 2015 Pages: 381 - 388

2. Software defect detection by combining bounded model checking and approximations of functions

   • M. Kh. Akhin
   • M. A. Belyaev
   • V. M. Itsykson

   OriginalPaper 01 February 2015 Pages: 389 - 397

3. A formal model and verification problems for software defined networks

   • V. A. Zakharov
   • R. L. Smelyansky
   • E. V. Chemeritsky

   OriginalPaper 01 February 2015 Pages: 398 - 406

4. Automatic C program verification based on mixed axiomatic semantics

   • I. V. Maryasov
   • V. A. Nepomnyaschy
   • D. A. Kondratyev

   OriginalPaper 01 February 2015 Pages: 407 - 414

5. A formal approach to test scenarios generation based on guides

   • P. D. Drobintsev
   • V. P. Kotlyarov
   • A. A. Letichevsky

   OriginalPaper 01 February 2015 Pages: 415 - 423

6. Construction and verification of PLC LD programs by the LTL specification

   • E. V. Kuzmin
   • V. A. Sokolov
   • D. A. Ryabukhin

   OriginalPaper 01 February 2015 Pages: 424 - 436

7. Designing and development of an imitation model of a multitenant database cluster

   • E. A. Boytsov

   OriginalPaper 01 February 2015 Pages: 437 - 444

8. Steady states of a delay differential equation of an insect population’s dynamics

   • S. A. Kashchenko

   OriginalPaper 01 February 2015 Pages: 445 - 457

9. Corner boundary layer in nonlinear elliptic problems containing first-order derivatives

   • V. F. Butuzov
   • I. V. Denisov

   OriginalPaper 01 February 2015 Pages: 458 - 476

10. Influence of delayed feedback control on the stability of periodic orbits

    • V. G. Bogaevskaya
    • I. S. Kashchenko

    OriginalPaper 01 February 2015 Pages: 477 - 486

11. One mechanism of hard excitation of oscillations in nonlinear flutter systems

    • S. D. Glyzin
    • A. Yu. Kolesov
    • N. Kh. Rozov

    OriginalPaper 01 February 2015 Pages: 487 - 495

12. Classical and nonclassical symmetries of a nonlinear differential equation for describing waves in a liquid with gas bubbles

    • N. A. Kudryashov
    • D. I. Sinelshchikov

    OriginalPaper 01 February 2015 Pages: 496 - 501

13. Asymptotics of solutions of finite-difference approximations of a logistic equation with delay and small diffusion

    • S. A. Kashchenko
    • V. E. Frolov

    OriginalPaper 01 February 2015 Pages: 502 - 515

14. Motion equations of a rigid body with two elastic rods

    • D. A. Eliseev
    • E. P. Kubyshkin

    OriginalPaper 01 February 2015 Pages: 516 - 520

15. On one problem for a simplex and a cube in ℝ ⁿ

    • M. V. Nevskii

    OriginalPaper 01 February 2015 Pages: 521 - 527

16. TCP TIPS: Transport protocol for unreliable networks with latency-sensitive data

    • A. A. Sivov

    OriginalPaper 01 February 2015 Pages: 528 - 533

17. How to make a simple tool for verification of real-time systems

    • I. V. Konnov
    • V. V. Podymov
    • D. A. Zorin

    OriginalPaper 01 February 2015 Pages: 534 - 542

18. Some solvability classes for the problem of integer balancing of a three-dimensional matrix with constraints of the second type

    • A. V. Smirnov

    OriginalPaper 01 February 2015 Pages: 543 - 553

19. Modeling, specification and construction of PLC-programs

    • E. V. Kuzmin
    • V. A. Sokolov

    OriginalPaper 01 February 2015 Pages: 554 - 563

20. On the efficient modeling of unbounded resource by one-counter circuits

    • V. A. Bashkin

    OriginalPaper 01 February 2015 Pages: 564 - 574

21. On the recursive-parallel programming for the .NET framework

    • V. V. Vasilchikov

    OriginalPaper 01 February 2015 Pages: 575 - 580

22. Equivalence problem solvability in gateway program models

    • R. I. Podlovchenko
    • A. E. Molchanov

    OriginalPaper 01 February 2015 Pages: 581 - 588

23. A translator with a security static analysis feature of an information flow for a simple programming language

    • E. Ju. Antoshina
    • A. N. Barakova
    • D. Ju. Chalyy

    OriginalPaper 01 February 2015 Pages: 589 - 593

24. Applying stochastic metaheuristics to the problem of data management in a multi-tenant database cluster

    • E. A. Boytsov

    OriginalPaper 01 February 2015 Pages: 594 - 601

25. Modeling a consistent behavior of PLC-sensors

    • E. V. Kuzmin
    • D. A. Ryabukhin
    • V. A. Sokolov

    OriginalPaper 01 February 2015 Pages: 602 - 614

26. Primitive program schemata with procedures

    • R. I. Podlovchenko

    OriginalPaper 01 February 2015 Pages: 615 - 622

27. Multistability in a laser model with large delay

    • E. V. Grigorieva
    • I. S. Kashchenko
    • S. A. Kashchenko

    OriginalPaper 01 February 2015 Pages: 623 - 629

28. Dynamics of the complex spatially distributed Hutchinson equation

    • D. S. Glyzin
    • S. A. Kashchenko

    OriginalPaper 01 February 2015 Pages: 630 - 632

29. Doubly periodic meromorphic solutions of autonomous nonlinear differential equations

    • M. V. Demina
    • N. A. Kudryashov

    OriginalPaper 01 February 2015 Pages: 633 - 641