Edit Profile (opens in new tab) Abdulla, Parosh Aziz Compute Distance To: Compute Author ID: abdulla.parosh-aziz Published as: Abdulla, Parosh Aziz; Abdulla, Parosh A.; Abdulla, Parosh; Aziz Abdulla, Parosh; Abdulla, P. A. Documents Indexed: 121 Publications since 1992 3 Contributions as Editor Co-Authors: 83 Co-Authors with 118 Joint Publications 1,202 Co-Co-Authors 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 all top 5 Serials 7 Logical Methods in Computer Science 6 Information and Computation 5 International Journal of Foundations of Computer Science 4 Theoretical Computer Science 4 Formal Methods in System Design 2 Acta Informatica 2 Fundamenta Informaticae 2 Lecture Notes in Computer Science 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Nordic Journal of Computing 1 The Bulletin of Symbolic Logic 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming all top 5 Fields 123 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Probability theory and stochastic processes (60-XX) 3 General and overarching topics; collections (00-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68096Abdulla, Parosh Aziz; Jonsson, Bengt 60 1996 Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567Abdulla, 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.68675Abdulla, Parosh Aziz; Collomb-Annichini, Aurore; Bouajjani, Ahmed; Jonsson, Bengt 24 2004 Timed Petri nets and BQOs. Zbl 0986.68092Aziz Abdulla, Parosh; Nylén, Aletta 22 2001 Undecidable verification problems for programs with unreliable channels. Zbl 0872.68112Abdulla, Parosh Aziz; Jonsson, Bengt 21 1996 A survey of regular model checking. Zbl 1099.68055Abdulla, 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.68337Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš 15 2010 Handling global conditions in parameterized system verification. Zbl 1046.68573Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus 13 1999 All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš 12 2013 Model checking of systems with many identical timed processes. Zbl 1018.68046Abdulla, Parosh Aziz; Jonsson, Bengt 11 2003 Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas 11 2000 Regular model checking without transducers (on efficient verification of parameterized systems). Zbl 1186.68312Abdulla, Parosh Aziz; Delzanno, Giorgio; Henda, Noomene Ben; Rezine, Ahmed 10 2007 Parameterized verification of infinite-state processes with global conditions. Zbl 1135.68461Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 10 2007 Dense-timed pushdown automata. Zbl 1360.68535Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 10 2012 Computing simulations over tree automata. Efficient techniques for reducing tree automata. Zbl 1134.68391Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 9 2008 Verification of probabilistic systems with faulty communication. Zbl 1105.68003Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph. 9 2005 Solving parity games on integer vectors. Zbl 1390.68452Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy 8 2013 Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130Abdulla, 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.68115Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo 8 2011 Decisive Markov chains. Zbl 1131.68060Abdulla, Parosh A.; Henda, Noomene B.; Mayr, Richard M. 8 2007 Regular tree model checking. Zbl 1010.68087Aziz Abdulla, Parosh; Jonsson, Bengt; Mahata, Pritha; d’Orso, Julien 8 2002 Simulation is decidable for one-counter nets (extended abstract). Zbl 0940.68055Abdulla, Parosh Aziz; Čerāns, Karlis 8 1998 An integrated specification and verification technique for highly concurrent data structures. Zbl 1381.68141Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš; Jonsson, Bengt; Rezine, Ahmed 7 2013 Counter-example guided fence insertion under TSO. Zbl 1352.68047Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed 7 2012 Optimal dynamic partial order reduction. Zbl 1284.68377Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 7 2014 Regular model checking for LTL(MSO). Zbl 1103.68070Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank 7 2004 Monotonic abstraction for programs with dynamic memory heaps. Zbl 1155.68423Abdulla, Parosh Aziz; Bouajjani, Ahmed; Cederberg, Jonathan; Haziza, Frédéric; Rezine, Ahmed 7 2008 Well (and better) quasi-ordered transition systems. Zbl 1207.68219Abdulla, Parosh Aziz 7 2010 Deciding monotonic games. Zbl 1116.68491Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien 6 2003 Sampled semantics of timed automata. Zbl 1214.68195Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang 6 2010 A classification of the expressive power of well-structured transition systems. Zbl 1217.68146Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 6 2011 Regular model checking made simple and efficient. Zbl 1012.68134Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien 6 2002 Verification of probabilistic systems with faulty communication. Zbl 1029.68094Abdulla, Parosh Aziz; Rabinovich, Alexander 6 2003 Comparing the expressive power of well-structured transition systems. Zbl 1179.68065Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 6 2007 Stateless model checking for TSO and PSO. Zbl 1380.68265Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos 6 2017 Reasoning about probabilistic lossy channel systems. Zbl 0999.68145Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt 6 2000 Dense-timed Petri nets: checking Zenoness, token liveness and boundedness. Zbl 1128.68057Abdulla, Parosh A.; Mahata, Pritha; Mayr, Richard M. 5 2007 Tree regular model checking: a simulation-based approach. Zbl 1101.68055Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed 5 2006 Monotonic abstraction: on efficient verification of parameterized systems. Zbl 1186.68272Abdulla, Parosh Aziz; Delzanno, Giorgio; Ben Henda, Noomene; Rezine, Ahmed 5 2009 Algorithmic improvements in regular model checking. Zbl 1278.68150Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien 5 2003 Forward reachability analysis of timed Petri nets. Zbl 1109.68509Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta 5 2004 A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 5 2009 Ensuring completeness of symbolic verification methods for infinite-state systems. Zbl 0973.68146Abdulla, P. A.; Jonsson, B. 5 2001 The minimal cost reachability problem in priced timed pushdown systems. Zbl 1350.68198Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 4 2012 Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus 4 2006 Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 4 2009 Monotonic and downward closed games. Zbl 1133.68042Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien 4 2008 Eager Markov chains. Zbl 1161.68466Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven 4 2006 Budget-bounded model-checking pushdown systems. Zbl 1317.68106Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari 4 2014 What’s decidable about availability languages? Zbl 1366.68130Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed 4 2015 Effective lossy queue languages. Zbl 0986.68044Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed 4 2001 Handling parameterized systems with non-atomic global conditions. Zbl 1138.68436Abdulla, Parosh Aziz; Ben Henda, Noomene; Delzanno, Giorgio; Rezine, Ahmed 3 2008 Bisimulation minimization of tree automata. Zbl 1143.68428Abdulla, Parosh Aziz; Högberg, Johanna; Kaati, Lisa 3 2007 Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš 3 2009 Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt 3 2005 Universality analysis for one-clock timed automata. Zbl 1154.68063Abdulla, 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.68078Abdulla, 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.68188Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 3 2009 SAT-solving the coverability problem for Petri nets. Zbl 1073.68057Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta 3 2004 The benefits of duality in verifying concurrent programs under TSO. Zbl 1392.68142Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong 3 2016 Closed, open, and robust timed networks. Zbl 1272.68216Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha 2 2005 Proving liveness by backwards reachability. Zbl 1151.68498Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank 2 2006 Bisimulation minimization of tree automata. Zbl 1160.68395Abdulla, Parosh Aziz; Kaati, Lisa; Högberg, Johanna 2 2006 Sampled universality of timed automata. Zbl 1195.68052Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang 2 2007 Stochastic games with lossy channels. Zbl 1138.91336Abdulla, 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.68445Abdulla, Parosh; Mahata, Pritha; Mayr, Richard 2 2004 Qualitative analysis of VASS-induced MDPs. Zbl 1475.68199Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy 2 2016 R-automata. Zbl 1160.68396Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang 2 2008 Monotonic abstraction in action. (Automatic verification of distributed mutex algorithms). Zbl 1161.68612Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 2 2008 Composed bisimulation for tree automata. Zbl 1172.68487Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 2 2008 Push-down automata with gap-order constraints. Zbl 1434.68222Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas 2 2013 Undecidable verification problems for programs with unreliable channels. Zbl 1418.68123Abdulla, Parosh Aziz; Jonsson, Bengt 2 1994 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135Abdulla, 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.68528Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta 2 2000 Minimal cost reachability/coverability in priced timed Petri nets. Zbl 1234.68280Abdulla, Parosh Aziz; Mayr, Richard 2 2009 Model checking parameterized systems. Zbl 1392.68223Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar 2 2018 Stateless model checking for TSO and PSO. Zbl 1420.68115Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos 2 2015 Priced timed Petri nets. Zbl 1314.68199Mayr, Richard M.; Abdulla, Parosh Aziz 1 2013 Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 1 2014 Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117Abdulla, 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.68224Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 1 2009 Carrying probabilities to the infinite world. Zbl 1343.68149Abdulla, Parosh Aziz 1 2011 Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James 1 2007 Simulation-based iteration of tree transducers. Zbl 1087.68052Abdulla, 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.68136Abdulla, 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.68434Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta 1 2007 Monotonic abstraction in parameterized verification. Zbl 1337.68164Abdulla, Parosh Aziz 1 2008 Composed bisimulation for tree automata. Zbl 1176.68098Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 1 2009 Data multi-pushdown automata. Zbl 1442.68076Abdulla, Parosh Aziz; Aiswarya, C.; Atig, Mohamed Faouzi 1 2017 Chain-free string constraints. Zbl 1437.68131Abdulla, 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.68187Abdulla, 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.68062Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 1 2017 Analysis of message passing programs using SMT-solvers. Zbl 1410.68079Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 1 2013 Parameterized verification of time-sensitive models of ad hoc network protocols. Zbl 1332.68137Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo 1 2016 Timed lossy channel systems. Zbl 1354.68163Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 1 2012 Verification of dynamic register automata. Zbl 1360.68575Abdulla, 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.68139Abdulla, 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.68038Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 1 2017 Perfect timed communication is hard. Zbl 06989601Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan 1 2018 The decidability of verification under PS 2.0. Zbl 1474.68187Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Godbole, Adwait; Krishna, S.; Vafeiadis, Viktor 1 2021 Chain-free string constraints. Zbl 1437.68131Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr 1 2019 Model checking parameterized systems. Zbl 1392.68223Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar 2 2018 Perfect timed communication is hard. Zbl 06989601Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan 1 2018 Stateless model checking for TSO and PSO. Zbl 1380.68265Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos 6 2017 Data multi-pushdown automata. Zbl 1442.68076Abdulla, Parosh Aziz; Aiswarya, C.; Atig, Mohamed Faouzi 1 2017 Comparing source sets and persistent sets for partial order reduction. Zbl 1431.68062Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 1 2017 Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 1 2017 The benefits of duality in verifying concurrent programs under TSO. Zbl 1392.68142Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong 3 2016 Qualitative analysis of VASS-induced MDPs. Zbl 1475.68199Abdulla, 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.68136Abdulla, 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.68137Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo 1 2016 What’s decidable about availability languages? Zbl 1366.68130Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed 4 2015 Stateless model checking for TSO and PSO. Zbl 1420.68115Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos 2 2015 View abstraction – a tutorial (invited paper). Zbl 1429.68137Abdulla, Parosh A.; Haziza, Fréderic; Holík, Luká 1 2015 Optimal dynamic partial order reduction. Zbl 1284.68377Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 7 2014 Budget-bounded model-checking pushdown systems. Zbl 1317.68106Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari 4 2014 Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 1 2014 Verification of dynamic register automata. Zbl 1360.68575Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane 1 2014 Infinite-state energy games. Zbl 1401.68139Abdulla, 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.68160Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš 12 2013 Solving parity games on integer vectors. Zbl 1390.68452Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy 8 2013 An integrated specification and verification technique for highly concurrent data structures. Zbl 1381.68141Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš; Jonsson, Bengt; Rezine, Ahmed 7 2013 Push-down automata with gap-order constraints. Zbl 1434.68222Abdulla, 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.68135Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 2 2013 Priced timed Petri nets. Zbl 1314.68199Mayr, Richard M.; Abdulla, Parosh Aziz 1 2013 Analysis of message passing programs using SMT-solvers. Zbl 1410.68079Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 1 2013 Dense-timed pushdown automata. Zbl 1360.68535Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 10 2012 Counter-example guided fence insertion under TSO. Zbl 1352.68047Abdulla, 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.68198Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 4 2012 Timed lossy channel systems. Zbl 1354.68163Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 1 2012 Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130Abdulla, 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.68115Abdulla, 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.68146Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 6 2011 Carrying probabilities to the infinite world. Zbl 1343.68149Abdulla, 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.68337Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš 15 2010 Well (and better) quasi-ordered transition systems. Zbl 1207.68219Abdulla, Parosh Aziz 7 2010 Sampled semantics of timed automata. Zbl 1214.68195Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang 6 2010 Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117Abdulla, 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.68272Abdulla, Parosh Aziz; Delzanno, Giorgio; Ben Henda, Noomene; Rezine, Ahmed 5 2009 A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 5 2009 Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 4 2009 Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280Abdulla, 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.68188Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 3 2009 Minimal cost reachability/coverability in priced timed Petri nets. Zbl 1234.68280Abdulla, Parosh Aziz; Mayr, Richard 2 2009 Automatic verification of directory-based consistency protocols. Zbl 1260.68224Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 1 2009 Composed bisimulation for tree automata. Zbl 1176.68098Abdulla, 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.68391Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 9 2008 Monotonic abstraction for programs with dynamic memory heaps. Zbl 1155.68423Abdulla, Parosh Aziz; Bouajjani, Ahmed; Cederberg, Jonathan; Haziza, Frédéric; Rezine, Ahmed 7 2008 Monotonic and downward closed games. Zbl 1133.68042Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien 4 2008 Handling parameterized systems with non-atomic global conditions. Zbl 1138.68436Abdulla, Parosh Aziz; Ben Henda, Noomene; Delzanno, Giorgio; Rezine, Ahmed 3 2008 Universality analysis for one-clock timed automata. Zbl 1154.68063Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James 3 2008 Stochastic games with lossy channels. Zbl 1138.91336Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven 2 2008 R-automata. Zbl 1160.68396Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang 2 2008 Monotonic abstraction in action. (Automatic verification of distributed mutex algorithms). Zbl 1161.68612Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 2 2008 Composed bisimulation for tree automata. Zbl 1172.68487Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 2 2008 Monotonic abstraction in parameterized verification. Zbl 1337.68164Abdulla, Parosh Aziz 1 2008 Regular model checking without transducers (on efficient verification of parameterized systems). Zbl 1186.68312Abdulla, Parosh Aziz; Delzanno, Giorgio; Henda, Noomene Ben; Rezine, Ahmed 10 2007 Parameterized verification of infinite-state processes with global conditions. Zbl 1135.68461Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 10 2007 Decisive Markov chains. Zbl 1131.68060Abdulla, Parosh A.; Henda, Noomene B.; Mayr, Richard M. 8 2007 Comparing the expressive power of well-structured transition systems. Zbl 1179.68065Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 6 2007 Dense-timed Petri nets: checking Zenoness, token liveness and boundedness. Zbl 1128.68057Abdulla, Parosh A.; Mahata, Pritha; Mayr, Richard M. 5 2007 Bisimulation minimization of tree automata. Zbl 1143.68428Abdulla, Parosh Aziz; Högberg, Johanna; Kaati, Lisa 3 2007 Sampled universality of timed automata. Zbl 1195.68052Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang 2 2007 Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James 1 2007 Using forward reachability analysis for verification of timed Petri nets. Zbl 1168.68434Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta 1 2007 Tree regular model checking: a simulation-based approach. Zbl 1101.68055Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed 5 2006 Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus 4 2006 Eager Markov chains. Zbl 1161.68466Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven 4 2006 Proving liveness by backwards reachability. Zbl 1151.68498Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank 2 2006 Bisimulation minimization of tree automata. Zbl 1160.68395Abdulla, Parosh Aziz; Kaati, Lisa; Högberg, Johanna 2 2006 Verification of probabilistic systems with faulty communication. Zbl 1105.68003Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph. 9 2005 Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt 3 2005 Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James 3 2005 Closed, open, and robust timed networks. Zbl 1272.68216Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha 2 2005 Simulation-based iteration of tree transducers. Zbl 1087.68052Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed 1 2005 Using forward reachability analysis for verification of lossy channel systems. Zbl 1073.68675Abdulla, Parosh Aziz; Collomb-Annichini, Aurore; Bouajjani, Ahmed; Jonsson, Bengt 24 2004 A survey of regular model checking. Zbl 1099.68055Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank 16 2004 Regular model checking for LTL(MSO). Zbl 1103.68070Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank 7 2004 Forward reachability analysis of timed Petri nets. Zbl 1109.68509Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta 5 2004 SAT-solving the coverability problem for Petri nets. Zbl 1073.68057Abdulla, 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.68445Abdulla, Parosh; Mahata, Pritha; Mayr, Richard 2 2004 Model checking of systems with many identical timed processes. Zbl 1018.68046Abdulla, Parosh Aziz; Jonsson, Bengt 11 2003 Deciding monotonic games. Zbl 1116.68491Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien 6 2003 Verification of probabilistic systems with faulty communication. Zbl 1029.68094Abdulla, Parosh Aziz; Rabinovich, Alexander 6 2003 Algorithmic improvements in regular model checking. Zbl 1278.68150Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien 5 2003 Regular tree model checking. Zbl 1010.68087Aziz Abdulla, Parosh; Jonsson, Bengt; Mahata, Pritha; d’Orso, Julien 8 2002 Regular model checking made simple and efficient. Zbl 1012.68134Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien 6 2002 Timed Petri nets and BQOs. Zbl 0986.68092Aziz Abdulla, Parosh; Nylén, Aletta 22 2001 Ensuring completeness of symbolic verification methods for infinite-state systems. Zbl 0973.68146Abdulla, P. A.; Jonsson, B. 5 2001 Effective lossy queue languages. Zbl 0986.68044Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed 4 2001 Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen 40 2000 Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas 11 2000 Reasoning about probabilistic lossy channel systems. Zbl 0999.68145Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt 6 2000 Unfoldings of unbounded Petri nets. Zbl 0974.68528Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta 2 2000 Handling global conditions in parameterized system verification. Zbl 1046.68573Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus 13 1999 Simulation is decidable for one-counter nets (extended abstract). Zbl 0940.68055Abdulla, Parosh Aziz; Čerāns, Karlis 8 1998 Verifying programs with unreliable channels. Zbl 0856.68096Abdulla, Parosh Aziz; Jonsson, Bengt 60 1996 Undecidable verification problems for programs with unreliable channels. Zbl 0872.68112Abdulla, Parosh Aziz; Jonsson, Bengt 21 1996 ...and 1 more Documents all cited Publications top 5 cited Publications 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 all top 5 Cited in 14 Fields 348 Computer science (68-XX) 54 Mathematical logic and foundations (03-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Information and communication theory, circuits (94-XX) 6 Systems theory; control (93-XX) 5 Probability theory and stochastic processes (60-XX) 5 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 2 Group theory and generalizations (20-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX) Citations by Year