Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2020
[j19]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
- [j18]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) - [e6]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
- [e5]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
- [j17]Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
Preface. Electron. Notes Theor. Comput. Sci. 320: 1-2 (2016) - [j16]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) - 2015
- [j15]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) - [c15]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 - [e4]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
- [j14]Victor V. Kuliamin, Alexander K. Petrenko:
Evolution of the UniTESK test development technology. Program. Comput. Softw. 40(5): 296-304 (2014) - [c14]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 - [e3]Holger Schlingloff, Alexander K. Petrenko:
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. EPTCS 141, 2014 [contents] - 2013
- [c13]Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov:
UniTESK: Component Model Based Testing. ICTERI 2013: 573-581 - [e2]Alexander K. Petrenko, Holger Schlingloff:
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013 [contents] - 2012
- [c12]Dirk Beyer, Alexander K. Petrenko:
Linux Driver Verification - (Position Paper). ISoLA (2) 2012: 1-6 - [e1]Alexander K. Petrenko, Holger Schlingloff:
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. EPTCS 80, 2012 [contents] - 2011
- [c11]Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko:
Integrating AADL-Based Tool Chain into Existing Industrial Processes. ICECCS 2011: 367-371 - 2010
- [j13]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) - [j12]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. Electron. Notes Theor. Comput. Sci. 264(3): 1 (2010)
2000 – 2009
- 2009
- [j11]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. Electron. Notes Theor. Comput. Sci. 253(2): 1 (2009) - [c10]Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov:
Establishing Linux Driver Verification Process. Ershov Memorial Conference 2009: 165-176 - 2008
- [j10]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. Electron. Notes Theor. Comput. Sci. 220(1): 1 (2008) - [j9]V. A. Nepomnyashchii, Alexander K. Petrenko:
From the editors of the special issue. Program. Comput. Softw. 34(6): 305-306 (2008) - [c9]Alexander K. Petrenko, Olga L. Petrenko:
Formal Methods and Innovation Economy: Facing New Challenges. SEFM 2008: 367-371 - 2007
- [j8]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. Electron. Notes Theor. Comput. Sci. 190(2): 1 (2007) - [j7]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) - 2006
- [j6]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. Electron. Notes Theor. Comput. Sci. 164(4): 1 (2006) - [c8]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 - [c7]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 - 2005
- [j5]Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev:
Preface. Electron. Notes Theor. Comput. Sci. 111: 1-3 (2005) - [c6]Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko:
Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS 2005: 68-83 - 2003
- [j4]Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov:
Coverage-driven Automated Compiler Test Suite Generation. Electron. Notes Theor. Comput. Sci. 82(3): 500-514 (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) - [c5]Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov:
Using ASM Specifications for Compiler Testing. Abstract State Machines 2003: 415 - [c4]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 - 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-03-20 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
