Ahmed Bouajjani

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with K. Narayan Kumar

> Home > Persons > Ahmed Bouajjani

Publications

2024
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AbdullaABKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AbdullaABKS24
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verification under Intel-x86 with Persistency. Proc. ACM Program. Lang. 8(PLDI): 1189-1212 (2024)
2022
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AbdullaAB0KS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AbdullaAB0KS22
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan:
Consistency and Persistency in Program Verification: Challenges and Opportunities. Principles of Systems Design 2022: 494-510
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/AbdullaABKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/AbdullaABKS22
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verifying Reachability for TSO Programs with Dynamic Thread Creation. NETYS 2022: 283-300
2021
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AbdullaABKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AbdullaABKS21
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Deciding reachability under persistent x86-TSO. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021)
2018
[c107]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/AtigBKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AtigBKS18
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verifying Quantitative Temporal Properties of Procedural Programs. CONCUR 2018: 15:1-15:17
2017
[c101]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/AtigBKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/AtigBKS17
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verification of Asynchronous Programs with Nested Locks. FSTTCS 2017: 11:1-11:14
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/AtigBKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/AtigBKS17
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Parity Games on Bounded Phase Multi-pushdown Systems. NETYS 2017: 272-287
2014
[c90]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/AtigBKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/AtigBKS14
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
On Bounded Reachability Analysis of Shared Memory Systems. FSTTCS 2014: 611-623
2012
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AtigBKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AtigBKS12
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. ATVA 2012: 152-166
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1205-6928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-6928
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard. CoRR abs/1205.6928 (2012)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.