Complementary Flyover and Rover Sensing for Superior Modeling of Planetary Features. - Heather L. Jones; Uland Wong; Kevin M. Peterson; Jason Koenig; Aashish Sheshadri; William Whittaker (FSR, 2012)

Getting Started with Dafny: A Guide. - Jason Koenig; K. Rustan M. Leino (Software Safety and Security, 2012)

Programming Language Features for Refinement. - Jason Koenig; K. Rustan M. Leino (Refine@FM, 2015)