D
Denis Silakov
Researcher at Russian Academy of Sciences
Publications - 11
Citations - 48
Denis Silakov is an academic researcher from Russian Academy of Sciences. The author has contributed to research in topics: Software portability & Virtualization. The author has an hindex of 4, co-authored 11 publications receiving 47 citations.
Papers
More filters
Proceedings ArticleDOI
Automatic Test Generation for Model-Based Code Generators
TL;DR: This paper presents a novel testing approach for model-based design tools, termed GraphOTK, and applies it to the optimizing component of a code generator for Simulink and Stateflow models.
Book ChapterDOI
Improving portability of Linux applications by early detection of interoperability issues
Denis Silakov,Andrey Smachev +1 more
TL;DR: An approach aimed at simplifying development of portable Linux applications is presented, suggesting a method of detecting compatibility problems between any Linux application and distribution by means of static analysis of executable files and shared libraries.
Journal ArticleDOI
Ensuring portability of software
Denis Silakov,Alexey Khoroshilov +1 more
TL;DR: A survey of approaches to solving the problem of portability of applications between different software-hardware platforms is given, and analysis of their advantages and disadvantages is presented.
Proceedings ArticleDOI
Binary Compatibility of Shared Libraries Implemented in C++ on GNU / Linux Systems
Pavel Shved,Denis Silakov +1 more
TL;DR: The rules that must be followed in order to keep the binary compatibility of a shared library are deduced and possible restrictions limiting the use of library allow to weaken these rules in relatively small number of cases.
Journal ArticleDOI
The use of hardware virtualization in the context of information security
TL;DR: The use of hardware virtualization for ensuring information security is discussed and a review of various approaches to improving the security of software systems based on virtualization is given.