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

The main way of analysing the complexity of a program is that of extracting and solving a
recurrence that expresses its running time in terms of the size of its input. We develop a …

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 …

When programs feature a complex control flow, existing techniques for resource analysis
produce cost relation systems (CRS) whose cost functions retain the complex flow of the …

Non-determinism in a concurrent or distributed setting may lead to many different runs or
executions of a program. This paper presents a method to reproduce a specific run for non …

We present a post-region-based verification system for distributed hybrid systems modeled
with Hybrid Active Objects. The post-region of a class method is the region of the state space …

We revisit parallel-innermost term rewriting as a model of parallel computation on inductive
data structures and provide a corresponding notion of runtime complexity parametric in the …

This paper proposes a technique for estimating the computational time of programs in an
actor model, which is intended to serve as a compiler target of a wide variety of actor-based …

The estimation and control of resource usage is now an important challenge in an
increasing number of computing systems. In particular, requirements on timing and energy …

As General and Program Chairs we would like to welcome you to the proceedings of ISoLA
2022, the 11th International Symposium on Leveraging Applications of Formal Methods …