default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexander K. Petrenko
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j12]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): 559-565 (2023)- 2020
- [j11]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): 443-453 (2020)
2010 – 2019
- 2019
- [j10]Denis V. Buzdalov, Alexander K. Petrenko, Alexey V. Khoroshilov:
On Representation of Simulation Time in Functional Programming Style. Program. Comput. Softw. 45(8): 485-496 (2019) - [e13]Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko:
Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11771, Springer 2019, ISBN 978-3-030-29851-7 [contents] - 2018
- [e12]Alexander K. Petrenko, Andrei Voronkov:
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10742, Springer 2018, ISBN 978-3-319-74312-7 [contents] - 2016
- [j9]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): 198-205 (2016) - [e11]Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015. Electronic Notes in Theoretical Computer Science 320, Elsevier 2016 [contents] - 2015
- [j8]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): 49-64 (2015) - [c23]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: 107-115 - [c22]Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
Preface. USE@FM 2015: 1-2 - [e10]Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff:
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. EPTCS 180, 2015 [contents] - 2014
- [j7]Victor V. Kuliamin, Alexander K. Petrenko:
Evolution of the UniTESK test development technology. Program. Comput. Softw. 40(5): 296-304 (2014) - [c21]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: 309-313 - [e9]Holger Schlingloff, Alexander K. Petrenko:
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. EPTCS 141, 2014 [contents] - 2013
- [c20]Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov:
UniTESK: Component Model Based Testing. ICTERI 2013: 573-581 - [e8]Alexander K. Petrenko, Holger Schlingloff:
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013 [contents] - 2012
- [c19]Dirk Beyer, Alexander K. Petrenko:
Linux Driver Verification - (Position Paper). ISoLA (2) 2012: 1-6 - [e7]Alexander K. Petrenko, Holger Schlingloff:
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. EPTCS 80, 2012 [contents] - 2011
- [c18]Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko:
Integrating AADL-Based Tool Chain into Existing Industrial Processes. ICECCS 2011: 367-371 - 2010
- [j6]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) - [c17]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2010: 1 - [e6]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010. Electronic Notes in Theoretical Computer Science 264(3), Elsevier 2010 [contents]
2000 – 2009
- 2009
- [c16]Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov:
Establishing Linux Driver Verification Process. Ershov Memorial Conference 2009: 165-176 - [c15]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2009: 1 - [e5]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(2), Elsevier 2009 [contents] - 2008
- [j5]V. A. Nepomnyashchii, Alexander K. Petrenko:
From the editors of the special issue. Program. Comput. Softw. 34(6): 305-306 (2008) - [c14]Alexander K. Petrenko, Olga L. Petrenko:
Formal Methods and Innovation Economy: Facing New Challenges. SEFM 2008: 367-371 - [c13]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2008: 1 - [e4]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Electronic Notes in Theoretical Computer Science 220(1), Elsevier 2008 [contents] - 2007
- [j4]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): 272-282 (2007) - [c12]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2007: 1 - [e3]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. Electronic Notes in Theoretical Computer Science 190(2), Elsevier 2007 [contents] - 2006
- [c11]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: 456-466 - [c10]Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey:
Automatic Test Generation for Model-Based Code Generators. ISoLA 2006: 75-81 - [c9]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2006: 1 - [e2]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164(4), Elsevier 2006 [contents] - 2005
- [c8]Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko:
Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS 2005: 68-83 - [e1]Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 111, Elsevier 2005 [contents] - 2004
- [c7]Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev:
Preface. MBT 2004: 1-3 - 2003
- [j3]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): 104-111 (2003) - [j2]Alexander K. Petrenko:
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. Program. Comput. Softw. 29(6): 296-297 (2003) - [j1]Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov:
The UniTesK Approach to Designing Test Suites. Program. Comput. Softw. 29(6): 310-322 (2003) - [c6]Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov:
Using ASM Specifications for Compiler Testing. Abstract State Machines 2003: 415 - [c5]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: 450-461 - [c4]Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov:
Coverage-driven Automated Compiler Test Suite Generation. LDTA@ETAPS 2003: 500-514 - 2002
- [c3]Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko:
UniTesK Test Suite Architecture. FME 2002: 77-88 - 2001
- [c2]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: 301-307
1990 – 1999
- 1999
- [c1]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: 608-621
Coauthor Index
aka: Victor V. Kulyamin
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
