Some Thoughts on Runtime Verification-Reference-Cited by-同舟云学术

Some Thoughts on Runtime Verification

Published:2016 Issue: Volume: Page:3-14
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Maler Oded

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-46982-9_1

Reference39 articles.

1. Annapureddy, Y., Liu, C., Fainekos, G.E., Sankaranarayanan, S., S-TaLiRo: a tool for temporal logic falsification for hybrid systems. In: TACAS, pp. 254–257 (2011)

2. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172–206 (2002)

3. Lecture Notes in Computer Science;EM Clarke,1982

4. d’Angelo, B., Sankaranarayanan, S., Sanchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z., Lola: Runtime monitoring of synchronous systems. In: TIME, pp. 166–174 (2005)

5. Lecture Notes in Computer Science;J Deshmukh,2015

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

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

2. MoULDyS: Monitoring of autonomous systems in the presence of uncertainties;Science of Computer Programming;2023-08

3. A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems;Logical Methods in Computer Science;2022-01-07

4. Runtime Verification for FMI-Based Co-simulation;Runtime Verification;2022

5. From LTL to rLTL monitoring;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17