×

Abdulla, Parosh Aziz

Compute Distance To:
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

6 single-authored
26 Jonsson, Bengt
24 Atig, Mohamed Faouzi
17 Delzanno, Giorgio
15 Mayr, Richard M.
15 Rezine, Ahmed
13 Holík, Lukáš
12 Bouajjani, Ahmed
12 Vojnar, Tomáš
8 d’Orso, Julien
7 Kaati, Lisa
6 Chen, Yu-Fang
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 Leonardsson, Carl
4 Rezine, Othmane
4 Sangnier, Arnaud
4 Van Begin, Laurent
4 Yi, Wang
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 Diep, Bui Phi
2 Högberg, Johanna
2 Hong, Chih-Duo
2 Krishna, Shankara Narayanan
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 Annichini, Aurore
1 Bensalem, Saddek
1 Bertrand, Nathalie
1 Bjesse, Per
1 Boasson, Luc
1 Collomb-Annichini, Aurore
1 de Alfaro, Luca
1 Demri, Stéphane P.
1 Eén, Niklas
1 Finkel, Alain
1 Godbole, Adwait Amit
1 Habermehl, Peter
1 Hofman, Piotr
1 Holík, Luká
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 Salehi, Mehdi Seyed
1 Schnoebelen, Philippe
1 Talupur, Muralidhar
1 Tsay, Yih-Kuen
1 Vafeiadis, Viktor
1 Zhu, Yunyun

Publications by Year

Citations contained in zbMATH Open

