Edit Profile (opens in new tab) Petrenko, Alexander K. Co-Author Distance Author ID: petrenko.alexander-k Published as: Petrenko, A. K.; Petrenko, Alexander K.; Petrenko, Alexander more...less External Links: ORCID Documents Indexed: 15 Publications since 1979 1 Contribution as Editor Co-Authors: 78 Co-Authors with 11 Joint Publications 1,005 Co-Co-Authors all top 5 Co-Authors 3 single-authored 5 Kossatchev, Alexander S. 4 Bogomolov, Alekseĭ Valer’evich 4 Buldakova, T. I. 4 Chistyakova, Tamara Balabekovna 4 Gavrilov, S. V. 4 Gorelik, Viktor Aleksandrovich 4 Grusho, A. A. 4 Kaperko, A. F. 4 Khoperskov, Aleksandr Valentinovich 4 Khranilov, V. P. 4 Kibzun, Andreĭ Ivanovich 4 Kozlov, V. N. 4 Kuleshov, S. V. 4 Larkin, Evgeniĭ Vasil’evich 4 Ledenëva, T. M. 4 Martinov, G. M. 4 Menshikh, Valeriĭ Vladimirovich 4 Munasypov, R. A. 4 Pashchenko, D. V. 4 Pleshivtseva, Yuliya Edgarovna 4 Ryazhskikh, Viktor Ivanovich 4 Samouylov, Konstantin E. 4 Saraev, P. V. 4 Shichkina, Yu. A. 4 Sidorov, Denis Nikolaevich 4 Slavin, Oleg Anatol’evich 4 Sulimov, Vladimir B. 4 Ugol’nitskiĭ, Gennadiĭ Anatol’evich 4 Zhilyakov, E. G. 3 Bazhenova, I. G. 3 Chernyshev, Sergeĭ Leonidovich 3 Chetverikov, Vladimir N. 3 Galyaev, Andreĭ Alekseevich 3 Gribova, V. V. 3 Krishchenko, Alexander P. 3 Kuliamin, Victor V. 3 Lazareva, Galina G. 3 Novikov, Dmitriĭ Aleksandrovich 3 Rubinovich, Evgeniĭ Yakovlevich 3 Saenko, I. B. 3 Sedov, A. V. 3 Semenkin, Eugene S. 3 Solov’ev, Sergeĭ Yur’evich 3 Sviridyuk, Georgiĭ Anatol’evich 3 Zamyatin, A. V. 2 Bourdonov, Igor B. 2 Chebotarev, Pavel Yu. 2 Nagornov, Oleg V. 2 Ul’yanov, Mikhaĭl Vasil’evich 2 Utkin, Lev V. 2 Zelenov, Sergey V. 1 Abramov, V. G. 1 Baeva, N. V. 1 Bobtsov, Alexey A. 1 Chetverikov, V. M. 1 Demakov, Alexey V. 1 Galyaev, A. G. 1 Gruzdeva, N. V. 1 Ivannikov, Viktor Petrovich 1 Jarov, Andrew A. 1 Kalinov, Alexey 1 Kamkin, A. S. 1 Korukhova, L. S. 1 Korukhova, Yu. S. 1 Kuz’menkova, E. A. 1 Mashechkin, I. V. 1 Nangolo, F. N. 1 Petrenko, O. L. 1 Polyakova, I. N. 1 Posypkin, Mikhail A. 1 Rudakov, Konstantin Vladimirovich 1 Saenko, I. V. 1 Shishkin, Grigoriĭ Ivanovich 1 Shishkina, Lidia P. 1 Shishkov, Vladimir 1 Skocilas, Jan 1 Smelyanskij, R. L. 1 Sokolov, I. A. 1 Soukup, Josef 1 Sychugov, D. Yu. 1 Voronkov, Andrei 1 Vylitok, A. A. 1 Zelenova, S. A. Serials 4 Programming and Computer Software 4 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie 1 Istoriko-Matematicheskie Issledovaniya 1 Nonlinear Dynamics and Systems Theory 1 Lecture Notes in Computer Science all top 5 Fields 10 Computer science (68-XX) 5 History and biography (01-XX) 1 General and overarching topics; collections (00-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 18 times in 11 Documents Cited by ▼ Year ▼ Test generation for compilers and other formal text processors. Zbl 1063.68042 Zelenov, S. V.; Zelenova, S. A.; Kosachev, A. S.; Petrenko, A. K. 7 2003 UniTesK test suite architecture. Zbl 1064.68527 Bourdonov, Igor B.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K. 4 2002 Using ASM specifications for compiler testing. Zbl 1021.68512 Kalinov, Alexey; Kossatchev, Alexandre; Petrenko, Alexander; Posypkin, Mikhail; Shishkov, Vladimir 2 2003 Specification based testing: Towards practice. Zbl 1073.68599 Petrenko, Alexander K. 2 2001 Java specification extension for automated test development. Zbl 1073.68547 Bourdonov, Igor B.; Demakov, Alexey V.; Jarov, Andrew A.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K.; Zelenov, Sergey V. 2 2001 Standard difference scheme for a singularly perturbed convection-diffusion equation in the presence of perturbations. Zbl 1319.65068 Shishkin, G.; Shishkina, L.; Petrenko, A. 2 2014 The use of contract specifications for representing requirements and for functional testing of hardware models. Zbl 1154.68442 Ivannikov, V. P.; Kamkin, A. S.; Kossatchev, A. S.; Kuliamin, V. V.; Petrenko, A. K. 1 2007 Standard difference scheme for a singularly perturbed convection-diffusion equation in the presence of perturbations. Zbl 1319.65068 Shishkin, G.; Shishkina, L.; Petrenko, A. 2 2014 The use of contract specifications for representing requirements and for functional testing of hardware models. Zbl 1154.68442 Ivannikov, V. P.; Kamkin, A. S.; Kossatchev, A. S.; Kuliamin, V. V.; Petrenko, A. K. 1 2007 Test generation for compilers and other formal text processors. Zbl 1063.68042 Zelenov, S. V.; Zelenova, S. A.; Kosachev, A. S.; Petrenko, A. K. 7 2003 Using ASM specifications for compiler testing. Zbl 1021.68512 Kalinov, Alexey; Kossatchev, Alexandre; Petrenko, Alexander; Posypkin, Mikhail; Shishkov, Vladimir 2 2003 UniTesK test suite architecture. Zbl 1064.68527 Bourdonov, Igor B.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K. 4 2002 Specification based testing: Towards practice. Zbl 1073.68599 Petrenko, Alexander K. 2 2001 Java specification extension for automated test development. Zbl 1073.68547 Bourdonov, Igor B.; Demakov, Alexey V.; Jarov, Andrew A.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K.; Zelenov, Sergey V. 2 2001 all cited Publications top 5 cited Publications all top 5 Cited by 18 Authors 3 Kuliamin, Victor V. 3 Zelenov, Sergey V. 2 Demakov, Alexey V. 2 Zelenova, S. A. 1 Börger, Egon 1 Chernov, E. S. 1 Gomanyuk, S. V. 1 Groshev, S. G. 1 Ivannikov, Viktor Petrovich 1 Kamkin, A. S. 1 Kossatchev, Alexander S. 1 Nagmoti, Rinkesh 1 Petrenko, Alexander K. 1 Ponomarenko, A. V. 1 Rubanov, V. V. 1 Zelenova, Sophia 1 Zimmerman, Daniel M. 1 Zybin, R. S. Cited in 2 Serials 8 Programming and Computer Software 1 Formal Aspects of Computing Cited in 1 Field 11 Computer science (68-XX) Citations by Year