Ahmed Bouajjani


Ahmed Bouajjani, Jan Strejček, and Tayssir Touili:
On Symbolic Verification of Weakly Extended PAD,
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Elsevier, 2007, 47-64. [bibtex, url]


Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejček:
Reachability Analysis of Multithreaded Software with Asynchronous Communication,
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings, Springer Berlin Heidelberg, 2005, 348–359. [bibtex, url]