Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
Synchronous Programming of Reactive Systems
  • PDF
  • English
  • Year: 1993
  • Author: Nicolas Halbwachs (auth.)
Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.)
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
search