Selected Publications
Journals:
-
V.V. Kuliamin, E.M. Lavrischeva, V.S. Mutilin, A.K. Petrenko. Verification and analysis of variable operating systems Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 189-208.
-
I.S. Zakharov, M.U. Mandrykin, V.S. Mutilin, E.M. Novikov, A.K. Petrenko, A.V. Khoroshilov. Configurable toolset for static verification of operating systems kernel modules. Programming and Computer Software, January 2015, Volume 41, Issue 1, pp 49-64.
-
Devyanin, P.N.,Khoroshilov, A.V.,Kuliamin, V.V.,Petrenko, A.K.,Shchepetkov, I.V.
Using refinement in formal development of OS security model // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016
-
Zakharov, I.S.,Mandrykin, M.U.,Mutilin, V.S.,(...),Petrenko, A.K.,Khoroshilov, A.V. Configurable toolset for static verification of operating systems kernel modules, Programming and Computer Software, 2015.
-
V.V. Kulyamin, A.K. Petrenko. Evolution of the UniTESK test development technology. Programming and Computer Software 40(5), 2014, pp. 296-304.
-
Khoroshilov, A., Albitskiy, D., Koverninskiy, I., Olshanskiy, M., Petrenko, A., Ugnenko, A., "AADL-Based Toolset for IMA System Design and Integration", SAE Int. J. Aerosp. 5(2):2012, doi:10.4271/2012-01-2146.
-
L.S. Barbosa, A.Cerone, A.K.Petrenko, S.Shaikh. Certification of open-source software: A role for formal methods // International Journal of Computer Systems Science and Engineering (IJCSSE), Vol. 25, No. 4 July 2010.
-
V.P.Ivannikov, A.S.Kamkin, A.S.Kossatchev, V.V.Kuliamin, A.K.Petrenko. The use of contract specifications for representing requirements and for functional testing of hardware models // Programming and Computer Software, Vol.33, No. 5, 2007, pp. 272-282.
-
V.V.Kuliamin, A.V.Khoroshilov, A.K.Petrenko, V.Rubanov. Interface standards formalization and automatic conformance tests generation // Information technologies No. 8, 2007, pp. 2-7, (Russian).
-
V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, and I. B. Burdonov. The UniTesK Approach to Designing Test Suites // Programming and Computer Software, Vol. 29, No. 6, 2003, pp. 25-43.
-
S.V.Zelenov, S.A.Zelenova, A.S.Kossatchev, A.K.Petrenko. Test generation for compilers and other test processors// Programming and Computer Software, Moscow, 2003, Vol. 29, No. 3.
-
E.N.Britvina, S.G.Groshev, A.A.Monakhov, A.K.Petrenko, O.L.Petrenko. Model Based Testing // Open systems, Moscow, No. 9, 2003, pp. 41-47.
-
A.K.Petrenko. Parallel monitoring and debugging (survey). Programming and Computer Software, Vol. 20, No.,3,1994.
-
V.A.Krukov, A.V.Maksimov, A.K.Petrenko, T.A.Polilova. Hierarchical configuration management // Programming and Computer Software, Vol. 20, No. 2, 1994.
-
A.K.Petrenko. Test specification based on trace description // Programming and Computer Software, Vol. 19, No. 1, 1993.
-
A.K.Petrenko. Vienna Development Method - VDM. Informal introduction // Programming and Computer Software, N 6, 1990.
Book Chapters & Conference Proceedings (Peer Reviewed):
-
Petr Devyanin, Alexey Khoroshilov, Victor Kuliamin, Alexander Petrenko, Ilya Shchepetkov "Formal Verification of OS Security Model with Alloy and Event-B" // In A. Yamine and K.-D. Schewe, eds. Abstract State Machines, Alloy, B, TLA, VDM, and Z, LNCS 8477:309-313, Proceedings of ABZ-2014, Toulouse, France, June 2-6, 2014. ISBN: 978-3-662-43651-6, DOI: 10.1007/978-3-662-43652-3_30.
-
Dirk Beyer and Alexander K. Petrenko. Linux Driver Verification. In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18), LNCS 7610, pages 1-6, 2012. Springer-Verlag, Heidelberg.
-
A. Khoroshilov, I. Koverninskiy, M. Olshanskiy, A. Petrenko, A. Ugnenko. "Model-based Tool Chain For System Design and System Integration of IMA". // In Proceedings of the International Space System Engineering Conference DASIA-2012, pp. 67-71, Dubrovnik, Croatia, May 14-16, 2012.
-
A.V.Khoroshilov, V.V.Mutilin, A.K.Petrenko, V.A.Zakharov. Establishing
Linux Driver Verification Process // Proceedings of the PSI 2009, LNCS, Vol.
5947/2010, 165-176.
-
A.V. Khoroshilov, V.V. Kuliamin, A.K. Petrenko, O.L. Petrenko, V.V. Rubanov.
Building Open Learning Environment for Software Engineering Students //B. O. Czerkawski, ed. Free and Open Source Software for E-Learning: Issues, Successes, and Challenges, pp.110-119, IGI Global, 2010.
-
V.V. Kuliamin, V.A.Omeltchenko, O.L. Petrenko. Formal Methods: for All or for Chosen? //Proceedings of CSEDU 2009, v. 2, pp. 217-222, Lisboa, Portugal, March, 23-26, 2009.
-
A.K.Petrenko, O.L. Petrenko. Formal Methods and Innovation Economy: Facing New Challenges // Proceedings of the 6th IEEE International Conference on Software Enginering and Formal Methods, Cape Town, South Africa, 10-14 November 2008.
-
A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, V.Rubanov Formal Methods in Industrial Software Standards Enforcement // of PSI'2006, Novosibirsk, Russia, LNCS 4378:459-469, 2006
-
S.V.Zelenov, D.V.Silakov, A.K.Petrenko, M.Conrad, I.Fey. Automatic Test Generation for Model-Based code Generators // IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 68-75.
-
V.V.Kuliamin, N.Pakulin, A.K.Petrenko. Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software // Proc. of 9-th World Multi-Conference on Systems, Cybernetics, and Informatics, Orlando, USA, July 2005, v. VII. Model Based Development and Testing, pp. 65-70.
-
V.V.Kuliamin, N.Pakulin, A.K.Petrenko. Practical Approach to Specification and Conformance Testing of Distributed Network Applications // Lecture Notes in Computer Science Volume 3694 / 2005, Title: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany.
-
V.V.Kuliamin, A.K.Petrenko. Applying Model Based Testing in Different Contexts // Proceedings of Seminar on Perspectives of Model-based Testing, Dagstuhl, Germany, September 2004.
-
Kuliamin V., Kossatchev A., Bourdonov I., A.K.Petrenko. UniTesK: Model Based Testing in Industrial Practice // Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nuremberg. ibmus AG, 2003, p. 55-63.
-
V. V. Kuliamin, A. K. Petrenko, N. V. Pakoulin, A. S. Kossatchev, and I. B. Bourdonov. Integration of Functional and Timed Testing of Real-time and Concurrent Systems //Proceedings of PSI'2003, Novosibirsk, Russia, July 9-12, 2003 LNCS 2890:450-461, Springer-Verlag, 2003.
-
I. Bourdonov, A. Kossatchev, V. Kuliamin, and A. Petrenko. UniTesK Test Suite Architecture // Proceedings of FME'2002 (in FLoC'2002), Kopenhagen, Denmark, July 22-24, 2002, LNCS 2391:77-88, Springer-Verlag, 2002.
-
A. Koptelov, V. Kuliamin, and A. Petrenko/ VDM++TesK: Testing of VDM++ Programs // Proceedings of the 3-rd VDM Workshop (in FloC'2002), Kopenhagen, Denmark, July 20-21, 2002, pp. 41-56.
-
A.K.Petrenko. Specification Based Testing: Towards Practice. Perspectives of System Informatics // LNCS, No.2244, 2001, pp. 287-300.
-
A.K.Petrenko, A.Vorobiev. Industrial Experience in Using Formal Methods for Software Development in Nortel Networks // Proceedings of Testing Computer Software Conference - TCS 2000, Washington, June, 2000.
-
Ig. Burdonov, A. Kossatchev, A.K.Petrenko, D. Galter KVEST: Automated Generation of Test Suites from Formal Specifications // Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.
-
A.K.Petrenko, M.V.Borisova, T.A.Morozova, T.A.Tchatskina. Compiler testing based on a language formal model // Preprint of KIAM, No. 45, 1992 (Russion).
-
A.K.Petrenko, O.L.Petrenko. The Babbage machine and the origin of programming // Istor.-Mat. Issled., Moscow, “Nauka”, No. 24 (1979), 340-360 (Russian).
Refereed for:
-
Programming and Computer Software,
-
Journal of Systems and Software
|