Sergey N. Vasiliev

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Static Analysis

Top Venues

Publications

Alexander S. Novikov, Alexey N. Ivutin, Anna G. Troshina, Sergey N. Vasiliev
Detecting the use of unsafe data in software of embedded systems by means of static analysis methodology. MECO (2018)
Alexander S. Novikov, Alexey N. Ivutin, Anna G. Troshina, Sergey N. Vasiliev
The approach to finding errors in program code based on static analysis methodology. MECO (2017)
Alexey N. Ivutin, Anna G. Troshina, Dmitry O. Yesikov, Sergey N. Vasiliev
Estimation of parallel algorithms efficiency based on modified Petri nets. MECO (2017)