Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Stoller, Scott D. (Stony Brook Univ. Stony Brook, NY, United States) Bartocci, Ezio (Stony Brook Univ. Stony Brook, NY, United States) Seyster, Justin (Stony Brook Univ. Stony Brook, NY, United States) Grosu, Radu (Stony Brook Univ. Stony Brook, NY, United States) Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Smolka, Scott A. (Stony Brook Univ. Stony Brook, NY, United States) Zadok, Erez (Stony Brook Univ. Stony Brook, NY, United States) Date Acquired
April 22, 2015
Publication Date
September 27, 2011
Subject Category
Statistics And ProbabilityComputer Programming And Software Meeting Information
Meeting: International Conference on Runtime Verification
Location: San Francisco, CA
Country: United States
Start Date: September 27, 2011
End Date: September 30, 2011
Sponsors: California Univ., Jet Propulsion Lab., California Inst. of Tech.
Funding Number(s)
CONTRACT_GRANT: NSF-CCF-1018459
CONTRACT_GRANT: AFOSR-FA9550-09-1-0481
CONTRACT_GRANT: NSF-CCF-0926190
CONTRACT_GRANT: ONR-N00014-07-1-0928
CONTRACT_GRANT: NSF-CNS-0831298
Distribution Limits
Public
Keywords
samplingmakov modelsruntime verificationtemporal logic