Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Egor Derevenetc

Publications by Egor Derevenetc

Conference contributions

  1. Safety Verification under Power, with Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Carl Leonardsson, and Roland Meyer.
    In Proceedings of NETYS 2020. To appear.
    DOI | BibTeX

  2. Locality and Singularity for Store-Atomic Memory Models, with Roland Meyer and Sebastian Schweizer.
    In Proceedings of NETYS 2017.
    DOI | arXiv

  3. Lazy TSO Reachability, with Ahmed Bouajjani, Georgel Calin, and Roland Meyer.
    In Proceedings of FASE 2015.
    arXiv | DOI | BibTeX

  4. Checking and Enforcing Robustness against Relaxed Memory Models, with Ahmed Bouajjani and Roland Meyer.
    In Proceedings of SE 2014.
    PDF

  5. Robustness against Power is PSPACE-complete, with Roland Meyer.
    In Proceedings of ICALP 2014.
    arXiv | DOI | BibTeX

  6. Checking and Enforcing Robustness against TSO, with Ahmed Bouajjani and Roland Meyer.
    In Proceedings of ESOP 2013.
    PDF (full version) | DOI | BibTeX

  7. A Theory of Partitioned Global Address Spaces, with Georgel Calin, Rupak Majumdar, and Roland Meyer.
    In Proceedings of FSTTCS 2013.
    arXiv | DOI | BibTeX

Journal articles

  1. Structural analysis in the problem of decompilation, with K.N. Dolgova.
    Applied Informatics, 2009.
    PDF | BibTeX

  2. Structural analysis in the problem of decompilation, with K.N. Dolgova.
    Collection of Young Scientists' Articles, 2009.

  3. Methods and algorithms for reconstructing assembler programs into high level language, with K.N. Dolgova and A. Chernov.
    Problems of Information Security, 2008.
    PDF | BibTeX

Workshop contributions

  1. SmartDec: Approaching C++ Decompilation, with A. Fokin, A. Chernov, and K. Troshina.
    In Proceedings of 18th Working Conference on Reverse Engineering. Limerick, Ireland, 2011.
    IEEE | DOI | BibTeX

  2. Reconstruction of Composite Types for Decompilation, with K. Troshina and A. Chernov.
    In Proceedings of 10th IEEE International Working Conference on Source Code Analysis and Manipulation. Timisoara, Romania, 2010.
    IEEE | DOI | BibTeX

  3. C Decompilation: Is It Possible?, with K. Troshina and A. Chernov.
    In Proceedings of International Workshop on Program Understanding. Altai Mountains, Russia, 2009.
    PDF | BibTeX

Theses

  1. Robustness against Relaxed Memory Models. PhD thesis.
    University of Kaiserslautern, 2015.
    PDF | BibTeX

  2. Reconstruction of C++ control flow structures from a low-level program. Diploma Thesis.
    Moscow State University, 2010.