Alexey V. Khoroshilov

发表

Open Source Certification and Educational Process

Alexey V. Khoroshilov, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Configurable toolset for static verification of operating systems kernel modules

Alexander K. Petrenko, Evgeny Novikov, Alexey V. Khoroshilov, 2015, Programming and Computer Software.

Comparison of specification decomposition methods in Event-B

Alexander K. Petrenko, Victor V. Kulyamin, Alexey V. Khoroshilov, 2016, Programming and Computer Software.

Deductive Verification of Unmodified Linux Kernel Library Functions pdf

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

Formal Methods in Industrial Software Standards Enforcement

Alexandre Petrenko, Victor V. Kuliamin, Alexey V. Khoroshilov, 2006, Ershov Memorial Conference.

Ensuring portability of software

Alexey V. Khoroshilov, Denis V. Silakov, A. Khoroshilov, 2011, Programming and Computer Software.

Establishing Linux Driver Verification Process

Alexandre Petrenko, Alexey V. Khoroshilov, Vadim S. Mutilin, 2009, Ershov Memorial Conference.

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

Alexey V. Khoroshilov, Mikhail U. Mandrykin, 2015, Programming and Computer Software.

Integrating AADL-Based Tool Chain into Existing Industrial Processes

Alexandre Petrenko, Alexey V. Khoroshilov, Alexander Ugnenko, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

Automated Formal Testing of C API Using T2C Framework

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

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

Alexander K. Petrenko, Victor V. Kuliamin, Alexey V. Khoroshilov, 2014, ABZ.

Modeling Environment for Static Verification of Linux Kernel Modules

Evgeny Novikov, Alexey V. Khoroshilov, Vadim S. Mutilin, 2014, Ershov Memorial Conference.

Towards deductive verification of C programs with shared data

Alexey V. Khoroshilov, Mikhail U. Mandrykin, 2016, Programming and Computer Software.

Region analysis for deductive verification of C programs

Alexey V. Khoroshilov, Mikhail U. Mandrykin, 2016, Programming and Computer Software.

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

Alexey V. Khoroshilov, Vadim S. Mutilin, Ilja S. Zakharov, 2015, Programming and Computer Software.

Using Refinement in Formal Development of OS Security Model

Alexander K. Petrenko, Victor V. Kuliamin, Alexey V. Khoroshilov, 2015, Ershov Memorial Conference.

Towards an Open Framework for C Verification Tools Benchmarking

Evgeny Novikov, Alexey V. Khoroshilov, Vadim S. Mutilin, 2011, Ershov Memorial Conference.

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

Nikolay V. Pakulin, Alexey V. Khoroshilov, A. Khoroshilov, 2007, Programming and Computer Software.

A Memory Model for Deductively Verifying Linux Kernel Modules

Alexey V. Khoroshilov, Mikhail U. Mandrykin, 2017, Ershov Informatics Conference.

Using linux device drivers for static verification tools benchmarking

Evgeny Novikov, Alexey V. Khoroshilov, Vadim S. Mutilin, 2012, Programming and Computer Software.

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

Alexey V. Khoroshilov, Yevgeny Gerlits, 2012, MBT.

cpalockator: Thread-Modular Analysis with Projections

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

Configurable Toolset for Static Verification of Operating Systems Kernel Modules

Alexander K. Petrenko, Alexey V. Khoroshilov, Vadim S. Mutilin, 2014 .