◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Khoroshilov

5 papers hereh-index 11437 citations84 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • last author5

Across the 5 of 5 papers where every author was matched, so the position is known.

fields
  • cs.SE4
  • cs.OS1
same name
  • A. Khoroshilov — 20 papers
  • A. Khoroshilov — 9 papers
  • A. Khoroshilov — 7 papers, h 7
  • A. Khoroshilov — 3 papers
  • A. Khoroshilov — 3 papers
  • A. Khoroshilov — 3 papers

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20122023
most citedDeductive Verification of Unmodified Linux Kernel Library Functions

15 citations · 20 across the 5 of their papers we have counts for

collaborators
Showing cs.OSShow all

1 paper · 1 filter

cs.OS2023★ 1 cited

Robust Resource Partitioning Approach for ARINC 653 RTOS

Vitaly Cheptsov, Alexey Khoroshilov

Modern airborne operating systems implement the concept of robust time and resource partitioning imposed by the standards for aerospace and airborne-embedded software systems, such…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.