Ahmed Bouajjani

No bio available. Add one in Open Library.

Books by Ahmed Bouajjani (50 max)

+ shelf+ list

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

2010

Ahmed Bouajjani

+ shelf+ list

Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

2016

Ahmed Bouajjani, Hugues Fauconnier

+ shelf+ list

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

2009

Ahmed Bouajjani, Oded Maler

+ shelf+ list

Formal Techniques for Disributed Objects, Components, and Systems: 37th Ifip Wg 6. 1 International Conference, Forte 2017, Held As Part of the 12th International Federated Conference on Distributed Computing Techniques, Discotec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2017

Ahmed Bouajjani, Alexandra Silva

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

2017

Ahmed Bouajjani, David Monniaux