|
|
Publications in Math-Net.Ru
-
Analysis of personality traits based on the disc model using machine learning methods
Computing, Telecommunication and Control, 16:3 (2023), 54–63
-
Modern possibilities of using AI methods in the analysis of biomedical data
Computing, Telecommunication and Control, 13:4 (2020), 21–33
-
An approach for automated deployment of cloud applications in the Edge-to-Cloud computing continuum satisfying high quality of service requirements
Computing, Telecommunication and Control, 13:1 (2020), 8–18
-
Development of automated computer vision methods for cell counting and endometrial gland detection for medical images processing
Proceedings of ISP RAS, 32:3 (2020), 119–130
-
Recommendation system based on user actions in the social network
Proceedings of ISP RAS, 32:3 (2020), 101–108
-
Experimental aspects of memory bandwidth for HPC systems with ccNUMA architecture
St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:3 (2017), 32–41
-
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
-
Developing software for data center configuration
St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 3(198), 92–98
-
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
-
The Guide-based Automatic Creation of Verified Test Scenarious
Model. Anal. Inform. Sist., 20:6 (2013), 64–77
-
Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
Tr. SPIIRAN, 26 (2013), 349–383
-
An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
Model. Anal. Inform. Sist., 19:6 (2012), 79–91
© , 2024