Vladimir V. Rubanov

According to our database, Vladimir V. Rubanov authored at least 11 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of five.
• 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

Backward compatibility of software interfaces: Steps towards automatic verification.

Andrey V. Ponomarenko, Vladimir V. Rubanov

Program. Comput. Softw., 2012

2011

Runtime Verification of Linux Kernel Modules Based on Call Interception.

Vladimir V. Rubanov, Eugene A. Shatokhin

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems.

Andrey V. Ponomarenko, Vladimir V. Rubanov

Proceedings of the Perspectives of Systems Informatics, 2011

2009

Automatic Analysis of Applications for Portability across Linux Distributions.

Vladimir V. Rubanov

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems.

Nikolay V. Pakulin, Vladimir V. Rubanov

Proceedings of the Perspectives of Systems Informatics, 2009

Creating Open Educational Environment based on Open-source Software Projects.

Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2008

Automation of broad sanity test generation.

R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov

Program. Comput. Softw., 2008

Automated Formal Testing of C API Using T2C Framework.

Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin

Proceedings of the Leveraging Applications of Formal Methods, 2008

2006

Specific optimization features in a C compiler for DSPs.

Vladimir V. Rubanov, A. I. Grinevich, D. A. Markovtsev

Program. Comput. Softw., 2006

Formal Methods in Industrial Software Standards Enforcement.

Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov

Proceedings of the Perspectives of Systems Informatics, 2006