Mohamed Faouzi Atig

On the verification problem for weak memory models

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt et al. · 2010 · 135 citations

Engineering, Verification, Computer Architecture +21

Dense-Timed Pushdown Automata

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman · 2012 · 69 citations

Reachability Analysis, Dense-timed Pushdown Automata, Pushdown Automata +12

Optimal stateless model checking under the release-acquire semantics

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jönsson et al. · Proceedings of the ACM on Programming Languages · 2018 · 65 citations · Full text

Program Checking, Engineering, Verification +22

Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer · Logical Methods in Computer Science · 2011 · 46 citations · Full text

Engineering, Dynamic Thread Creation, Program Analysis +15

Optimal stateless model checking for reads-from equivalence under sequential consistency

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jönsson et al. · Proceedings of the ACM on Programming Languages · 2019 · 45 citations · Full text

Program Checking, Engineering, Verification +19