Мартиросян Ваграм Артурович
| Мартиросян Ваграм Артурович | |
| Vahram Martirosyan | |
| На английском: | Vahram Martirosyan |
| Краткая информация: к.ф.-м.н. | |
Биография
Сочинения
Programming in GNU/Linux Environment: from the system calls to the GUI (in Russian) RAU Publishing December 1, 2010 Authors: Vahram Martirosyan, PhD Page2Basics of programming in OS Linux environment (in Russian) MIPT April 4, 2011 Authors: Vahram Martirosyan, PhD, Vladimir Rubanov, Eugene Shatokhin Linux Programming basics (tools, POSIX), programming with GTK+ and QT Jinnetic Engineering (in Armenian) Richard Stallman December 25, 2010 Authors: Vahram Martirosyan, PhD, Richard Stallman Translation of the Richard Stallman's story "Jinnetic Engineering" into Armenian. X2C - XML To Code: Advantages of standarts. Forth scientific annual conference of RAU. December 2009 Authors: Vahram Martirosyan, PhD, Suren Gishyan X2C is an XML-based language, which can be used by a template engine in test generation process. In this paper that language is introduced. Dynamic Verification of Linux File System Drivers CSIT 2011 September 2011 Authors: Vahram Martirosyan, PhD, Eugene Shatokhin, Suren Gishyan The introduction to the Spruce system - a Linux file system verification system. The Spruce System: quality verification of Linux file system drivers SYRCoSE 2012 May 2012 Authors: Vahram Martirosyan, PhD, Karen Tsirunyan, Andrew Tsyvarev A report on the Spruce system: current state and future developments.
