conference paper published yes Borzoo Bonakdarpour author Anik Momtaz author Dejan Nickovic author 41BCEE5C-F248-11E8-B48F-1D18A9856A87 Naci E Sarac author 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 ToHe department GradSch department RV: Conference on Runtime Verification Vigilant Algorithmic Monitoring of Software project 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. https://research-explorer.ista.ac.at/download/18521/18539/2024_LNCS_Bonakdarpour.pdf application/pdfno https://creativecommons.org/licenses/by/4.0/ Springer Nature2024Istanbul, Turkey eng 0302-9743 1611-3349 9783031742330 2408.05033 00142009370001810.1007/978-3-031-74234-7_18 15191282-301 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> 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> 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. 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. 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>. B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301. 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>. 185212024-11-10T23:01:58Z2026-05-20T08:43:20Z