Formal Methods in Industrial Software Standards Enforcement. - Alexey Grinevich; Alexey V. Khoroshilov; Victor V. Kuliamin; Denis Markovtsev; Alexander K. Petrenko; Vladimir V. Rubanov (Ershov Memorial Conference, 2006)

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)

Automated Formal Testing of C API Using T2C Framework. - Alexey V. Khoroshilov; Vladimir V. Rubanov; Eugene A. Shatokhin (ISoLA, 2008)

Establishing Linux Driver Verification Process. - Alexey V. Khoroshilov; Vadim S. Mutilin; Alexander K. Petrenko; Vladimir Zakharov (Ershov Memorial Conference, 2009)

Open Source Certification and Educational Process. - Alexey V. Khoroshilov (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Towards an Open Framework for C Verification Tools Benchmarking. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Pavel Shved; Alexander Strakh (Ershov Memorial Conference, 2011)

Integrating AADL-Based Tool Chain into Existing Industrial Processes. - Alexey V. Khoroshilov; Igor Koverninskiy; Alexander K. Petrenko; Alexander Ugnenko (ICECCS, 2011)

Ensuring portability of software. - Denis V. Silakov; Alexey V. Khoroshilov (Program. Comput. Softw., 2011)

Model-Based Testing of Safety Critical Real-Time Control Logic Software - Yevgeny Gerlits; Alexey V. Khoroshilov (MBT, 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)

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 (ABZ, 2014)

Modeling Environment for Static Verification of Linux Kernel Modules. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Ilja S. Zakharov (Ershov Memorial Conference, 2014)

A Discrete-Event Simulator for Early Validation of Avionics Systems. - Denis V. Buzdalov; Alexey V. Khoroshilov (ACVI@MoDELS, 2014)

Using Refinement in Formal Development of OS Security Model. - Petr N. Devyanin; Alexey V. Khoroshilov; Victor V. Kuliamin; Alexander K. Petrenko; Ilya V. Shchepetkov (Ershov Memorial Conference, 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)

Pattern-based environment modeling for static verification of Linux kernel modules. - Ilja S. Zakharov; Vadim S. Mutilin; Alexey V. Khoroshilov (Program. Comput. Softw., 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)

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)

Region analysis for deductive verification of C programs. - Mikhail U. Mandrykin; Alexey V. Khoroshilov (Program. Comput. Softw., 2016)

Towards deductive verification of C programs with shared data. - Mikhail U. Mandrykin; Alexey V. Khoroshilov (Program. Comput. Softw., 2016)

A Memory Model for Deductively Verifying Linux Kernel Modules. - Mikhail U. Mandrykin; Alexey V. Khoroshilov (Ershov Informatics Conference, 2017)

Deductive Verification of Unmodified Linux Kernel Library Functions. - Denis Efremov; Mikhail U. Mandrykin; Alexey V. Khoroshilov (ISoLA (2), 2018)

On Representation of Simulation Time in Functional Programming Style. - Denis V. Buzdalov; Alexander K. Petrenko; Alexey V. Khoroshilov (Program. Comput. Softw., 2019)

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)

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)

cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). - Pavel S. Andrianov; Vadim S. Mutilin; Alexey V. Khoroshilov (TACAS (2), 2021)

Verification of Compliance for Multilevel Models in Individual Trace Semantics. - Alexey V. Khoroshilov (Program. Comput. Softw., 2021)

Configurable Test System for RTOS. - Alexander N. Godunov; I. I. Khomenkov; V. G. Shchepkov; Alexey V. Khoroshilov (Program. Comput. Softw., 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., 2023)