---
_id: '8623'
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.
acknowledgement: This research was supported in part by the Austrian Science Fund
  (FWF) under grant Z211-N23 (Wittgenstein Award).
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Naci E
  full_name: Sarac, Naci E
  id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
  last_name: Sarac
citation:
  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>'
  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>'
  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.
  ista: 'Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification.
    RV: Runtime Verification, LNCS, vol. 12399, 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>.
  short: T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020,
    pp. 3–18.
conference:
  end_date: 2020-10-09
  location: Los Angeles, CA, United States
  name: 'RV: Runtime Verification'
  start_date: 2020-10-06
date_created: 2020-10-07T15:05:37Z
date_published: 2020-10-02T00:00:00Z
date_updated: 2023-09-05T15:08:26Z
day: '02'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-60508-7_1
external_id:
  isi:
  - '000728160600001'
file:
- access_level: open_access
  checksum: 00661f9b7034f52e18bf24fa552b8194
  content_type: application/pdf
  creator: esarac
  date_created: 2020-10-15T14:28:06Z
  date_updated: 2020-10-15T14:28:06Z
  file_id: '8665'
  file_name: monitorability.pdf
  file_size: 478148
  relation: main_file
  success: 1
file_date_updated: 2020-10-15T14:28:06Z
has_accepted_license: '1'
intvolume: '     12399'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 3-18
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Runtime Verification
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783030605070'
  - '9783030605087'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitorability under assumptions
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 12399
year: '2020'
...