Monitoring with Verified Guarantees-Reference-Cited by-同舟云学术

Monitoring with Verified Guarantees

Published:2021 Issue: Volume: Page:62-80
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Dauer Johann C.^ORCID,Finkbeiner Bernd^ORCID,Schirmer Sebastian^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-88494-9_4

Reference22 articles.

1. Lecture Notes in Computer Science;J Baumeister,2020

2. Lecture Notes in Computer Science,2007

3. Berry, G.: The Foundations of Esterel, pp. 425–454. MIT Press, Cambridge (2000)

4. Cluzeau, J.M., Henriquel, X., van Dijk, L., Gronskiy, A.: Concepts of design assurance for neural networks (CoDANN). Technical report, EASA European Union Aviation Safety Agency, March 2020

5. D’Angelo, B., et al.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166–174 (2005). https://doi.org/10.1109/TIME.2005.26

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

1. A Tutorial on Stream-Based Monitoring;Lecture Notes in Computer Science;2024-09-13

2. Ensuring Cyber-Physical System Stability in the Presence of Deadline Misses;2024 IEEE 3rd Real-Time and Intelligent Edge Computing Workshop (RAGE);2024-05-13

3. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model;Logical Methods in Computer Science;2024-01-11

4. Certification Aspects of Runtime Assurance for Urban Air Mobility;AIAA SCITECH 2024 Forum;2024-01-04

5. Monitoring with verified guarantees;International Journal on Software Tools for Technology Transfer;2023-07-11