| |
| * | 2009 | |
|---|---|---|
| 3 | Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko: Creating Open Educational Environment based on Open-source Software Projects. CSEDU (2) 2009: 235-238 | |
| 2008 | ||
| 2 | EE | Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin: Automated Formal Testing of C API Using T2C Framework. ISoLA 2008: 56-70 |
| 2006 | ||
| 1 | EE | Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466 |
| 1 | Alexey Grinevich | [1] |
| 2 | Alexey V. Khoroshilov | [1] [2] |
| 3 | Victor V. Kuliamin | [1] |
| 4 | Denis Markovtsev | [1] |
| 5 | Alexandre Petrenko | [1] [3] |
| 6 | Olga Petrenko | [3] |
| 7 | Eugene A. Shatokhin | [2] |