Egor Derevenetc

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 3

Top Venues

CoRR

NETYS

ICALP (2)

FSTTCS

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer
On the State Reachability Problem for Concurrent Programs Under Power. NETYS (2020)
Egor Derevenetc, Roland Meyer, Sebastian Schweizer
Locality and Singularity for Store-Atomic Memory Models. CoRR (2017)
Egor Derevenetc, Roland Meyer, Sebastian Schweizer
Locality and Singularity for Store-Atomic Memory Models. NETYS (2017)
Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer
Lazy TSO Reachability. CoRR (2015)
Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer
Lazy TSO Reachability. FASE (2015)
Egor Derevenetc, Roland Meyer
Robustness against Power is PSpace-complete. ICALP (2) (2014)
Egor Derevenetc, Roland Meyer
Robustness against Power is PSPACE-complete. CoRR (2014)
Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
Robustness against Relaxed Memory Models. Software Engineering (2014)
Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
A Theory of Partitioned Global Address Spaces. CoRR (2013)
Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
Checking and Enforcing Robustness against TSO. ESOP (2013)
Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
A Theory of Partitioned Global Address Spaces. FSTTCS (2013)
Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
Robustness Checking against TSO: Attacks and Defence CoRR (2012)
Alexander Fokin, Egor Derevenetc, Alexander Chernov, Katerina Troshina
SmartDec: Approaching C++ Decompilation. WCRE (2011)

Egor Derevenetc.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Egor Derevenetc