Monitoring of Temporal First-Order Properties with Aggregations-Reference-Cited by-同舟云学术

Monitoring of Temporal First-Order Properties with Aggregations

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

Author:

Basin David,Klaedtke Felix,Marinovic Srdjan,Zălinescu Eugen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40787-1_3

Reference23 articles.

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)

2. Arasu, A., Babcock, B., Babu, S., Datar, M., Ito, K., Motwani, R., Nishizawa, I., Srivastava, U., Thomas, D., Varma, R., Widom, J.: STREAM: The Stanford stream data manager. IEEE Data Eng. Bull. 26(1), 19–26 (2003)

3. Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: semantic foundations and query execution. The VLDB Journal 15(2), 121–144 (2006)

4. Lecture Notes in Computer Science;H. Barringer,2004

5. Lecture Notes in Computer Science;D. Basin,2012

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

1. Trace-Length Independent Runtime Monitoring of Quantitative Policies;IEEE Transactions on Dependable and Secure Computing;2021-05-01

2. Specification-driven predictive business process monitoring;Software and Systems Modeling;2019-11-02

3. From System Specification to Anomaly Detection (and back);Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy;2017-11-03

4. A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties;2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS);2017-09

5. bpCMon;International Journal of Web Services Research;2017-04