×
Compute Distance To:
Author ID: bouajjani.ahmed Recent zbMATH articles by "Bouajjani, Ahmed"
Published as: Bouajjani, Ahmed; Bouajjani, A.
all top 5

Co-Authors

2 single-authored
17 Enea, Constantin
15 Habermehl, Peter
13 Atig, Mohamed Faouzi
13 Touili, Tayssir
12 Abdulla, Parosh Aziz
12 Vojnar, Tomáš
9 Sighireanu, Mihaela
7 Emmi, Michael
7 Esparza, Javier
6 Hamza, Jad
5 Dragoi, Cezara
4 Fernandez, Jean-Claude
4 Holík, Lukáš
4 Jurski, Yan
4 Saivasan, Prakash
3 Annichini, Aurore
3 Graf, Susanne
3 Halbwachs, Nicolas
3 Jonsson, Bengt
3 Kaati, Lisa
3 Maler, Oded
3 Mayr, Richard M.
3 Meyer, Antoine
3 Moro, Pierre
3 Qadeer, Shaz
2 Beillahi, Sidi Mohamed
2 Bensalem, Saddek
2 Bozga, Marius
2 Burckhardt, Sebastian
2 Collomb-Annichini, Aurore
2 d’Orso, Julien
2 Iosif, Radu
2 Kumar, K. Narayan
2 Lahiri, Shuvendu Kumar
2 Lakhnech, Yassine
2 Merceron, Agathe
2 Meyer, Roland
2 Musuvathi, Madanlal
2 Narayan, Kumar K.
2 Ngo, Tuan Phong
2 Nilsson, Marcus
2 Rabinovich, Alexander
2 Rogalewicz, Adam
2 Sagiv, Mooly
2 Sifakis, Joseph
2 Strejček, Jan
2 Wolper, Pierre
2 Yorsh, Greta
1 Alur, Rajeev
1 Asarin, Eugene
1 Boasson, Luc
1 Cederberg, Jonathan
1 Chin, Wei-Ngan
1 Derevenetc, Egor
1 Fauconnier, Hugues
1 Finkel, Alain
1 Fratani, Séverine
1 Guerraoui, Rachid
1 Haziza, Frédéric
1 Legay, Axel
1 Loiseaux, Claire
1 Möhlmann, Eike
1 Monniaux, David P.
1 Mukund, Madhavan
1 Müller-Olm, Markus
1 Muscholl, Anca
1 Ozkan, Burcu Kulahcioglu
1 Parlato, Gennaro
1 Ratel, Christophe
1 Rezine, Ahmed
1 Rossmanith, Peter
1 Schwoon, Stefan
1 Shenoy R., Gautham
1 Sifkis, J.
1 Silva, Alexandra
1 Suresh, S. P.
1 Tasiran, Serdar
1 Tripakis, Stavros
1 Willems, Bernard
1 Yovine, Sergio

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 619 times in 395 Documents Cited by Year
Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053
Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S.
39
1995
Regular model checking. Zbl 0974.68118
Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus; Touili, Tayssir
25
2000
Using forward reachability analysis for verification of lossy channel systems. Zbl 1073.68675
Abdulla, Parosh Aziz; Collomb-Annichini, Aurore; Bouajjani, Ahmed; Jonsson, Bengt
24
2004
Safety for branching time semantics. Zbl 0769.68089
Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J.
19
1991
Abstract regular model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
19
2004
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
Checking timed Büchi automata emptiness efficiently. Zbl 1085.68083
Tripakis, Stavros; Yovine, Sergio; Bouajjani, Ahmed
18
2005
Regular symbolic analysis of dynamic networks of pushdown systems. Zbl 1134.68427
Bouajjani, Ahmed; Müller-Olm, Markus; Touili, Tayssir
17
2005
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 0933.68089
Bouajjani, Ahmed; Habermehl, Peter
17
1999
On the verification problem for weak memory models. Zbl 1312.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
14
2010
Permutation rewriting and algorithmic verification. Zbl 1107.68052
Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir
14
2007
TREX: A tool for reachability analysis of complex systems. Zbl 0991.68645
Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela
13
2001
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1321.68185
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
13
2003
Handling global conditions in parameterized system verification. Zbl 1046.68573
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus
13
1999
Abstract regular tree model checking. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
13
2006
Model checking lossy vector addition systems. Zbl 0926.03035
Bouajjani, Ahmed; Mayr, Richard
12
1999
Reachability analysis of process rewrite systems. Zbl 1205.68183
Bouajjani, Ahmed; Touili, Tayssir
12
2003
Minimal model generation. Zbl 0765.68114
Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.
10
1991
Reachability analysis of multithreaded software with asynchronous communication. Zbl 1172.68422
Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejček, Jan
10
2005
Verifying concurrent programs against sequential specifications. Zbl 1381.68048
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
10
2013
Checking and enforcing robustness against TSO. Zbl 1381.68039
Bouajjani, Ahmed; Derevenetc, Egor; Meyer, Roland
10
2013
On computing reachability sets of process rewrite systems. Zbl 1078.68652
Bouajjani, Ahmed; Touili, Tayssir
10
2005
On the reachability analysis of acyclic networks of pushdown systems. Zbl 1160.68451
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
10
2008
Symbolic techniques for parametric reasoning about counter and clock systems. Zbl 0974.68523
Annichini, Aurore; Asarin, Eugene; Bouajjani, Ahmed
9
2000
Extrapolating tree transformations. Zbl 1010.68085
Bouajjani, Ahmed; Touili, Tayssir
9
2002
Verifying programs with dynamic 1-selector-linked structures in regular model checking. Zbl 1087.68585
Bouajjani, Ahmed; Habermehl, Peter; Moro, Pierre; Vojnar, Tomáš
9
2005
Computing simulations over tree automata. Efficient techniques for reducing tree automata. Zbl 1134.68391
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
9
2008
Tractable refinement checking for concurrent objects. Zbl 1345.68096
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
9
2015
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1237.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2011
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1234.68068
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2009
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
8
2008
Monotonic abstraction for programs with dynamic memory heaps. Zbl 1155.68423
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Cederberg, Jonathan; Haziza, Frédéric; Rezine, Ahmed
7
2008
A logic-based framework for reasoning about composite data structures. Zbl 1254.68146
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
7
2009
On reducing linearizability to state reachability. Zbl 1395.68089
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
6
2015
Analysis of recursively parallel programs. Zbl 1321.68184
Bouajjani, Ahmed; Emmi, Michael
6
2012
Rewriting systems with data. Zbl 1135.68467
Bouajjani, Ahmed; Habermehl, Peter; Jurski, Yan; Sighireanu, Mihaela
6
2007
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1101.68457
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
6
2003
Deciding monotonic games. Zbl 1116.68491
Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien
6
2003
On bounded reachability analysis of shared memory systems. Zbl 1360.68624
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Kumar, K. Narayan; Saivasan, Prakash
6
2014
What’s decidable about weak memory models? Zbl 1352.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
5
2012
Languages, rewriting systems, and verification of infinite-state systems. Zbl 0986.68517
Bouajjani, Ahmed
5
2001
Automatic verification of recursive procedures with one integer parameter. Zbl 1053.68060
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
5
2003
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
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
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
Effective lossy queue languages. Zbl 0986.68044
Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed
4
2001
Deciding robustness against total store ordering. Zbl 1333.68082
Bouajjani, Ahmed; Meyer, Roland; Möhlmann, Eike
4
2011
Symbolic reachability analysis of higher-order context-free processes. Zbl 1117.68395
Bouajjani, Ahmed; Meyer, Antoine
4
2004
Accurate invariant checking for programs manipulating lists and arrays with infinite data. Zbl 1374.68112
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
4
2012
Context-bounded analysis of multithreaded programs with dynamic linked structures. Zbl 1135.68365
Bouajjani, Ahmed; Fratani, Séverine; Qadeer, Shaz
4
2007
Monotonic and downward closed games. Zbl 1133.68042
Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien
4
2008
Verification of parametric concurrent systems with prioritised FIFO resource management. Zbl 1138.68464
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
4
2008
On verifying causal consistency. Zbl 1380.68270
Bouajjani, Ahmed; Enea, Constantin; Guerraoui, Rachid; Hamza, Jad
4
2017
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 1401.68186
Bouajjani, Ahmed; Habermehl, Peter
4
1997
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
4
2018
Minimal state graph generation. Zbl 0769.68090
Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.; Raymond, P.; Ratel, C.
3
1992
Abstract domains for automated reasoning about list-manipulating programs with infinite data. Zbl 1325.68058
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
3
2012
Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Zbl 1165.68004
3
2009
The benefits of duality in verifying concurrent programs under TSO. Zbl 1392.68142
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong
3
2016
Analyzing asynchronous programs with preemption. Zbl 1248.68348
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
3
2008
Handling liveness properties in (\(\omega\)-)regular model checking. Zbl 1272.68227
Bouajjani, Ahmed; Legay, Axel; Wolper, Pierre
3
2005
Reachability analysis of synchronized PA systems. Zbl 1272.68290
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
3
2005
Bounded phase analysis of message-passing programs. Zbl 1352.68057
Bouajjani, Ahmed; Emmi, Michael
2
2012
Verifying eventual consistency of optimistic replication systems. Zbl 1284.68383
Bouajjani, Ahmed; Enea, Constantin; Hamza, Jad
2
2014
On reducing linearizability to state reachability. Zbl 1395.68090
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
2
2018
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
Rewriting models of Boolean programs. Zbl 1151.68440
Bouajjani, Ahmed; Esparza, Javier
2
2006
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
Minimal model generation. Zbl 0786.68056
Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.
1
1991
Context-bounded analysis of TSO systems. Zbl 1416.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Parlato, Gennaro
1
2014
Parametric verification of a group membership algorithm. Zbl 1278.68159
Bouajjani, Ahmed; Merceron, Agathe
1
2002
Automatic verification of recursive procedures with one integer parameter. Zbl 1005.68096
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
1
2001
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Robustness against transactional causal consistency. Zbl 07327945
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin
1
2021
Abstract semantic diffing of evolving concurrent programs. Zbl 1420.68051
Bouajjani, Ahmed; Enea, Constantin; Lahiri, Shuvendu K.
1
2017
Verifying robustness of event-driven asynchronous programs against concurrency. Zbl 06721321
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Ozkan, Burcu Kulahcioglu; Tasiran, Serdar
1
2017
Checking robustness between weak transactional consistency models. Zbl 1473.68063
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin
1
2021
Robustness against transactional causal consistency. Zbl 07327945
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin
1
2021
Checking robustness between weak transactional consistency models. Zbl 1473.68063
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin
1
2021
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
4
2018
On reducing linearizability to state reachability. Zbl 1395.68090
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
2
2018
On verifying causal consistency. Zbl 1380.68270
Bouajjani, Ahmed; Enea, Constantin; Guerraoui, Rachid; Hamza, Jad
4
2017
Abstract semantic diffing of evolving concurrent programs. Zbl 1420.68051
Bouajjani, Ahmed; Enea, Constantin; Lahiri, Shuvendu K.
1
2017
Verifying robustness of event-driven asynchronous programs against concurrency. Zbl 06721321
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Ozkan, Burcu Kulahcioglu; Tasiran, Serdar
1
2017
The benefits of duality in verifying concurrent programs under TSO. Zbl 1392.68142
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong
3
2016
Tractable refinement checking for concurrent objects. Zbl 1345.68096
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
9
2015
On reducing linearizability to state reachability. Zbl 1395.68089
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
6
2015
On bounded reachability analysis of shared memory systems. Zbl 1360.68624
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Kumar, K. Narayan; Saivasan, Prakash
6
2014
Verifying eventual consistency of optimistic replication systems. Zbl 1284.68383
Bouajjani, Ahmed; Enea, Constantin; Hamza, Jad
2
2014
Context-bounded analysis of TSO systems. Zbl 1416.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Parlato, Gennaro
1
2014
Verifying concurrent programs against sequential specifications. Zbl 1381.68048
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
10
2013
Checking and enforcing robustness against TSO. Zbl 1381.68039
Bouajjani, Ahmed; Derevenetc, Egor; Meyer, Roland
10
2013
Analysis of recursively parallel programs. Zbl 1321.68184
Bouajjani, Ahmed; Emmi, Michael
6
2012
What’s decidable about weak memory models? Zbl 1352.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
5
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
Accurate invariant checking for programs manipulating lists and arrays with infinite data. Zbl 1374.68112
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
4
2012
Abstract domains for automated reasoning about list-manipulating programs with infinite data. Zbl 1325.68058
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
3
2012
Bounded phase analysis of message-passing programs. Zbl 1352.68057
Bouajjani, Ahmed; Emmi, Michael
2
2012
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1237.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2011
Programs with lists are counter automata. Zbl 1217.68059
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
5
2011
Deciding robustness against total store ordering. Zbl 1333.68082
Bouajjani, Ahmed; Meyer, Roland; Möhlmann, Eike
4
2011
On the verification problem for weak memory models. Zbl 1312.68050
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Burckhardt, Sebastian; Musuvathi, Madanlal
14
2010
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1234.68068
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2009
A logic-based framework for reasoning about composite data structures. Zbl 1254.68146
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
7
2009
Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Zbl 1165.68004
3
2009
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
On the reachability analysis of acyclic networks of pushdown systems. Zbl 1160.68451
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
10
2008
Computing simulations over tree automata. Efficient techniques for reducing tree automata. Zbl 1134.68391
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
9
2008
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
8
2008
Monotonic abstraction for programs with dynamic memory heaps. Zbl 1155.68423
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Cederberg, Jonathan; Haziza, Frédéric; Rezine, Ahmed
7
2008
Monotonic and downward closed games. Zbl 1133.68042
Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien
4
2008
Verification of parametric concurrent systems with prioritised FIFO resource management. Zbl 1138.68464
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
4
2008
Analyzing asynchronous programs with preemption. Zbl 1248.68348
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir
3
2008
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
Permutation rewriting and algorithmic verification. Zbl 1107.68052
Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir
14
2007
Rewriting systems with data. Zbl 1135.68467
Bouajjani, Ahmed; Habermehl, Peter; Jurski, Yan; Sighireanu, Mihaela
6
2007
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
Context-bounded analysis of multithreaded programs with dynamic linked structures. Zbl 1135.68365
Bouajjani, Ahmed; Fratani, Séverine; Qadeer, Shaz
4
2007
Abstract regular tree model checking of complex dynamic data structures. Zbl 1225.68067
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
19
2006
Programs with lists are counter automata. Zbl 1188.68181
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš
19
2006
Abstract regular tree model checking. Zbl 1273.68221
Bouajjani, Ahmed; Habermehl, Peter; Rogalewicz, Adam; Vojnar, Tomáš
13
2006
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Rewriting models of Boolean programs. Zbl 1151.68440
Bouajjani, Ahmed; Esparza, Javier
2
2006
Checking timed Büchi automata emptiness efficiently. Zbl 1085.68083
Tripakis, Stavros; Yovine, Sergio; Bouajjani, Ahmed
18
2005
Regular symbolic analysis of dynamic networks of pushdown systems. Zbl 1134.68427
Bouajjani, Ahmed; Müller-Olm, Markus; Touili, Tayssir
17
2005
Reachability analysis of multithreaded software with asynchronous communication. Zbl 1172.68422
Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejček, Jan
10
2005
On computing reachability sets of process rewrite systems. Zbl 1078.68652
Bouajjani, Ahmed; Touili, Tayssir
10
2005
Verifying programs with dynamic 1-selector-linked structures in regular model checking. Zbl 1087.68585
Bouajjani, Ahmed; Habermehl, Peter; Moro, Pierre; Vojnar, Tomáš
9
2005
Handling liveness properties in (\(\omega\)-)regular model checking. Zbl 1272.68227
Bouajjani, Ahmed; Legay, Axel; Wolper, Pierre
3
2005
Reachability analysis of synchronized PA systems. Zbl 1272.68290
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
3
2005
Using forward reachability analysis for verification of lossy channel systems. Zbl 1073.68675
Abdulla, Parosh Aziz; Collomb-Annichini, Aurore; Bouajjani, Ahmed; Jonsson, Bengt
24
2004
Abstract regular model checking. Zbl 1103.68071
Bouajjani, Ahmed; Habermehl, Peter; Vojnar, Tomáš
19
2004
Symbolic reachability analysis of higher-order context-free processes. Zbl 1117.68395
Bouajjani, Ahmed; Meyer, Antoine
4
2004
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1321.68185
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
13
2003
Reachability analysis of process rewrite systems. Zbl 1205.68183
Bouajjani, Ahmed; Touili, Tayssir
12
2003
A generic approach to the static analysis of concurrent programs with procedures. Zbl 1101.68457
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir
6
2003
Deciding monotonic games. Zbl 1116.68491
Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien
6
2003
Automatic verification of recursive procedures with one integer parameter. Zbl 1053.68060
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
5
2003
Extrapolating tree transformations. Zbl 1010.68085
Bouajjani, Ahmed; Touili, Tayssir
9
2002
Parametric verification of a group membership algorithm. Zbl 1278.68159
Bouajjani, Ahmed; Merceron, Agathe
1
2002
TREX: A tool for reachability analysis of complex systems. Zbl 0991.68645
Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela
13
2001
Languages, rewriting systems, and verification of infinite-state systems. Zbl 0986.68517
Bouajjani, Ahmed
5
2001
Effective lossy queue languages. Zbl 0986.68044
Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed
4
2001
Automatic verification of recursive procedures with one integer parameter. Zbl 1005.68096
Bouajjani, Ahmed; Habermehl, Peter; Mayr, Richard
1
2001
Regular model checking. Zbl 0974.68118
Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus; Touili, Tayssir
25
2000
Symbolic techniques for parametric reasoning about counter and clock systems. Zbl 0974.68523
Annichini, Aurore; Asarin, Eugene; Bouajjani, Ahmed
9
2000
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 0933.68089
Bouajjani, Ahmed; Habermehl, Peter
17
1999
Handling global conditions in parameterized system verification. Zbl 1046.68573
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus
13
1999
Model checking lossy vector addition systems. Zbl 0926.03035
Bouajjani, Ahmed; Mayr, Richard
12
1999
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations. Zbl 1401.68186
Bouajjani, Ahmed; Habermehl, Peter
4
1997
Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053
Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S.
39
1995
Minimal state graph generation. Zbl 0769.68090
Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.; Raymond, P.; Ratel, C.
3
1992
Safety for branching time semantics. Zbl 0769.68089
Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J.
19
1991
Minimal model generation. Zbl 0765.68114
Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.
10
1991
Minimal model generation. Zbl 0786.68056
Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N.
1
1991
all top 5

