Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce-Reference-Cited by-同舟云学术

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce

Published:2014 Issue: Volume: Page:144-158
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Bianculli Domenico,Ghezzi Carlo,Krstić Srđan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-10431-7_11

Reference17 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoreotical Computer Science 126(2), 183–235 (1994)

2. Apache Software Foundation: Hadoop MapReduce, http://hadoop.apache.org/mapreduce/

3. Lecture Notes in Computer Science;B. Barre,2013

4. Bellettini, C., Camilli, M., Capra, L., Monga, M.: Distributed CTL model checking in the cloud. Tech. Rep. 1310.6670, Cornell University (October 2013), http://arxiv.org/abs/1310.6670

5. Bersani, M.M., Bianculli, D., Ghezzi, C., Krstić, S., San Pietro, P.: SMT-based checking of SOLOIST over sparse traces. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 276–290. Springer, Heidelberg (2014)

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

1. QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

2. Correct and Efficient Policy Monitoring, a Retrospective;Automated Technology for Verification and Analysis;2023

3. Scalable online first-order monitoring;International Journal on Software Tools for Technology Transfer;2021-04

4. A taxonomy for classifying runtime verification tools;International Journal on Software Tools for Technology Transfer;2021-04

5. Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization;Journal of Systems and Software;2021-04