I agree that this site is using cookies. You can find further informations here.
X
Bouajjani, Ahmed
180  results:
Search for persons X
?
1

Computational Complexity of Verifying Parameterized Systems:

Ayikudi Ramachandrakumar, Balasubramanian , 2024
Link: http://nbn-resolving.de/..
 
?
2

On Verifying Concurrent Programs Under Weak Consistency Mod..:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Bouajjani, Ahmed - p. 133-147 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Verification under Intel-x86 with Persistency:

Abdulla, Parosh ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed..
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 1189-1212 , 2024
Link: https://doi.org/10.1145/..
 
?
4

Dynamic Partial Order Reduction for Checking Correctness ag..:

Bouajjani, Ahmed ; Enea, Constantin ; Román-Calvo, Enrique
Proceedings of the ACM on Programming Languages.  7 (2023)  PLDI - p. 565-590 , 2023
Link: https://doi.org/10.1145/..
 
?
5

Comparing Causal Convergence Consistency Models:

, In: Networked Systems; Lecture Notes in Computer Science,
Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin - p. 62-77 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Verifying Reachability for TSO Programs with Dynamic Thread..:

, In: Networked Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed.. - p. 283-300 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Automated Technology for Verification and Analysis: 20th In.. 

Lecture Notes in Computer Science, 13505
Bouajjani, Ahmed ; Holík, Lukáš ; Wu, Zhilin - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
8

Automated Synthesis of Asynchronizations:

, In: Static Analysis; Lecture Notes in Computer Science,
Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin. - p. 135-159 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Data-driven Numerical Invariant Synthesis with Automatic Ge..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bouajjani, Ahmed ; Boutglay, Wael-Amine ; Habermehl, Peter - p. 282-303 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Consistency and Persistency in Program Verification: Challe..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed... - p. 494-510 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Varda: A Framework for Compositional Distributed Programmin:

, In: Networked Systems; Lecture Notes in Computer Science,
Prosperi, Laurent ; Bouajjani, Ahmed ; Shapiro, Marc - p. 16-30 , 2022
Link: https://doi.org/10.1007/..
 
?
12

On the State Reachability Problem for Concurrent Programs U..:

, In: Networked Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed... - p. 47-59 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Checking causal consistency of distributed databases:

Zennou, Rachid ; Biswas, Ranadeep ; Bouajjani, Ahmed..
Computing.  104 (2021)  10 - p. 2181-2201 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Deciding reachability under persistent x86-TSO:

Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-32 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Checking Robustness Between Weak Transactional Consistency ..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin - p. 87-117 , 2021
Link: https://doi.org/10.1007/..
 
1-15