Автоматизация тестирования web-приложений, основанных на скриптовых языках ДВ Силаков Труды Института системного программирования РАН 14 (2), 159-178, 2008 | 16 | 2008 |
Automatic test generation for model-based code generators SV Zelenov, DV Silakov, AK Petrenko, M Conrad, I Fey Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 16 | 2006 |
Использование аппаратной виртуализации в контексте информационной безопасности ДВ Силаков Труды Института системного программирования РАН 20, 25-36, 2011 | 10 | 2011 |
Ensuring portability of software DV Silakov, AV Khoroshilov Programming and Computer Software 37, 41-47, 2011 | 10 | 2011 |
Binary compatibility of shared libraries implemented in C++ on GNU/Linux systems P Shved, D Silakov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2009 | 9 | 2009 |
Certification Infrastructure for the Linux Standard Base (LSB) V Rubanov, D Silakov, RLV Center M {lan, Italy, 10 September 2008 Satell {te Event of OSS 2008, 79, 2008 | 6 | 2008 |
The use of hardware virtualization in the context of information security DV Silakov Programming and Computer Software 38, 276-280, 2012 | 5 | 2012 |
Using virtualization to protect application address space inside untrusted environment DV Silakov Programming and Computer Software 38, 24-33, 2012 | 4 | 2012 |
Improving portability of linux applications by early detection of interoperability issues D Silakov, A Smachev Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 4 | 2010 |
ABF: a farm for building cross-distribution Linux software D Silakov Proceedings of the 10th Central and Eastern European Software Engineering …, 2014 | 3 | 2014 |
Ensuring portability of Linux applications through standardization and knowledge base driven analysis V Rubanov, D Silakov Science of Computer Programming 91, 234-248, 2014 | 3 | 2014 |
Linux distributions and applications analysis during linux standard base development D Silakov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008 | 3 | 2008 |
Tracking Specification Requirements Evolution: Database Approach D Silakov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2007 | 3 | 2007 |
Информационно-аналитическая система для разработки и использования базового стандарта операционной системы Linux (LSB) ДВ Силаков Информационные технологии, 53-58, 2010 | 2 | 2010 |
Автоматическая генерация тестовых данных для оптимизаторов графических моделей СВ Зеленов, ДВ Силаков Труды Института системного программирования РАН 9, 129-142, 2006 | 2 | 2006 |
Using Hardware-assisted Virtualization in the Information Security Area DV Silakov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2011 | 1 | 2011 |
The Automated Analysis of Header Files for Support of the Standardization Process E Novikov, D Silakov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2009 | 1 | 2009 |
Automated error detection and analysis in hyperconverged systems DV Silakov Proceedings of the Institute for System Programming of the RAS 31 (4), 29-38, 2019 | | 2019 |
Другие конференции и журналы Д Силаков, ДВ Силаков, АВ Хорошилов, ДВ Силаков, ЕЛ Силакова, ... Программирование 38, N1, 2012 | | 2012 |
Using Hardware-Assisted Virtualization to Protect Application Address Space Inside Untrusted Environment D Silakov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2011 | | 2011 |