Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Pedro Cabalar, Sergei Odintsov, David Pearce (auth.), Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner (eds.)
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Pedro Cabalar, Sergei Odintsov, David Pearce (auth.), Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner (eds.)
Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Ahmed Bouajjani, Hugues Fauconnier (eds.)
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)
Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (eds.)
search