×

Abdulla, Parosh Aziz

Author ID: abdulla.parosh-aziz Recent zbMATH articles by "Abdulla, Parosh Aziz"
Published as: Abdulla, Parosh Aziz; Abdulla, Parosh A.; Abdulla, Parosh; Aziz Abdulla, Parosh; Abdulla, P. A.
all top 5

Co-Authors

7 single-authored
28 Atig, Mohamed Faouzi
26 Jonsson, Bengt
17 Delzanno, Giorgio
15 Mayr, Richard M.
15 Rezine, Ahmed
14 Holík, Lukáš
12 Bouajjani, Ahmed
12 Vojnar, Tomáš
8 d’Orso, Julien
7 Chen, Yu-Fang
7 Kaati, Lisa
6 Deneux, Johann
6 Henda, Noomene Ben
6 Mahata, Pritha
6 Nilsson, Marcus
5 Aronis, Stavros
5 Cederberg, Jonathan
5 Haziza, Frédéric
5 Nylén, Aletta
5 Sagonas, Konstantinos
5 Stenman, Jari
4 Krčál, Pavel
4 Krishna, Shankara Narayanan
4 Leonardsson, Carl
4 Rezine, Othmane
4 Sangnier, Arnaud
4 Van Begin, Laurent
4 Yi, Wang
3 Diep, Bui Phi
3 Iyer, S. Purushothaman
3 Ouaknine, Joel O.
3 Saksena, Mayank
3 Sandberg, Sven
3 Trinh, Cong Quy
3 Worrell, James B.
2 Aiswarya, Cyriac
2 Baier, Christel
2 Čerāns, Karlis
2 Ciobanu, Radu
2 Clemente, Lorenzo
2 Godbole, Adwait Amit
2 Högberg, Johanna
2 Hong, Chih-Duo
2 Legay, Axel
2 Lengál, Ondřej
2 Ngo, Tuan Phong
2 Potapov, Igor
2 Quaas, Karin
2 Rabinovich, Alexander
2 Sproston, Jeremy
2 Totzke, Patrick
2 Traverso, Riccardo
1 Agarwal, Raj Aryan
1 Annichini, Aurore
1 Bensalem, Saddek
1 Bertrand, Nathalie
1 Bjesse, Per
1 Boasson, Luc
1 Collomb-Annichini, Aurore
1 Dave, Vrunda
1 de Alfaro, Luca
1 Demri, Stéphane P.
1 Eén, Niklas
1 Finkel, Alain
1 Habermehl, Peter
1 Hofman, Piotr
1 Holík, Luká
1 Hu, Denghang
1 Iyer, Purushothaman
1 Janků, Petr
1 Kara, Ahmet
1 Kaxiras, Stefanos
1 Kumar, K. Narayan
1 Lakhnech, Yassine
1 Leino, K. Rustan M.
1 Leroux, Jérôme
1 Meyer, Roland
1 Montali, Marco
1 Podelski, Andreas
1 Ros, Alberto
1 S., Krishna
1 Salehi, Mehdi Seyed
1 Schnoebelen, Philippe
1 Talupur, Muralidhar
1 Tsai, Wei-Lun
1 Tsay, Yih-Kuen
1 Vafeiadis, Viktor
1 Vaidya, Shaan
1 Wu, Zhillin
1 Yen, Di-De
1 Zhu, Yunyun

Publications by Year

Citations contained in zbMATH Open

