Runtime Verification of Operating Systems Based on Abstract Models. - Efremov, Denis; Kopach, Viktoria V.; Kornykhin, Eugene; Kuliamin, Victor V.; Petrenko, Alexander K.; Khoroshilov, Alexey V.; Shchepetkov, Ilya V. (Program. Comput. Softw., 2023)

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. - Devyanin, Petr N.; Khoroshilov, Alexey V.; Kuliamin, Victor V.; Petrenko, Alexander K.; Shchepetkov, Ilya V. (Program. Comput. Softw., 2020)

On Representation of Simulation Time in Functional Programming Style. - Buzdalov, Denis V.; Petrenko, Alexander K.; Khoroshilov, Alexey V. (Program. Comput. Softw., 2019)

Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings (Springer, 2019)

Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Springer, 2018)

Comparison of specification decomposition methods in Event-B. - Devyanin, Petr N.; Kulyamin, Victor V.; Petrenko, Alexander K.; Khoroshilov, Alexey V.; Shchepetkov, Ilya V. (Program. Comput. Softw., 2016)

1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015 (Elsevier, 2016)

Configurable toolset for static verification of operating systems kernel modules. - Zakharov, Ilja S.; Mandrykin, Mikhail U.; Mutilin, Vadim S.; Novikov, Evgeny; Petrenko, Alexander K.; Khoroshilov, Alexey V. (Program. Comput. Softw., 2015)

Using Refinement in Formal Development of OS Security Model. - Devyanin, Petr N.; Khoroshilov, Alexey V.; Kuliamin, Victor V.; Petrenko, Alexander K.; Shchepetkov, Ilya V. (2015)

Preface. - Gaston, Christophe; Gall, Pascale Le; Petrenko, Alexander K. (2015)

Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. (2015)

Evolution of the UniTESK test development technology. - Kuliamin, Victor V.; Petrenko, Alexander K. (Program. Comput. Softw., 2014)

Formal Verification of OS Security Model with Alloy and Event-B. - Devyanin, Petr N.; Khoroshilov, Alexey V.; Kuliamin, Victor V.; Petrenko, Alexander K.; Shchepetkov, Ilya V. (2014)

Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. (2014)

UniTESK: Component Model Based Testing. - Petrenko, Alexander K.; Kuliamin, Victor V.; Maksimov, Andrey (2013)

Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. (2013)

Linux Driver Verification - (Position Paper). - Beyer, Dirk; Petrenko, Alexander K. (2012)

Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. (2012)

Integrating AADL-Based Tool Chain into Existing Industrial Processes. - Khoroshilov, Alexey V.; Koverninskiy, Igor; Petrenko, Alexander K.; Ugnenko, Alexander (2011)

Certification of open-source software: A role for formal methods? - Barbosa, Luís Soares; Cerone, Antonio; Petrenko, Alexander K.; Shaikh, Siraj A. (Comput. Syst. Sci. Eng., 2010)

Preface. - Finkbeiner, Bernd; Gurevich, Yuri; Petrenko, Alexander K. (2010)

Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010 (Elsevier, 2010)

Establishing Linux Driver Verification Process. - Khoroshilov, Alexey V.; Mutilin, Vadim S.; Petrenko, Alexander K.; Zakharov, Vladimir (2009)

Preface. - Finkbeiner, Bernd; Gurevich, Yuri; Petrenko, Alexander K. (2009)

Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009 (Elsevier, 2009)

From the editors of the special issue. - Nepomnyashchii, V. A.; Petrenko, Alexander K. (Program. Comput. Softw., 2008)

Formal Methods and Innovation Economy: Facing New Challenges. - Petrenko, Alexander K.; Petrenko, Olga L. (2008)

Preface. - Finkbeiner, Bernd; Gurevich, Yuri; Petrenko, Alexander K. (2008)

Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008 (Elsevier, 2008)

The use of contract specifications for representing requirements and for functional testing of hardware models. - Ivannikov, V. P.; Kamkin, Alexander S.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K. (Program. Comput. Softw., 2007)

Preface. - Finkbeiner, Bernd; Gurevich, Yuri; Petrenko, Alexander K. (2007)

Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007 (Elsevier, 2007)

Formal Methods in Industrial Software Standards Enforcement. - Grinevich, Alexey; Khoroshilov, Alexey V.; Kuliamin, Victor V.; Markovtsev, Denis; Petrenko, Alexander K.; Rubanov, Vladimir V. (2006)

Automatic Test Generation for Model-Based Code Generators. - Zelenov, Sergey V.; Silakov, Denis V.; Petrenko, Alexander K.; Conrad, Mirko; Fey, Ines (2006)

Preface. - Finkbeiner, Bernd; Gurevich, Yuri; Petrenko, Alexander K. (2006)

Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006 (Elsevier, 2006)

Practical Approach to Specification and Conformance Testing of Distributed Network Applications. - Kuliamin, Victor V.; Pakoulin, Nick V.; Petrenko, Alexander K. (2005)

Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004 (Elsevier, 2005)

Preface. - Gurevich, Yuri; Petrenko, Alexander K.; Kossatchev, Alexander S. (2004)

Test Generation for Compilers and Other Formal Text Processors. - Zelenov, Sergey V.; Zelenova, Sophia A.; Kossatchev, Alexander S.; Petrenko, Alexander K. (Program. Comput. Softw., 2003)

Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. - Petrenko, Alexander K. (Program. Comput. Softw., 2003)

The UniTesK Approach to Designing Test Suites. - Kuliamin, Victor V.; Petrenko, Alexander K.; Kossatchev, Alexander S.; Burdonov, Igor B. (Program. Comput. Softw., 2003)

Using ASM Specifications for Compiler Testing. - Kalinov, Alexey Ya.; Kossatchev, Alexander S.; Petrenko, Alexander K.; Posypkin, Mikhail; Shishkov, Vladimir (2003)

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. - Kuliamin, Victor V.; Petrenko, Alexander K.; Pakoulin, Nick V.; Kossatchev, Alexander S.; Bourdonov, Igor B. (2003)

Coverage-driven Automated Compiler Test Suite Generation. - Kalinov, Alexey Ya.; Kossatchev, Alexander S.; Petrenko, Alexander K.; Posypkin, Mikhail; Shishkov, Vladimir (2003)

UniTesK Test Suite Architecture. - Bourdonov, Igor B.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K. (2002)

Java Specification Extension for Automated Test Development. - Bourdonov, Igor B.; Demakov, Alexey V.; Jarov, Andrew A.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K.; Zelenov, Sergey V. (2001)

KVEST: Automated Generation of Test Suites from Formal Specifications. - Burdonov, Igor B.; Kossatchev, Alexander S.; Petrenko, Alexander K.; Galter, Dmitri (1999)