Actor languages decouple communication from synchronization, which makes them suitable
for distributed and scalable applications with flexible synchronization patterns, but also …

Cloud computing has radically changed the way organizations operate their Software by
allowing them to achieve high availability of services at affordable cost. Containerized …

Loosely-coupled distributed systems organized as collections of so-called cloud-native
microservices are able to adapt to traffic in very fine-grained and flexible ways. For this …

ABS is a language for behavioral modeling of distributed, time-and resource-sensitive
communicating systems. ABS is based on an executable actor-based semantics with …

We introduce a new approach to analyze distributed hybrid systems by a generalization of
rely-guarantee reasoning. First, we give a system for deductive verification of class …

We present a novel and well automatable approach to formal verification of C programs with
underspecified semantics, ie, a language semantics that leaves open the order of certain …

Performance prediction of Spark plays a vital role in cluster resource management and
system efficiency improvement. The performance of Spark is affected by several variables …

With the ubiquity of sensor networks and smart devices that continuously collect data, we
face the challenge of analyzing the growing stream of data in real time. In recent years, there …

We present a novel and well automatable approach to formal verification of programs with
underspecified semantics, ie, a language semantics that leaves open the order of certain …

Digital twins have been designed and implemented for diverse applications like smart
manufacturing, healthcare, supply chain and retail management. They provide monitoring …