103 Publications have been cited 754 times in 459 Documents Cited by Year
Verifying programs with unreliable channels. Zbl 0856.68096
Abdulla, Parosh Aziz; Jonsson, Bengt
81
1996
Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567
Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen
47
2000
Using forward reachability analysis for verification of lossy channel systems. Zbl 1073.68675
Abdulla, Parosh Aziz; Collomb-Annichini, Aurore; Bouajjani, Ahmed; Jonsson, Bengt
31
2004
Timed Petri nets and BQOs. Zbl 0986.68092
Aziz Abdulla, Parosh; Nylén, Aletta
27
2001
A survey of regular model checking. Zbl 1099.68055
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank
24
2004
Undecidable verification problems for programs with unreliable channels. Zbl 0872.68112
Abdulla, Parosh Aziz; Jonsson, Bengt
23
1996
Regular model checking without transducers (on efficient verification of parameterized systems). Zbl 1186.68312
Abdulla, Parosh Aziz; Delzanno, Giorgio; Henda, Noomene Ben; Rezine, Ahmed
18
2007
Dense-timed pushdown automata. Zbl 1360.68535
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
17
2012
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
16
2010
All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš
15
2013
Parameterized verification of infinite-state processes with global conditions. Zbl 1135.68461
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
14
2007
Handling global conditions in parameterized system verification. Zbl 1046.68573
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus
14
1999
Model checking of systems with many identical timed processes. Zbl 1018.68046
Abdulla, Parosh Aziz; Jonsson, Bengt
13
2003
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áš
11
2008
Decisive Markov chains. Zbl 1131.68060
Abdulla, Parosh A.; Henda, Noomene B.; Mayr, Richard M.
11
2007
Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633
Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas
11
2000
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
11
2011
Solving parity games on integer vectors. Zbl 1390.68452
Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
11
2013
Simulation is decidable for one-counter nets (extended abstract). Zbl 0940.68055
Abdulla, Parosh Aziz; Čerāns, Karlis
11
1998
Optimal dynamic partial order reduction. Zbl 1284.68377
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
10
2014
Verification of probabilistic systems with faulty communication. Zbl 1105.68003
Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph.
10
2005
Deciding monotonic games. Zbl 1116.68491
Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien
10
2003
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
10
2017
Regular model checking for LTL(MSO). Zbl 1103.68070
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank
9
2004
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
9
2005
Regular tree model checking. Zbl 1010.68087
Aziz Abdulla, Parosh; Jonsson, Bengt; Mahata, Pritha; d’Orso, Julien
9
2002
Regular model checking made simple and efficient. Zbl 1012.68134
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
9
2002
An integrated specification and verification technique for highly concurrent data structures. Zbl 1381.68141
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš; Jonsson, Bengt; Rezine, Ahmed
9
2013
Reasoning about probabilistic lossy channel systems. Zbl 0999.68145
Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt
8
2000
Well (and better) quasi-ordered transition systems. Zbl 1207.68219
Abdulla, Parosh Aziz
8
2010
Verification of probabilistic systems with faulty communication. Zbl 1029.68094
Abdulla, Parosh Aziz; Rabinovich, Alexander
7
2003
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
Eager Markov chains. Zbl 1161.68466
Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven
7
2006
Counter-example guided fence insertion under TSO. Zbl 1352.68047
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed
7
2012
On the verification of timed ad hoc networks. Zbl 1348.68115
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
7
2011
Algorithmic improvements in regular model checking. Zbl 1278.68150
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
7
2003
Forward reachability analysis of timed Petri nets. Zbl 1109.68509
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta
6
2004
Dense-timed Petri nets: checking Zenoness, token liveness and boundedness. Zbl 1128.68057
Abdulla, Parosh A.; Mahata, Pritha; Mayr, Richard M.
6
2007
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
6
2009
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
6
2006
Model checking parameterized systems. Zbl 1392.68223
Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar
6
2018
Infinite-state energy games. Zbl 1401.68139
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick
6
2014
Monotonic abstraction: on efficient verification of parameterized systems. Zbl 1186.68272
Abdulla, Parosh Aziz; Delzanno, Giorgio; Ben Henda, Noomene; Rezine, Ahmed
6
2009
A classification of the expressive power of well-structured transition systems. Zbl 1217.68146
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
6
2011
Comparing the expressive power of well-structured transition systems. Zbl 1179.68065
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
6
2007
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
6
2005
Sampled semantics of timed automata. Zbl 1214.68195
Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang
6
2010
The minimal cost reachability problem in priced timed pushdown systems. Zbl 1350.68198
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
5
2012
Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
5
2009
Ensuring completeness of symbolic verification methods for infinite-state systems. Zbl 0973.68146
Abdulla, P. A.; Jonsson, B.
5
2001
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
4
2013
What’s decidable about availability languages? Zbl 1366.68130
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed
4
2015
Budget-bounded model-checking pushdown systems. Zbl 1317.68106
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari
4
2014
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
4
2008
Monotonic and downward closed games. Zbl 1133.68042
Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien
4
2008
Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488
Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus
4
2006
Effective lossy queue languages. Zbl 0986.68044
Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed
4
2001
Bisimulation minimization of tree automata. Zbl 1143.68428
Abdulla, Parosh Aziz; Högberg, Johanna; Kaati, Lisa
4
2007
Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038
Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
4
2017
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
4
2008
Chain-free string constraints. Zbl 1437.68131
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr
4
2019
Qualitative analysis of VASS-induced MDPs. Zbl 1475.68199
Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
3
2016
Priced timed Petri nets. Zbl 1314.68199
Mayr, Richard M.; Abdulla, Parosh Aziz
3
2013
Proving liveness by backwards reachability. Zbl 1151.68498
Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank
3
2006
Sampled universality of timed automata. Zbl 1195.68052
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
3
2007
Handling parameterized systems with non-atomic global conditions. Zbl 1138.68436
Abdulla, Parosh Aziz; Ben Henda, Noomene; Delzanno, Giorgio; Rezine, Ahmed
3
2008
R-automata. Zbl 1160.68396
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
3
2008
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
SAT-solving the coverability problem for Petri nets. Zbl 1073.68057
Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta
3
2004
A language-based comparison of extensions of Petri nets with and without whole-place operations. Zbl 1234.68188
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
3
2009
Stateless model checking for TSO and PSO. Zbl 1420.68115
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
3
2015
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
2
2014
Timed lossy channel systems. Zbl 1354.68163
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
2
2012
Decidability of Zenoness, syntactic boundedness and token-liveness for dense-timed Petri nets. Zbl 1117.68445
Abdulla, Parosh; Mahata, Pritha; Mayr, Richard
2
2004
Bisimulation minimization of tree automata. Zbl 1160.68395
Abdulla, Parosh Aziz; Kaati, Lisa; Högberg, Johanna
2
2006
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
2
2013
Analysis of message passing programs using SMT-solvers. Zbl 1410.68079
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
2
2013
Closed, open, and robust timed networks. Zbl 1272.68216
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha
2
2005
Perfect timed communication is hard. Zbl 1514.68152
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan
2
2018
Undecidable verification problems for programs with unreliable channels. Zbl 1418.68123
Abdulla, Parosh Aziz; Jonsson, Bengt
2
1994
A load-buffer semantics for total store ordering. Zbl 1459.68038
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong
2
2018
Unfoldings of unbounded Petri nets. Zbl 0974.68528
Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta
2
2000
Comparing source sets and persistent sets for partial order reduction. Zbl 1431.68062
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
2
2017
Monotonic abstraction in action. (Automatic verification of distributed mutex algorithms). Zbl 1161.68612
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
2
2008
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
Minimal cost reachability/coverability in priced timed Petri nets. Zbl 1234.68280
Abdulla, Parosh Aziz; Mayr, Richard
2
2009
Universal safety for timed Petri nets is PSPACE-complete. Zbl 1520.68085
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Ciobanu, Radu; Mayr, Richard; Totzke, Patrick
2
2018
Monotonic abstraction in parameterized verification. Zbl 1337.68164
Abdulla, Parosh Aziz
1
2008
Parameterized verification of time-sensitive models of ad hoc network protocols. Zbl 1332.68137
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
1
2016
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
1
2016
Verification of dynamic register automata. Zbl 1360.68575
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane
1
2014
Simulation-based iteration of tree transducers. Zbl 1087.68052
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
1
2005
Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James
1
2007
Carrying probabilities to the infinite world. Zbl 1343.68149
Abdulla, Parosh Aziz
1
2011
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Automatic verification of directory-based consistency protocols. Zbl 1260.68224
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
1
2009
Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117
Abdulla, Parosh Aziz; Chen, Yu-Fang; Delzanno, Giorgio; Haziza, Frédéric; Hong, Chih-Duo; Rezine, Ahmed
1
2010
Using forward reachability analysis for verification of timed Petri nets. Zbl 1168.68434
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta
1
2007
View abstraction – a tutorial (invited paper). Zbl 1429.68137
Abdulla, Parosh A.; Haziza, Fréderic; Holík, Luká
1
2015
The decidability of verification under PS 2.0. Zbl 1474.68187
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Godbole, Adwait; Krishna, S.; Vafeiadis, Viktor
1
2021
Chain-free string constraints. Zbl 1437.68131
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr
4
2019
Model checking parameterized systems. Zbl 1392.68223
Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar
6
2018
Perfect timed communication is hard. Zbl 1514.68152
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan
2
2018
A load-buffer semantics for total store ordering. Zbl 1459.68038
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong
2
2018
Universal safety for timed Petri nets is PSPACE-complete. Zbl 1520.68085
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Ciobanu, Radu; Mayr, Richard; Totzke, Patrick
2
2018
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
10
2017
Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038
Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
4
2017
Comparing source sets and persistent sets for partial order reduction. Zbl 1431.68062
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
2
2017
Data multi-pushdown automata. Zbl 1442.68076
Abdulla, Parosh Aziz; Aiswarya, C.; Atig, Mohamed Faouzi
1
2017
Qualitative analysis of VASS-induced MDPs. Zbl 1475.68199
Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
3
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
3
2016
Parameterized verification of time-sensitive models of ad hoc network protocols. Zbl 1332.68137
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
1
2016
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
1
2016
What’s decidable about availability languages? Zbl 1366.68130
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed
4
2015
Stateless model checking for TSO and PSO. Zbl 1420.68115
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
3
2015
View abstraction – a tutorial (invited paper). Zbl 1429.68137
Abdulla, Parosh A.; Haziza, Fréderic; Holík, Luká
1
2015
Optimal dynamic partial order reduction. Zbl 1284.68377
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
10
2014
Infinite-state energy games. Zbl 1401.68139
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick
6
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
2
2014
Verification of dynamic register automata. Zbl 1360.68575
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane
1
2014
All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš
15
2013
Solving parity games on integer vectors. Zbl 1390.68452
Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
11
2013
An integrated specification and verification technique for highly concurrent data structures. Zbl 1381.68141
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš; Jonsson, Bengt; Rezine, Ahmed
9
2013
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
4
2013
Priced timed Petri nets. Zbl 1314.68199
Mayr, Richard M.; Abdulla, Parosh Aziz
3
2013
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
2
2013
Analysis of message passing programs using SMT-solvers. Zbl 1410.68079
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
2
2013
Dense-timed pushdown automata. Zbl 1360.68535
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
17
2012
Counter-example guided fence insertion under TSO. Zbl 1352.68047
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed
7
2012
The minimal cost reachability problem in priced timed pushdown systems. Zbl 1350.68198
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
5
2012
Timed lossy channel systems. Zbl 1354.68163
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
2
2012
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
11
2011
On the verification of timed ad hoc networks. Zbl 1348.68115
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
7
2011
A classification of the expressive power of well-structured transition systems. Zbl 1217.68146
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
6
2011
Carrying probabilities to the infinite world. Zbl 1343.68149
Abdulla, Parosh Aziz
1
2011
Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Zbl 1213.68016
1
2011
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
16
2010
Well (and better) quasi-ordered transition systems. Zbl 1207.68219
Abdulla, Parosh Aziz
8
2010
Sampled semantics of timed automata. Zbl 1214.68195
Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang
6
2010
Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117
Abdulla, Parosh Aziz; Chen, Yu-Fang; Delzanno, Giorgio; Haziza, Frédéric; Hong, Chih-Duo; Rezine, Ahmed
1
2010
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
6
2009
Monotonic abstraction: on efficient verification of parameterized systems. Zbl 1186.68272
Abdulla, Parosh Aziz; Delzanno, Giorgio; Ben Henda, Noomene; Rezine, Ahmed
6
2009
Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
5
2009
A language-based comparison of extensions of Petri nets with and without whole-place operations. Zbl 1234.68188
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
3
2009
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Minimal cost reachability/coverability in priced timed Petri nets. Zbl 1234.68280
Abdulla, Parosh Aziz; Mayr, Richard
2
2009
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Automatic verification of directory-based consistency protocols. Zbl 1260.68224
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
1
2009
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áš
11
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
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
4
2008
Monotonic and downward closed games. Zbl 1133.68042
Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien
4
2008
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
4
2008
Handling parameterized systems with non-atomic global conditions. Zbl 1138.68436
Abdulla, Parosh Aziz; Ben Henda, Noomene; Delzanno, Giorgio; Rezine, Ahmed
3
2008
R-automata. Zbl 1160.68396
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
3
2008
Monotonic abstraction in action. (Automatic verification of distributed mutex algorithms). Zbl 1161.68612
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
2
2008
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
Monotonic abstraction in parameterized verification. Zbl 1337.68164
Abdulla, Parosh Aziz
1
2008
Regular model checking without transducers (on efficient verification of parameterized systems). Zbl 1186.68312
Abdulla, Parosh Aziz; Delzanno, Giorgio; Henda, Noomene Ben; Rezine, Ahmed
18
2007
Parameterized verification of infinite-state processes with global conditions. Zbl 1135.68461
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
14
2007
Decisive Markov chains. Zbl 1131.68060
Abdulla, Parosh A.; Henda, Noomene B.; Mayr, Richard M.
11
2007
Dense-timed Petri nets: checking Zenoness, token liveness and boundedness. Zbl 1128.68057
Abdulla, Parosh A.; Mahata, Pritha; Mayr, Richard M.
6
2007
Comparing the expressive power of well-structured transition systems. Zbl 1179.68065
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
6
2007
Bisimulation minimization of tree automata. Zbl 1143.68428
Abdulla, Parosh Aziz; Högberg, Johanna; Kaati, Lisa
4
2007
Sampled universality of timed automata. Zbl 1195.68052
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
3
2007
Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James
1
2007
Using forward reachability analysis for verification of timed Petri nets. Zbl 1168.68434
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta
1
2007
Eager Markov chains. Zbl 1161.68466
Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven
7
2006
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
6
2006
Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488
Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus
4
2006
Proving liveness by backwards reachability. Zbl 1151.68498
Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank
3
2006
Bisimulation minimization of tree automata. Zbl 1160.68395
Abdulla, Parosh Aziz; Kaati, Lisa; Högberg, Johanna
2
2006
Verification of probabilistic systems with faulty communication. Zbl 1105.68003
Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph.
10
2005
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
9
2005
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
6
2005
Closed, open, and robust timed networks. Zbl 1272.68216
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha
2
2005
Simulation-based iteration of tree transducers. Zbl 1087.68052
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
1
2005
Using forward reachability analysis for verification of lossy channel systems. Zbl 1073.68675
Abdulla, Parosh Aziz; Collomb-Annichini, Aurore; Bouajjani, Ahmed; Jonsson, Bengt
31
2004
A survey of regular model checking. Zbl 1099.68055
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank
24
2004
Regular model checking for LTL(MSO). Zbl 1103.68070
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank
9
2004
Forward reachability analysis of timed Petri nets. Zbl 1109.68509
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta
6
2004
SAT-solving the coverability problem for Petri nets. Zbl 1073.68057
Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta
3
2004
Decidability of Zenoness, syntactic boundedness and token-liveness for dense-timed Petri nets. Zbl 1117.68445
Abdulla, Parosh; Mahata, Pritha; Mayr, Richard
2
2004
Model checking of systems with many identical timed processes. Zbl 1018.68046
Abdulla, Parosh Aziz; Jonsson, Bengt
13
2003
Deciding monotonic games. Zbl 1116.68491
Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien
10
2003
Verification of probabilistic systems with faulty communication. Zbl 1029.68094
Abdulla, Parosh Aziz; Rabinovich, Alexander
7
2003
Algorithmic improvements in regular model checking. Zbl 1278.68150
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
7
2003
Regular tree model checking. Zbl 1010.68087
Aziz Abdulla, Parosh; Jonsson, Bengt; Mahata, Pritha; d’Orso, Julien
9
2002
Regular model checking made simple and efficient. Zbl 1012.68134
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
9
2002
Timed Petri nets and BQOs. Zbl 0986.68092
Aziz Abdulla, Parosh; Nylén, Aletta
27
2001
Ensuring completeness of symbolic verification methods for infinite-state systems. Zbl 0973.68146
Abdulla, P. A.; Jonsson, B.
5
2001
Effective lossy queue languages. Zbl 0986.68044
Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed
4
2001
Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567
Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen
47
2000
Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633
Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas
11
2000
Reasoning about probabilistic lossy channel systems. Zbl 0999.68145
Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt
8
2000
Unfoldings of unbounded Petri nets. Zbl 0974.68528
Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta
2
2000
Handling global conditions in parameterized system verification. Zbl 1046.68573
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus
14
1999
Simulation is decidable for one-counter nets (extended abstract). Zbl 0940.68055
Abdulla, Parosh Aziz; Čerāns, Karlis
11
1998
...and 3 more Documents
all top 5

