Computing, Telecommunications and Control
    Computing, Telecommunications and ControlPeter the Great St. Petersburg Polytechnic University
    Since 2008
    ISSN 2687-0517
    enАнглийский
    Version for the visually impaired
    AuthorVsevolod P. Kotlyarov
    Submit Your Paper
    Publication schedule
    • №2 June 2026
      Submission deadline: 29 May 2026
    • №3 September 2026
      Submission deadline: 31 August 2026
    • №4 December 2026
    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
    • 9334
    • 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
    • 8936
    • 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
    • 8972
    • Pages: 85-91

    Principles of SMS informing system testing

    Telecommunication Systems and Computer Networks
    Kotlyarov V,P.Ivanov А.S.
    • Year: 2014
    • Issue: 4
    • 291
    • 9586
    • 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
    • 9404
    • Pages: 99-104

    Integrated criteria of software requirement checking

    Microsoft Сonference
    Nikiforov I.V.Drobintsev P.D.Kotlyarov V,P.
    • Year: 2013
    • Issue: 3
    • 609
    • 9551
    • 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
    • 8880
    • 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
    • 9554
    • 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
    • 8742
    • 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
    • 8591
    • 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
    • 8447
    • 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
    • 8696
    • 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
    • 8758
    • 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
    • 1
    • 8305
    • 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
    • 8588
    • 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
    • 8556
    • 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
    • 8390
    • 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
    • 8334
    • 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
    • 8525
    • 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
    • 8595
    • 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
    • 8311
    • 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
    • 9033
    • 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
    • 8318
    • 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
    • 8138
    • 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
    • 8218
    • 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
    • 8918
    • 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
    • 9
    • 9657
    • Pages: 39-46