Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir Analyzing asynchronous programs with preemption. (English) Zbl 1248.68348 Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 37-48, electronic only (2008). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. F. Atig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 2, 37--48 (2008; Zbl 1248.68348) Full Text: DOI Link
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš Antichain-based universality and inclusion testing over nondeterministic finite tree automata. (English) Zbl 1172.68493 Ibarra, Oscar H. (ed.) et al., Implementation and applications of automata. 13th international conference, CIAA 2008, San Francisco, California, USA, July 21–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70843-8/pbk). Lecture Notes in Computer Science 5148, 57-67 (2008). MSC: 68Q45 68P05 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Lect. Notes Comput. Sci. 5148, 57--67 (2008; Zbl 1172.68493) Full Text: DOI
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Touili, Tayssir On the reachability analysis of acyclic networks of pushdown systems. (English) Zbl 1160.68451 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 356-371 (2008). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. F. Atig} et al., Lect. Notes Comput. Sci. 5201, 356--371 (2008; Zbl 1160.68451) Full Text: DOI
Bouajjani, Ahmed; Strejček, Jan; Touili, Tayssir On symbolic verification of weakly extended PAD. (English) Zbl 1277.68133 Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 47-64 (2007). MSC: 68Q60 68N30 68Q42 68Q85 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Electron. Notes Theor. Comput. Sci. 175, No. 3, 47--64 (2007; Zbl 1277.68133) Full Text: DOI
Bouajjani, Ahmed; Muscholl, Anca; Touili, Tayssir Permutation rewriting and algorithmic verification. (English) Zbl 1107.68052 Inf. Comput. 205, No. 2, 199-224 (2007). MSC: 68Q60 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Inf. Comput. 205, No. 2, 199--224 (2007; Zbl 1107.68052) Full Text: DOI
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir Reachability analysis of synchronized PA systems. (English) Zbl 1272.68290 Bradfield, Julian (ed.) et al., Proceedings of the 6th international workshop on verification of infinite-state systems (INFINITY 2004), London, UK, September 4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 138, No. 3, 153-178 (2005). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Electron. Notes Theor. Comput. Sci. 138, No. 3, 153--178 (2005; Zbl 1272.68290) Full Text: Link
Bouajjani, Ahmed; Müller-Olm, Markus; Touili, Tayssir Regular symbolic analysis of dynamic networks of pushdown systems. (English) Zbl 1134.68427 Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 473-487 (2005). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Lect. Notes Comput. Sci. 3653, 473--487 (2005; Zbl 1134.68427) Full Text: DOI
Bouajjani, Ahmed; Touili, Tayssir On computing reachability sets of process rewrite systems. (English) Zbl 1078.68652 Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 484-499 (2005). MSC: 68Q42 68Q45 68Q85 PDFBibTeX XMLCite \textit{A. Bouajjani} and \textit{T. Touili}, Lect. Notes Comput. Sci. 3467, 484--499 (2005; Zbl 1078.68652) Full Text: DOI
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir A generic approach to the static analysis of concurrent programs with procedures. (English) Zbl 1321.68185 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 62-73 (2003). MSC: 68N30 68N19 68Q45 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., in: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '03, New Orleans, LA, USA, January 15--17, 2003. New York, NY: Association for Computing Machinery (ACM). 62--73 (2003; Zbl 1321.68185) Full Text: DOI
Bouajjani, Ahmed; Touili, Tayssir Reachability analysis of process rewrite systems. (English) Zbl 1205.68183 Pandya, Paritosh K. (ed.) et al., FST TCS 2003: Foundations of software technology and theoretical computer science. 23rd conference, Mumbai, India, December 15–17, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20680-9/pbk). Lect. Notes Comput. Sci. 2914, 74-87 (2003). MSC: 68Q42 68N30 68Q45 68Q85 PDFBibTeX XMLCite \textit{A. Bouajjani} and \textit{T. Touili}, Lect. Notes Comput. Sci. 2914, 74--87 (2003; Zbl 1205.68183) Full Text: DOI
Bouajjani, Ahmed; Esparza, Javier; Touili, Tayssir A generic approach to the static analysis of concurrent programs with procedures. (English) Zbl 1101.68457 Int. J. Found. Comput. Sci. 14, No. 4, 551-582 (2003). MSC: 68N19 68Q60 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Int. J. Found. Comput. Sci. 14, No. 4, 551--582 (2003; Zbl 1101.68457) Full Text: DOI
Bouajjani, Ahmed; Touili, Tayssir Extrapolating tree transformations. (English) Zbl 1010.68085 Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 539-554 (2002). MSC: 68Q60 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Bouajjani} and \textit{T. Touili}, Lect. Notes Comput. Sci. 2404, 539--554 (2002; Zbl 1010.68085) Full Text: Link
Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus; Touili, Tayssir Regular model checking. (English) Zbl 0974.68118 Emerson, E. Allen (ed.) et al., Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1855, 403-418 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Lect. Notes Comput. Sci. 1855, 403--418 (2000; Zbl 0974.68118)