Ahmed Bouajjani
Identifiers
- name variant Ahmed Bouajjani 0.60 · backfill
Papers (13)
- Checking Robustness Against Snapshot Isolation cs.LO · 2019 · author #2
- On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony cs.PL · 2018 · author #1
- Reasoning About TSO Programs Using Reduction and Abstraction cs.LO · 2018 · author #1
- Checking Linearizability of Concurrent Priority Queues cs.PL · 2017 · author #1
- Proving linearizability using forward simulations cs.PL · 2017 · author #1
- On Verifying Causal Consistency cs.LO · 2016 · author #1
- On Reducing Linearizability to State Reachability cs.LO · 2015 · author #1
- Lazy TSO Reachability cs.PL · 2015 · author #1
- Checking Robustness against TSO cs.PL · 2012 · author #1
- Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard cs.LO · 2012 · author #2
- A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes cs.LO · 2009 · author #1
- A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking cs.LO · 2009 · author #1
- Parametric Verification of a Group Membership Algorithm cs.LO · 2005 · author #1
Mentions
Frequent Coauthors
- Constantin Enea 8 shared papers
- Egor Derevenetc 2 shared papers
- Jad Hamza 2 shared papers
- Michael Emmi 2 shared papers
- Roland Meyer 2 shared papers
- Suha Orhun Mutluergil 2 shared papers
- Agathe Merceron 1 shared papers
- Axel Legay 1 shared papers
- Cezara Dragoi 1 shared papers
- Chao Wang 1 shared papers
- Georgel Calin 1 shared papers
- Kailiang Ji 1 shared papers
- K. Narayan Kumar 1 shared papers
- Mihaela Sighireanu 1 shared papers
- Mohamed Faouzi Atig 1 shared papers
- Pierre Wolper 1 shared papers
- Prakash Saivasan 1 shared papers
- Rachid Guerraoui 1 shared papers
- Serdar Tasiran 1 shared papers
- Shaz Qadeer 1 shared papers