Egor Derevenetc

According to our database, Egor Derevenetc authored at least 10 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On the State Reachability Problem for Concurrent Programs Under Power.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer

Proceedings of the Networked Systems - 8th International Conference, 2020

2017

Locality and Singularity for Store-Atomic Memory Models.

Egor Derevenetc, Roland Meyer, Sebastian Schweizer

Proceedings of the Networked Systems - 5th International Conference, 2017

2015

Robustness against Relaxed Memory Models.

Egor Derevenetc

PhD thesis, 2015

Lazy TSO Reachability.

Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Robustness against Relaxed Memory Models.

Ahmed Bouajjani, Egor Derevenetc, Roland Meyer

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Robustness against Power is PSpace-complete.

Egor Derevenetc, Roland Meyer

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

A Theory of Partitioned Global Address Spaces.

Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Checking and Enforcing Robustness against TSO.

Ahmed Bouajjani, Egor Derevenetc, Roland Meyer

Proceedings of the Programming Languages and Systems, 2013

2012

Robustness Checking against TSO: Attacks and Defence

Ahmed Bouajjani, Egor Derevenetc, Roland Meyer

CoRR, 2012

2011

SmartDec: Approaching C++ Decompilation.

Alexander Fokin, Egor Derevenetc, Alexander Chernov, Katerina Troshina

Proceedings of the 18th Working Conference on Reverse Engineering, 2011