Concepedia

Alexey Khoroshilov

AK

Statistics

Publications

11

Citations

178

H-Index

10

Active since

2007

Affiliations

Institute for System Programming(Current)

Russian Academy of Sciences

Alexey Khoroshilov is an author at Institute for System Programming specializing in systems engineering, system software, and engineering.

Top concepts

EngineeringSystem SoftwareSystems EngineeringOperating SystemsComputer EngineeringAvionicsVerificationFormal MethodsComputer ScienceProgram Analysis

Publications per year

2007–2016

11

Publications

11

Configurable toolset for static verification of operating systems kernel modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Programming and Computer Software · 2015 · 33 citations

Tools for System Design of Integrated Modular Avionics

Denis Buzdalov, Sergey Zelenov, Eugeny Valerievich Kornykhin et al. · Proceedings of the Institute for System Programming of RAS · 2014 · 22 citations · Full text

Integrated Modular Avionics, Engineering, Software Engineering +20

Design and architecture of real-time operating system

K.M. Mallachiev, Nikolay Pakulin, Alexey Khoroshilov · Proceedings of the Institute for System Programming of RAS · 2016 · 20 citations · Full text

Engineering, Computer Architecture, Embedded Architecture +17

AADL-Based Toolset for IMA System Design and Integration

Alexey Khoroshilov, Dmitry Albitskiy, Igor Koverninskiy et al. · SAE International Journal of Aerospace · 2012 · 19 citations

Analysis of typical faults in Linux operating system drivers

Vadim Mutilin, Evgeny Novikov, Alexey Khoroshilov · Proceedings of the Institute for System Programming of RAS · 2012 · 16 citations · Full text

Software Maintenance, Engineering, Verification +22

1–5 of 11