Cited by 697 Authors

43 Abdulla, Parosh Aziz
17 Vojnar, Tomáš
16 Finkel, Alain
15 Bouajjani, Ahmed
13 Holík, Lukáš
13 Schnoebelen, Philippe
12 Atig, Mohamed Faouzi
11 Delzanno, Giorgio
10 Bouyer, Patricia
10 Mayr, Richard M.
8 Jonsson, Bengt
8 Kucera, Antonin
8 Rosa-Velardo, Fernando
8 Schmitz, Sylvain
8 Totzke, Patrick
7 Ghilardi, Silvio
7 Habermehl, Peter
7 Jančar, Petr
7 Krishna, Shankara Narayanan
7 Lengál, Ondřej
6 Akshay, S.
6 Baier, Christel
6 Bertrand, Nathalie
6 Enea, Constantin
6 Hofman, Piotr
6 Iosif, Radu
6 Randour, Mickael
6 Rezine, Ahmed
6 Roux, Olivier H.
6 Shoham, Sharon
6 Vardi, Moshe Ya’akov
5 Brihaye, Thomas
5 Chambart, Pierre
5 Clemente, Lorenzo
5 Esparza, Javier
5 Gastin, Paul
5 Köcher, Chris
5 Kuske, Dietrich
5 Larsen, Kim Guldstrand
5 Lasota, Sławomir
5 Lazić, Ranko
5 Li, Yong
5 Lozes, Etienne
5 Markey, Nicolas
5 Praveen, M.
5 Ranise, Silvio
5 Sangnier, Arnaud
5 Srba, Jiří
5 Touili, Tayssir
4 Björklund, Johanna
4 Blondin, Michael
4 Bollig, Benedikt
4 Bozga, Marius
4 Bozzelli, Laura
4 Brázdil, Tomáš
4 Chatterjee, Krishnendu
4 Chen, Yu-Fang
4 Figueira, Diego
4 Ganty, Pierre
4 Goubault-Larrecq, Jean
4 Kaati, Lisa
4 Lange, Martin
4 Lime, Didier
4 Majumdar, Rupak
4 Meyer, Roland
4 Muscholl, Anca
4 Muskalla, Sebastian
4 Niskanen, Reino
4 Ouaknine, Joel O.
4 Potapov, Igor
4 Raskin, Jean-François
4 Raskin, Mikhail
4 Saivasan, Prakash
4 Wahl, Thomas
4 Worrell, James B.
4 Zavattaro, Gianluigi
4 Zhang, Lijun
3 Björklund, Henrik
3 Brožek, Václav
3 Bultan, Tevfik
3 Dang, Zhe
3 Dave, Vrunda
3 de Frutos-Escrig, David
3 Demri, Stéphane P.
3 Di Giusto, Cinzia
3 Emmi, Michael
3 Fioravanti, Fabio
3 Fogarty, Seth J.
3 Forejt, Vojtěch
3 Genest, Blaise
3 Haddad, Serge
3 Halava, Vesa
3 Héam, Pierre-Cyrille
3 Hélouët, Loïc
3 Henzinger, Thomas A.
3 Hutagalung, Milka
3 Ibarra, Oscar H.
3 Karandikar, Prateek
3 Kluźniak, Feliks
3 König, Barbara
...and 597 more Authors
all top 5

