Vsevolod Kotlyarov

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 3

Top Topics

Academia And Industry

Fastest Growing

Statistical Tests

Digital Preservation

Top Venues

Autom. Control. Comput. Sci.

Publications

Igor Chernorutskiy, Pavel D. Drobintsev, Vsevolod Kotlyarov, Nikita Voinov
A New Approach to Generation and Analysis of Gradient Methods Based on Relaxation Function. UKSim (2017)
Nikita Voinov, Pavel D. Drobintsev, Vsevolod Kotlyarov, Igor Nikiforov
Distributed OAIS-Based digital preservation system with HDFS technology. FRUCT (2017)
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky
Incremental approach to the technology of test design for industrial projects. Autom. Control. Comput. Sci. 50 (7) (2016)
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko
Approach to behavior scenarios debugging. Autom. Control. Comput. Sci. 49 (7) (2015)
Mihaela Sabin, John Impagliazzo, Hala Alrumaih, Brenda Byers, Daina Gudoniene, Margaret Hamilton, Vsevolod Kotlyarov, Barry M. Lunt, James W. McGuffee, Svetlana Peltsverger, Cara Tang, Barbara Viola, Ming Zhang
Multinational Perspectives on Information Technology from Academia and Industry. ITiCSE-WGR (2015)
Pavel D. Drobintsev, Vsevolod Kotlyarov, Alexander A. Letichevsky
A formal approach to test scenarios generation based on guides. Autom. Control. Comput. Sci. 48 (7) (2014)
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov
An approach to creating concretized test scenarios within test automation technology for industrial software projects. Autom. Control. Comput. Sci. 47 (7) (2013)
Sergey Baranov, Vsevolod Kotlyarov
A formal application model for code and test generation. Autom. Control. Comput. Sci. 46 (7) (2012)
Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert
Verifiable Coverage Criteria for Automated Testing. SDL Forum (2011)
Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert
Semantics of Message Sequence Charts. SDL Forum (2005)
Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
Requirement Capturing and 3CR Approac. COMPSAC (2002)
Sergey Baranov, Vsevolod Kotlyarov
Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture. COMPSAC (2001)