Denis V. Silakov
According to our database1,
Denis V. Silakov
authored at least 6 papers
between 2006 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Ensuring portability of Linux applications through standardization and knowledge base driven analysis.
Sci. Comput. Program., 2014
2012
Program. Comput. Softw., 2012
Using virtualization to protect application address space inside untrusted environment.
Program. Comput. Softw., 2012
2011
2010
Improving Portability of Linux Applications by Early Detection of Interoperability Issues.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006