Alexey V. Khoroshilov

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 13

Top Topics

Operating System

Finer Granularity

Formal Verification

Top Venues

Program. Comput. Softw.

Ershov Memorial Conference

Publications

Alexander N. Godunov, I. I. Khomenkov, V. G. Shchepkov, Alexey V. Khoroshilov
Configurable Test System for RTOS. Program. Comput. Softw. 49 (4) (2023)
Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Runtime Verification of Operating Systems Based on Abstract Models. Program. Comput. Softw. 49 (7) (2023)
Alexey V. Khoroshilov
Verification of Compliance for Multilevel Models in Individual Trace Semantics. Program. Comput. Softw. 47 (7) (2021)
Pavel S. Andrianov, Vadim S. Mutilin, Alexey V. Khoroshilov
cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). TACAS (2) (2021)
B. Kh. Barladian, Lev Z. Shapiro, K. A. Mallachiev, Alexey V. Khoroshilov, Yu. A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov, I. V. Koverninskii
Visualization Component for the Aircraft Real-Time Operating System JetOS. Program. Comput. Softw. 46 (3) (2020)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. Program. Comput. Softw. 46 (7) (2020)
Denis V. Buzdalov, Alexander K. Petrenko, Alexey V. Khoroshilov
On Representation of Simulation Time in Functional Programming Style. Program. Comput. Softw. 45 (8) (2019)
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
Deductive Verification of Unmodified Linux Kernel Library Functions. CoRR (2018)
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
Deductive Verification of Unmodified Linux Kernel Library Functions. ISoLA (2) (2018)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
A Memory Model for Deductively Verifying Linux Kernel Modules. Ershov Informatics Conference (2017)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
Towards deductive verification of C programs with shared data. Program. Comput. Softw. 42 (5) (2016)
Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Comparison of specification decomposition methods in Event-B. Program. Comput. Softw. 42 (4) (2016)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
Region analysis for deductive verification of C programs. Program. Comput. Softw. 42 (5) (2016)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Using Refinement in Formal Development of OS Security Model. Ershov Memorial Conference (2015)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
High-level memory model with low-level pointer cast support for Jessie intermediate language. Program. Comput. Softw. 41 (4) (2015)
Ilja S. Zakharov, Vadim S. Mutilin, Alexey V. Khoroshilov
Pattern-based environment modeling for static verification of Linux kernel modules. Program. Comput. Softw. 41 (3) (2015)
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
Configurable toolset for static verification of operating systems kernel modules. Program. Comput. Softw. 41 (1) (2015)
Denis V. Buzdalov, Alexey V. Khoroshilov
A Discrete-Event Simulator for Early Validation of Avionics Systems. ACVI@MoDELS (2014)
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov
Modeling Environment for Static Verification of Linux Kernel Modules. Ershov Memorial Conference (2014)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Formal Verification of OS Security Model with Alloy and Event-B. ABZ (2014)
Yevgeny Gerlits, Alexey V. Khoroshilov
Model-Based Testing of Safety Critical Real-Time Control Logic Software MBT (2012)
Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved
Using linux device drivers for static verification tools benchmarking. Program. Comput. Softw. 38 (5) (2012)
Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko
Integrating AADL-Based Tool Chain into Existing Industrial Processes. ICECCS (2011)
Denis V. Silakov, Alexey V. Khoroshilov
Ensuring portability of software. Program. Comput. Softw. 37 (1) (2011)
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh
Towards an Open Framework for C Verification Tools Benchmarking. Ershov Memorial Conference (2011)
Alexey V. Khoroshilov
Open Source Certification and Educational Process. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009)
Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov
Establishing Linux Driver Verification Process. Ershov Memorial Conference (2009)
Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin
Automated Formal Testing of C API Using T2C Framework. ISoLA (2008)
Nikolay V. Pakulin, Alexey V. Khoroshilov
Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols. Program. Comput. Softw. 33 (6) (2007)
Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov
Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference (2006)