Vsevolod Kotlyarov

According to our database, Vsevolod Kotlyarov authored at least 13 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A New Approach to Generation and Analysis of Gradient Methods Based on Relaxation Function.

Igor Chernorutskiy, Pavel D. Drobintsev, Vsevolod Kotlyarov, Nikita Voinov

Proceedings of the UKSim-AMSS 19th International Conference on Computer Modelling & Simulation, 2017

Distributed OAIS-Based digital preservation system with HDFS technology.

Nikita Voinov, Pavel D. Drobintsev, Vsevolod Kotlyarov, Igor Nikiforov

Proceedings of the 20th Conference of Open Innovations Association, 2017

2016

Incremental approach to the technology of test design for industrial projects.

Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky

Autom. Control. Comput. Sci., 2016

2015

Approach to behavior scenarios debugging.

Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko

Autom. Control. Comput. Sci., 2015

Multinational Perspectives on Information Technology from Academia and Industry.

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

Proceedings of the 2015 ITiCSE Working Group Reports, 2015

2014

A formal approach to test scenarios generation based on guides.

Pavel D. Drobintsev, Vsevolod Kotlyarov, Alexander A. Letichevsky

Autom. Control. Comput. Sci., 2014

2013

An approach to creating concretized test scenarios within test automation technology for industrial software projects.

Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov

Autom. Control. Comput. Sci., 2013

2012

A formal application model for code and test generation.

Sergey Baranov, Vsevolod Kotlyarov

Autom. Control. Comput. Sci., 2012

2011

Verifiable Coverage Criteria for Automated Testing.

Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

2005

Semantics of Message Sequence Charts.

Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert

Proceedings of the SDL 2005: Model Driven, 2005

2003

Leveraging UML to Deliver Correct Telecom Applications.

Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

Requirement Capturing and 3CR Approac.

Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture.

Sergey Baranov, Vsevolod Kotlyarov

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001