Awards • The JPL Voyager award in recognition of research contributions, including publication record, tool development, and conference organization. August 2017. 7 • The paper “Monitoring Programs using Rewriting”, authors: Klaus Havelund and Grigore Rosu, published at ASE 2001, won the ASE 2016 Most Influential Paper award (http://ase-conferences.org/Mip.html). This paper was one of our first papers on runtime verification. • The LogFire tool won the offline track of CRV-2015, the 2nd International Competition on Runtime Verification (https://www.cost-arvi.eu/?page_id=664). Held in connection with RV’15, The 15th International Conference on Runtime Verification, September 22 - September 25, 2015 Vienna, Austria. • The paper “Model Checking Programs”, authors: Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon Park, published at ASE 2000, won the ASE 2014 Most Influential Paper award (http://ase-conferences.org/Mip.html). This paper represents the Java PathFinder project at the time, and the prospects of model checking concrete programs rather than abstract models. • The JPL Mariner award in recognition of significant and sustained efforts to establish a new tool-based checking capability for a broad range of coding standards (C, C++, and Java) at JPL. August 2011. • Best paper award for the paper: “Runtime Verification with State Estimation”, Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, and Erez Zadok. Presented at The 2nd International Conference on Runtime Verification (RV 2011), San Francisco, California, USA, October 27-30, 2011. • The JPL Ranger award for the development of a Java Coding Standard and its implementation as an automated code checker. July 2010. • The JPL Mariner award for the successful delivery of the LogScope tool for MSL (Mars Science Laboratory). LogScope checks output log files against a formal specification and reports violations. The tool was delivered to the FIT [testing] team to support flight software testing. July 2009. • Outstanding Technology Development Award for Java PathFinder (JPF), Federal Laboratory Consortium (FLC, see: http://www.federallabs.org) Far West Region Awards. July 2009. • Royal Academy of Engineering Distinguished Visiting Fellowship at the University of Manchester during December 2008-April 2009