Author:
Schneider Joshua,Basin David,Brix Frederik,Krstić Srđan,Traytel Dmitriy
Publisher
Springer International Publishing
Reference28 articles.
1. Afrati, F.N., Ullman, J.D.: Optimizing multiway joins in a map-reduce environment. IEEE Trans. Knowl. Data Eng. 23(9), 1282–1298 (2011)
2. Alexandrov, A., et al.: The Stratosphere platform for big data analytics. VLDB J. 23(6), 939–964 (2014)
3. Alur, R., Mamouras, K., Stanford, C.: Modular quantitative monitoring. PACMPL 3(POPL), 50:1–50:31 (2019)
4. Aniello, L., Baldoni, R., Querzoni, L.: Adaptive online scheduling in Storm. In: DEBS 2013, pp. 207–218. ACM (2013)
5. Lecture Notes in Computer Science;B Barre,2013
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Checking Complex Source Code-Level Constraints using Runtime Verification;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
2. Correct and Efficient Policy Monitoring, a Retrospective;Automated Technology for Verification and Analysis;2023
3. Optimal Finite-State Monitoring of Partial Traces;Runtime Verification;2022
4. Scalable online first-order monitoring;International Journal on Software Tools for Technology Transfer;2021-04
5. A Benchmark Generator for Online First-Order Monitoring;Runtime Verification;2020