Denis V. Silakov

According to our database, Denis V. Silakov authored at least 6 papers between 2006 and 2014.

Collaborative distances:

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

2014

Ensuring portability of Linux applications through standardization and knowledge base driven analysis.

Vladimir V. Rubanov, Denis V. Silakov

Sci. Comput. Program., 2014

2012

The use of hardware virtualization in the context of information security.

Denis V. Silakov

Program. Comput. Softw., 2012

Using virtualization to protect application address space inside untrusted environment.

Denis V. Silakov

Program. Comput. Softw., 2012

2011

Ensuring portability of software.

Denis V. Silakov, Alexey V. Khoroshilov

Program. Comput. Softw., 2011

2010

Improving Portability of Linux Applications by Early Detection of Interoperability Issues.

Denis V. Silakov, Andrey Smachev

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2006

Automatic Test Generation for Model-Based Code Generators.

Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey

Proceedings of the Leveraging Applications of Formal Methods, 2006