Cited in 43 Serials

44 Theoretical Computer Science
39 Information and Computation
20 Formal Methods in System Design
16 Logical Methods in Computer Science
14 Acta Informatica
10 International Journal of Foundations of Computer Science
9 Journal of Computer and System Sciences
8 Journal of Logical and Algebraic Methods in Programming
6 Formal Aspects of Computing
6 Fundamenta Informaticae
5 Information Processing Letters
5 Journal of Automated Reasoning
5 Theory of Computing Systems
5 ACM Transactions on Computational Logic
4 Artificial Intelligence
3 Journal of Symbolic Computation
2 Programming and Computer Software
2 Science of Computer Programming
2 Discrete Event Dynamic Systems
2 Cybernetics and Systems Analysis
2 The Journal of Logic and Algebraic Programming
1 International Journal of General Systems
1 Applied Mathematics and Computation
1 Automatica
1 Computing
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Computer Science and Technology
1 Annals of Operations Research
1 International Journal of Algebra and Computation
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Computer Mathematics
1 Distributed Computing
1 The Bulletin of Symbolic Logic
1 RAIRO. Theoretical Informatics and Applications
1 Theory and Practice of Logic Programming
1 Computer Languages, Systems & Structures
1 Iranian Journal of Fuzzy Systems
1 Electronic Notes in Theoretical Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 Computer Science Review
1 ACM Transactions on Computation Theory
1 Journal of Applied and Computational Topology

Citations by Year