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:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic.
Program. Comput. Softw., 2022

2018
Lemma Functions for Frama-C: C Programs as Proofs.
CoRR, 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

Deductive Verification of Unmodified Linux Kernel Library Functions.
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

A Memory Model for Deductively Verifying Linux Kernel Modules.
Proceedings of the Perspectives of System Informatics, 2017

2016
Towards deductive verification of C programs with shared data.
Program. Comput. Softw., 2016

Region analysis for deductive verification of C programs.
Program. Comput. Softw., 2016

2015
Configurable toolset for static verification of operating systems kernel modules.
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
Experience of improving the blast static verification tool.
Program. Comput. Softw., 2012

Using linux device drivers for static verification tools benchmarking.
Program. Comput. Softw., 2012

Predicate Analysis with BLAST 2.7 - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012


  Loading...