Mikhail U. Mandrykin
Orcid: 0000-0002-9306-7719
According to our database1,
Mikhail U. Mandrykin
authored at least 14 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Program. Comput. Softw., 2022
2018
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
2017
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Perspectives of System Informatics, 2017
2016
Program. Comput. Softw., 2016
Program. Comput. Softw., 2016
2015
Program. Comput. Softw., 2015
High-level memory model with low-level pointer cast support for Jessie intermediate language.
Program. Comput. Softw., 2015
2014
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
2012
Program. Comput. Softw., 2012
Program. Comput. Softw., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012