Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce

Domenico Bianculli, Carlo Ghezzi, Srdan Krstic. Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. In Dimitra Giannakopoulou, Gwen Sala√ľn, editors, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Volume 8702 of Lecture Notes in Computer Science, pages 144-158, Springer, 2014. [doi]

Abstract

Abstract is missing.