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
    AuthorIgor V. Nikiforov
    Submit Your Paper
    Publication schedule
    • №4 December 2026
    • №1 March 2027
    • №2 June 2027
    Latest issues
    Igor V. Nikiforov
    Igor V. Nikiforov

    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
    • 289
    • 9596
    • Pages: 85-91

    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
    • 9966
    • 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
    • 10145
    • Pages: 111-117

    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
    • 535
    • 10136
    • Pages: 148-153

    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
    • 3
    • 9207
    • 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
    • 2
    • 9070
    • Pages: 119-123

    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
    • 3
    • 8829
    • Pages: 180-184

    Generation of formal model of a sysmem from requirements specified in Use Case Map

    Conference «Technologies Microsoft in the theory and programming practice»
    Nikiforov I.V.Petrov A.V.Yusupov Yu.V.
    • Year: 2010
    • Issue: 4
    • 3
    • 8964
    • Pages: 191-195

    Technique for automating charging of an electric vehicle based on a Raspberry Pi controller using neural networks

    Intelligent Systems and Technologies, Artificial Intelligence
    Vlasenko N.A. Dusaeva A.I. Nikiforov I.V.Prelovskii D.S.
    • Year: 2022
    • Volume: 15
    • Issue: 4
    • 45
    • 6509
    • Pages: 37-50

    Algorithm for monitoring and improving the stability of the IT infrastructure based on availability and reliability metrics

    Software of Computer, Telecommunications and Control Systems
    Varlamov D.A.Nikiforov I.V.Ustinov S.M.
    • Year: 2024
    • Volume: 17
    • Issue: 2
    • 46
    • 4596
    • Pages: 24-37

    A method for modeling of individual agent behavior in the process-network paradigm of discrete-event simulation

    Intelligent Systems and Technologies, Artificial Intelligence
    Sabutkevich A.M.Nikiforov I.V.Samochadin A.V.
    • Year: 2025
    • Volume: 18
    • Issue: 1
    • 25
    • 4610
    • Pages: 23-35

    IT project infrastructure setup automation with help of large language models

    Intelligent Systems and Technologies, Artificial Intelligence
    Ivlev V.A.Nikiforov I.V.Ustinov S.M.
    • Year: 2025
    • Volume: 18
    • Issue: 2
    • 25
    • 2345
    • Pages: 74-90

    Automation of preparation and deployment of information infrastructure of cloud services using the Ansible tool

    Software and Hardware of Computer, Network, Telecommunication, Control, and Measurement Systems
    Kiseleva A.A. Nikiforov I.V.Shishko M.V. Ustinov S.M.
    • Year: 2025
    • Volume: 18
    • Issue: 3
    • 18
    • 1959
    • Pages: 131-143

    A Lyapunov-based dynamic scheduling algorithm for heterogeneous computing clusters

    Simulations of Computer, Telecommunications and Control Systems
    Wang ShanNikiforov I.V.
    • Year: 2026
    • Volume: 19
    • Issue: 1
    • 9
    • 1081
    • Pages: 65-79