---
APC_amount: 2748 EUR
OA_place: publisher
OA_type: hybrid
_id: '18521'
abstract:
- lang: eng
  text: In distributed systems with processes that do not share a global clock, partial
    synchrony is achieved by clock synchronization that guarantees bounded clock skew
    among all applications. Existing solutions for distributed runtime verification
    under partial synchrony against temporal logic specifications are exact but suffer
    from significant computational overhead. In this paper, we propose an approximate
    distributed monitoring algorithm for Signal Temporal Logic (STL) that mitigates
    this issue by abstracting away potential interleaving behaviors. This conservative
    abstraction enables a significant speedup of the distributed monitors, albeit
    with a tradeoff in accuracy. We address this tradeoff with a methodology that
    combines our approximate monitor with its exact counterpart, resulting in enhanced
    efficiency without sacrificing precision. We evaluate our approach with multiple
    experiments, showcasing its efficacy in both real-world applications and synthetic
    examples.
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093. This
  work is sponsored in part by the United States NSF CCF-2118356 award. This research
  was partially funded by A-IQ Ready (Chips JU, grant agreement No. 101096658).
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
arxiv: 1
author:
- first_name: Borzoo
  full_name: Bonakdarpour, Borzoo
  last_name: Bonakdarpour
- first_name: Anik
  full_name: Momtaz, Anik
  last_name: Momtaz
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
- first_name: Naci E
  full_name: Sarac, Naci E
  id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
  last_name: Sarac
citation:
  ama: 'Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. Approximate distributed monitoring
    under partial synchrony: Balancing speed &#38; accuracy. In: <i>24th International
    Conference on Runtime Verification</i>. Vol 15191. Springer Nature; 2024:282-301.
    doi:<a href="https://doi.org/10.1007/978-3-031-74234-7_18">10.1007/978-3-031-74234-7_18</a>'
  apa: 'Bonakdarpour, B., Momtaz, A., Nickovic, D., &#38; Sarac, N. E. (2024). Approximate
    distributed monitoring under partial synchrony: Balancing speed &#38; accuracy.
    In <i>24th International Conference on Runtime Verification</i> (Vol. 15191, pp.
    282–301). Istanbul, Turkey: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-74234-7_18">https://doi.org/10.1007/978-3-031-74234-7_18</a>'
  chicago: 'Bonakdarpour, Borzoo, Anik Momtaz, Dejan Nickovic, and Naci E Sarac. “Approximate
    Distributed Monitoring under Partial Synchrony: Balancing Speed &#38; Accuracy.”
    In <i>24th International Conference on Runtime Verification</i>, 15191:282–301.
    Springer Nature, 2024. <a href="https://doi.org/10.1007/978-3-031-74234-7_18">https://doi.org/10.1007/978-3-031-74234-7_18</a>.'
  ieee: 'B. Bonakdarpour, A. Momtaz, D. Nickovic, and N. E. Sarac, “Approximate distributed
    monitoring under partial synchrony: Balancing speed &#38; accuracy,” in <i>24th
    International Conference on Runtime Verification</i>, Istanbul, Turkey, 2024,
    vol. 15191, pp. 282–301.'
  ista: 'Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. 2024. Approximate distributed
    monitoring under partial synchrony: Balancing speed &#38; accuracy. 24th International
    Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS,
    vol. 15191, 282–301.'
  mla: 'Bonakdarpour, Borzoo, et al. “Approximate Distributed Monitoring under Partial
    Synchrony: Balancing Speed &#38; Accuracy.” <i>24th International Conference on
    Runtime Verification</i>, vol. 15191, Springer Nature, 2024, pp. 282–301, doi:<a
    href="https://doi.org/10.1007/978-3-031-74234-7_18">10.1007/978-3-031-74234-7_18</a>.'
  short: B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International
    Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
conference:
  end_date: 2024-10-17
  location: Istanbul, Turkey
  name: 'RV: Conference on Runtime Verification'
  start_date: 2024-10-15
corr_author: '1'
date_created: 2024-11-10T23:01:58Z
date_published: 2024-10-12T00:00:00Z
date_updated: 2026-05-20T08:43:20Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
- _id: GradSch
doi: 10.1007/978-3-031-74234-7_18
ec_funded: 1
external_id:
  arxiv:
  - '2408.05033'
  isi:
  - '001420093700018'
file:
- access_level: open_access
  checksum: 7b8ca21b8c19ab796fa445b0e54003ca
  content_type: application/pdf
  creator: dernst
  date_created: 2024-11-11T09:42:28Z
  date_updated: 2024-11-11T09:42:28Z
  file_id: '18539'
  file_name: 2024_LNCS_Bonakdarpour.pdf
  file_size: 1897101
  relation: main_file
  success: 1
file_date_updated: 2024-11-11T09:42:28Z
has_accepted_license: '1'
intvolume: '     15191'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '10'
oa: 1
oa_version: Published Version
page: 282-301
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: 24th International Conference on Runtime Verification
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031742330'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Approximate distributed monitoring under partial synchrony: Balancing speed
  & accuracy'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15191
year: '2024'
...