Alexey Khoroshilov

According to our database, Alexey Khoroshilov authored at least 10 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Robust Resource Partitioning Approach for ARINC 653 RTOS.

Vitaly Cheptsov, Alexey Khoroshilov

CoRR, 2023

2021

Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system.

Maksim Raenchuk, Vitaly Cheptsov, Alexey Khoroshilov

CoRR, 2021

Dynamic Analysis of ARINC 653 RTOS with LLVM.

Vitaly Cheptsov, Alexey Khoroshilov

CoRR, 2021

2020

Deductive Binary Code Verification Against Source-Code-Level Specifications.

Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro

Proceedings of the Tests and Proofs - 14th International Conference, 2020

2017

Принципы создания многоязычной электронной библиотеки для крупного информационного центра (The Principles of Creating a Multilingual Electronic Library for a Large Information Center).

Victor N. Zakharov, Yury V. Nikitin, Alexander A. Khoroshilov, Alexey A. Khoroshilov

Proceedings of the Selected Papers of the XIX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2017), 2017

2016

Метод выявления заимствований в текстах разноязычных документов (A Method of Automatic Plagiarism Detection in Multilingual Documents).

Viktor Zakharov, Alexander Khoroshilov, Alexey Khoroshilov

Proceedings of the Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), 2016

2015

Метод выявления имплицитно выраженных заимствований в научно-технических текстах на основе их концептуального анализа (A Method for Detecting Implicit Plagiarism in Scientific and Technical Texts on the Basis of their Conceptual Analysis).

Alexey Khoroshilov

Proceedings of the Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015), 2015

2014

Методы автоматического построения формализованного представления содержания материалов электронных средств массовых коммуникаций для решения задачи мониторинга и оценки деятельности органов власти (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).

Yury Nikitin, Alexander Khoroshilov, Alexey Khoroshilov

Proceedings of the Selected Papers of XVI All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, 2014

2013

Методы решения задачи автоматического выявления заимствований в структурированных научно-технических документах на основе их семантического анализа (Semantic Methods for Solving a Problem of Automatic Detection of Plagiarism in Structured Scientific and Technical Documents).

Viktor Zakharov, Alexey Khoroshilov

Proceedings of the Selected Papers of the 15th All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, 2013

2012

Автоматическая оценка подобия тематического содержания текстов на основе сравнения их формализованных смысловых описаний (Automatic Assessment of Similarity of the Texts' Thematic Content on the Base of Their Formalized Semantic Descriptions Comparison).

Viktor Zakharov, Alexey Khoroshilov

Proceedings of the 14th All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, 2012