|
|
|
Publications in Math-Net.Ru |
Citations |
|
2017 |
| 1. |
V. V. Nikiforov, S. N. Baranov, “A flat chart technique for embedded OS testing”, Proceedings of ISP RAS, 29:5 (2017), 75–92   |
| 2. |
V. V. Nikiforov, S. N. Baranov, “Static verification of task access to shared resources in real-time systems”, Tr. SPIIRAN, 52 (2017), 137–156 |
|
2016 |
| 3. |
S. N. Baranov, V. V. Nikiforov, “Analysis of real-time applications feasibility through simulation”, Model. Anal. Inform. Sist., 23:6 (2016), 673–687  |
|
2015 |
| 4. |
S. N. Baranov, V. V. Nikiforov, “Transitive Priority Inheritance in Real-Time Multi-Task Applications”, Tr. SPIIRAN, 43 (2015), 114–134 |
|
2013 |
| 5. |
V. V. Nikiforov, V. I. Shkirtil, “Estimation of blocking factor for tasks in real-time systems with multi-core processors”, Tr. SPIIRAN, 27 (2013), 93–106 |
1
|
|
2012 |
| 6. |
V. V. Nikiforov, V. I. Shkirtil, “Response time estimation for task chains in destributed real-time systems.”, Tr. SPIIRAN, 23 (2012), 134–156 |
|
2011 |
| 7. |
V. V. Nikiforov, V. I. Shkirtil, “Checkup оf logical structure correctness for multitask software applications”, News of the Kabardin-Balkar scientific center of RAS, 2011, no. 1, 213–216 |
|
2010 |
| 8. |
V. V. Nikiforov, V. I. Shkirtil, “Itinarary nets – the graphical formalism for presentation of real-time sofware application strucrures”, Tr. SPIIRAN, 14 (2010), 7–28 |
2
|
|
2009 |
| 9. |
V. V. Nikiforov, V. I. Shkirtil, “Specification of interfaces in real-time software applications by XML forms”, Tr. SPIIRAN, 11 (2009), 159–175 |
2
|
| 10. |
V. V. Nikiforov, “Basic requirements to the SPIIRAS transactions paper format feasibility of real-time applications on multicore processors”, Tr. SPIIRAN, 8 (2009), 255–284 |
1
|
|
2003 |
| 11. |
V. V. Nikiforov, N. V. Gutsalov, M. P. Chervinsky, “Модель ядра реального времени для встроенных систем”, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2003, no. 1-2, 62–78 |
|
2002 |
| 12. |
V.V. Nikiforov, “Task scheduling in time-triggered real-time systems”, Tr. SPIIRAN, 1:1 (2002), 129–144 |
|
| Organisations |
|
| |
|
|
Contact us: