Home Advanced Search

Advanced Search - Page 1

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (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: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)
A Survey of Verification Techniques for Parallel Programs
  • DJVU
  • English
  • Year: 1985
  • Author: Howard Barringer (auth.)
A Survey of Verification Techniques for Parallel Programs
  • PDF
  • English
  • Year: 1985
  • Author: Howard Barringer (auth.)
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Klaus Havelund (auth.), Brian Nielsen, Carsten Weise (eds.)
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Daniel Jackson, Eunsuk Kang (auth.), Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Erika Ábrahám, Klaus Havelund (eds.)
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989
  • PDF
  • English
  • Year: 1992
  • Author: Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.)
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)
search