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. more...less Documents Indexed: 123 Publications since 1992 3 Contributions as Editor Co-Authors: 85 Co-Authors with 120 Joint Publications 1,256 Co-Co-Authors all top 5 Co-Authors 6 single-authored 26 Atig, Mohamed Faouzi 26 Jonsson, Bengt 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 Krishna, Shankara Narayanan 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 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 Dave, Vrunda 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 Vaidya, Shaan 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 125 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 102 Publications have been cited 651 times in 404 Documents Cited by ▼ Year ▼ Verifying programs with unreliable channels. Zbl 0856.68096Abdulla, Parosh Aziz; Jonsson, Bengt 70 1996 Algorithmic analysis of programs with well quasi-ordered domains. Zbl 1046.68567Abdulla, Parosh Aziz; Čerāns, Kārlis; Jonsson, Bengt; Tsay, Yih-Kuen 42 2000 Using forward reachability analysis for verification of lossy channel systems. Zbl 1073.68675Abdulla, Parosh Aziz; Collomb-Annichini, Aurore; Bouajjani, Ahmed; Jonsson, Bengt 28 2004 Timed Petri nets and BQOs. Zbl 0986.68092Aziz Abdulla, Parosh; Nylén, Aletta 24 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 19 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áš 16 2010 All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš 15 2013 Dense-timed pushdown automata. Zbl 1360.68535Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 14 2012 Handling global conditions in parameterized system verification. Zbl 1046.68573Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus 13 1999 Model checking of systems with many identical timed processes. Zbl 1018.68046Abdulla, Parosh Aziz; Jonsson, Bengt 12 2003 Regular model checking without transducers (on efficient verification of parameterized systems). Zbl 1186.68312Abdulla, Parosh Aziz; Delzanno, Giorgio; Henda, Noomene Ben; Rezine, Ahmed 12 2007 Symbolic reachability analysis based on SAT-solvers. Zbl 0971.68633Abdulla, Parosh Aziz; Bjesse, Per; Eén, Niklas 11 2000 Parameterized verification of infinite-state processes with global conditions. Zbl 1135.68461Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 10 2007 Solving parity games on integer vectors. Zbl 1390.68452Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy 10 2013 Verification of probabilistic systems with faulty communication. Zbl 1105.68003Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph. 10 2005 Optimal dynamic partial order reduction. Zbl 1284.68377Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 9 2014 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 Decisive Markov chains. Zbl 1131.68060Abdulla, Parosh A.; Henda, Noomene B.; Mayr, Richard M. 9 2007 Stateless model checking for TSO and PSO. Zbl 1380.68265Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos 8 2017 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 Regular tree model checking. Zbl 1010.68087Aziz Abdulla, Parosh; Jonsson, Bengt; Mahata, Pritha; d’Orso, Julien 8 2002 Well (and better) quasi-ordered transition systems. Zbl 1207.68219Abdulla, Parosh Aziz 8 2010 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 8 2013 Simulation is decidable for one-counter nets (extended abstract). Zbl 0940.68055Abdulla, Parosh Aziz; Čerāns, Karlis 8 1998 Regular model checking for LTL(MSO). Zbl 1103.68070Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank 8 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 Deciding monotonic games. Zbl 1116.68491Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien 7 2003 Counter-example guided fence insertion under TSO. Zbl 1352.68047Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed 7 2012 Infinite-state energy games. Zbl 1401.68139Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick 6 2014 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 Monotonic abstraction: on efficient verification of parameterized systems. Zbl 1186.68272Abdulla, Parosh Aziz; Delzanno, Giorgio; Ben Henda, Noomene; Rezine, Ahmed 6 2009 Comparing the expressive power of well-structured transition systems. Zbl 1179.68065Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 6 2007 Sampled semantics of timed automata. Zbl 1214.68195Krčál, Pavel; Abdulla, Parosh Aziz; Yi, Wang 6 2010 Reasoning about probabilistic lossy channel systems. Zbl 0999.68145Abdulla, Parosh; Baier, Christel; Iyer, Purushothaman; Jonsson, Bengt 6 2000 Ensuring completeness of symbolic verification methods for infinite-state systems. Zbl 0973.68146Abdulla, P. A.; Jonsson, B. 5 2001 Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 5 2009 Algorithmic improvements in regular model checking. Zbl 1278.68150Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien 5 2003 Eager Markov chains. Zbl 1161.68466Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven 5 2006 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 A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 5 2009 The minimal cost reachability problem in priced timed pushdown systems. Zbl 1350.68198Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 5 2012 Forward reachability analysis of timed Petri nets. Zbl 1109.68509Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta 5 2004 Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James 5 2005 Universality analysis for one-clock timed automata. Zbl 1154.68063Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James 4 2008 Bisimulation minimization of tree automata. Zbl 1143.68428Abdulla, Parosh Aziz; Högberg, Johanna; Kaati, Lisa 4 2007 Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus 4 2006 Model checking parameterized systems. Zbl 1392.68223Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar 4 2018 What’s decidable about availability languages? Zbl 1366.68130Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Meyer, Roland; Salehi, Mehdi Seyed 4 2015 Monotonic and downward closed games. Zbl 1133.68042Abdulla, Parosh Aziz; Bouajjani, Ahmed; D’Orso, Julien 4 2008 Budget-bounded model-checking pushdown systems. Zbl 1317.68106Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari 4 2014 Effective lossy queue languages. Zbl 0986.68044Aziz Abdulla, Parosh; Boasson, Luc; Bouajjani, Ahmed 4 2001 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 Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt 3 2005 SAT-solving the coverability problem for Petri nets. Zbl 1073.68057Abdulla, 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.68188Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent 3 2009 Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš 3 2009 Proving liveness by backwards reachability. Zbl 1151.68498Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank 3 2006 Chain-free string constraints. Zbl 1437.68131Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr 3 2019 Handling parameterized systems with non-atomic global conditions. Zbl 1138.68436Abdulla, Parosh Aziz; Ben Henda, Noomene; Delzanno, Giorgio; Rezine, Ahmed 3 2008 Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 2 2017 Qualitative analysis of VASS-induced MDPs. Zbl 1475.68199Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy 2 2016 Timed lossy channel systems. Zbl 1354.68163Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 2 2012 Unfoldings of unbounded Petri nets. Zbl 0974.68528Abdulla, Parosh Aziz; Iyer, S. Purushothaman; Nylén, Aletta 2 2000 Composed bisimulation for tree automata. Zbl 1172.68487Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 2 2008 Minimal cost reachability/coverability in priced timed Petri nets. Zbl 1234.68280Abdulla, Parosh Aziz; Mayr, Richard 2 2009 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 R-automata. Zbl 1160.68396Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang 2 2008 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 Analysis of message passing programs using SMT-solvers. Zbl 1410.68079Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 2 2013 Push-down automata with gap-order constraints. Zbl 1434.68222Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas 2 2013 Closed, open, and robust timed networks. Zbl 1272.68216Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha 2 2005 Perfect timed communication is hard. Zbl 06989601Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan 2 2018 Priced timed Petri nets. Zbl 1314.68199Mayr, Richard M.; Abdulla, Parosh Aziz 2 2013 Decidability of Zenoness, syntactic boundedness and token-liveness for dense-timed Petri nets. Zbl 1117.68445Abdulla, Parosh; Mahata, Pritha; Mayr, Richard 2 2004 Monotonic abstraction in action. (Automatic verification of distributed mutex algorithms). Zbl 1161.68612Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Ahmed 2 2008 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 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.68136Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 1 2016 Carrying probabilities to the infinite world. Zbl 1343.68149Abdulla, Parosh Aziz 1 2011 Verification of dynamic register automata. Zbl 1360.68575Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane 1 2014 Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 1 2014 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 Zone-based universality analysis for single-clock timed automata. Zbl 1141.68422Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James 1 2007 Monotonic abstraction in parameterized verification. Zbl 1337.68164Abdulla, Parosh Aziz 1 2008 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 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 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 The decidability of verification under PS 2.0. Zbl 1474.68187Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Godbole, Adwait; Krishna, S.; Vafeiadis, Viktor 1 2021 Universal safety for timed Petri nets is PSPACE-complete. Zbl 07378550Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Ciobanu, Radu; Mayr, Richard; Totzke, Patrick 1 2018 Data multi-pushdown automata. Zbl 1442.68076Abdulla, Parosh Aziz; Aiswarya, C.; Atig, Mohamed Faouzi 1 2017 Using forward reachability analysis for verification of timed Petri nets. Zbl 1168.68434Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta 1 2007 View abstraction – a tutorial (invited paper). Zbl 1429.68137Abdulla, Parosh A.; Haziza, Fréderic; Holík, Luká 1 2015 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 3 2019 Model checking parameterized systems. Zbl 1392.68223Abdulla, Parosh Aziz; Sistla, A. Prasad; Talupur, Muralidhar 4 2018 Perfect timed communication is hard. Zbl 06989601Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Krishna, Shankara Narayanan 2 2018 Universal safety for timed Petri nets is PSPACE-complete. Zbl 07378550Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Ciobanu, Radu; Mayr, Richard; Totzke, Patrick 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 8 2017 Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos 2 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 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 9 2014 Infinite-state energy games. Zbl 1401.68139Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Hofman, Piotr; Mayr, Richard; Kumar, K. Narayan; Totzke, Patrick 6 2014 Budget-bounded model-checking pushdown systems. Zbl 1317.68106Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari 4 2014 Verification of dynamic register automata. Zbl 1360.68575Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Kara, Ahmet; Rezine, Othmane 1 2014 Computing optimal reachability costs in priced dense-timed pushdown automata. Zbl 1407.68245Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 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áš 15 2013 Solving parity games on integer vectors. Zbl 1390.68452Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy 10 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 8 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 Analysis of message passing programs using SMT-solvers. Zbl 1410.68079Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 2 2013 Push-down automata with gap-order constraints. Zbl 1434.68222Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas 2 2013 Priced timed Petri nets. Zbl 1314.68199Mayr, Richard M.; Abdulla, Parosh Aziz 2 2013 Dense-timed pushdown automata. Zbl 1360.68535Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari 14 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 5 2012 Timed lossy channel systems. Zbl 1354.68163Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cederberg, Jonathan 2 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áš 16 2010 Well (and better) quasi-ordered transition systems. Zbl 1207.68219Abdulla, Parosh Aziz 8 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 6 2009 Approximated parameterized verification of infinite-state processes with global conditions. Zbl 1176.68110Abdulla, Parosh Aziz; Delzanno, Giorgio; 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 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 Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš 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 Universality analysis for one-clock timed automata. Zbl 1154.68063Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Quaas, Karin; Worrell, James 4 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 Composed bisimulation for tree automata. Zbl 1172.68487Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš 2 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 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 12 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. 9 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 4 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 Eager Markov chains. Zbl 1161.68466Abdulla, Parosh Aziz; Ben Henda, Noomene; Mayr, Richard; Sandberg, Sven 5 2006 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 Proving liveness by backwards reachability. Zbl 1151.68498Abdulla, Parosh Aziz; Jonsson, Bengt; Rezine, Ahmed; Saksena, Mayank 3 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. 10 2005 Decidability and complexity results for timed automata via channel machines. Zbl 1085.68078Abdulla, Parosh Aziz; Deneux, Johann; Ouaknine, Joël; Worrell, James 5 2005 Simulating perfect channels with probabilistic lossy channels. Zbl 1073.68058Abdulla, Parosh; Baier, Christel; Iyer, S. Purushothaman; Jonsson, Bengt 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 28 2004 A survey of regular model checking. Zbl 1099.68055Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank 19 2004 Regular model checking for LTL(MSO). Zbl 1103.68070Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank 8 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 12 2003 Deciding monotonic games. Zbl 1116.68491Abdulla, Parosh Aziz; Bouajjani, Ahmed; d’Orso, Julien 7 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 24 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 42 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 70 1996 ...and 2 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 640 Authors 36 Abdulla, Parosh Aziz 16 Finkel, Alain 16 Vojnar, Tomáš 12 Bouajjani, Ahmed 12 Holík, Lukáš 10 Atig, Mohamed Faouzi 10 Schnoebelen, Philippe 9 Bouyer, Patricia 9 Delzanno, Giorgio 8 Mayr, Richard M. 8 Rosa-Velardo, Fernando 8 Schmitz, Sylvain 7 Bertrand, Nathalie 7 Jonsson, Bengt 7 Krishna, Shankara Narayanan 7 Kucera, Antonin 7 Lengál, Ondřej 7 Totzke, Patrick 6 Akshay, S. 6 Baier, Christel 6 Ghilardi, Silvio 6 Habermehl, Peter 6 Shoham, Sharon 5 Clemente, Lorenzo 5 Jančar, Petr 5 Köcher, Chris 5 Kuske, Dietrich 5 Lasota, Sławomir 5 Lazić, Ranko 5 Markey, Nicolas 5 Randour, Mickael 5 Roux, Olivier H. 5 Sangnier, Arnaud 4 Björklund, Johanna 4 Blondin, Michael 4 Brázdil, Tomáš 4 Brihaye, Thomas 4 Chatterjee, Krishnendu 4 Chen, Yu-Fang 4 Enea, Constantin 4 Esparza, Javier 4 Figueira, Diego 4 Gastin, Paul 4 Genest, Blaise 4 Goubault-Larrecq, Jean 4 Hofman, Piotr 4 Iosif, Radu 4 Kröning, Daniel 4 Lange, Martin 4 Larsen, Kim Guldstrand 4 Lime, Didier 4 Lozes, Etienne 4 Meyer, Roland 4 Muscholl, Anca 4 Muskalla, Sebastian 4 Ouaknine, Joel O. 4 Praveen, M. 4 Ranise, Silvio 4 Raskin, Jean-François 4 Saivasan, Prakash 4 Touili, Tayssir 4 Vardi, Moshe Ya’akov 4 Wahl, Thomas 4 Worrell, James B. 3 Björklund, Henrik 3 Bollig, Benedikt 3 Bozga, Marius 3 Bozzelli, Laura 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 Fioravanti, Fabio 3 Forejt, Vojtěch 3 Haddad, Serge 3 Héam, Pierre-Cyrille 3 Hélouët, Loïc 3 Henzinger, Thomas A. 3 Hutagalung, Milka 3 Ibarra, Oscar H. 3 Kaati, Lisa 3 Karandikar, Prateek 3 König, Barbara 3 La Torre, Salvatore 3 Leroux, Jérôme 3 Li, Yong 3 Lisitsa, Alexei P. 3 Majumdar, Rupak 3 Niskanen, Reino 3 Parlato, Gennaro 3 Pettorossi, Alberto 3 Potapov, Igor 3 Proietti, Maurizio 3 Rabinovich, Alexander 3 Raskin, Mikhail 3 Rezine, Ahmed 3 Rogalewicz, Adam 3 Sagiv, Mooly ...and 540 more Authors all top 5 Cited in 43 Serials 42 Theoretical Computer Science 34 Information and Computation 20 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 8 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 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 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 15 Fields 389 Computer science (68-XX) 57 Mathematical logic and foundations (03-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 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) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Group theory and generalizations (20-XX) 1 Category theory; homological algebra (18-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX) Citations by Year