We propose quantitative regular expressions (QREs) as a high-level programming
abstraction for specifying complex numerical queries over data streams in a modular way …

We focus on (partial) functions that map input strings to a monoid such as the set of integers
with addition and the set of output strings with concatenation. The notion of regularity for …

Complex event recognition (CER) has emerged as the unifying field for technologies that
require processing and correlating distributed data sources in real time. CER finds …

In this paper, we propose a decision procedure for a class of string-manipulating programs
which includes not only a wide range of string operations such as concatenation, replaceAll …

Network operators today deploy a wide range of complex stateful network functions (NFs).
They typically only have access to the NFs' binary executables, configuration interfaces, and …

In real-time decision making and runtime monitoring applications, declarative languages are
commonly used as they facilitate modular high-level specifications with the compiler …

We study logics expressing properties of paths in graphs that are tailored to querying graph
databases: a data model for new applications such as social networks, the Semantic Web …

The task of a monitor is to watch, at run-time, the execution of a reactive system, and signal
the occurrence of a safety violation in the observed sequence of events. While finite-state …

We study the expressive power of polynomial recursive sequences, a nonlinear extension of
the well-known class of linear recursive sequences. These sequences arise naturally in the …

The connection between languages defined by computational models and logic for
languages is well-studied. Monadic second-order logic and finite automata are shown to …