pith. sign in

Mohamed Faouzi Atig

Identifiers

  • name variant Mohamed Faouzi Atig 0.60 · backfill

Papers (12)

  1. On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix) cs.LO · 2026 · author #2
  2. The complexity of verifying the release-acquire semantics over register machines cs.PL · 2025 · author #3
  3. Optimal Stateless Model Checking under the Release-Acquire Semantics cs.PL · 2018 · author #2
  4. Universal Safety for Timed Petri Nets is PSPACE-complete cs.LO · 2018 · author #2
  5. Communicating Timed Processes with Perfect Timed Channels cs.FL · 2017 · author #2
  6. On the Upward/Downward Closures of Petri Nets cs.FL · 2017 · author #1
  7. Stateless Model Checking for POWER cs.LO · 2016 · author #2
  8. Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version) cs.DB · 2016 · author #3
  9. Complexity of regular abstractions of one-counter languages cs.FL · 2016 · author #1
  10. Infinite-State Energy Games cs.GT · 2014 · author #2
  11. Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard cs.LO · 2012 · author #1
  12. Approximating Petri Net Reachability Along Context-free Traces cs.FL · 2011 · author #1

Mentions

  • 2506.08238 #3 · arxiv_oai · confidence 0.70 Mohamed Faouzi Atig
  • 1405.0628 #2 · backfill · confidence 0.70 Mohamed Faouzi Atig
  • 1205.6928 #1 · backfill · confidence 0.70 Mohamed Faouzi Atig
  • 1105.1657 #1 · backfill · confidence 0.70 Mohamed Faouzi Atig

Frequent Coauthors