NASA Logo, National Aeronautics and Space Administration


Books/Book Chapters/Edited Volumes/Proceedings

  • 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011 Proceedings), Perry Alexander, Corina S. Pasareanu, John G. Hosking, Lawrence, KS, USA, November 6-10, 2011 IEEE 2011.
  • Model Checking Software, 16th International SPIN Workshop, Corina S. Pasareanu, Grenoble, France, June 26-28, 2009. Proceedings Springer 2009.
  • NASA Formal Methods Proceedings, Ewen Denny, Dimitra Giannakopoulou, Corina S. Pasareanu, First Symposium, NASA Ames, 2009.
  • Special issue on learning techniques for compositional reasoning, Dimitra Giannakopoulou and Corina S. Pasareanu. Formal Methods in System Design 32(3) (2008)
  • Program Model Checking - A Practitioner's Guide, Masoud Mansouri-Samani, Peter Mehlitz, Corina S. Pasareanu, John Penix, Guillaume Brat, Lawrence Markosian, Owen O'Malley, Thomas Pressburger, and Willem Visser, NASA/TM-2008-214577, January 2008.
  • Foundations of the Bandera Abstraction Tools, John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby, in The Essence of Computation 2002: 172-203.

Journal Articles

Conference and Workshop Papers

Technical Reports

First Gov logo
NASA Logo -