Alexey V. Khoroshilov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TACAS | cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). | Pavel S. Andrianov, Vadim S. Mutilin, Alexey V. Khoroshilov |
| 2018 | ISoLA | Deductive Verification of Unmodified Linux Kernel Library Functions. | Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov |
| 2014 | MODELS | A Discrete-Event Simulator for Early Validation of Avionics Systems. | Denis V. Buzdalov, Alexey V. Khoroshilov |
| 2011 | ICECCS | Integrating AADL-Based Tool Chain into Existing Industrial Processes. | Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko |
| 2008 | ISoLA | Automated Formal Testing of C API Using T2C Framework. | Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin |