×

zbMATH — the first resource for mathematics

Atig, Mohamed Faouzi

Compute Distance To:
Author ID: atig.mohamed-faouzi Recent zbMATH articles by "Atig, Mohamed Faouzi"
Published as: Atig, Mohamed Faouzi; Faouzi Atig, Mohamed
Documents Indexed: 48 Publications since 2008, including 1 Book

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 136 times in 74 Documents Cited by Year
Emptiness of multi-pushdown automata is 2ETIME-complete. Zbl 1161.68509
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
13
2008
On the verification problem for weak memory models. Zbl 1312.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
10
2010
On the reachability analysis of acyclic networks of pushdown systems. Zbl 1160.68451
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
9
2008
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1237.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2011
Dense-timed pushdown automata. Zbl 1360.68535
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
8
2012
Model-checking of ordered multi-pushdown automata. Zbl 1279.68206
Faouzi Atig, Mohamed
6
2012
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1234.68068
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
6
2009
On Yen’s path logic for Petri nets. Zbl 1230.68153
Atig, Mohamed Faouzi; Habermehl, Peter
6
2011
Adjacent ordered multi-pushdown systems. Zbl 1309.68128
Atig, Mohamed Faouzi; Kumar, K. Narayan; Saivasan, Prakash
6
2014
Global model checking of ordered multi-pushdown systems. Zbl 1245.68130
Atig, Mohamed Faouzi
5
2010
Approximating Petri net reachability along context-free traces. Zbl 1246.68161
Atig, Mohamed Faouzi; Ganty, Pierre
5
2011
Linear-time model-checking for multithreaded programs under scope-bounding. Zbl 1375.68076
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Narayan Kumar, K.; Saivasan, Prakash
5
2012
On bounded reachability analysis of shared memory systems. Zbl 1360.68624
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Kumar, K. Narayan; Saivasan, Prakash
5
2014
On Yen’s path logic for Petri nets. Zbl 1260.68255
Atig, Mohamed Faouzi; Habermehl, Peter
4
2009
Counter-example guided fence insertion under TSO. Zbl 1352.68047
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed
4
2012
Budget-bounded model-checking pushdown systems. Zbl 1317.68106
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari
4
2014
Analyzing asynchronous programs with preemption. Zbl 1248.68348
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
3
2008
From multi to single stack automata. Zbl 1287.68118
Atig, Mohamed Faouzi
3
2010
The minimal cost reachability problem in priced timed pushdown systems. Zbl 1350.68198
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
3
2012
What’s decidable about availability languages? Zbl 1366.68130
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed
3
2015
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
3
2017
Verifying parallel programs with dynamic communication structures. Zbl 1209.68114
Touili, Tayssir; Atig, Mohamed Faouzi
2
2010
Verifying parallel programs with dynamic communication structures. Zbl 1248.68138
Atig, Mohamed Faouzi; Touili, Tayssir
2
2009
What’s decidable about weak memory models? Zbl 1352.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
2
2012
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
1
2014
Analysis of message passing programs using SMT-solvers. Zbl 1410.68079
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
2013
Context-bounded analysis of TSO systems. Zbl 1416.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Parlato, Gennaro
1
2014
The benefits of duality in verifying concurrent programs under TSO. Zbl 1392.68142
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong
1
2016
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
1
2013
Verification of dynamic register automata. Zbl 1360.68575
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane
1
2014
Infinite-state energy games. Zbl 1401.68139
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick
1
2014
Emptiness of ordered multi-pushdown automata is 2ETIME-complete. Zbl 1387.68129
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
1
2017
Timed lossy channel systems. Zbl 1354.68163
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
2012
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
3
2017
Emptiness of ordered multi-pushdown automata is 2ETIME-complete. Zbl 1387.68129
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
1
2017
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
The benefits of duality in verifying concurrent programs under TSO. Zbl 1392.68142
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong
1
2016
What’s decidable about availability languages? Zbl 1366.68130
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed
3
2015
Adjacent ordered multi-pushdown systems. Zbl 1309.68128
Atig, Mohamed Faouzi; Kumar, K. Narayan; Saivasan, Prakash
6
2014
On bounded reachability analysis of shared memory systems. Zbl 1360.68624
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Kumar, K. Narayan; Saivasan, Prakash
5
2014
Budget-bounded model-checking pushdown systems. Zbl 1317.68106
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari
4
2014
Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
1
2014
Context-bounded analysis of TSO systems. Zbl 1416.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Parlato, Gennaro
1
2014
Verification of dynamic register automata. Zbl 1360.68575
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane
1
2014
Infinite-state energy games. Zbl 1401.68139
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick
1
2014
Analysis of message passing programs using SMT-solvers. Zbl 1410.68079
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
2013
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
1
2013
Dense-timed pushdown automata. Zbl 1360.68535
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
8
2012
Model-checking of ordered multi-pushdown automata. Zbl 1279.68206
Faouzi Atig, Mohamed
6
2012
Linear-time model-checking for multithreaded programs under scope-bounding. Zbl 1375.68076
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Narayan Kumar, K.; Saivasan, Prakash
5
2012
Counter-example guided fence insertion under TSO. Zbl 1352.68047
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed
4
2012
The minimal cost reachability problem in priced timed pushdown systems. Zbl 1350.68198
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
3
2012
What’s decidable about weak memory models? Zbl 1352.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
2
2012
Timed lossy channel systems. Zbl 1354.68163
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
2012
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1237.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2011
On Yen’s path logic for Petri nets. Zbl 1230.68153
Atig, Mohamed Faouzi; Habermehl, Peter
6
2011
Approximating Petri net reachability along context-free traces. Zbl 1246.68161
Atig, Mohamed Faouzi; Ganty, Pierre
5
2011
On the verification problem for weak memory models. Zbl 1312.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
10
2010
Global model checking of ordered multi-pushdown systems. Zbl 1245.68130
Atig, Mohamed Faouzi
5
2010
From multi to single stack automata. Zbl 1287.68118
Atig, Mohamed Faouzi
3
2010
Verifying parallel programs with dynamic communication structures. Zbl 1209.68114
Touili, Tayssir; Atig, Mohamed Faouzi
2
2010
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1234.68068
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
6
2009
On Yen’s path logic for Petri nets. Zbl 1260.68255
Atig, Mohamed Faouzi; Habermehl, Peter
4
2009
Verifying parallel programs with dynamic communication structures. Zbl 1248.68138
Atig, Mohamed Faouzi; Touili, Tayssir
2
2009
Emptiness of multi-pushdown automata is 2ETIME-complete. Zbl 1161.68509
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter
13
2008
On the reachability analysis of acyclic networks of pushdown systems. Zbl 1160.68451
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
9
2008
Analyzing asynchronous programs with preemption. Zbl 1248.68348
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
3
2008
all top 5

Cited by 138 Authors

10 Atig, Mohamed Faouzi
5 Bouajjani, Ahmed
4 Abdulla, Parosh Aziz
4 Bollig, Benedikt
4 Habermehl, Peter
4 La Torre, Salvatore
4 Meyer, Roland
4 Parlato, Gennaro
4 Saivasan, Prakash
4 Touili, Tayssir
3 Akshay, S.
3 Czerwiński, Wojciech
3 Gastin, Paul
3 Krishna, Shankara Narayanan
3 Miné, Antoine
3 Napoli, Margherita
3 Praveen, M.
3 Schmitz, Sylvain
3 Schnoebelen, Philippe
3 Wehar, Michael
2 Chini, Peter
2 Chistikov, Dmitry V.
2 Enea, Constantin
2 Finkel, Alain
2 Goubault-Larrecq, Jean
2 Hofman, Piotr
2 Kahlon, Vineet
2 Karandikar, Prateek
2 Krebs, Andreas
2 Lasota, Sławomir
2 Leroux, Jérôme
2 Peron, Adriano
2 Pilipczuk, Michał
2 Qadeer, Shaz
2 Song, Fu
2 Sutre, Grégoire
1 Aiswarya, Cyriac
1 Aronis, Stavros
1 Barozzini, David
1 Basten, H. J. S.
1 Baudru, Nicolas
1 Beillahi, Sidi Mohamed
1 Benerecetti, Massimo
1 Bhave, Devendra
1 Blondin, Michael
1 Brázdil, Tomáš
1 Burnim, Jabob
1 Cadilhac, Michaël
1 Carotenuto, Dario
1 Chakraborty, Supratik
1 Chambart, Pierre
1 Chatterjee, Krishnendu
1 Clemente, Lorenzo
1 Conchon, Sylvain
1 Cyriac, Aiswarya
1 Das, Ankush
1 Dave, Vrunda
1 De Crescenzo, Ilaria
1 de Frutos-Escrig, David
1 Decker, Normann
1 Declerck, David
1 Della Monica, Dario
1 Demri, Stéphane P.
1 Droste, Manfred
1 Fahrenberg, Uli
1 Fratani, Séverine
1 Ganty, Pierre
1 Giua, Alessandro
1 Grindei, Manuela-Lidia
1 Gupta, Aarti
1 Hague, Matthew
1 Halfon, Simon
1 Haziza, Frédéric
1 Holík, Luká
1 Ibarra, Oscar H.
1 Inverso, Omar
1 Jagannath, Vishal
1 Jha, Susmit
1 Jonsson, Bengt
1 Juhl, Line
1 Jurdziński, Marcin
1 Kolberg, Jonathan
1 Kucera, Antonin
1 Kumar, K. Narayan
1 Kurnia, Ilham W.
1 Kuske, Dietrich
1 Larsen, Kim Guldstrand
1 Lazić, Ranko
1 Leonardsson, Carl
1 Leucker, Martin
1 Lin, Anthony Widjaja
1 López, Hugo A.
1 Lv, Yi
1 Majumdar, Rupak
1 Masopust, Tomáš
1 McKenzie, Pierre
1 McQuillan, Ian
1 Mennicke, Roy
1 Möhlmann, Eike
1 Monat, Raphaël
...and 38 more Authors

Citations by Year