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
    Submit Your Paper
    Publication schedule
    • №2 June 2026
      Submission deadline: 29 May 2026
    • №3 September 2026
      Submission deadline: 31 August 2026
    • №4 December 2026

    Articles by keywords "verification"

    ResNet-SV: Fast and accurate speaker verification with a multi-layer cascade attention mechanism

    Circuits and Systems for Receiving, Transmitting and Signal Processing
    Aliyev A.A.Molodyakov S.A.
    • Year: 2025
    • Volume: 18
    • Issue: 1
    • 16
    • 4013
    • Pages: 60-71

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

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

    Testing digital systems defined by high level specifications

    Control Systems Hardware and Software
    Berezkin A.V.Fedotov A.A.Filippov A.S.
    • Year: 2011
    • Issue: 6
    • 1
    • 8399
    • Pages: 62-70

    Verification method based on decomposition of states in rely-guarantee/sep logic

    Mathematical Modelling: Methods, algorithms, technologies
    Prokopenko A.S.Tormasov A.G.
    • Year: 2010
    • Issue: 6
    • 0
    • 8731
    • Pages: 127-135

    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
    • 8889
    • Pages: 20-26

    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
    • 8667
    • Pages: 123-126

    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
    • 8422
    • Pages: 119-123

    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
    • 8708
    • Pages: 109-114

    Formal verification for a C0 implementation of the heapsort algorithm

    Computer Systems and Software
    Kovalev M.S.Dalinger I.M.Myagotin A.V.
    • Year: 2010
    • Issue: 4
    • 0
    • 8666
    • Pages: 83-92

    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
    • 9005
    • Pages: 220-225

    Test suite execution scaling for automated testing

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

    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
    • 8727
    • Pages: 175-180

    Interactive visualization of enterprise it infrastructure graph

    Conference "Technologies Microsoft in the theory and programming practice"
    Kryshen M.A.Bogoyavlensky Y.A.
    • Year: 2011
    • Issue: 3
    • 0
    • 8350
    • Pages: 172-175

    Verification the algorithm of transactional memory

    Mathematical Modelling: Methods, algorithms, technologies
    Belyaev A.B.
    • Year: 2010
    • Issue: 3
    • 0
    • 8474
    • Pages: 107-111

    Dynamic verification of hybrid systems

    Conference «Tools & Methods of Program Analysis – 2013»
    Pakulin N.V.
    • Year: 2014
    • Issue: 2
    • 748
    • 9277
    • Pages: 189-203

    Conformance testing automation for transport layer security protocol TLS

    Conference «Tools & Methods of Program Analysis – 2013»
    Nikeshin A.V.Pakulin N.V.Shnitman V.Z.
    • Year: 2014
    • Issue: 2
    • 353
    • 8858
    • Pages: 180-188

    UPPAAL-based verification of software-defined networks

    Conference «Tools & Methods of Program Analysis – 2013»
    Podymov V.V.Popesko U.V.
    • Year: 2014
    • Issue: 2
    • 465
    • 9205
    • Pages: 169-179

    Verifying correctness of hdl-model behavior on the basis of dynamical trace matching

    Conference «Tools & Methods of Program Analysis – 2013»
    Ivannikov V.P.Kamkin A.S.Chupilko М.М.
    • Year: 2014
    • Issue: 2
    • 330
    • 8808
    • Pages: 130-142

    Survey on Formal Methods in Robotics

    Conference «Tools & Methods of Program Analysis – 2015»
    Mordvinov D.A.Litvinov Yu.V.
    • Year: 2016
    • Issue: 1
    • 440
    • 9479
    • Pages: 84-107

    VERMONT – a Toolset for Verification of Software Defined Networks

    Conference «Tools & Methods of Program Analysis – 2014»
    Zakharov V.A.Altukhov V.S.Podymov V.V.Chemeritskiy E.V.
    • Year: 2015
    • Issue: 1
    • 316
    • 8845
    • Pages: 74-87

    A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code

    Conference «Tools & Methods of Program Analysis – 2014»
    Smolov S.A.Kamkin A.S.
    • Year: 2015
    • Issue: 1
    • 260
    • 9232
    • Pages: 60-73