Alexander K. Petrenko

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 7

Top Topics

Working Set Selection

Operating System

Microsoft Windows

Formal Verification

Top Venues

Program. Comput. Softw.

Ershov Memorial Conference

Electron. Notes Theor. Comput. Sci.

Publications

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Runtime Verification of Operating Systems Based on Abstract Models. Program. Comput. Softw. 49 (7) (2023)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. Program. Comput. Softw. 46 (7) (2020)
Denis V. Buzdalov, Alexander K. Petrenko, Alexey V. Khoroshilov
On Representation of Simulation Time in Functional Programming Style. Program. Comput. Softw. 45 (8) (2019)
Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Comparison of specification decomposition methods in Event-B. Program. Comput. Softw. 42 (4) (2016)
Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 320 (2016)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Using Refinement in Formal Development of OS Security Model. Ershov Memorial Conference (2015)
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
Configurable toolset for static verification of operating systems kernel modules. Program. Comput. Softw. 41 (1) (2015)
Victor V. Kuliamin, Alexander K. Petrenko
Evolution of the UniTESK test development technology. Program. Comput. Softw. 40 (5) (2014)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Formal Verification of OS Security Model with Alloy and Event-B. ABZ (2014)
Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov
UniTESK: Component Model Based Testing. ICTERI (2013)
Dirk Beyer, Alexander K. Petrenko
Linux Driver Verification - (Position Paper). ISoLA (2) (2012)
Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko
Integrating AADL-Based Tool Chain into Existing Industrial Processes. ICECCS (2011)
Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh
Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. 25 (4) (2010)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov
Establishing Linux Driver Verification Process. Ershov Memorial Conference (2009)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Alexander K. Petrenko, Olga L. Petrenko
Formal Methods and Innovation Economy: Facing New Challenges. SEFM (2008)
V. A. Nepomnyashchii, Alexander K. Petrenko
From the editors of the special issue. Program. Comput. Softw. 34 (6) (2008)
V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
The use of contract specifications for representing requirements and for functional testing of hardware models. Program. Comput. Softw. 33 (5) (2007)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey
Automatic Test Generation for Model-Based Code Generators. ISoLA (2006)
Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov
Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference (2006)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko
Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS (2005)
Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev
Preface. Electron. Notes Theor. Comput. Sci. 111 (2005)
Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov
The UniTesK Approach to Designing Test Suites. Program. Comput. Softw. 29 (6) (2003)
Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference (2003)
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
Coverage-driven Automated Compiler Test Suite Generation. Electron. Notes Theor. Comput. Sci. 82 (3) (2003)
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
Using ASM Specifications for Compiler Testing. Abstract State Machines (2003)
Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko
Test Generation for Compilers and Other Formal Text Processors. Program. Comput. Softw. 29 (2) (2003)
Alexander K. Petrenko
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. Program. Comput. Softw. 29 (6) (2003)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
UniTesK Test Suite Architecture. FME (2002)
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov
Java Specification Extension for Automated Test Development. Ershov Memorial Conference (2001)
Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter
KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods (1999)