Alexey Khoroshilov

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 5

Top Topics

Dynamic Analysis

Plagiarism Detection

Top Venues

Publications

Vitaly Cheptsov, Alexey Khoroshilov
Robust Resource Partitioning Approach for ARINC 653 RTOS. CoRR (2023)
Maksim Raenchuk, Vitaly Cheptsov, Alexey Khoroshilov
Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system. CoRR (2021)
Vitaly Cheptsov, Alexey Khoroshilov
Dynamic Analysis of ARINC 653 RTOS with LLVM. CoRR (2021)
Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro
Deductive Binary Code Verification Against Source-Code-Level Specifications. TAP@STAF (2020)
Viktor Zakharov, Alexander Khoroshilov, Alexey Khoroshilov
Метод выявления заимствований в текстах разноязычных документов (A Method of Automatic Plagiarism Detection in Multilingual Documents). DAMDID/RCDL (2016)
Alexey Khoroshilov
Метод выявления имплицитно выраженных заимствований в научно-технических текстах на основе их концептуального анализа (A Method for Detecting Implicit Plagiarism in Scientific and Technical Texts on the Basis of their Conceptual Analysis). DAMDID/RCDL (2015)
Yury Nikitin, Alexander Khoroshilov, Alexey Khoroshilov
Методы автоматического построения формализованного представления содержания материалов электронных средств массовых коммуникаций для решения задачи мониторинга и оценки деятельности органов власти (Methods for Automatic Construction of a Formalized Representation of the Contents of Electronic Mass Communication Materials to Solve the Problem of Monitoring and Assessment of Authorities). RCDL (2014)
Viktor Zakharov, Alexey Khoroshilov
Методы решения задачи автоматического выявления заимствований в структурированных научно-технических документах на основе их семантического анализа (Semantic Methods for Solving a Problem of Automatic Detection of Plagiarism in Structured Scientific and Technical Documents). RCDL (2013)
Viktor Zakharov, Alexey Khoroshilov
Автоматическая оценка подобия тематического содержания текстов на основе сравнения их формализованных смысловых описаний (Automatic Assessment of Similarity of the Texts' Thematic Content on the Base of Their Formalized Semantic Descriptions Comparison). RCDL (2012)