Software Engineering Lab
Pavel D. Drobintsev
Head of the Lab

Our Research

The laboratory is aimed to implement projects devoted to modern software development in such areas as big data processing and analysis, artificial intelligence, high performance calculations with hybrid supercomputer, automated verification and testing of software applications, modeling of complex dynamic systems, imitation modeling. Laboratory staff has deep experience in complex projects of miscellaneous levels including projects from Erasmus+ program, RFBR (Russian Fund for Basic Research), FCPIR (Federal Target Program), State Assignments by Ministry of Science and Higher Education
  • Algorithms, methods and software tools for big data processing and analysis based on artificial intelligence
  • Approaches to data access and data processing mechanisms
  • Technologies of concurrent calculations for big data analysis with hybrid supercomputer
  • Algorithms and software tools for genome processing with high performance systems
Technologies of automated verification and testing of telecom applications; verification of distributed systems
  • Modeling of complex dynamic systems and imitation modeling
  • Optimization methods

Lab Staff

Selected Publications

Using the Doc2Vec Algorithm to Detect Semantically Similar Jira Issues in the Process of Resolving Customer Requests
Kovalev A., Voinov N., Nikiforov I.
2020
Open access
Optimization of Technological Processes at Production Sites Based on Digital Modeling
Drobintsev P., Voinov N., Kotlyarova L., Selin I., Aleksandrova O.
2020
Open access
Trust management in a blockchain based fog computing platform with trustless smart oraclesystems, Volume 101, December 2019, Pages 747-759.
Kochovski P., Gec S., Stankovski V., Bajec M., Drobintsev P.D.
2019
Open access
Formal Quality of Service assurances, ranking and verification of cloud deployment options with a probabilistic model checking method
Kochovski P., Drobintsev P.D., Stankovski V.
2019
Open access
An architecture and stochastic method for database container placement in the edge-fog-cloud continuum
Kochovski P., Sakellariou R., Bajec M., Drobintsev P., Stankovski V.
2019
Open access
Big data processing system for analysis of GitHub events
Voinov, N., Rodriguez Garzon, K., Nikiforov, I., Drobintsev, P.
2019
Pub link
Implementation of reliable net-centric management of IoT industrial workshop for small-scale production
Chernorutsky, I., Kotlyarov, V., Shyamasundar, R., Tolstoles, A., Voinov, N.
2019
Open access
Structural modelling and automation of technological processes within net-centric industrial workshop based on network methods of planning
Kotlyarov, V., Chernorutsky, I., Drobintsev, P., Voinov, N., Tolstoles, A.
2018
Pub link
An approach for managing hybrid supercomputer resources in photogrammetric tasks
Voinov N., Selin I., Drobintsev P., Kotlyarov V.
2018
Pub link
Technology and tools for developing industrial software test suites based on formal models and implementing scalable testing process on supercomputer
Kotlyarov V., Drobintsev P., Voinov N., Selin I., Tolstoles A.
2018
Open access
An approach to net-centric control automation of technological processes within industrial IoT systems
Voinov N., Chernorutsky I., Drobintsev P., Kotlyarov V.
2017
Open access
Adapting software applications to hybrid supercomputer
Kotlyarov V., Drobintsev P., Levchenko A., Voinov N.
2017
Pub link
Distributed OAIS-Based digital preservation system with HDFS technology
Voinov N., Drobintsev P., Kotlyarov V., Nikiforov I.
2017
Pub link
An effective implementation approach for adapting of HPC applications
Drobintsev P., Kotlyarov V., Levchenko A., Maslakov A.
2017
Pub link
Experimental considerations towards effective memory bandwidth evaluation on large-scale ccNUMA systems
Drobintsev P., Kotlyarov V., Levchenko A., Petukhov E.
2017
Pub link

Postgraduate courses

  • Mathematical Theory and Software for Computing Machinery, Systems, and Networks

Grants

  • Creation of personalized methods for assessing the health and risk of cancer based on the intellectual processing of large amounts of multimodal radiation diagnostic data
  • Development of a software platform for collecting, updating and analyzing information about industrial design objects based on a system of intelligent matching and determining the similarity of three-dimensional models
  • Innovative teaching and learning strategies in open modelling and simulation environment for student-centered engineering education
  • Technologies and Toolset for Reliable Control of Production Areas of Internet of Things
  • Creation of high-tech production of a Russian device based on biocontrol technology to increase the intellectual productivity of engineers
    • Creation of a software and technology platform for interactive strategy and business analysis with forecasting elements for state and commercial organizations
    • Methods and technologies for verification and development of a software for modeling and calculations using a supercomputer platform with extra-massive parallelism
    • Development of technologies and services for intelligent matching and determination of similarity of three-dimensional models
    • Creation of a Russian analogue of system software for centralized management of personal mobile devices and platforms in corporate networks
    • An integrated approach to the analysis and verification of telecommunication application specifications for one- and multiprocessor systems

Our Partners