Cited by 643 Authors

22 Bouajjani, Ahmed
17 Abdulla, Parosh Aziz
14 Finkel, Alain
13 Atig, Mohamed Faouzi
12 Vojnar, Tomáš
10 Touili, Tayssir
9 Enea, Constantin
8 Habermehl, Peter
8 Henzinger, Thomas A.
8 Schnoebelen, Philippe
7 Demri, Stéphane P.
7 Holík, Lukáš
6 Héam, Pierre-Cyrille
6 Lang, Frédéric
6 Lozes, Etienne
6 Majumdar, Rupak
6 Meyer, Roland
6 Raskin, Jean-François
6 Saivasan, Prakash
6 Schmitz, Sylvain
5 Iosif, Radu
5 Jacquemard, Florent
5 Kucera, Antonin
5 Lengál, Ondřej
5 Mayr, Richard M.
5 Norman, Gethin
5 Pnueli, Amir
5 Praveen, M.
4 Alur, Rajeev
4 Boichut, Yohan
4 Bollig, Benedikt
4 Bozzelli, Laura
4 Ganty, Pierre
4 Grumberg, Orna
4 Ibarra, Oscar H.
4 Jonsson, Bengt
4 Kuske, Dietrich
4 Lin, Anthony Widjaja
4 Meseguer Guaita, José
4 Muskalla, Sebastian
4 Rezine, Ahmed
4 Santone, Antonella
4 Seidl, Helmut
4 Sproston, Jeremy
3 André, Étienne
3 Bozga, Marius
3 Brochenin, Rémi
3 Chatterjee, Krishnendu
3 Cook, Byron
3 Czerwiński, Wojciech
3 Delzanno, Giorgio
3 Emmi, Michael
3 Esparza, Javier
3 Gorogiannis, Nikos
3 Goubault-Larrecq, Jean
3 Hamza, Jad
3 Herbreteau, Frédéric
3 Hutagalung, Milka
3 Karandikar, Prateek
3 Kiefer, Stefan
3 Kupferman, Orna
3 Kwiatkowska, Marta Z.
3 La Torre, Salvatore
3 Lange, Martin
3 Lazić, Ranko
3 Leroux, Jérôme
3 Luttenberger, Michael
3 Mateescu, Radu
3 McKenzie, Pierre
3 Miné, Antoine
3 Muscholl, Anca
3 Narayan, Kumar K.
3 Niskanen, Reino
3 Ouaknine, Joel O.
3 Parlato, Gennaro
3 Potapov, Igor
3 Qadeer, Shaz
3 Rogalewicz, Adam
3 Ryan, Mark Dermot
3 Sammartino, Matteo
3 Sighireanu, Mihaela
3 Smith, Graeme
3 Sutre, Grégoire
3 Thati, Prasanna
3 Vaandrager, Frits W.
3 Worrell, James B.
3 Zetzsche, Georg
2 Albert, Elvira
2 Asarin, Eugene
2 Bansal, Kshitij
2 Barbuti, Roberto
2 Barnat, Jiří
2 Beillahi, Sidi Mohamed
2 Beneš, Nikola
2 Bensalem, Saddek
2 Bezděk, Peter
2 Blondin, Michael
2 Boigelot, Bernard
2 Bouyer, Patricia
2 Brihaye, Thomas
...and 543 more Authors

Citations by Year