conference LATA'14 Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata http://grammars.grlmc.com/lata2014/ the 8th International Conference on Language and Automata Theory and Applications Madrid Spain papers/lata2014.pdf 2014 conference POPL'14 Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas Optimal Dynamic Partial Order Reduction http://popl.mpi-sws.org/2014/ the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages San Diego USA papers/popl2014.pdf 2014 journal IJFCS'13 Parosh Aziz Abdulla, Jonathan Cederberg, and Tomás Vojnar Monotonic Abstraction for Programs with Multiply-Linked Structures http://www.worldscientific.com/worldscinet/ijfcs The Journal of International Journal of Foundations of Computer Science, yes 24 2 187-210 2013 papers/ijfcs13.pdf journal LMCS'13 Parosh Aziz Abdulla and Richard Mayr Priced Timed Petri Nets http://www.lmcs-online.org/index.php The Journal of Logical Methods in Computer Science yes 9 4 1-51 2013 http://arxiv.org/pdf/1307.2570.pdf journal STTT'13 Parosh Aziz Abdulla and K. Rustan M. Leino Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems http://sttt.cs.uni-dortmund.de International Journal on Software Tools for Technology Transfer yes 15 2 85-88 2013 conference ATVA'13 Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, and Tomás Vojnar Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata http://www.uet.vnu.edu.vn/atva2013/ the 11th International Symposium on Automated Technology for Verification and Analysis Hanoi Vietnam papers/atva2013a.pdf 2013 conference ATVA'13 Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jonathan Cederberg Analysis of Message Passing Programs Using SMT-Solvers http://www.uet.vnu.edu.vn/atva2013/ the 11th International Symposium on Automated Technology for Verification and Analysis Hanoi Vietnam papers/atva2013-mp.pdf 2013 conference CONCUR'13 Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, and Jeremy Sproston Solving Parity Games on Integer Vectors http://www.concur-conferences.org/concur2013/ the 24th International Conference on Concurrency Theory Buenos Aires Argentina papers/concur2013.pdf 2013 conference DATE'13 Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, and Yunyun Zhu Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory hhttp://www.date-conference.com/date13/ Design, Automation and Test in Europe Grenoble France papers/date2013.pdf 2013 conference FMOODS/FORTE'13 Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Othmane Rezine Verification of Directed Acyclic Ad Hoc Networks http://forte13.sosy-lab.org Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec Florence Italy papers/forte2013.pdf 2013 conference FSEN'13 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, and Andreas Podelski Push-Down Automata with Gap-Order Constraints http://fsen.ir/2013/ the 5th IPM International Conference on Fundamentals of Software Engineering Tehran Iran papers/fsen2013.pdf 2013 conference QEST'13 Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, and Sven Sandberg Stochastic Parity Games on Lossy Channel Systems http://www.qest.org/qest2013/ the 10th International Conference on Quantitative Evaluation of SysTems Buenos Aires Argentina papers/qest2013.pdf 2013 conference TACAS'13 Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, and Ahmed Rezine An Integrated Specification and Verification Technique for Highly Concurrent Data Structures http://www.etaps.org/index.php/2013/tacas the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Rome Italy papers/tacas2013a.pdf 2013 Best Paper Award http://www.etaps.org/index.php/2013/best-papers conference TACAS'13 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. http://www.etaps.org/index.php/2013/tacas the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Rome Italy papers/tacas2013tool.pdf 2013 Best Paper Award http://www.etaps.org/index.php/2013/best-papers conference VMCAI'13 Parosh Aziz Abdulla, Frédéric Haziza, and Lukás Holík All for the Price of Few (Parameterized Verification through View Abstraction) http://vmcai13.di.univr.it/Home.html the 14th International Conference on Verification, Model Checking, and Abstract Interpretation Rome Italy papers/vmcai2013.pdf 2013 conference RP'13 Parosh Aziz Abdulla and Igor Potapov Monotonic Abstraction for Programs with Multiply-Linked Structures http://www.it.uu.se/conf/RP2013/ the 5th Workshop on Reachability Problems Genoa Italy papers/RP11.pdf 2011 journal STTT'12 Parosh Aziz Abdulla Regular Model Checking http://sttt.cs.uni-dortmund.de International Journal on Software Tools for Technology Transfer yes 14 2 223-241 2012 papers/STTT2012a.pdf journal STTT'12 Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, and Mayank Saksena Regular Model Checking for LTL(MSO) http://sttt.cs.uni-dortmund.de International Journal on Software Tools for Technology Transfer yes 14 2 223-241 2012 papers/STTT2012b.pdf conference FMCAD'12 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, and Jari Stenman Multi-Pushdown Systems with Budgets http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/ Formal Methods in Computer-Aided Design Cambridge UK papers/fmcad2012.pdf 2012 conference FSTTCS'12 Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jonathan Cederberg Timed Lossy Channel Systems http://www.fsttcs.org/archives/2012/ IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Hyderabad India papers/fsttcs2012.pdf 2012 conference LATA'12 Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems http://grammars.grlmc.com/lata2012/ the 6th International Conference on Language and Automata Theory and Applications Coruńa Spain papers/lata12.pdf 2012 conference LICS'12 Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman Dense-Timed Pushdown Automata http://lii.rwth-aachen.de/lics/lics12/ the 27th Annual IEEE Symposium on Logic in Computer Science Dubrovnik Croatia papers/lics12.pdf 2012 conference SAS'12 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, and Ahmed Rezine Automatic Fence Insertion in Integer Programs via Predicate Abstraction http://www.sas2012.ens.fr the 19th International Symposium on Static Analysis Deauville France papers/sas12.pdf 2012 conference TACAS'12 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, and Ahmed Rezine Counter-Example Guided Fence Insertion under TSO http://www.etaps.org/2012/tacas the 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems Tallin Estonia papers/tacas12.pdf 2012 conference QFM'12 Parosh Aziz Abdulla Adding Time to Pushdown Automata http://qfm2012.cs.aau.dk Quantities in Formal Methods Paris France papers/qfm2012.pdf 2012 conference Infinity'12 Parosh Aziz Abdulla Petri Nets with Time and Cost http://www.it.uu.se/workshop/infinity2012/ the 14th International Workshop on Verification of Infinite-State Systems Paris France papers/infinity2012.pdf 2012 journal IC11 Parosh Aziz Abdulla, Giorgio Delzanno, and Laurent Van Begin A classification of the expressive power of well-structured transition systems http://www.journals.elsevier.com/information-and-computation/ The Journal of Information and Computation yes 209 3 248-279 2011 papers/ic11.pdf journal IJFCS'11 Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints http://www.worldscientific.com/worldscinet/ijfcs The Journal of International Journal of Foundations of Computer Science, yes 22 4 761-782 2011 papers/ijfcs11.pdf conference RP'11 Parosh Aziz Abdulla, Jonathan Cederberg, and Tomás Vojnar Monotonic Abstraction for Programs with Multiply-Linked Structures http://rp11.disi.unige.it the 5th Workshop on Reachability Problems Genoa Italy papers/RP11.pdf 2011 conference LICS'11 Parosh Aziz Abdulla and Richard Mayr Computing Optimal Coverability Costs in Priced Timed Petri Nets http://lii.rwth-aachen.de/lics/lics11/ the 26th Annual IEEE Symposium on Logic in Computer Science Toronto, Ontario Canada papers/lics2011.pdf 2011 conference FORMATS'11 Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, and Riccardo Traverso On the Verification of Timed Ad Hoc Networks http://formats2011.cs.aau.dk the 9th International Conference on Formal Modeling and Analysis of Timed Systems Aalborg Denmark papers/formats11.pdf 2011 conference CONCUR'11 Parosh Aziz Abdulla,, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, and Tomás Vojnar Advanced Ramsey-Based Büchi Automata Inclusion Testing http://www.informatik.uni-trier.de/~ley/db/conf/concur/concur2011.html the 22th International Conference on Concurrency Theory Aachen Germany papers/concur11b.pdf 2011 conference CONCUR'11/QEST'11 Parosh Aziz Abdulla Carrying Probabilities to the Infinite World http://www.informatik.uni-trier.de/~ley/db/conf/concur/concur2011.html the 22th International Conference on Concurrency Theory Aachen Germany papers/concur11a.pdf 2011 conference CONCUR'10 Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frederic Haziza, Chih-Duo Hong, and Ahmed Rezine Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification http://concur2010.inria.fr/ the 21th International Conference on Concurrency Theory Paris France papers/concur10.pdf 2010 conference CAV'10 Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukas Holik, Chih-Duo Hong, Richard Mayr, Tomas Vojnar Simulation Subsumption in Ramsey-Based Buchi Automata Universality and Inclusion Testing. http://www.floc-conference.org/CAV-home.html the 20th International Conference on Computer Aided Verification Edinburgh Scotland papers/cav10.pdf 2010 conference TACAS'10 Parosh Aziz Abdulla, Yu-Fang Chen, Lukas Holik, Richard Mayr, Tomas Vojnar When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata) http://www.informatik.uni-trier.de/~ley/db/conf/tacas/tacas2010.html the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Paphos Cyprus papers/tacas10.pdf yes Best Paper Award http://eatcs.org/index.php/best-etaps-paper 2010 conference SOFSEM'10 Parosh Aziz Abdulla Monotonic Abstraction in Parameterized Verification http://www.csc.liv.ac.uk/~rp2008/ the 36th International Conference on Current Trends in Theory and Practice of Computer Science Spindleruv Mlyn Czech Republic papers/sofsem10.pdf 2010 yes conference ISoLA'10 Parosh Aziz Abdulla, Jonathan Cederberg, and Lisa Kaati Analyzing the Security in the GSM Radio Network using Attack Jungles http://concur2010.inria.fr/ the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Heraklion Greece papers/isola10.pdf 2010 journal BSL'10 Parosh Aziz Abdulla Well (and better) quasi-ordered transition systems http://www.math.ucla.edu/~asl/bsltoc.htm The Journal of Bulletin of Symbolic Logic 2010 . yes 16 4 457-515 2010 papers/bsl10.pdf journal LMCS'10 Parosh Aziz Abdulla, Pavel Krcal, Wang Yi Sampled Semantics of Timed Automata http://www.lmcs-online.org/index.php The Journal of Logical Methods in Computer Science yes 6 3 1-37 2010 http://www.lmcs-online.org/ojs/viewarticle.php?id=521 conference FSTTCS'09 Parosh Aziz Abdulla, Yu-Fang Chen, Lukas Holik, and Tomas Vojnar Mediating for Reduction (on Minimizing Alternating Buchi Automata) http://www.fsttcs.org/ the 29th Annual Conference on the Foundations of Software Technology and Theoretical Computer Science Kanupur India papers/fsttcs09.pdf 2009 conference FoSSaCS'09 Parosh Aziz Abdulla and Richard Mayr Minimal Cost Reachability/Coverability in Priced Timed Petri Nets http://fossacs09.soe.ucsc.edu/ the 12th International Conference on Foundations of Software Science and Computation Structures York UK papers/fossacs09.pdf 2009 conference ATVA'09 Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, and Ran Ji Automated Analysis of Data-Dependent Programs with Dynamic Memory http://www.iist.unu.edu/atva09/ the 7th International Symposium on Automated Technology for Verification and Analysis Macao SAR China papers/atva09.pdf 2009 conference LATA'09 Parosh Aziz Abdulla, Giorgio Delzanno, and Laurent Van Begin A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations http://grammars.grlmc.com/LATA2009/ the thirrd International Conference on Language and Automata Theory and Applications Tarragona Spain papers/lata09.pdf 2009 conference FORTE'09 Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine Approximated Context-sensitive Analysis for Parameterized Verification http://discotec09.di.fc.ul.pt/index.php?title=Fmoods_forte/ the 29th IFIP international conference on Formal Techniques for Networked and Distributed Systems Paris Portugal papers/forte09.pdf 2009 conference RP'09 Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine Automatic Verification of Directory-based Consistency Protocols http://www.lix.polytechnique.fr/rp09/i.php/Main/HomePage/ the 2nd Colloquium on Reachability Problems Paris France papers/rp09.pdf 2009 journal FMSD'09 Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine Approximated parameterized verification of infinite-state processes with global conditions http://www.springerlink.com/content The Journal of Formal Methods in System Design yes 34 2 126-156 2009 papers/fmsd09.pdf journal IJFCS'09a Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine Monotonic Abstraction (On Efficient Verification of Parameterized Systems) http://www.cs.ucsb.edu/~ijfcs/ The International Journal of Foundations of Computer Science yes 20 5 779-801 papers/ijfcs09a.pdf 2009 journal IJFCS'09b Parosh Aziz Abdulla, Ahmed Bouajjani, Lukas Holik, Lisa Kaati, and Tomas Vojnar Composed Bisimulation for Tree Automata http://www.cs.ucsb.edu/~ijfcs/ The International Journal of Foundations of Computer Science yes 20 4 685-700 papers/ijfcs09b.pdf 2009 conference CAV'08 Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frederic Haziza, and Ahmed Rezine Monotonic Abstraction for Programs with Dynamic Memory Heaps http://www.princeton.edu/cav2008/ the 20th International Conference on Computer Aided Verification Princeton USA papers/cav08.pdf 2008 conference TACAS'08 Parosh Aziz Abdulla, Ahmed Bouajjani, Lukas Holik, Lisa kaati, and Tomas Vojnar Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata http://etaps08.mit.bme.hu/ the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Budapest Hungary papers/tacas08.pdf 2008 conference FoSSaCS'08 Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, and Sven Sandberg Stochastic Games with Lossy Channels http://fossacs08.pps.jussieu.fr/ the 11th International Conference on the Foundations of Software Science and Computation Structures Budapest Hungary papers/fossacs08.pdf 2008 conference CONCUR'08 Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi R-Automata http://www.cse.yorku.ca/concur08/ the 19th International Conference on Concurrency Theory Toronto Canada papers/concur08.pdf 2008 conference VMCAI'08 Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine Handling Parameterized Systems with Non-Atomic Global Conditions http://www.informatik.uni-trier.de/~ley/db/conf/vmcai/vmcai2008.html the 9th International Conference on Verification, Model Checking and Abstract Interpretation San Francisco USA papers/vmcai08.pdf 2008 conference CIAA'08 Parosh Aziz Abdulla, Ahmed Bouajjani, Lukas Holik, Lisa kaati, and Tomas Vojnar Composed Bisimulation for Tree Automata http://ciaa2008.cs.sonoma.edu/ the 13th International Conference on Implementation and Application of Automata San Fransisco USA papers/name.pdf 2008 yes Best Paper Award http://ciaa2008.cs.sonoma.edu/ conference FORTE'08 Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frederic Haziza, and Ahmed Rezine Tree Parameterized Systems http://www-higashi.ist.osaka-u.ac.jp/FORTE08/cfp.html/ the 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems Tokyo Japan papers/forte08.pdf 2008 conference RP'08 Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine Monotonic Abstraction in Parameterized Verification http://www.csc.liv.ac.uk/~rp2008/ the 2nd Workshop on Reachability Problems Liverpool UK papers/rp08.pdf 2008 yes conference ICTAC'08 Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine Monotonic Abstraction in Action: Automatic Verification of Distributed Mutex Algorithms http://www.ictac.net/ictac08/ the 5th International Colloquium on Theoretical Aspects of Computing Istanbul Turkey papers/ictac08.pdf 2008 conference WMC'08 Parosh Aziz Abdulla, Giorgio Delzanno, and Laurent Van Begin On the qualitative analysis of conformon P systems http://www.informatik.uni-trier.de/~ley/db/conf/membrane/membrane2008.html the 9th Workshop on Membrane Computing Edinburgh Scotland papers/wmc08.pdf yes Best Paper Award 2008 conference INFINITY'08 Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi Universality of R-automata with Value Copying http://www.fit.vutbr.cz/events/infinity08/ the 10th International Workshop on Verification of Infinite-State Systems Toronto Canada papers/infinity08.pdf 2008 journal FI08 Parosh Aziz Abdulla, Johann Deneux, Joel Ouaknine, Karin Quaas, and James Worrell Universality Analysis for One-Clock Timed Automata http://www.cs.ucsb.edu/~ijfcs/ The Journal of Fundamenta Informaticae yes 89 4 419-450 2008 papers/fi08.pdf journal JLC'08 Parosh Aziz Abdulla, Ahmed Bouajjani, and Julien d'Orso Composed Bisimulation for Tree Automata http://logcom.oxfordjournals.org/ The Journal of Logic and Computation yes papers/jlc08.pdf 20 4 685-700 2009 conference CAV'07 Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine Parameterized Verification of Infinite-state Processes with Global Conditions http://www.cav2007.org/ the 19th International Conference on Computer Aided Verification Berlin Germany papers/cav07.pdf 2007 conference TACAS'07 Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine Regular Model Checking without Transducers http://www.doc.ic.ac.uk/tacas07/ the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems Braga Portugal papers/tacas07.pdf 2007 yes Microsoft award for distinguished papers co-authored by a student conference FoSSaCS'07 Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi Sampled Universality of Timed Automata http://www2.in.tum.de/~seidl/fossacs07/ the 10th International Conference on the Foundations of Software Science and Computation Structures Braga Portugal papers/fossacs07.pdf 2007 conference CSL'07 Parosh Aziz Abdulla, Giorgio Delzanno, and Laurent Van Begin Comparing the Expressive Power of Well-structured Transition Systems http://www2.unil.ch/csl07/ 16th EACSL Annual Conference on Computer Science and Logic Lausanne Switzerland papers/csl07.pdf 2007 conference FSEN'07 Parosh Aziz Abdulla, Joel Ouaknine, Karin Quaas, and James Worrell Zone-Based Universality Analysis for Single-Clock Timed Automata http://cs.ipm.ac.ir/FSEN07 the IPM International Symposium on Fundamentals of Software Engineering Tehran Iran papers/fsen07.pdf 2007 journal LMCS07a Parosh Aziz Abdulla, Pritha Mahata, and Richard Mayr Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness http://www.lmcs-online.org/index.php The Journal of Logical Methods in Computer Science yes http://www.lmcs-online.org/ojs/viewarticle.php?id=154 3 1 1-61 2007 journal LMCS07b Parosh Aziz Abdulla, Noomene Ben Henda, and Richard Mayr Decisive Markov Chains http://www.lmcs-online.org/index.php The Journal of Logical Methods in Computer Science yes http://www.lmcs-online.org/ojs/viewarticle.php?id=256 3 4 1-32 2007 journal IJFCS'07 Parosh Aziz Abdulla, Johanna Högberg, and Lisa Kaati Bisimulation Minimization of Tree Automata http://www.cs.ucsb.edu/~ijfcs/ The International Journal of Foundations of Computer Science yes papers/ijfcs07.pdf 18 4 699-713 2007 journal NJC'07 Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylen Using Forward Reachability Analysis for Verification of Timed Petri Nets http://www.cs.helsinki.fi/njc/ The Nordic Journal of Computing yes papers/njc07.pdf 14 1 1-42 2007 conference CIAA'06 Parosh Aziz Abdulla, Johanna Högberg, and Lisa Kaati Minimization of tree automata http://cobra.ee.ntu.edu.tw/ciaa2006/ the 11th International Conference on Implementation and Application of Automata Taipei Taiwan papers/tree_bisim.ps 2006 yes Best Paper Award http://cobra.ee.ntu.edu.tw/ciaa2006/best-paper.html conference CONCUR'06 Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, and Mayank Saksena Proving Liveness by Backwards Reachability http://depend.cs.uni-sb.de/index.php?id=355 the 17th International Conference on Concurrency Theory Bonn Germany papers/liveness.ps 2006 no conference QEST'06 Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, and Sven Sandberg Limiting Behavior of Markov Chains with Eager Attractors http://www.qest.org/qest2006/ the 3rd International Conference on Quantitative Evaluation of SysTems Riverside, California USA 2006 papers/limit_average.ps no conference ATVA'06 Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, and Sven Sandberg Eager Markov Chains http://lcs.ios.ac.cn/~atva06/ the fourth symposium on Automated Technology for Verification and Analysis Beijing China papers/eager.ps 2006 no conference AVIS'06 Parosh Aziz Abdulla and Giorgio Delzanno Constrained Multiset Rewriting http://chacs.nrl.navy.mil/projects/AVIS06/ the 5th International Workshop on Automated Verification of Infinite-State Systems Vienna Austria papers/avis06.pdf 2006 no journal JLAP'06 Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, and Ahmed Rezine Tree Regular Model Checking: A Simulation-Based Approach http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/description?navopenmenu=-2 The Journal of Logic and Algebraic Programming yes papers/tree_rmc_j.ps 69 1-2 93-121 2006 conference LICS'05 Parosh Aziz Abdulla, Noomene Ben Henda, and Richard Mayr Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property http://homepages.inf.ed.ac.uk/als/lics/lics05/ the 19th IEEE Int. Symp. on Logic in Computer Science Chicago USA papers/ 2005 no no conference ICALP'05 Parosh Aziz Abdulla, Johann Deneux, Joel Ouaknine, and James Worrell Decidability and Complexity Results for Timed Automata via Channel Machines http://icalp05.di.fct.unl.pt/ the 32nd Int. Colloquium on Automata, Languages and Programming Lisbon Portugal papers/ 2005 no no conference TACAS'05 Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine Simulation-Based Iteration of Tree Transducers http://www-verimag.imag.fr/TACAS2005.html the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Edinburgh Scotland papers/tacas05.ps 2005 no no conference FORMATS'05 Parosh Aziz Abdulla Verification of Parameterized Timed Systems http://www.it.uu.se/formats05/ the 3rd International Conference on Formal Modelling and Analysis of Timed Systems Uppsala Sweden papers/formats05.ps 2005 no yes conference CIAA'05 Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, and Marcus Nilsson Minimization of Non-Deterministic Automata with Large Alphabets http://www.i3s.unice.fr/ciaa05/ the 10th International Conference on Implementation and Application of Automata Sophia Antipolis France papers/ciaa05.ps 2005 no no journal IC05a Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Rabinovich, and Philippe Schnoebelen Verification of Probabilistic Systems with Faulty Communication http://theory.lcs.mit.edu/%7Eiandc/ The Journal of Information and Computation yes papers/plcs_attractor.ps 202 2 105-228 2005 journal IC05b Parosh Aziz Abdulla, Christel Baier, Purushothaman Iyer, and Bengt Jonsson Simulating Perfect Channels with Probabilistic Lossy Channels http://theory.lcs.mit.edu/%7Eiandc/ The Journal of Information and Computation yes papers/plcs_detailed.ps 197 1-2 22-40 2005 conference LICS'04 Parosh Aziz Abdulla, Johann Deneux, and Pritha Mahata Multi-Clock Timed Networks http://homepages.inf.ed.ac.uk/als/lics/lics04/ the 18th IEEE Int. Symp. on Logic in Computer Science Helsinki Finland papers/tn2reach.ps 2004 no no conference FSTTCS'04 Parosh Aziz Abdulla, Pritha Mahata, and Richard Mayr Decidability of Zenoness, Token Liveness, and Boundedness for Dense-Timed Petri Nets http://www.informatik.uni-trier.de/~ley/db/conf/fsttcs/fsttcs2004.html the 24th Conference on Foundations of Software Technology and Theoretical Computer Science Chennai India papers/fsttcs05.ps 2004 no no conference CAV'04 Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, and Mayank Saksena Regular Model Checking for S1S + LTL http://www.informatik.uni-trier.de/~ley/db/conf/cav/cav2004.html the 16th Int. Conf. Computer Aided Verification Boston USA papers/rmc_logic.ps 2004 no no conference CONCUR'04 Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Mayank Saksena A Survey of Regular Model Checking http://www.doc.ic.ac.uk/concur2004/ the 15th International Conference on Concurrency Theory London UK papers/rmc_survey.ps 2004 no yes conference ISoLA'04 Parosh Aziz Abdulla, Johann Deneux, and Ove Akerlund Designing Safe, Reliable Systems using Scade http://www.informatik.uni-trier.de/~ley/db/conf/isola/isola2004.html the 1st International Symposium on Leveraging and Applications of Formal Methods Paphos Cyprus papers/isola.ps 2004 no no conference ISoLA'04 Parosh Aziz Abdulla, Noomene Ben Henda, Johann Deneux, Bengt Jonsson, and Tomas Reidmar Report on Dataflow Dependencies in Billing Processing Systems http://www.informatik.uni-trier.de/~ley/db/conf/isola/isola2004.html the 1st International Symposium on Leveraging and Applications of Formal Methods Paphos Cyprus papers/isola.ps 2004 no no conference FORMATS'04 Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata and Aletta Nylen Forward Reachability Analysis of Timed Petri Nets http://www-formats-ftrtft.imag.fr/ the 3rd International Conference on Formal Modelling and Analysis of Timed Systems Grenoble France papers/dlg.ps 2004 no no conference INFINITY'04 Parosh Aziz Abdulla, Johann Deneux, and Pritha Mahata Open, Closed and Robust Timed Networks http://homepages.inf.ed.ac.uk/jcb/Infinity04/ the 6th International Workshop on Verification of Infinite-State Systems London UK papers/robust.ps 2004 no no journal FMSD04a Parosh Aziz Abdulla, Purushothaman Iyer, and Aletta Nylen SAT-solving the Coverability Problem for Unbounded Petri Nets http://www.springer.com/engineering/circuits+&+systems/journal/10703 The Journal of Formal Methods in System Design yes papers/UnfoldingSAT.ps 24 1 25-43 2004 journal FMSD04b Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani, and Bengt Jonsson Using Forward Reachability Analysis for Verification of Lossy Channel Systems http://www.springer.com/engineering/circuits+&+systems/journal/10703 The Journal of Formal Methods in System Design yes papers/sre.ps 25 1 39-65 conference CAV'03 Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien d'Orso Algorithmic Improvements in Regular Model Checking http://www.informatik.uni-trier.de/~ley/db/conf/cav/cav2003.html the 15th Int. Conf. Computer Aided Verification Boulder, Colorado USA papers/cav03.ps 2003 no no conference FoSSaCS'03 Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien d'Orso Algorithmic Improvements in Regular Model Checking http://research.microsoft.com/~adg/Fossacs03/ the rth International Conference on the Foundations of Software Science and Computation Structures Warsaw Poland papers/plcs_03.ps 2003 no no journal TCS'03 Parosh Aziz Abdulla and Bengt Jonsson Model Checking of Systems with Many Identical Timed Processes http://www.elsevier.com/wps/find/journaldescription.cws_home/505625/description#description The Journal of Theoretical Computer Science yes papers/TN_detailed.ps 290 1 241-264 2003 conference CAV'02 Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, and Julien d'Orso Regular Tree Model Checking http://floc02.diku.dk/CAV/ the 14th Int. Conf. on Computer Aided Verification Copenhagen Denmark papers/trees.ps 2002 no no conference CONCUR'02 Parosh Aziz Abdulla and Bengt Jonsson, Marcus Nilsson, and Julien d'Orso Regular Model Checking made Simple and Efficient http://www.fi.muni.cz/concur2002 the 13th Int. Conf. on Concurrency Theory Brno Czech Republic papers/simple.ps 2002 no no conference INFINITY'02 Parosh Aziz Abdulla and Aletta Nylen Undecidability of LTL for Timed Petri Nets http://www.fi.muni.cz/infinity02 the 4th International Workshop on Verification of Infinite-State Systems Brno Czech Republic papers/tpnundec.ps 2002 no no conference ICALP'01 Parosh Aziz Abdulla, Luc Boasson, and Ahmed Bouajjani Effective Lossy Queue Languages http://www.informatik.uni-trier.de/~ley/db/conf/icalp/icalp2001.html the 28th Int. Colloquium on Automata, Languages and Programmming Crete Greece papers/effective.ps 2001 yes Best Paper Award http://www.eatcs.org/index.php/eatcs-awards no conference CONCUR'01 Parosh Aziz Abdulla and Bengt Jonsson Channel Abstractions in Protocol Verification http://concur01.cs.auc.dk/index1a.html the 12th Int. Conf. on Concurrency Theory Aalborg Denmark papers/concur01.ps 2001 no yes conference ICATPN'01 Parosh Aziz Abdulla and Aletta Nylen Timed Petri Nets and BQOs http://www.cs.ncl.ac.uk/old/events/conferences/2001/pn/ the 22nd Int. Conf. on application and theory of Petri nets Newcastle UK papers/tpn.ps 2001 no no journal TCS'01 Parosh Aziz Abdulla and Bengt Jonsson. Ensuring Completeness of Symbolic Verification Methods for Infinite-State Systems http://www.elsevier.com/wps/find/journaldescription.cws_home/505625/description#description The Journal of Theoretical Computer Science yes papers/ 290 1 241-264 2001 conference VEPAS'01 Parosh Aziz Abdulla Using (Timed) Petri Nets for Verification of Parametrized (Timed) Systems http://www.informatik.uni-trier.de/~ley/db/conf/icalp/icalp2001.html Verification of Parameterized Systems, ICALP'2001 satellite workshop Crete Greece papers/vepas.ps 2001 no yes conference LICS'00 Parosh Aziz Abdulla and Aletta Nylen Better is Better than Well: On Efficient Verification of Infinite-State Systems http://homepages.inf.ed.ac.uk/als/lics/lics00/ind00.html the 14th IEEE Int. Symp. on Logic in Computer Science Santa Barbara, California USA papers/bqo.ps 2000 no no conference CAV'00a Parosh Aziz Abdulla, Purushothaman Iyer, and Aletta Nylen Unfoldings of Unbounded Petri Nets http://www.informatik.uni-trier.de/~ley/db/conf/cav/ the 12th Int. Conf. on Computer Aided Verification Chicago USA papers/unfoldings.ps 2000 no no conference CAV'00b Parosh Aziz Abdulla and Bengt Jonsson Model Checking of Infinite-State Systems http://www.informatik.uni-trier.de/~ley/db/conf/cav/ the 12th Int. Conf. on Computer Aided Verification Chicago USA papers/.ps 2000 no yes conference TACAS'00 Parosh Aziz Abdulla, Per Bjesse, and Niklas Een Symbolic Reachability Analysis Based on SAT-Solvers http://danae.uni-muenster.de:8280/eapl the 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems Berlin Germany papers/smc.ps 2000 yes Best Paper Award http://www.eapls.org/pages/topic_05_awards/ no conference CONCUR'00 Parosh Aziz Abdulla, Christel Baier, Purushothaman Iyer, and Bengt Jonsson Reasoning about Probabilistic Lossy Channel Systems http://www.informatik.uni-trier.de/~ley/db/conf/concur/concur2000.html the 11th Int. Conf. on Concurrency Theory Pennsylvania USA papers/plcs.ps 2000 no no journal IC'00 Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, and Tsay Yih-Kuen Algorithmic Analysis of Programs with Well Quasi-Ordered Domains http://theory.lcs.mit.edu/%7Eiandc/ The Journal of Information and Computation yes papers/general_IC.ps 160 1-2 109-127 2000 book_chapter CSD'99 Parosh Aziz Abdulla and Bengt Jonsson On the Existence of Network Invariants for Verifying Parameterized Systems LNCS In Olderog and Steffen, editor, Correct System Design -- Recent Insights and Advances yes papers/langmaack.ps 1710 180-197 1999 conference CAV'99a Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, and Marcus Nilsson Handling Global Conditions in Parameterized System Verification http://www.informatik.uni-trier.de/~ley/db/conf/cav/ the11th Int. Conf. on Computer Aided Verification Trento Italy papers/global.ps 1999 no no conference CAV'99b Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, and Yassine Lakhnech Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis http://www.informatik.uni-trier.de/~ley/db/conf/cav/ the11th Int. Conf. on Computer Aided Verification Trento Italy papers/global.ps 1999 no no conference TACAS'99 Parosh Aziz Abdulla, Aurore Annichini, and Ahmed Bouajjani Algorithmic Verification of Lossy Channel Systems: An Application to the Bounded Retransmission Protocol http://www.etaps.org/1999/tacas99.html the 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems Amsterdam Holland papers/fp_imp.ps 1999 no no conference CAV'98a Parosh Aziz Abdulla, Ahmed Bouajjani and Bengt Jonsson On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels http://www.cs.ubc.ca/spider/ajh/cav98.html the 10th Int. Conf. on Computer Aided Verification Vancouver, BC, Canada papers/lossy_cav98.ps no no conference CAV'98b Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, and Doron Peled A General Approach to Partial Order Reductions in Symbolic Verification http://www.cs.ubc.ca/spider/ajh/cav98.html the 10th Int. Conf. on Computer Aided Verification Vancouver, BC, Canada papers/lossy_cav98.ps no no conference TACAS'98 Parosh Aziz Abdulla and Bengt Jonsson Verifying Networks of Timed Processes http://www.informatik.uni-trier.de/~ley/db/conf/tacas/tacas98.html the th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems Lisbon Portugal papers/TN.ps 1998 no no conference CONCUR'98 Parosh Aziz Abdulla and Karlis Cerans Simulation is Decidable for One-counter Nets http://www-sop.inria.fr/meije/concur98/ the 9th Int. Conf. on Concurrency Theory Nice France papers/one_counter.ps 1998 no no conference FORTE/PSTV`97 Parosh Aziz Abdulla, Mats Kindahl, and Doron Peled An Improved Search Strategy for Lossy Channel Systems http://www-higashi.ist.osaka-u.ac.jp/forte.pstv97/ the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification. Osaka Japan papers/POM.ps 1997 no no conference LICS'96 Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, and Tsay Yih-Kuen General Decidability Theorems for Infinite-State Systems http://www.lfcs.inf.ed.ac.uk/events/lics/1996/ the 11th IEEE Int. Symp. on Logic in Computer Science New Brunswick, New Jersey USA papers/general.ps 1996 no no journal IC'96a Parosh Aziz Abdulla and Bengt Jonsson Verifying Programs with Unreliable Channels http://theory.lcs.mit.edu/%7Eiandc/ The Journal of Information and Computation yes papers/lics93_ic.ps 130 1 91-101 1996 journal IC'96b Parosh Aziz Abdulla and Bengt Jonsson Undecidable Verification Problems for Programs with Unreliable Channels http://theory.lcs.mit.edu/%7Eiandc/ The Journal of Information and Computation yes papers/icalp94_ic.ps 130 1 71-90 1996 conference CONCUR'95 Parosh Aziz Abdulla and Mats Kindahl Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems http://www.informatik.uni-trier.de/GI/FG-014/Announce/1995/CONCUR95.AP.html the 6th Int Conf. on Concurrency Theory Philadelphia, Pennsylvania USA papers/concur95.ps 1995 no no conference ICALP'94 Parosh Aziz Abdulla and Bengt Jonsson Undecidable Verification Problems for Programs with Unreliable Channels http://www.informatik.uni-trier.de/~ley/db/conf/icalp/icalp94.html the 21st Int. Colloquium on Automata, Languages and Programmming Jerusalem Israel papers/icalp94.ps 1994 no no conference LICS'93 Parosh Aziz Abdulla and Bengt Jonsson Verifying Programs with Unreliable Channels http://www.informatik.uni-trier.de/~ley/db/conf/lics/lics93.html the 8th IEEE Int. Symp. on Logic in Computer Science Montreal Canada papers/lics93.ps 1993 no no journal FAC'92 Parosh Aziz Abdulla Automatic Verification of a Class Systolic Circuits http://www.springerlink.com/content/102822/ The Journal of Formal Aspects of Computing yes papers/ 4 2 149-194 1992 book_chapter ACM'91 Parosh Aziz Abdulla Decidable and Undecidable Problems in Systolic Circuit Verification Proc. the ACM International Workshop on Formal Methods in VLSI Design Formal VLSI Specification and Synthesis, North-Holland Miami, Florida USA papers/ 1991 no no book_chapter IFIP'90 Parosh Aziz Abdulla Automatic Verification of a Class of Systolic Circuits Proc. MEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design Formal VLSI Specification and Synthesis, North-Holland Leuven Belgium papers/ 1990 371-390 yes no yes book_chapter SVC'88 Parosh Aziz Abdulla and Stefan Arnborg A Decision Problem in Systolic Circuit Verification Proc. Specification and Verification of Concurrent Systems Workshops in Computing Stirling Scotland papers/ 1988 236-245 yes no