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., 2023)

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)

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

Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings - Manuel Mazzara; Jean-Michel Bruel; Bertrand Meyer; Alexander K. Petrenko (Springer, 2019)

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

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)

1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015 - Christophe Gaston; Pascale Le Gall; Alexander K. Petrenko (Elsevier, 2016)

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)

Using Refinement in Formal Development of OS Security Model - Petr N. Devyanin; Alexey V. Khoroshilov; Victor V. Kuliamin; Alexander K. Petrenko; Ilya V. Shchepetkov (Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers, 2015)

Preface - Christophe Gaston; Pascale Le Gall; Alexander K. Petrenko (1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015, 2015)

Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015 - Nikolay V. Pakulin; Alexander K. Petrenko; Bernd-Holger Schlingloff (2015)

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 (Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, 2014)

Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014 - Holger Schlingloff; Alexander K. Petrenko (2014)

UniTESK: Component Model Based Testing - Alexander K. Petrenko; Victor V. Kuliamin; Andrey Maksimov (Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013, 2013)

Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013 - Alexander K. Petrenko; Holger Schlingloff (2013)

Linux Driver Verification - (Position Paper) - Dirk Beyer; Alexander K. Petrenko (Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, 2012)

Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012 - Alexander K. Petrenko; Holger Schlingloff (2012)

Integrating AADL-Based Tool Chain into Existing Industrial Processes - Alexey V. Khoroshilov; Igor Koverninskiy; Alexander K. Petrenko; Alexander Ugnenko (16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, 2011)

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)

Preface - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, 2010)

Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010 - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Elsevier, 2010)

Establishing Linux Driver Verification Process - Alexey V. Khoroshilov; Vadim S. Mutilin; Alexander K. Petrenko; Vladimir Zakharov (Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers, 2009)

Preface - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, 2009)

Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009 - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Elsevier, 2009)

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 (Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, 2008)

Preface - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, 2008)

Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008 - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Elsevier, 2008)

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)

Preface - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007, 2007)

Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007 - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Elsevier, 2007)

Formal Methods in Industrial Software Standards Enforcement - Alexey Grinevich; Alexey V. Khoroshilov; Victor V. Kuliamin; Denis Markovtsev; Alexander K. Petrenko; Vladimir V. Rubanov (Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, 2006)

Automatic Test Generation for Model-Based Code Generators - Sergey V. Zelenov; Denis V. Silakov; Alexander K. Petrenko; Mirko Conrad; Ines Fey (Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, 2006)

Preface - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, 2006)

Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006 - Bernd Finkbeiner; Yuri Gurevich; Alexander K. Petrenko (Elsevier, 2006)

Practical Approach to Specification and Conformance Testing of Distributed Network Applications - Victor V. Kuliamin; Nick V. Pakoulin; Alexander K. Petrenko (Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, 2005)

Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004 - Yuri Gurevich; Alexander K. Petrenko (Elsevier, 2005)

Preface - Yuri Gurevich; Alexander K. Petrenko; Alexander S. Kossatchev (Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, 2004)

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)

Using ASM Specifications for Compiler Testing - Alexey Ya. Kalinov; Alexander S. Kossatchev; Alexander K. Petrenko; Mikhail Posypkin; Vladimir Shishkov (Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, 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 (Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, 2003)

Coverage-driven Automated Compiler Test Suite Generation - Alexey Ya. Kalinov; Alexander S. Kossatchev; Alexander K. Petrenko; Mikhail Posypkin; Vladimir Shishkov (Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003, 2003)

UniTesK Test Suite Architecture - Igor B. Bourdonov; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko (FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, 2002)

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 (Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, 2001)

KVEST: Automated Generation of Test Suites from Formal Specifications - Igor B. Burdonov; Alexander S. Kossatchev; Alexander K. Petrenko; Dmitri Galter (FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, 1999)