Search Results - "Petrenko, A.K."

Iformatics: Formation of computer software and technologies of software systems by Lavrischeva, E.M., Petrenko, A.K.

Get full text

Linux Driver Verification by Beyer, D., Petrenko, A.K.

“…Linux driver verification is a large application area for software verification methods, in particular, for functional, safety, and security verification…”
Get full text

Software Product Lines Modeling by Lavrischeva, K.M., Petrenko, A.K.

“…Complex software systems always exist for a long time, sometimes changing, and this leads to a variety of versions of such a system. In additional complex…”
Get full text

On representation of simulation time in functional programming style by Buzdalov, D.V., Petrenko, A.K., Khoroshilov, A.V.

“…Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create…”
Get full text

Component-based verification of operating systems by Kuliamin, V.V., Petrenko, A.K., Khoroshilov, A.V.

“…The paper presents recent results on the way towards accurate and complete verification of industrial operating systems (OS). We consider here OSes, either of…”
Get full text

Foreword by Kamkin, A.S., Petrenko, A.K., Terekhov, A.N.

Get full text

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System by Devyanin, P. N., Khoroshilov, A. V., Kuliamin, V. V., Petrenko, A. K., Shchepetkov, I. V.

“…Designing a trusted access control mechanism of an operating system (OS) is a complex task if the goal is to achieve high level of security assurance and…”
Get full text

Verification and analysis of variable operating systems by Kuliamin, V.V., Lavrischeva, E.M., Mutilin, V.S., Petrenko, A.K.

“…This paper regards problems of analysis and verification of complex modern operating systems, which should take into account variability and configurability of…”
Get full text

Testing of Operating Systems by Gerlits, E.A., Kuliamin, V.V., Maksimov, A.V., Petrenko, A.K., Khoroshilov, A.V., Tsyvarev, A.V.

“…An operating system is a base stone of any computer system. Failures and bugs in operating system impact the functionality of the system as a whole, that is…”
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

Tools for System Design of Integrated Modular Avionics by Buzdalov, D.V., Zelenov, S.V., Kornykhin, E.V., Petrenko, A.K., Strakh, A.V., Ugnenko, A.A., Khoroshilov, A.V.

“…Growth of modern avionics systems makes design of such systems impossible without involvement of automation. Nowadays an area of such tools is represented by…”
Get full text

How the story of UniTESK technology applications mirrors development of model based testing by Ivannikov, V.P., Petrenko, A.K., Kuliamin, V.V., Maksimov, A.V.

Get full text

Formal Methods and Innovation Economy: Facing New Challenges by Petrenko, A.K., Petrenko, O.L.

“…Formal methods (FM) are being actively developed nowadays. Still they find little use even in the target industry domains that require high quality, robust and…”
Get full text

Automatic Test Generation for Model-Based Code Generators by Zelenov, S.V., Silakov, D.V., Petrenko, A.K., Conrad, M., Fey, I.

“…This paper presents a novel testing approach for model-based design tools, termed GraphOTK, and applies it to the optimizing component of a code generator for…”
Get full text