Concepedia

Alexander K. Petrenko

AK

Statistics

Publications

13

Citations

225

H-Index

11

Active since

2003

Affiliations

Institute for System Programming(Current)

Russian Academy of Sciences

Alexander K. Petrenko is an author at Institute for System Programming specializing in engineering, software design, and software testing.

ORCID

Top concepts

Publications per year

2003–2016

13

Publications

13

Configurable toolset for static verification of operating systems kernel modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Programming and Computer Software · 2015 · 33 citations

The UniTesK Approach to Designing Test Suites

Alexander K. Petrenko, A. S. Kossatchev, Igor Burdonov · Programming and Computer Software · 2003 · 29 citations

, , +10

Tools for System Design of Integrated Modular Avionics

Denis Buzdalov, Sergey Zelenov, Eugeny Valerievich Kornykhin et al. · Proceedings of the Institute for System Programming of RAS · 2014 · 22 citations · Full text

, , +20

AADL-Based Toolset for IMA System Design and Integration

Alexey Khoroshilov, Dmitry Albitskiy, Igor Koverninskiy et al. · SAE International Journal of Aerospace · 2012 · 19 citations

Test Generation for Compilers and Other Formal Text Processors

Sergey Zelenov, S. A. Zelenova, A. S. Kossatchev et al. · Programming and Computer Software · 2003 · 15 citations

1–5 of 13