Egor Derevenetc

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