|
|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
| 1. |
V. P. Kotlyarov, A. P. Maslakov, A. A. Tolstoles, “Digital modelling of production engineering for metalworking machine shops”, Proceedings of ISP RAS, 31:3 (2019), 85–98   |
1
|
|
2018 |
| 2. |
I. G. Chernorutskiy, V. P. Kotlyarov, “Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 11:1 (2018), 39–46 |
|
2017 |
| 3. |
P. D. Drobintsev, V. P. Kotlyarov, A. V. Levchenko, “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 |
|
2016 |
| 4. |
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, N. V. Voinov, I. A. Selin, “Conversion of abstract behavioral scenarios into scenarios applicable for testing”, Proceedings of ISP RAS, 28:3 (2016), 145–160 |
|
2015 |
| 5. |
P. D. Drobintsev, V. P. Kotlyarov, N. V. Voinov, I. V. Nikiforov, “Model oriented approach for industrial software development”, Model. Anal. Inform. Sist., 22:6 (2015), 750–762  |
3
|
| 6. |
N. V. Voinov, P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, “Analysis of UCM-model coverage by test scenarios”, Sistemy i Sredstva Inform., 25:1 (2015), 74–88 |
| 7. |
N. Voinov, P. Drobintsev, V. Kotlyarov, I. Nikiforov, I. Selin, “Control flow based test suite generation”, Sistemy i Sredstva Inform., 25:1 (2015), 54–73 |
| 8. |
Nikita V. Voinov, Pavel D. Drobintsev, Igor V. Nikiforov, Vsevolod P. Kotlyarov, Alexander V. Kolchin, “Method of symbolic test scenarios automated concretization”, Proceedings of ISP RAS, 27:3 (2015), 115–124 |
|
2014 |
| 9. |
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, “Incremental approach to the technology of test design for industrial projects”, Model. Anal. Inform. Sist., 21:6 (2014), 144–154 |
| 10. |
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, V. S. Peschanenko, “Approach to behavior scenarios debugging”, Model. Anal. Inform. Sist., 21:6 (2014), 44–56 |
| 11. |
V. P. Kotlyarov, A. S. Ivanov, “Principles of sms informing system testing”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 4(200), 41–46 |
| 12. |
P. D. Drobintsev, I. V. Nikiforov, N. V. Voinov, V. P. Kotlyarov, “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 |
| 13. |
B. V. Tyutin, A. O. Veselov, V. P. Kotlyarov, “Sequence diagrams application for keyword-driven testing”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 3(198), 78–84 |
|
2013 |
| 14. |
P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky, “The Guide-based Automatic Creation of Verified Test Scenarious”, Model. Anal. Inform. Sist., 20:6 (2013), 64–77 |
| 15. |
I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, O. A. Letychevskyi, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013), 349–383 |
5
|
|
2012 |
| 16. |
A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov, “An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects”, Model. Anal. Inform. Sist., 19:6 (2012), 79–91 |
|
2011 |
| 17. |
S. N. Baranov, V. P. Kotlyarov, “A formal requirements model, used in the process of application code and test code generation”, Model. Anal. Inform. Sist., 18:4 (2011), 118–130 |
2
|
|
| Organisations |
|
| |
|
|
Contact us: