JPL Technical Report Server

Browsing by Author "Zadok, Erez"

Browsing by Author "Zadok, Erez"

Sort by: Order: Results:

  • Stoller, Scott D.; Bartocci, Ezio; Seyster, Justin; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Zadok, Erez (Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2011., 2011-09-26)
    We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate the probability that a temporal property is satisfied by a run of a program when monitoring ...