We stand with Ukraine  

A. Yu. Gerasimov

Affiliations:
  • Russian Academy of Sciences, Institute for System Programming, Moscow


According to our database1, A. Yu. Gerasimov authored at least 4 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
A Formal Model for Detecting Bugs by Symbolic Execution of Programs.
[BibTeX]
[DOI]
A. Yu. Gerasimov
,
Daniil O. Kuts
,
Alexander A. Novikov
Program. Comput. Softw., 2020

Slicenomics: How to Provide Cost-Based Intra and Inter Slice Resource Management?
[BibTeX]
[DOI]
Alexander Gerasimov
,
Vitaly A. Antonenko
Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

2018
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.
[BibTeX]
[DOI]
A. Yu. Gerasimov
,
Leonid V. Kruglov
,
Mikhail K. Ermakov
,
Sergey P. Vartanov
Program. Comput. Softw., 2018

Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation.
[BibTeX]
[DOI]
A. Yu. Gerasimov
Program. Comput. Softw., 2018


  Loading...