|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
1. |
D. A. Lebedev, M. V. Petrochenkov, “Test environment for verification of multi-processor memory subsystem unit”, Труды ИСП РАН, 31:3 (2019), 67–76 |
1
|
|
2018 |
2. |
M. V. Petrochenkov, R. E. Mushtakov, D. I. Shpagilev, “Verification of system on chip integrated communication controllers”, Труды ИСП РАН, 30:3 (2018), 195–206 |
|
2017 |
3. |
M. V. Petrochenkov, R. E. Mushtakov, I. A. Stotland, “Verification of 10 Gigabit Ethernet controllers”, Труды ИСП РАН, 29:4 (2017), 257–268 |
|
2016 |
4. |
Mikhail Petrochenkov, Irina Stotland, Ruslan Mushtakov, “Approaches to stand-alone verification of multicore microprocessor caches”, Труды ИСП РАН, 28:3 (2016), 161–172 |
1
|
|
2015 |
5. |
Alexander Kamkin, Mikhail Petrochenkov, “A model-based approach to design test oracles for memory subsystems of multicore microprocessors”, Труды ИСП РАН, 27:3 (2015), 149–160 |
|