Author Info
Name
Affiliation
Papers
ALEXEY V. KHOROSHILOV
Institute for System Programming, RAS, Moscow, Russia
7
Collaborators
Citations 
PageRank 
14
24
3.32
Referers 
Referees 
References 
51
144
54
Search Limit
100144
Title
Citations
PageRank
Year
Pattern-based environment modeling for static verification of Linux kernel modules00.342015
Методы решения задачи автоматического выявления заимствований в структурированных научно-технических документах на основе их семантического анализа (Semantic Methods for Solving a Problem of Automatic Detection of Plagiarism in Structured Scientific and Technical Documents).00.342013
Автоматическая оценка подобия тематического содержания текстов на основе сравнения их формализованных смысловых описаний (Automatic Assessment of Similarity of the Texts' Thematic Content on the Base of Their Formalized Semantic Descriptions Comparison).00.342012
Towards an open framework for c verification tools benchmarking50.492011
Integrating AADL-Based Tool Chain into Existing Industrial Processes10.362011
Establishing linux driver verification process90.702009
Formal methods in industrial software standards enforcement90.752006