Alexander K. Petrenko

According to our database, Alexander K. Petrenko authored at least 31 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Runtime Verification of Operating Systems Based on Abstract Models.

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., December, 2023

2020

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Program. Comput. Softw., 2020

2019

On Representation of Simulation Time in Functional Programming Style.

Denis V. Buzdalov, Alexander K. Petrenko, Alexey V. Khoroshilov

Program. Comput. Softw., 2019

2016

Comparison of specification decomposition methods in Event-B.

Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., 2016

2015

Configurable toolset for static verification of operating systems kernel modules.

Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

Preface.

Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Using Refinement in Formal Development of OS Security Model.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Perspectives of System Informatics, 2015

2014

Evolution of the UniTESK test development technology.

Victor V. Kuliamin, Alexander K. Petrenko

Program. Comput. Softw., 2014

Formal Verification of OS Security Model with Alloy and Event-B.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

UniTESK: Component Model Based Testing.

Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov

Proceedings of the 9th International Conference on ICT in Education, 2013

2012

Linux Driver Verification - (Position Paper).

Dirk Beyer, Alexander K. Petrenko

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

Integrating AADL-Based Tool Chain into Existing Industrial Processes.

Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Preface.

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Certification of open-source software: A role for formal methods?

Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh

Comput. Syst. Sci. Eng., 2010

2009

Establishing Linux Driver Verification Process.

Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov

Proceedings of the Perspectives of Systems Informatics, 2009

2008

From the editors of the special issue.

V. A. Nepomnyashchii, Alexander K. Petrenko

Program. Comput. Softw., 2008

Formal Methods and Innovation Economy: Facing New Challenges.

Alexander K. Petrenko, Olga L. Petrenko

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

The use of contract specifications for representing requirements and for functional testing of hardware models.

V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko

Program. Comput. Softw., 2007

2006

Automatic Test Generation for Model-Based Code Generators.

Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey

Proceedings of the Leveraging Applications of Formal Methods, 2006

Formal Methods in Industrial Software Standards Enforcement.

Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Practical Approach to Specification and Conformance Testing of Distributed Network Applications.

Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko

Proceedings of the Service Availability, 2005

2004

Preface.

Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev

Proceedings of the Workshop on Model Based Testing, 2004

2003

Test Generation for Compilers and Other Formal Text Processors.

Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko

Program. Comput. Softw., 2003

Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal.

Alexander K. Petrenko

Program. Comput. Softw., 2003

The UniTesK Approach to Designing Test Suites.

Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov

Program. Comput. Softw., 2003

Coverage-driven Automated Compiler Test Suite Generation.

Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov

Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.

Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov

Proceedings of the Perspectives of Systems Informatics, 2003

Using ASM Specifications for Compiler Testing.

Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov

Proceedings of the Abstract State Machines, 2003

2002

UniTesK Test Suite Architecture.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko

Proceedings of the FME 2002: Formal Methods, 2002

2001

Java Specification Extension for Automated Test Development.

Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov

Proceedings of the Perspectives of System Informatics, 2001

1999

KVEST: Automated Generation of Test Suites from Formal Specifications.

Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter

Proceedings of the FM'99 - Formal Methods, 1999