|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
K. K. Kolin, A. V. Khoroshilov, A. V. Kan, Yu. V. Nikitin, “Solving the multilingualism problem in the international scientific and technical information space”, Proceedings of ISP RAS, 35:6 (2023), 337–346  |
|
2022 |
| 2. |
E. A. Gerlits, D. S. Kildishev, A. V. Khoroshilov, “Elicitation of functional requirements from the application programming interface documentation for functional testing”, Proceedings of ISP RAS, 34:1 (2022), 7–22 |
|
2021 |
| 3. |
D. V. Efremov, V. V. Kopach, V. V. Kulyamin, E. V. Kornykhin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Runtime verification of operating systems based on abstract models”, Proceedings of ISP RAS, 33:6 (2021), 15–26 |
1
|
| 4. |
P. N. Devyanin, V. Yu. Telezhnikov, A. V. Khoroshilov, “Building a methodology for secure system software development on the example of operating systems”, Proceedings of ISP RAS, 33:5 (2021), 25–40 |
3
|
|
2020 |
| 5. |
A. V. Khoroshilov, “Verification of compliance for multilevel models in individual trace semantics”, Proceedings of ISP RAS, 32:6 (2020), 19–30 |
| 6. |
A. K. Petrenko, D. V. Efremov, E. V. Kornykhin, V. V. Kuliamin, A. V. Khoroshilov, I. V. Shchepetkov, “Monitoring and testing based on multi-level program specifications”, Proceedings of ISP RAS, 32:6 (2020), 7–18 |
1
|
| 7. |
I. V. Gladyshev, A. S. Kamkin, A. M. Kotsynyak, P. A. Putro, A. V. Khoroshilov, “Architecture of a machine code deductive verification system”, Proceedings of ISP RAS, 32:3 (2020), 7–19 |
| 8. |
B. Kh. Barladian, L. Z. Shapiro, K. A. Mallachiev, A. V. Khoroshilov, Y. A. Solodelov, A. G. Voloboy, V. A. Galaktionov, I. V. Koverninskiy, “Rendering system for the aircraft real-time OS JetOS”, Proceedings of ISP RAS, 32:1 (2020), 57–70  |
6
|
| 9. |
P. N. Devyanin, V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Integrating RBAC, MIC, and MLS in verified hierarchical security model for operating system”, Proceedings of ISP RAS, 32:1 (2020), 7–26 |
4
|
|
2019 |
| 10. |
N. K. Gorelits, D. S. Kildishev, A. V. Khoroshilov, “Requirements management for safety-critical systems. Overview of solutions”, Proceedings of ISP RAS, 31:1 (2019), 25–48 |
1
|
|
2018 |
| 11. |
V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, “Component-based verification of operating systems”, Proceedings of ISP RAS, 30:6 (2018), 367–382 |
| 12. |
D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov, “On representation of simulation time in functional programming style”, Proceedings of ISP RAS, 30:6 (2018), 341–366 |
| 13. |
D. S. Kildishev, A. V. Khoroshilov, “Formalizing metamodel of requirements management system”, Proceedings of ISP RAS, 30:5 (2018), 163–176 |
3
|
| 14. |
K. A. Mallachiev, A. V. Khoroshilov, “Building modular real-time software from unified component model”, Proceedings of ISP RAS, 30:3 (2018), 135–148 |
| 15. |
V. Yu. Cheptsov, A. V. Khoroshilov, “In-kernel memory-mapped I/O device emulation”, Proceedings of ISP RAS, 30:3 (2018), 121–134 |
|
2017 |
| 16. |
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 |
| 17. |
A. V. Khoroshilov, I. V. Shchepetkov, “ADV_SPM — Formal security policy models in practice”, Proceedings of ISP RAS, 29:3 (2017), 43–56 |
2
|
|
2016 |
| 18. |
P. S. Andrianov, V. S. Mutilin, A. V. Khoroshilov, “Adjustable method with predicate abstraction for detection of race conditions in operating systems”, Proceedings of ISP RAS, 28:6 (2016), 65–86 |
1
|
| 19. |
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 |
10
|
|
2015 |
| 20. |
A. K. Petrenko, V. V. Kulyamin, A. V. Khoroshilov, “Integration points of operating system verification techniques”, Proceedings of ISP RAS, 27:5 (2015), 175–190 |
| 21. |
A. Tsyvarev, A. Khoroshilov, “Using fault injection for testing Linux kernel components”, Proceedings of ISP RAS, 27:5 (2015), 157–174 |
1
|
| 22. |
E. Kornykhin, A. Khoroshilov, “Python-based constraint language for architecture models”, Proceedings of ISP RAS, 27:5 (2015), 143–156 |
1
|
| 23. |
P. S. Andrianov, V. S. Mutilin, A. V. Khoroshilov, “Lightweight static analysis for data race detection in operating system kernels”, Proceedings of ISP RAS, 27:5 (2015), 87–116 |
1
|
| 24. |
M. U. Mandrykin, A. V. Khoroshilov, “Towards deductive verification of C programs with shared data”, Proceedings of ISP RAS, 27:4 (2015), 49–68 |
1
|
|
| Organisations |
|
| |
|
|
Contact us: