|
|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
| 1. |
E. M. Lavrischeva, S. V. Zelenov, N. V. Pakulin, “Methods for assessing the reliability of software and hardware systems”, Proceedings of ISP RAS, 31:5 (2019), 95–108  |
4
|
|
2018 |
| 2. |
N. V. Pakulin, E. M. Lavrischeva, A. G. Ryzhov, S. V. Zelenov, “Analysis of methods for assessing the reliability of equipment and systems. Practice of methods”, Proceedings of ISP RAS, 30:3 (2018), 99–120  |
11
|
|
2017 |
| 3. |
A. N. Emelenko, K. A. Mallachiev, N. V. Pakulin, “Debugger for real-time OS: challenges of multiplatform support”, Proceedings of ISP RAS, 29:4 (2017), 295–302 |
| 4. |
K. A. Mallachiev, N. V. Pakulin, A. V. Khoroshilov, D. V. Buzdalov, “Using modularization in embedded OS”, Proceedings of ISP RAS, 29:4 (2017), 283–294 |
|
2016 |
| 5. |
A. N. Emelenko, K. M. Mallachiev, N. V. Pakulin, “Developing a debugger for real-time operating system”, Proceedings of ISP RAS, 28:2 (2016), 193–204 |
| 6. |
K. M. Mallachiev, N. V. Pakulin, A. V. Khoroshilov, “Design and architecture of real-time operating system”, Proceedings of ISP RAS, 28:2 (2016), 181–192 |
11
|
|
2015 |
| 7. |
Kurbanmagomed Mallachiev, Nikolay Pakulin, “Remote service of system calls in microkernel hypervisor”, Proceedings of ISP RAS, 27:3 (2015), 267–278 |
| 8. |
A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman, “TLS clients testing”, Proceedings of ISP RAS, 27:2 (2015), 145–160 |
4
|
|
2014 |
| 9. |
N. V. Pakulin, “Dynamic verification of hybrid systems”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193), 189–203 |
| 10. |
A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman, “Conformance testing automation for transport layer security protocol tls”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193), 180–188 |
1
|
|
| Organisations |
|
|
