Search Results - "Novikov, M. E."

An approach to implementation of aspect-oriented programming for C by Novikov, E. M.

“…This paper describes an approach to implementation of aspect-oriented programming (AOP) frameworks for C, outlines traditional AOP facilities for different…”
Get full text

Variation of Parameters of Organochlorine Compounds, Whiteness, and Absorption Spectra During Multistage Bleaching of Cellulose by Koksharov, A. V., Derkacheva, O. Yu, Sukhov, D. A., Novikov, E. M., Leiman, V. I.

“…The results of physicochemical and spectroscopic investigations of deciduous sulfate cellulose at various stages of ECF bleaching are presented. Significant…”
Get full text

Configurable toolset for static verification of operating systems kernel modules by Zakharov, I. S., Mandrykin, M. U., Mutilin, V. S., Novikov, E. M., Petrenko, A. K., Khoroshilov, A. V.

“…An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of modern OS kernels is already high enough. However,…”
Get full text

Increasing effectiveness of conservative treatment of Peyronie’s disease by Zhukov, O. B., Vasilyev, A. E., Novikov, M. E.

“…The study objective is to investigate the effectiveness of conservative treatment of Peyronie’s disease using antifibrotic agents. Materials and methods . The…”
Get full text

A CASE REPORT OF ENDOVASCULAR TESTICULAR VEINS EMBOLIZATION FOR TREATMENT OF BILATERAL VARICOCELE by Novikov, M. E., Polyakov, A. A., Vasil’ev, A. E., Fedulin, A. V.

“…This is a case report of the successful endovascular treatment of bilateral varicocele by spiral occlusion of the right testicular vein…”
Get full text

Using linux device drivers for static verification tools benchmarking by Mandrykin, M. U., Mutilin, V. S., Novikov, E. M., Khoroshilov, A. V., Shved, P. E.

“…The Linux Driver Verification system is designed for static analysis of the source code of Linux kernel space device drivers. In this paper, we describe the…”
Get full text

Capabilities and Restrictions of Software Model Checkers by Novikov, E. M.

“…Software model checkers enable automatic detection of violations of specified requirements in programs as well as formal proof of correctness under certain…”
Get full text

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel by E. M. Novikov

“…Nowadays static verification is one of the most promising methods for finding bugs in programs. To apply successfully existing tools for the Linux kernel one…”
Get full text

Static verification of operating system monolithic kernels by Novikov, E.M.

“…The most of modern widely used operating systems have monolithic kernels since this architecture aims at reaching maximum performance. Usually monolithic…”
Get full text

Evolution of the Linux kernel by Novikov, E.M.

“…Existing research analyzing evolution of the Linux kernel considers the kernel together with loadable modules delivered with it or some specific subsystems of…”
Get full text

Using Aspect-Oriented Programming for Querying Source Code by Novikov, E.M., Khoroshilov, A.V.

“…Querying source code helps developers to discover code fragments of interest and to determine their interrelations with each other. Different approaches exist…”
Get full text

Analysis of typical faults in Linux operating system drivers by V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov

“…Fast evolution of the Linux operating system kernel and drivers, developed by a big programmers community distributed all over the world, led to nowadays there…”
Get full text

Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels by Zakharov, I.S., Novikov, E.M.

“…Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even…”
Get full text

Increasing effectiveness of conservative treatment of Peyronie’s disease by O. B. Zhukov, A. E. Vasilyev, M. E. Novikov

“…The study objective is to investigate the effectiveness of conservative treatment of Peyronie’s disease using antifibrotic agents.Materials and methods. The…”
Get full text

Linux Driver Verification Architecture by V. S. Mutilin, E. M. Novikov, A. V. Strakh, A. V. Khoroshilov, P. E. Shved

“…The paper discusses requirements to a twofold verification system that should be an open platform for experimentation with various verification techniques as…”
Get full text

Static Verification Tools for C Programs and Linux Device Drivers: A Survey by M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov

“…The survey considers methods and techniques used in modern static verification tools for C programs. It describes two main approaches Counter Example Guided…”
Get full text

Environment Modeling of Linux Operating System Device Drivers by I. S. Zakharov, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov

“…In static device driver verification of Linux operating system it is necessary to take into account the specifics of the communication between drivers and…”
Get full text

Configurable Toolset for Static Verification of Operating Systems Kernel Modules by Zakharov, I.S., Mandrykin, M.U., Mutilin, V.S., Novikov, E.M., Petrenko, A.K., Khoroshilov, A.V.

“…An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another…”
Get full text

On an error in the determination of the blood group of an exsanguinated patient and his massive transfusion with another blood type without harmful consequences by Solov'eva, T G, Novikov, E M

Get more information

Infusion therapy of traumatic shock by Berkutov, A N, Tsybuliak, G N, Gubar', L N, Novikov, E M

Get more information