SmartDec: Approaching C++ Decompilation. - Alexander Fokin; Egor Derevenetc; Alexander Chernov; Katerina Troshina (WCRE, 2011)

Robustness Checking against TSO: Attacks and Defence - Ahmed Bouajjani; Egor Derevenetc; Roland Meyer 001 (CoRR, 2012)

Checking and Enforcing Robustness against TSO. - Ahmed Bouajjani; Egor Derevenetc; Roland Meyer 001 (ESOP, 2013)

A Theory of Partitioned Global Address Spaces. - Georgel Calin; Egor Derevenetc; Rupak Majumdar; Roland Meyer 001 (FSTTCS, 2013)

Robustness against Power is PSpace-complete. - Egor Derevenetc; Roland Meyer 001 (ICALP (2), 2014)

Robustness against Relaxed Memory Models. - Ahmed Bouajjani; Egor Derevenetc; Roland Meyer 001 (Software Engineering, 2014)

Lazy TSO Reachability. - Ahmed Bouajjani; Georgel Calin; Egor Derevenetc; Roland Meyer 001 (FASE, 2015)

Robustness against Relaxed Memory Models. - Egor Derevenetc (2015)

Locality and Singularity for Store-Atomic Memory Models. - Egor Derevenetc; Roland Meyer 001; Sebastian Schweizer (NETYS, 2017)

On the State Reachability Problem for Concurrent Programs Under Power. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Egor Derevenetc; Carl Leonardsson; Roland Meyer 001 (NETYS, 2020)