Vladimir V. Rubanov

12 papers A 1C 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2014 J jnl
Ensuring portability of Linux applications through standardization and knowledge base driven analysis.
Sci. Comput. Program.
Vladimir V. Rubanov, Denis V. Silakov
2012 J jnl
Backward compatibility of software interfaces: Steps towards automatic verification.
Program. Comput. Softw.
Andrey V. Ponomarenko, Vladimir V. Rubanov
2011 — conf
A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems.
Ershov Memorial Conference
Andrey V. Ponomarenko, Vladimir V. Rubanov
2011 A conf
Runtime Verification of Linux Kernel Modules Based on Call Interception.
ICST
Vladimir V. Rubanov, Eugene A. Shatokhin
2009 — conf
A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems.
Ershov Memorial Conference
Nikolay V. Pakulin, Vladimir V. Rubanov
2009 J jnl
Automatic Analysis of Applications for Portability across Linux Distributions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Vladimir V. Rubanov
2009 — conf
Creating Open Educational Environment based on Open-source Software Projects.
CSEDU (2)
Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko
2008 C conf
Automated Formal Testing of C API Using T2C Framework.
ISoLA
Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin
2008 J jnl
Automation of broad sanity test generation.
Program. Comput. Softw.
R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov
2006 — conf
Formal Methods in Industrial Software Standards Enforcement.
Ershov Memorial Conference
Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov
2006 J jnl
Specific optimization features in a C compiler for DSPs.
Program. Comput. Softw.
Vladimir V. Rubanov, A. I. Grinevich, D. A. Markovtsev
2004 J jnl
Some Methods of adaptive multilayer Neural Networks Training.
Int. J. Comput.
Leonid Makhnist, Nikolaj Maniakov, Vladimir V. Rubanov