1. Probabilistic generalization of formal concepts

   • E. E. Vityaev
   • A. V. Demin
   • D. K. Ponomaryov

   OriginalPaper 21 September 2012 Pages: 219 - 230

2. Higher-level supercompilation as a metasystem transition

   • I. G. Klyuchnikov
   • S. A. Romanenko

   OriginalPaper 21 September 2012 Pages: 231 - 244

3. Using linux device drivers for static verification tools benchmarking

   • M. U. Mandrykin
   • V. S. Mutilin
   • P. E. Shved

   OriginalPaper 21 September 2012 Pages: 245 - 256

4. Backward compatibility of software interfaces: Steps towards automatic verification

   • A. Ponomarenko
   • V. Rubanov

   OriginalPaper 21 September 2012 Pages: 257 - 267

5. Model-based testing of internet e-mail protocols

   • N. V. Pakulin
   • A. N. Tugaenko
   • V. Z. Shnitman

   OriginalPaper 21 September 2012 Pages: 268 - 275

6. The use of hardware virtualization in the context of information security

   • D. V. Silakov

   OriginalPaper 21 September 2012 Pages: 276 - 280