| 219 | -- | 230 | Evgenii Vityaev, Alexander V. Demin, Denis Ponomaryov. Probabilistic generalization of formal concepts |
| 231 | -- | 244 | Ilya Klyuchnikov, Sergei A. Romanenko. Higher-level supercompilation as a metasystem transition |
| 245 | -- | 256 | Mikhail Mandrykin, Vadim Mutilin, Eugene Novikov, Alexey V. Khoroshilov, Pavel Shved. Using linux device drivers for static verification tools benchmarking |
| 257 | -- | 267 | Andrey V. Ponomarenko, Vladimir V. Rubanov. Backward compatibility of software interfaces: Steps towards automatic verification |
| 268 | -- | 275 | Nikolay V. Pakulin, Anastasia Tugaenko, V. Z. Shnitman. Model-based testing of internet e-mail protocols |
| 276 | -- | 280 | Denis V. Silakov. The use of hardware virtualization in the context of information security |