Alexander K. Petrenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1999–2013
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICTERI | UniTESK: Component Model Based Testing. | Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov |
| 2012 | ISoLA | Linux Driver Verification - (Position Paper). | Dirk Beyer, Alexander K. Petrenko |
| 2011 | ICECCS | Integrating AADL-Based Tool Chain into Existing Industrial Processes. | Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko |
| 2008 | SEFM | Formal Methods and Innovation Economy: Facing New Challenges. | Alexander K. Petrenko, Olga L. Petrenko |
| 2006 | ISoLA | Automatic Test Generation for Model-Based Code Generators. | Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey |
| 2002 | FM | UniTesK Test Suite Architecture. | Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko |
| 1999 | FM | KVEST: Automated Generation of Test Suites from Formal Specifications. | Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter |