Alexey V. Khoroshilov

According to our database, Alexey V. Khoroshilov authored at least 29 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Runtime Verification of Operating Systems Based on Abstract Models.

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., December, 2023

Configurable Test System for RTOS.

Alexander N. Godunov, I. I. Khomenkov, V. G. Shchepkov, Alexey V. Khoroshilov

Program. Comput. Softw., 2023

2021

Verification of Compliance for Multilevel Models in Individual Trace Semantics.

Alexey V. Khoroshilov

Program. Comput. Softw., 2021

cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution).

Pavel S. Andrianov, Vadim S. Mutilin, Alexey V. Khoroshilov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Program. Comput. Softw., 2020

Visualization Component for the Aircraft Real-Time Operating System JetOS.

Boris Kh. Barladian, Lev Z. Shapiro, K. A. Mallachiev, Alexey V. Khoroshilov, Yury A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov, I. V. Koverninskii

Program. Comput. Softw., 2020

2019

On Representation of Simulation Time in Functional Programming Style.

Denis V. Buzdalov, Alexander K. Petrenko, Alexey V. Khoroshilov

Program. Comput. Softw., 2019

2018

Deductive Verification of Unmodified Linux Kernel Library Functions.

Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

A Memory Model for Deductively Verifying Linux Kernel Modules.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Proceedings of the Perspectives of System Informatics, 2017

2016

Towards deductive verification of C programs with shared data.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Program. Comput. Softw., 2016

Region analysis for deductive verification of C programs.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Program. Comput. Softw., 2016

Comparison of specification decomposition methods in Event-B.

Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., 2016

2015

Configurable toolset for static verification of operating systems kernel modules.

Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

Pattern-based environment modeling for static verification of Linux kernel modules.

Ilja S. Zakharov, Vadim S. Mutilin, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

High-level memory model with low-level pointer cast support for Jessie intermediate language.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

Using Refinement in Formal Development of OS Security Model.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Perspectives of System Informatics, 2015

2014

A Discrete-Event Simulator for Early Validation of Avionics Systems.

Denis V. Buzdalov, Alexey V. Khoroshilov

Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Modeling Environment for Static Verification of Linux Kernel Modules.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov

Proceedings of the Perspectives of System Informatics, 2014

Formal Verification of OS Security Model with Alloy and Event-B.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

Using linux device drivers for static verification tools benchmarking.

Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved

Program. Comput. Softw., 2012

Model-Based Testing of Safety Critical Real-Time Control Logic Software

Yevgeny Gerlits, Alexey V. Khoroshilov

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

2011

Ensuring portability of software.

Denis V. Silakov, Alexey V. Khoroshilov

Program. Comput. Softw., 2011

Integrating AADL-Based Tool Chain into Existing Industrial Processes.

Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Towards an Open Framework for C Verification Tools Benchmarking.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh

Proceedings of the Perspectives of Systems Informatics, 2011

2009

Open Source Certification and Educational Process.

Alexey V. Khoroshilov

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Establishing Linux Driver Verification Process.

Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Automated Formal Testing of C API Using T2C Framework.

Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols.

Nikolay V. Pakulin, Alexey V. Khoroshilov

Program. Comput. Softw., 2007

2006

Formal Methods in Industrial Software Standards Enforcement.

Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov

Proceedings of the Perspectives of Systems Informatics, 2006