|
|
Publications in Math-Net.Ru
-
A method for modeling of individual agent behavior in the process-network paradigm of discrete-event simulation
Computing, Telecommunication and Control, 18:1 (2025), 23–35
-
Improving image analysis and processing performance on the RISC-V platform with Lichee Pi 4A
Proceedings of ISP RAS, 37:5 (2025), 157–172
-
Algorithm for monitoring and improving the stability of the it infrastructure based on availability and reliability metrics
Computing, Telecommunication and Control, 17:2 (2024), 24–37
-
Technique for automating charging of an electric vehicle based on a raspberry pi controller using neural networks
Computing, Telecommunication and Control, 15:4 (2022), 37–50
-
Automated object storage management approach with operator SDK and custom resource definition
Proceedings of ISP RAS, 34:2 (2022), 123–134
-
High performance distributed web-scraper
Proceedings of ISP RAS, 33:3 (2021), 87–100
-
Analysis of student activity on the e-learning course based on «openedu» platform logs
Proceedings of ISP RAS, 32:3 (2020), 91–99
-
Hardware and software data processing system for research and scientific purposes based on Raspberry Pi 3 microcomputer
Proceedings of ISP RAS, 32:3 (2020), 57–69
-
Hard drives monitoring automation approach for Kubernetes container orchestration system
Proceedings of ISP RAS, 32:2 (2020), 99–106
-
Conversion of abstract behavioral scenarios into scenarios applicable for testing
Proceedings of ISP RAS, 28:3 (2016), 145–160
-
Model oriented approach for industrial software development
Model. Anal. Inform. Sist., 22:6 (2015), 750–762
-
Analysis of UCM-model coverage by test scenarios
Sistemy i Sredstva Inform., 25:1 (2015), 74–88
-
Control flow based test suite generation
Sistemy i Sredstva Inform., 25:1 (2015), 54–73
-
Method of symbolic test scenarios automated concretization
Proceedings of ISP RAS, 27:3 (2015), 115–124
-
Incremental approach to the technology of test design for industrial projects
Model. Anal. Inform. Sist., 21:6 (2014), 144–154
-
Approach to behavior scenarios debugging
Model. Anal. Inform. Sist., 21:6 (2014), 44–56
-
Approach to concurrent systems testing based on ucm specification
St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 3(198), 85–91
-
Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
Tr. SPIIRAN, 26 (2013), 349–383
-
Systems for control of tests for broadband random vibration: Two approaches to the design of algorithms
Avtomat. i Telemekh., 1995, no. 11, 7–30
-
On the first-order optimality of an algorithm for detecting the change point in the vector case
Avtomat. i Telemekh., 1994, no. 1, 87–105
-
Modification and investigation of the cumulative sum procedure
Avtomat. i Telemekh., 1980, no. 9, 74–80
-
Cumulative sums for detection of changes in characteristics of a random process
Avtomat. i Telemekh., 1979, no. 2, 48–58
-
Sequential analysis applied to autoregression processes
Avtomat. i Telemekh., 1975, no. 8, 174–177
© , 2026