Alexander K. Petrenko

50 papers B 2C 2Misc 1Journal 14Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Software Model Checking for Memory Consistency Verification.
Program. Comput. Softw.
Pavel S. Andrianov, Sergey V. Zelenov, Vadim S. Mutilin, Alexander K. Petrenko
2025 J jnl
Software Security by Design.
Program. Comput. Softw.
Victor V. Kuliamin, Alexander K. Petrenko, E. A. Rudina
2023 J jnl
Runtime Verification of Operating Systems Based on Abstract Models.
Program. Comput. Softw.
Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
2020 J jnl
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.
Program. Comput. Softw.
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
2019 J jnl
On Representation of Simulation Time in Functional Programming Style.
Program. Comput. Softw.
Denis V. Buzdalov, Alexander K. Petrenko, Alexey V. Khoroshilov
2019 — ed.
Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings
TOOLS
Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko
2018 — ed.
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Ershov Informatics Conference
Alexander K. Petrenko, Andrei Voronkov
2016 — ed.
1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015
USE@FM
Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
2016 J jnl
Comparison of specification decomposition methods in Event-B.
Program. Comput. Softw.
Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
2015 J jnl
Configurable toolset for static verification of operating systems kernel modules.
Program. Comput. Softw.
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
2015 — conf
Preface.
USE@FM
Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
2015 — ed.
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015.
MBT
Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff
2015 — conf
Using Refinement in Formal Development of OS Security Model.
Ershov Memorial Conference
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
2014 J jnl
Evolution of the UniTESK test development technology.
Program. Comput. Softw.
Victor V. Kuliamin, Alexander K. Petrenko
2014 C conf
Formal Verification of OS Security Model with Alloy and Event-B.
ABZ
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
2014 — ed.
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014.
MBT
Holger Schlingloff, Alexander K. Petrenko
2013 — ed.
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013.
MBT
Alexander K. Petrenko, Holger Schlingloff
2013 Misc conf
UniTESK: Component Model Based Testing.
ICTERI
Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov
2012 — conf
Linux Driver Verification - (Position Paper).
ISoLA (2)
Dirk Beyer, Alexander K. Petrenko
2012 — ed.
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.
MBT
Alexander K. Petrenko, Holger Schlingloff
2011 B conf
Integrating AADL-Based Tool Chain into Existing Industrial Processes.
ICECCS
Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko
2010 J jnl
Certification of open-source software: A role for formal methods?
Comput. Syst. Sci. Eng.
Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh
2010 — conf
Preface.
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2010 — ed.
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2009 — conf
Establishing Linux Driver Verification Process.
Ershov Memorial Conference
Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov
2009 — conf
Preface.
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2009 — ed.
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2008 B conf
Formal Methods and Innovation Economy: Facing New Challenges.
SEFM
Alexander K. Petrenko, Olga L. Petrenko
2008 J jnl
From the editors of the special issue.
Program. Comput. Softw.
V. A. Nepomnyashchii, Alexander K. Petrenko
2008 — conf
Preface.
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2008 — ed.
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008
MBT@ETAPS
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2007 — conf
Preface.
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2007 — ed.
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2007 J jnl
The use of contract specifications for representing requirements and for functional testing of hardware models.
Program. Comput. Softw.
V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
2006 C conf
Automatic Test Generation for Model-Based Code Generators.
ISoLA
Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey
2006 — conf
Formal Methods in Industrial Software Standards Enforcement.
Ershov Memorial Conference
Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov
2006 — conf
Preface.
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2006 — ed.
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006
MBT
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
2005 — conf
Practical Approach to Specification and Conformance Testing of Distributed Network Applications.
ISAS
Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko
2005 — ed.
Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004
MBT
Yuri Gurevich, Alexander K. Petrenko
2004 — conf
Preface.
MBT
Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev
2003 — conf
Coverage-driven Automated Compiler Test Suite Generation.
LDTA@ETAPS
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
2003 — conf
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.
Ershov Memorial Conference
Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
2003 J jnl
Test Generation for Compilers and Other Formal Text Processors.
Program. Comput. Softw.
Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko
2003 J jnl
The UniTesK Approach to Designing Test Suites.
Program. Comput. Softw.
Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov
2003 — conf
Using ASM Specifications for Compiler Testing.
Abstract State Machines
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
2003 J jnl
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal.
Program. Comput. Softw.
Alexander K. Petrenko
2002 — conf
UniTesK Test Suite Architecture.
FME
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
2001 — conf
Java Specification Extension for Automated Test Development.
Ershov Memorial Conference
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov
1999 — conf
KVEST: Automated Generation of Test Suites from Formal Specifications.
World Congress on Formal Methods
Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter