|
|
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 |
|
|
|
|