Automatic Control and Computer Sciences 7/2014

Common knowledge in well-structured perfect recall systems

N. O. Garanina

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

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

A formal model and verification problems for software defined networks

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

Automatic C program verification based on mixed axiomatic semantics

I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

A formal approach to test scenarios generation based on guides

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

Construction and verification of PLC LD programs by the LTL specification

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

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

E. A. Boytsov

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

S. A. Kashchenko

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

V. F. Butuzov, I. V. Denisov

Influence of delayed feedback control on the stability of periodic orbits

V. G. Bogaevskaya, I. S. Kashchenko

One mechanism of hard excitation of oscillations in nonlinear flutter systems

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

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

N. A. Kudryashov, D. I. Sinelshchikov

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

S. A. Kashchenko, V. E. Frolov

Motion equations of a rigid body with two elastic rods

D. A. Eliseev, E. P. Kubyshkin

On one problem for a simplex and a cube in ℝ n

M. V. Nevskii

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

A. A. Sivov

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

I. V. Konnov, V. V. Podymov, D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin

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

A. V. Smirnov

Modeling, specification and construction of PLC-programs

E. V. Kuzmin, V. A. Sokolov

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

V. A. Bashkin

On the recursive-parallel programming for the .NET framework

V. V. Vasilchikov

Equivalence problem solvability in gateway program models

R. I. Podlovchenko, A. E. Molchanov

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

E. Ju. Antoshina, A. N. Barakova, E. S. Nikitin, D. Ju. Chalyy

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

E. A. Boytsov

Modeling a consistent behavior of PLC-sensors

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

Primitive program schemata with procedures

R. I. Podlovchenko

Multistability in a laser model with large delay

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

Dynamics of the complex spatially distributed Hutchinson equation

D. S. Glyzin, S. A. Kashchenko

Doubly periodic meromorphic solutions of autonomous nonlinear differential equations

M. V. Demina, N. A. Kudryashov

Springer Professional

Automatic Control and Computer Sciences

Content (29 Articles)

Current Publications

Premium Partner