Concepedia

Mohamed Faouzi Atig

MF

23

Publications

782

Citations

17

H-Index

2008

Active since

Affiliations

Uppsala University(Current)

Université Paris Cité

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Brno University of Technology

Academia Sinica

Mohamed Faouzi Atig is an author at Uppsala University specializing in formal methods, formal verification, and computer science.

Top concepts

Computer ScienceEngineeringFormal MethodsFormal VerificationVerificationProgram AnalysisAutomated ReasoningSoftware AnalysisSystem SoftwareComputer Engineering

Publications per year

2008–2021

23

Publications

23

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

Rows per page

1–5 of 23