Runtime Verification of Safety-Progress Properties-Reference-Cited by-同舟云学术

Runtime Verification of Safety-Progress Properties

Published:2009 Issue: Volume: Page:40-59
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Falcone Yliès,Fernandez Jean-Claude,Mounier Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04694-0_4

Reference28 articles.

1. Runtime Verification (2001-2009), http://www.runtime-verification.org

2. Lecture Notes in Computer Science;A. Pnueli,2006

3. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. Journal of Logic and Computation (2008) (accepted for publication)

4. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. Technical Report TUM-I0724, Institut für Informatik, Technische Universität München (2007)

5. Lecture Notes in Computer Science;K. Havelund,2008

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

1. Runtime Verified Neural Networks for Cyber-Physical Systems;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

2. Bounded-memory runtime enforcement with probabilistic and performance analysis;Formal Methods in System Design;2024-02-14

3. VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System.;The Journal of Object Technology;2024

4. Scalable Security Enforcement for Cyber Physical Systems;IEEE Access;2024

5. Runtime Verification for Clinically Interpretable Arrhythmia Classification;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13