Author:
Bozzelli Laura,Sánchez César
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;H. Barringer,2004
2. Lecture Notes in Computer Science;D. Basin,2012
3. Lecture Notes in Computer Science;D. Basin,2010
4. Lecture Notes in Computer Science;A. Bauer,2009
5. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology 20(4), 14 (2011)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stream runtime verification of real-time event streams with the Striver language;International Journal on Software Tools for Technology Transfer;2021-04
2. Runtime verification of real-time event streams under non-synchronized arrival;Software Quality Journal;2020-04-18
3. Quantitative Regular Expressions for Arrhythmia Detection;IEEE/ACM Transactions on Computational Biology and Bioinformatics;2019-09-01
4. Runtime Verification for Timed Event Streams with Partial Information;Runtime Verification;2019
5. TeSSLa;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09