Vsevolod Kotlyarov

13 papers B 2Misc 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2017 — conf
A New Approach to Generation and Analysis of Gradient Methods Based on Relaxation Function.
UKSim
Igor Chernorutskiy, Pavel D. Drobintsev, Vsevolod Kotlyarov, Nikita Voinov
2017 Misc conf
Distributed OAIS-Based digital preservation system with HDFS technology.
FRUCT
Nikita Voinov, Pavel D. Drobintsev, Vsevolod Kotlyarov, Igor Nikiforov
2016 J jnl
Incremental approach to the technology of test design for industrial projects.
Autom. Control. Comput. Sci.
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky
2015 J jnl
Approach to behavior scenarios debugging.
Autom. Control. Comput. Sci.
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko
2015 — conf
Multinational Perspectives on Information Technology from Academia and Industry.
ITiCSE-WGR
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
2014 J jnl
A formal approach to test scenarios generation based on guides.
Autom. Control. Comput. Sci.
Pavel D. Drobintsev, Vsevolod Kotlyarov, Alexander A. Letichevsky
2013 J jnl
An approach to creating concretized test scenarios within test automation technology for industrial software projects.
Autom. Control. Comput. Sci.
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov
2012 J jnl
A formal application model for code and test generation.
Autom. Control. Comput. Sci.
Sergey Baranov, Vsevolod Kotlyarov
2011 — conf
Verifiable Coverage Criteria for Automated Testing.
SDL Forum
Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert
2005 — conf
Semantics of Message Sequence Charts.
SDL Forum
Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert
2003 — ch.
Leveraging UML to Deliver Correct Telecom Applications.
UML for Real
Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert
2002 B conf
Requirement Capturing and 3CR Approac.
COMPSAC
Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
2001 B conf
Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture.
COMPSAC
Sergey Baranov, Vsevolod Kotlyarov