101 Publications have been cited 583 times in 363 Documents Cited by Year
Verifying programs with unreliable channels. Zbl 0856.68096
Abdulla, Parosh Aziz; Jonsson, Bengt
60
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
40
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
Timed Petri nets and BQOs. Zbl 0986.68092
Aziz Abdulla, Parosh; Nylén, Aletta
22
2001
Undecidable verification problems for programs with unreliable channels. Zbl 0872.68112
Abdulla, Parosh Aziz; Jonsson, Bengt
21
1996
A survey of regular model checking. Zbl 1099.68055
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank
16
2004
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áš
15
2010
Handling global conditions in parameterized system verification. Zbl 1046.68573
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus
13
1999
All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš
12
2013
Model checking of systems with many identical timed processes. Zbl 1018.68046
Abdulla, Parosh Aziz; Jonsson, Bengt
11
2003
Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633
Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas
11
2000
Regular model checking without transducers (on efficient verification of parameterized systems). Zbl 1186.68312
Abdulla, Parosh Aziz; Delzanno, Giorgio; Henda, Noomene Ben; Rezine, Ahmed
10
2007
Parameterized verification of infinite-state processes with global conditions. Zbl 1135.68461
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
10
2007
Dense-timed pushdown automata. Zbl 1360.68535
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
10
2012
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
Verification of probabilistic systems with faulty communication. Zbl 1105.68003
Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph.
9
2005
Solving parity games on integer vectors. Zbl 1390.68452
Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
8
2013
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áš
8
2011
On the verification of timed ad hoc networks. Zbl 1348.68115
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
8
2011
Decisive Markov chains. Zbl 1131.68060
Abdulla, Parosh A.; Henda, Noomene B.; Mayr, Richard M.
8
2007
Regular tree model checking. Zbl 1010.68087
Aziz Abdulla, Parosh; Jonsson, Bengt; Mahata, Pritha; d’Orso, Julien
8
2002
Simulation is decidable for one-counter nets (extended abstract). Zbl 0940.68055
Abdulla, Parosh Aziz; Čerāns, Karlis
8
1998
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
7
2013
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
Optimal dynamic partial order reduction. Zbl 1284.68377
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
7
2014
Regular model checking for LTL(MSO). Zbl 1103.68070
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank
7
2004
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
Well (and better) quasi-ordered transition systems. Zbl 1207.68219
Abdulla, Parosh Aziz
7
2010
Deciding monotonic games. Zbl 1116.68491
Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien
6
2003
Sampled semantics of timed automata. Zbl 1214.68195
Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang
6
2010
A classification of the expressive power of well-structured transition systems. Zbl 1217.68146
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
6
2011
Regular model checking made simple and efficient. Zbl 1012.68134
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
6
2002
Verification of probabilistic systems with faulty communication. Zbl 1029.68094
Abdulla, Parosh Aziz; Rabinovich, Alexander
6
2003
Comparing the expressive power of well-structured transition systems. Zbl 1179.68065
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
6
2007
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
6
2017
Reasoning about probabilistic lossy channel systems. Zbl 0999.68145
Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt
6
2000
Dense-timed Petri nets: checking Zenoness, token liveness and boundedness. Zbl 1128.68057
Abdulla, Parosh A.; Mahata, Pritha; Mayr, Richard M.
5
2007
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
5
2006
Monotonic abstraction: on efficient verification of parameterized systems. Zbl 1186.68272
Abdulla, Parosh Aziz; Delzanno, Giorgio; Ben Henda, Noomene; Rezine, Ahmed
5
2009
Algorithmic improvements in regular model checking. Zbl 1278.68150
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
5
2003
Forward reachability analysis of timed Petri nets. Zbl 1109.68509
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta
5
2004
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
5
2009
Ensuring completeness of symbolic verification methods for infinite-state systems. Zbl 0973.68146
Abdulla, P. A.; Jonsson, B.
5
2001
The minimal cost reachability problem in priced timed pushdown systems. Zbl 1350.68198
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
4
2012
Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488
Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus
4
2006
Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
4
2009
Monotonic and downward closed games. Zbl 1133.68042
Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien
4
2008
Eager Markov chains. Zbl 1161.68466
Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven
4
2006
Budget-bounded model-checking pushdown systems. Zbl 1317.68106
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari
4
2014
What’s decidable about availability languages? Zbl 1366.68130
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed
4
2015
Effective lossy queue languages. Zbl 0986.68044
Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed
4
2001
Handling parameterized systems with non-atomic global conditions. Zbl 1138.68436
Abdulla, Parosh Aziz; Ben Henda, Noomene; Delzanno, Giorgio; Rezine, Ahmed
3
2008
Bisimulation minimization of tree automata. Zbl 1143.68428
Abdulla, Parosh Aziz; Högberg, Johanna; Kaati, Lisa
3
2007
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
3
2005
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
3
2008
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
3
2005
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
SAT-solving the coverability problem for Petri nets. Zbl 1073.68057
Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta
3
2004
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
Closed, open, and robust timed networks. Zbl 1272.68216
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha
2
2005
Proving liveness by backwards reachability. Zbl 1151.68498
Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank
2
2006
Bisimulation minimization of tree automata. Zbl 1160.68395
Abdulla, Parosh Aziz; Kaati, Lisa; Högberg, Johanna
2
2006
Sampled universality of timed automata. Zbl 1195.68052
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
2007
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
2
2008
Decidability of Zenoness, syntactic boundedness and token-liveness for dense-timed Petri nets. Zbl 1117.68445
Abdulla, Parosh; Mahata, Pritha; Mayr, Richard
2
2004
Qualitative analysis of VASS-induced MDPs. Zbl 1475.68199
Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
2
2016
R-automata. Zbl 1160.68396
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
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
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
2
2013
Undecidable verification problems for programs with unreliable channels. Zbl 1418.68123
Abdulla, Parosh Aziz; Jonsson, Bengt
2
1994
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
Unfoldings of unbounded Petri nets. Zbl 0974.68528
Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta
2
2000
Minimal cost reachability/coverability in priced timed Petri nets. Zbl 1234.68280
Abdulla, Parosh Aziz; Mayr, Richard
2
2009
Model checking parameterized systems. Zbl 1392.68223
Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar
2
2018
Stateless model checking for TSO and PSO. Zbl 1420.68115
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
2
2015
Priced timed Petri nets. Zbl 1314.68199
Mayr, Richard M.; Abdulla, Parosh Aziz
1
2013
Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
1
2014
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
Automatic verification of directory-based consistency protocols. Zbl 1260.68224
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
1
2009
Carrying probabilities to the infinite world. Zbl 1343.68149
Abdulla, Parosh Aziz
1
2011
Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James
1
2007
Simulation-based iteration of tree transducers. Zbl 1087.68052
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
1
2005
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
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
Monotonic abstraction in parameterized verification. Zbl 1337.68164
Abdulla, Parosh Aziz
1
2008
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Data multi-pushdown automata. Zbl 1442.68076
Abdulla, Parosh Aziz; Aiswarya, C.; Atig, Mohamed Faouzi
1
2017
Chain-free string constraints. Zbl 1437.68131
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr
1
2019
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
Comparing source sets and persistent sets for partial order reduction. Zbl 1431.68062
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
1
2017
Analysis of message passing programs using SMT-solvers. Zbl 1410.68079
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
2013
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
Timed lossy channel systems. Zbl 1354.68163
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
2012
Verification of dynamic register automata. Zbl 1360.68575
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane
1
2014
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
Infinite-state energy games. Zbl 1401.68139
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick
1
2014
Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038
Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
1
2017
Perfect timed communication is hard. Zbl 06989601
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan
1
2018
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
1
2019
Model checking parameterized systems. Zbl 1392.68223
Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar
2
2018
Perfect timed communication is hard. Zbl 06989601
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan
1
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
6
2017
Data multi-pushdown automata. Zbl 1442.68076
Abdulla, Parosh Aziz; Aiswarya, C.; Atig, Mohamed Faouzi
1
2017
Comparing source sets and persistent sets for partial order reduction. Zbl 1431.68062
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
1
2017
Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038
Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
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
Qualitative analysis of VASS-induced MDPs. Zbl 1475.68199
Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
2
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
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
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
2
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
7
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
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
All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš
12
2013
Solving parity games on integer vectors. Zbl 1390.68452
Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
8
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
7
2013
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
2
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
Priced timed Petri nets. Zbl 1314.68199
Mayr, Richard M.; Abdulla, Parosh Aziz
1
2013
Analysis of message passing programs using SMT-solvers. Zbl 1410.68079
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
2013
Dense-timed pushdown automata. Zbl 1360.68535
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari
10
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
4
2012
Timed lossy channel systems. Zbl 1354.68163
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan
1
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áš
8
2011
On the verification of timed ad hoc networks. Zbl 1348.68115
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
8
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áš
15
2010
Well (and better) quasi-ordered transition systems. Zbl 1207.68219
Abdulla, Parosh Aziz
7
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
Monotonic abstraction: on efficient verification of parameterized systems. Zbl 1186.68272
Abdulla, Parosh Aziz; Delzanno, Giorgio; Ben Henda, Noomene; Rezine, Ahmed
5
2009
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
5
2009
Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
4
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
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
Minimal cost reachability/coverability in priced timed Petri nets. Zbl 1234.68280
Abdulla, Parosh Aziz; Mayr, Richard
2
2009
Automatic verification of directory-based consistency protocols. Zbl 1260.68224
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
1
2009
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
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áš
9
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
Handling parameterized systems with non-atomic global conditions. Zbl 1138.68436
Abdulla, Parosh Aziz; Ben Henda, Noomene; Delzanno, Giorgio; Rezine, Ahmed
3
2008
Universality analysis for one-clock timed automata. Zbl 1154.68063
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James
3
2008
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
2
2008
R-automata. Zbl 1160.68396
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
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
10
2007
Parameterized verification of infinite-state processes with global conditions. Zbl 1135.68461
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed
10
2007
Decisive Markov chains. Zbl 1131.68060
Abdulla, Parosh A.; Henda, Noomene B.; Mayr, Richard M.
8
2007
Comparing the expressive power of well-structured transition systems. Zbl 1179.68065
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent
6
2007
Dense-timed Petri nets: checking Zenoness, token liveness and boundedness. Zbl 1128.68057
Abdulla, Parosh A.; Mahata, Pritha; Mayr, Richard M.
5
2007
Bisimulation minimization of tree automata. Zbl 1143.68428
Abdulla, Parosh Aziz; Högberg, Johanna; Kaati, Lisa
3
2007
Sampled universality of timed automata. Zbl 1195.68052
Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang
2
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
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
5
2006
Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488
Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus
4
2006
Eager Markov chains. Zbl 1161.68466
Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven
4
2006
Proving liveness by backwards reachability. Zbl 1151.68498
Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank
2
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.
9
2005
Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058
Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt
3
2005
Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078
Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James
3
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
24
2004
A survey of regular model checking. Zbl 1099.68055
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank
16
2004
Regular model checking for LTL(MSO). Zbl 1103.68070
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank
7
2004
Forward reachability analysis of timed Petri nets. Zbl 1109.68509
Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta
5
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
11
2003
Deciding monotonic games. Zbl 1116.68491
Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien
6
2003
Verification of probabilistic systems with faulty communication. Zbl 1029.68094
Abdulla, Parosh Aziz; Rabinovich, Alexander
6
2003
Algorithmic improvements in regular model checking. Zbl 1278.68150
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
5
2003
Regular tree model checking. Zbl 1010.68087
Aziz Abdulla, Parosh; Jonsson, Bengt; Mahata, Pritha; d’Orso, Julien
8
2002
Regular model checking made simple and efficient. Zbl 1012.68134
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
6
2002
Timed Petri nets and BQOs. Zbl 0986.68092
Aziz Abdulla, Parosh; Nylén, Aletta
22
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
40
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
6
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
13
1999
Simulation is decidable for one-counter nets (extended abstract). Zbl 0940.68055
Abdulla, Parosh Aziz; Čerāns, Karlis
8
1998
Verifying programs with unreliable channels. Zbl 0856.68096
Abdulla, Parosh Aziz; Jonsson, Bengt
60
1996
Undecidable verification problems for programs with unreliable channels. Zbl 0872.68112
Abdulla, Parosh Aziz; Jonsson, Bengt
21
1996
...and 1 more Documents
all top 5

