I agree that this site is using cookies. You can find further informations here.
X
Atig, Mohamed Faouzi
117  results:
Search for persons X
?
1

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/..
 
?
2

Verification under TSO with an infinite Data Domain:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Furbach, Florian. - p. 276-295 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Fairness and Liveness Under Weak Consistency:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Godbole, Adwait.. - p. 1-21 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Overcoming Memory Weakness with Unified Fairness: Systemati..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Godbole, Adwait.. - p. 184-205 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Tailoring Stateless Model Checking for Event-Driven Multi-t..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bønneland, Frederik Meyer... - p. 176-198 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Optimal Stateless Model Checking for Causal Consistency:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Abdulla, Parosh ; Atig, Mohamed Faouzi ; Krishna, S... - p. 105-125 , 2023
Link: https://doi.org/10.1007/..
 
?
7

The Computing Journal gratefully acknowledges the editorial..:

Atig, Mohamed Faouzi
Computing.  104 (2022)  10 - p. 2157-2157 , 2022
Link: https://doi.org/10.1007/..
 
?
8

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/..
 
?
9

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/..
 
?
10

Probabilistic Total Store Ordering:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Agarwal, Raj Aryan.. - p. 317-345 , 2022
Link: https://doi.org/10.1007/..
 
?
11

What is decidable under the TSO memory model?:

Atig, Mohamed Faouzi
ACM SIGLOG News.  7 (2021)  4 - p. 4-19 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

The Decidability of Verification under PS 2.0:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Godbole, Adwait.. - p. 1-29 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Solving Not-Substring Constraint withFlat Abstraction:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Chen, Yu-Fang... - p. 305-320 , 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://doi.org/10.1145/..
 
?
15

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..
 
1-15