Alexey V. Khoroshilov

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