{"has_accepted_license":"1","external_id":{"isi":["000728160600001"]},"project":[{"grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"isi":1,"volume":12399,"acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","date_updated":"2023-09-05T15:08:26Z","intvolume":"     12399","abstract":[{"lang":"eng","text":"We introduce the monitoring of trace properties under assumptions. An assumption limits the space of possible traces that the monitor may encounter. An assumption may result from knowledge about the system that is being monitored, about the environment, or about another, connected monitor. We define monitorability under assumptions and study its theoretical properties. In particular, we show that for every assumption A, the boolean combinations of properties that are safe or co-safe relative to A are monitorable under A. We give several examples and constructions on how an assumption can make a non-monitorable property monitorable, and how an assumption can make a monitorable property monitorable with fewer resources, such as integer registers."}],"status":"public","day":"02","quality_controlled":"1","publication_identifier":{"isbn":["9783030605070","9783030605087"],"issn":["0302-9743"],"eissn":["1611-3349"]},"doi":"10.1007/978-3-030-60508-7_1","_id":"8623","title":"Monitorability under assumptions","month":"10","oa_version":"Submitted Version","citation":{"short":"T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.","apa":"Henzinger, T. A., &#38; Sarac, N. E. (2020). Monitorability under assumptions. In <i>Runtime Verification</i> (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-60508-7_1\">https://doi.org/10.1007/978-3-030-60508-7_1</a>","ama":"Henzinger TA, Sarac NE. Monitorability under assumptions. In: <i>Runtime Verification</i>. Vol 12399. Springer Nature; 2020:3-18. doi:<a href=\"https://doi.org/10.1007/978-3-030-60508-7_1\">10.1007/978-3-030-60508-7_1</a>","ista":"Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.","chicago":"Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.” In <i>Runtime Verification</i>, 12399:3–18. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-60508-7_1\">https://doi.org/10.1007/978-3-030-60508-7_1</a>.","ieee":"T. A. Henzinger and N. E. Sarac, “Monitorability under assumptions,” in <i>Runtime Verification</i>, Los Angeles, CA, United States, 2020, vol. 12399, pp. 3–18.","mla":"Henzinger, Thomas A., and Naci E. Sarac. “Monitorability under Assumptions.” <i>Runtime Verification</i>, vol. 12399, Springer Nature, 2020, pp. 3–18, doi:<a href=\"https://doi.org/10.1007/978-3-030-60508-7_1\">10.1007/978-3-030-60508-7_1</a>."},"type":"conference","scopus_import":"1","oa":1,"publisher":"Springer Nature","publication_status":"published","conference":{"name":"RV: Runtime Verification","end_date":"2020-10-09","location":"Los Angeles, CA, United States","start_date":"2020-10-06"},"language":[{"iso":"eng"}],"file_date_updated":"2020-10-15T14:28:06Z","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724"},{"first_name":"Naci E","full_name":"Sarac, Naci E","last_name":"Sarac","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","page":"3-18","department":[{"_id":"ToHe"}],"publication":"Runtime Verification","alternative_title":["LNCS"],"date_created":"2020-10-07T15:05:37Z","year":"2020","ddc":["000"],"file":[{"content_type":"application/pdf","date_updated":"2020-10-15T14:28:06Z","date_created":"2020-10-15T14:28:06Z","file_name":"monitorability.pdf","file_size":478148,"relation":"main_file","access_level":"open_access","success":1,"file_id":"8665","checksum":"00661f9b7034f52e18bf24fa552b8194","creator":"esarac"}],"date_published":"2020-10-02T00:00:00Z","article_processing_charge":"No"}