| 307 | -- | 310 | Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin. Analysis of a graph by a set of automata |
| 311 | -- | 324 | Alexander S. Kamkin. Projecting transition systems: Overcoming state explosion in concurrent system verification |
| 325 | -- | 335 | Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov. A combined toolset for the verification of real-time distributed systems |
| 336 | -- | 349 | N. A. Astrakhantsev, Denis G. Fedorenko, D. Yu. Turdakov. Methods for automatic term recognition in domain-specific text collections: A survey |
| 350 | -- | 360 | Constantin S. Pan, Mikhail L. Zymbler. Encapsulation of partitioned parallelism into open-source database management systems |
| 361 | -- | 372 | N. P. Varnovskiy, Vladimir A. Zakharov, N. N. Kuzyurin, Alexander V. Shokurov. The current state of art in program obfuscations: definitions of obfuscation security |
| 373 | -- | 380 | V. A. Padaryan, V. V. Kaushan, A. N. Fedotov. Automated exploit generation for stack buffer overflow vulnerabilities |