1. Analysis of a graph by a set of automata

   • I. B. Bourdonov
   • A. S. Kossatchev
   • V. V. Kulyamin

   OriginalPaper 15 November 2015 Pages: 307 - 310

2. Projecting transition systems: Overcoming state explosion in concurrent system verification

   • A. S. Kamkin

   OriginalPaper 15 November 2015 Pages: 311 - 324

3. A combined toolset for the verification of real-time distributed systems

   • D. Yu. Volkanov
   • V. A. Zakharov
   • I. V. Konnov

   OriginalPaper 15 November 2015 Pages: 325 - 335

4. Methods for automatic term recognition in domain-specific text collections: A survey

   • N. A. Astrakhantsev
   • D. G. Fedorenko
   • D. Yu. Turdakov

   OriginalPaper 15 November 2015 Pages: 336 - 349

5. Encapsulation of partitioned parallelism into open-source database management systems

   • C. S. Pan
   • M. L. Zymbler

   OriginalPaper 15 November 2015 Pages: 350 - 360

6. The current state of art in program obfuscations: definitions of obfuscation security

   • N. P. Varnovskiy
   • V. A. Zakharov
   • A. V. Shokurov

   OriginalPaper 15 November 2015 Pages: 361 - 372

7. Automated exploit generation for stack buffer overflow vulnerabilities

   • V. A. Padaryan
   • V. V. Kaushan
   • A. N. Fedotov

   OriginalPaper 15 November 2015 Pages: 373 - 380