Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
Version for the visually impaired
Author Vsevolod P. Kotlyarov
Submit Your Paper
Publication schedule
  • №3 September 2025
  • №4 December 2025
Latest issues
Vsevolod P. Kotlyarov
Vsevolod P. Kotlyarov
Affiliation
Peter the Great St.Petersburg Polytechnic University

Experimental Aspects of Memory Bandwidth for HPC Systems with ccNUMA Architecture

Telecommunication Systems and Computer Networks
Drobintsev P.D. Kotlyarov V,P. Levchenko A.V.
  • Year: 2017
  • Volume: 10
  • Issue: 3
  • 51
  • 7797
  • Pages: 32-41

Sequence diagrams application for keyword-driven testing

Conference "Technologies Microsoft in the theory and programming practice"
Tyutin B.V. Veselov A.O. Kotlyarov V,P.
  • Year: 2014
  • Issue: 3
  • 399
  • 7665
  • Pages: 78-84

Approach to concurrent systems testing based on UCM specification

Conference "Technologies Microsoft in the theory and programming practice"
Drobintsev P.D. Nikiforov I.V. Voinov N.V. Kotlyarov V,P.
  • Year: 2014
  • Issue: 3
  • 287
  • 7567
  • Pages: 85-91

Principles of SMS informing system testing

Telecommunication Systems and Computer Networks
Kotlyarov V,P. Ivanov А.S.
  • Year: 2014
  • Issue: 4
  • 290
  • 8104
  • Pages: 41-46

Formal models structurization based technique of complex software projects testing

Microsoft Сonference
Drobintsev P.D. Nikiforov I.V. Kotlyarov V,P.
  • Year: 2013
  • Issue: 3
  • 747
  • 8081
  • Pages: 99-104

Integrated criteria of software requirement checking

Microsoft Сonference
Nikiforov I.V. Drobintsev P.D. Kotlyarov V,P.
  • Year: 2013
  • Issue: 3
  • 608
  • 8195
  • Pages: 111-117

Test suite execution scaling for automated testing

Microsoft Сonference
Tyutin B.V. Veselov A.O. Kotlyarov V,P.
  • Year: 2013
  • Issue: 3
  • 561
  • 7600
  • Pages: 118-122

Restrictions on concurrent construction and time delays of UCM language

Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V. Kotlyarov V,P. Drobintsev P.D.
  • Year: 2013
  • Issue: 3
  • 534
  • 8202
  • Pages: 148-153

Verification of requirements for reactive systems

Conference "Technologies Microsoft in the theory and programming practice"
Ivanov А.S. Kotlyarov V,P. Letichevsky A.A.
  • Year: 2012
  • Issue: 4
  • 0
  • 7400
  • Pages: 109-114

Static approach for debugging of test scenarious generated with usage of heuristics.

Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V. Petrov A.V. Kotlyarov V,P.
  • Year: 2012
  • Issue: 4
  • 0
  • 7289
  • Pages: 114-119

Elaboration of the toolsuite for automation of the static and dynamic software requirement checking

Conference "Technologies Microsoft in the theory and programming practice"
Tyutin B.V. Nikiforov I.V. Kotlyarov V,P.
  • Year: 2012
  • Issue: 4
  • 0
  • 7115
  • Pages: 119-123

Approach for testing automation based on user scenarious

Conference "Technologies Microsoft in the theory and programming practice"
Drobintsev P.D. Kotlyarov V,P. Chernorutsky I.G.
  • Year: 2012
  • Issue: 4
  • 0
  • 7349
  • Pages: 123-126

Technology of testing automation based on symbolic trace

Conference "Technologies Microsoft in the theory and programming practice"
Drobintsev P.D. Kim R.I. Kotlyarov V,P.
  • Year: 2011
  • Issue: 3
  • 0
  • 7330
  • Pages: 175-180

Usage of formalization approaches for creation of system models from ucm-specification

Conference "Technologies Microsoft in the theory and programming practice"
Nikiforov I.V. Petrov A.V. Yusupov Yu.V. Kotlyarov V,P.
  • Year: 2011
  • Issue: 3
  • 0
  • 7063
  • Pages: 180-184

Cloud service architecture for scientific and engineering computing in distributed environment

Conference "Technologies Microsoft in the theory and programming practice"
Lukashin A.A. Lukashin A.A. Tyutin B.V. Kotlyarov V,P.
  • Year: 2011
  • Issue: 4
  • 0
  • 7216
  • Pages: 146-149

Automation of test environment configuring for telecom projects

Conference "Technologies Microsoft in the theory and programming practice"
Veselov A.O. Ivanov А.S. Tyutin B.V. Kotlyarov V,P.
  • Year: 2011
  • Issue: 4
  • 0
  • 7236
  • Pages: 149-152

Requirement coverage criteria for test cases generated from applications’ behavioral models

Information Systems and Software Engineering
Kotlyarov V,P.
  • Year: 2011
  • Issue: 6
  • 0
  • 7108
  • Pages: 202-207

Applying the method of heuristics for the optimal set of test scenarios generation

Conference "Technologies Microsoft in the theory and programming practice"
Voinov N.V. Kotlyarov V,P.
  • Year: 2010
  • Issue: 4
  • 0
  • 7014
  • Pages: 169-174

Testing automation of projects in telecommunication domain

Conference "Technologies Microsoft in the theory and programming practice"
Veselov A.O. Kotlyarov V,P.
  • Year: 2010
  • Issue: 4
  • 0
  • 7159
  • Pages: 180-185

Integrated environment for testing automation based on Eclipse platform

Conference "Technologies Microsoft in the theory and programming practice"
Drobintsev P.D. Daishev M.Sh. Kotlyarov V,P.
  • Year: 2010
  • Issue: 4
  • 0
  • 7215
  • Pages: 186-191

The program of calculation of an indicator of reliability of system with direct inclusion of the complete set the ZIP in reliability model

Conference "Technologies Microsoft in the theory and programming practice"
Veselov A.O. Ivanov А.S. Tyutin B.V. Kotlyarov V,P.
  • Year: 2009
  • Issue: 3
  • 0
  • 7087
  • Pages: 208-212

Verification and testing automation of UML projects

Conference "Technologies Microsoft in the theory and programming practice"
Voinov N.V. Kotlyarov V,P.
  • Year: 2009
  • Issue: 3
  • 0
  • 7773
  • Pages: 220-225

Java code formalization in UML models

Conference "Technologies Microsoft in the theory and programming practice"
Lukashev D.A. Kotlyarov V,P. Yusupov Yu.V.
  • Year: 2009
  • Issue: 3
  • 0
  • 7040
  • Pages: 232-236

Client application residual testing via XMPP protocol

Conference "Technologies Microsoft in the theory and programming practice"
Marchenkov E.Y. Kotlyarov V,P.
  • Year: 2009
  • Issue: 3
  • 0
  • 6908
  • Pages: 242-246

Automation  of formalization of requirement to program projects

Conference "Technologies Microsoft in the theory and programming practice"
Kotlyarov V,P. Petrov A.V.
  • Year: 2009
  • Issue: 3
  • 0
  • 6975
  • Pages: 236-241

Verification of the software at integration of new functionality into existing system

Telecommunication Systems and Computer Networks
Tikhomirov V.A. Kotlyarov V,P.
  • Year: 2008
  • Issue: 5
  • 0
  • 7492
  • Pages: 20-26

Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms

Software of Computer, Telecommunications and Control Systems
Chernorutsky I.G. Kotlyarov V,P.
  • Year: 2018
  • Volume: 11
  • Issue: 1
  • 8
  • 8084
  • Pages: 39-46