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 …

Recent position papers demand more schema flexibility, such as the ability to handle
variational data [3, 42]. Many agile software developers have long since turned towards …

Schemaless databases, and document-oriented databases in particular, are preferred to
relational ones for storing heterogeneous data with variable schemas and structural forms …

OLAP has been extensively used for a couple of decades as a data analysis approach to
support decision making on enterprise structured data. Now, with the wide diffusion of …

Query-based explanations for missing answers identify which operators of a query are
responsible for the failure to return a missing answer of interest. This type of explanations …

The existence of the variety of data models and their associated data processing
technologies make data management extremely complex. In this paper, we envision a single …

Type systems express structural information about data, are human readable and hence
crucial for understanding code, and are endowed with a formal definition that makes them a …

We explore data management for longitudinal study survey instruments:(i) Survey instrument
evolution presents a unique data integration challenge; and (ii) Longitudinal study data …

The growing popularity of JSON as the data storage and interchange format increases the
availability of massive multi-structured data collections. Clustering JSON documents has …

This paper presents a novel tandem human-machine cognition approach for human-in-the-
loop control of complex business-critical and mission-critical systems and processes that are …