Home Advanced Search

Advanced Search - Page 1

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (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.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
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.)
Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Antti Huima (auth.), Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.)
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.)
Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Martin Gogolla, Burkhart Wolff (eds.)
search