Cited by 585 Authors

35 Abdulla, Parosh Aziz
15 Vojnar, Tomáš
12 Bouajjani, Ahmed
12 Finkel, Alain
11 Holík, Lukáš
9 Atig, Mohamed Faouzi
9 Bouyer, Patricia
9 Delzanno, Giorgio
9 Schnoebelen, Philippe
8 Mayr, Richard M.
8 Rosa-Velardo, Fernando
7 Bertrand, Nathalie
7 Jonsson, Bengt
7 Kucera, Antonin
7 Schmitz, Sylvain
6 Baier, Christel
6 Ghilardi, Silvio
6 Habermehl, Peter
6 Lengál, Ondřej
5 Jančar, Petr
5 Krishna, Shankara Narayanan
5 Kuske, Dietrich
5 Lasota, Sławomir
5 Lazić, Ranko
5 Markey, Nicolas
5 Sangnier, Arnaud
5 Shoham, Sharon
4 Akshay, S.
4 Björklund, Johanna
4 Blondin, Michael
4 Brázdil, Tomáš
4 Chen, Yu-Fang
4 Clemente, Lorenzo
4 Genest, Blaise
4 Goubault-Larrecq, Jean
4 Köcher, Chris
4 Kröning, Daniel
4 Lange, Martin
4 Lime, Didier
4 Muscholl, Anca
4 Muskalla, Sebastian
4 Ouaknine, Joel O.
4 Ranise, Silvio
4 Roux, Olivier H.
4 Totzke, Patrick
4 Touili, Tayssir
4 Vardi, Moshe Ya’akov
4 Worrell, James B.
3 Björklund, Henrik
3 Bozzelli, Laura
3 Brihaye, Thomas
3 Brožek, Václav
3 Bultan, Tevfik
3 Dang, Zhe
3 de Frutos-Escrig, David
3 Demri, Stéphane P.
3 Enea, Constantin
3 Fioravanti, Fabio
3 Forejt, Vojtěch
3 Haddad, Serge
3 Héam, Pierre-Cyrille
3 Hutagalung, Milka
3 Ibarra, Oscar H.
3 Iosif, Radu
3 Kaati, Lisa
3 Karandikar, Prateek
3 König, Barbara
3 Konnov, Igor V.
3 La Torre, Salvatore
3 Larsen, Kim Guldstrand
3 Leroux, Jérôme
3 Lozes, Etienne
3 Majumdar, Rupak
3 Meyer, Roland
3 Niskanen, Reino
3 Parlato, Gennaro
3 Pettorossi, Alberto
3 Potapov, Igor
3 Praveen, M.
3 Proietti, Maurizio
3 Rabinovich, Alexander
3 Randour, Mickael
3 Raskin, Jean-François
3 Rezine, Ahmed
3 Rogalewicz, Adam
3 Sagiv, Mooly
3 Saivasan, Prakash
3 Spegni, Francesco
3 Van Begin, Laurent
3 Wahl, Thomas
3 Widder, Josef
3 Zhang, Lijun
3 Zuleger, Florian
2 Alberti, Francesco
2 Aminof, Benjamin
2 Asarin, Eugene
2 Balasubramanian, A. R.
2 Basset, Nicolas
2 Boichut, Yohan
2 Bozga, Marius
...and 485 more Authors
all top 5

Cited in 42 Serials

42 Theoretical Computer Science
34 Information and Computation
19 Formal Methods in System Design
14 Acta Informatica
14 Logical Methods in Computer Science
9 Journal of Computer and System Sciences
8 International Journal of Foundations of Computer Science
7 Journal of Logical and Algebraic Methods in Programming
6 Formal Aspects of Computing
5 Information Processing Letters
5 Journal of Automated Reasoning
5 Theory of Computing Systems
5 Fundamenta Informaticae
4 Artificial Intelligence
4 ACM Transactions on Computational Logic
3 Journal of Symbolic Computation
2 Programming and Computer Software
2 Science of Computer Programming
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 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 Discrete Event Dynamic Systems
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