1. Verification and validation meet planning and scheduling

   • Saddek Bensalem
   • Klaus Havelund
   • Andrea Orlandini

   Introduction 17 December 2013 Pages: 1 - 12

   

2. A loop acceleration technique to speed up verification of automatically generated plans

   • Robert P. Goldman
   • Michael J. S. Pelican
   • David J. Musliner

   VVPS-11 25 June 2013 Pages: 13 - 29

   

3. Authorized workflow schemas: deciding realizability through \(\mathsf{LTL }(\mathsf{F })\) model checking

   • Jason Crampton
   • Michael Huth
   • Jim Huan-Pu Kuo

   VVPS-11 05 January 2013 Pages: 31 - 48

   

4. Generating effective tests for concurrent programs via AI automated planning techniques

   • Niloofar Razavi
   • Azadeh Farzan
   • Sheila A. McIlraith

   VVPS-11 27 April 2013 Pages: 49 - 65

   

5. Open source software-defined radio tools for education, research, and rapid prototyping

   • Jason Snyder
   • Deepan Seeralan
   • Jeffrey H. Reed

   Regular Paper 20 June 2012 Pages: 67 - 80

6. Symbolic object code analysis

   • Jan Tobias Mühlberg
   • Gerald Lüttgen

   Regular Paper 04 August 2012 Pages: 81 - 102

   

7. Constraint-based BMC: a backjumping strategy

   • Hélène Collavizza
   • Nguyen Le Vinh
   • Antoine Rollet

   Regular Paper 30 August 2012 Pages: 103 - 121