Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems-Reference-Cited by-同舟云学术

Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems

Published:2023-05-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)
language:
Short-container-title:

Author:

Momtaz Anik¹^ORCID,Abbas Houssam²^ORCID,Bonakdarpour Borzoo³^ORCID

Affiliation:

1. Michigan State University, East Lansing, Michigan, USA

2. Oregon State University, Corvallis, Oregon, United States of America

3. Michigan State University, East Lansing, Michigan, United States of America

Funder

United States National Science Foundation (NSF) CCF: Software and Hardware Foundations (SHF)

United States National Science Foundation (NSF) CCF: Formal Methods in the Field (FMitF)

Publisher

ACM

Reference28 articles.

1. Abbas , H. , Mittelmann , H. , Fainekos , G. : Formal property verification in a conformance testing framework . In: ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (October 2014) Abbas, H., Mittelmann, H., Fainekos, G.: Formal property verification in a conformance testing framework. In: ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (October 2014)

2. Bauer , A. , Falcone , Y. : Decentralised LTL monitoring. Formal Methods in System Design 48(1--2), 46--93 ( 2016 ) Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Formal Methods in System Design 48(1--2), 46--93 (2016)

3. Benndorf , M. , Haenselmann , T. : Time synchronization on android devices for mobile construction assessment . In: The Tenth International Conference on Sensor Technologies and Applications. Thinkmind (2016) Benndorf, M., Haenselmann, T.: Time synchronization on android devices for mobile construction assessment. In: The Tenth International Conference on Sensor Technologies and Applications. Thinkmind (2016)

4. Distributed snapshots

5. A Distributed Abstraction Algorithm for Online Predicate Detection

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decentralized Stream Runtime Verification for Timed Asynchronous Networks;IEEE Access;2023

2. Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals;Runtime Verification;2023