Recent advancements in event processing

M Dayarathna, S Perera - ACM Computing Surveys (CSUR), 2018 - dl.acm.org
Event processing (EP) is a data processing technology that conducts online processing of
event information. In this survey, we summarize the latest cutting-edge work done on EP …

Issues in complex event processing: Status and prospects in the big data era

I Flouris, N Giatrakos, A Deligiannakis… - Journal of Systems and …, 2017 - Elsevier
Abstract Many Big Data technologies were built to enable the processing of human
generated data, setting aside the enormous amount of data generated from Machine-to …

Complex event recognition in the big data era: a survey

N Giatrakos, E Alevizos, A Artikis, A Deligiannakis… - The VLDB Journal, 2020 - Springer
The concept of event processing is established as a generic computational paradigm in
various application fields. Events report on state changes of a system and its environment …

Predictive analytics for complex IoT data streams

A Akbar, A Khan, F Carrez… - IEEE Internet of Things …, 2017 - ieeexplore.ieee.org
The requirements of analyzing heterogeneous data streams and detecting complex patterns
in near real-time have raised the prospect of complex event processing (CEP) for many …

On complexity and optimization of expensive queries in complex event processing

H Zhang, Y Diao, N Immerman - Proceedings of the 2014 ACM SIGMOD …, 2014 - dl.acm.org
Pattern queries are widely used in complex event processing (CEP) systems. Existing
pattern matching techniques, however, can provide only limited performance for expensive …

TESLA: a formally defined event specification language

G Cugola, A Margara - Proceedings of the Fourth ACM International …, 2010 - dl.acm.org
The need for timely processing large amounts of information, flowing from the peripheral to
the center of a system, is common to different application domains, and it has justified the …

A survey of challenges for runtime verification from advanced application domains (beyond software)

C Sánchez, G Schneider, W Ahrendt, E Bartocci… - Formal Methods in …, 2019 - Springer
Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Streaming the web: Reasoning over dynamic data

A Margara, J Urbani, F Van Harmelen, H Bal - Journal of Web Semantics, 2014 - Elsevier
In the last few years a new research area, called stream reasoning, emerged to bridge the
gap between reasoning and stream processing. While current reasoning approaches are …

Complex event processing with T-REX

G Cugola, A Margara - Journal of Systems and Software, 2012 - Elsevier
Several application domains involve detecting complex situations and reacting to them. This
asks for a Complex Event Processing (CEP) middleware specifically designed to timely …

Learning from the past: automated rule generation for complex event processing

A Margara, G Cugola, G Tamburrelli - Proceedings of the 8th ACM …, 2014 - dl.acm.org
Complex Event Processing (CEP) systems aim at processing large flows of events to
discover situations of interest. In CEP, the processing takes place according to user-defined …