Estimation of parallel algorithms efficiency based on modified Petri nets. - Alexey N. Ivutin; Anna G. Troshina; Dmitry O. Yesikov; Sergey N. Vasiliev (MECO, 2017)

The approach to finding errors in program code based on static analysis methodology. - Alexander S. Novikov 001; Alexey N. Ivutin; Anna G. Troshina; Sergey N. Vasiliev (MECO, 2017)

Detecting the use of unsafe data in software of embedded systems by means of static analysis methodology. - Alexander S. Novikov 001; Alexey N. Ivutin; Anna G. Troshina; Sergey N. Vasiliev (MECO, 2018)