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

The digital twin offers a potentially powerful way of using simulation to support business and
change the way industrial operations are done. The idea of the digital twin is not new but …

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 …

An adaptive system can modify its settings at runtime as a response to changes in its
operational environment. To analyse this kind of systems at design time is a difficult task …

This article addresses the long-standing problem of program correctness for programs that
describe systems of parallel executing processes. We propose a new method for proving …

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 …

The overall problem addressed in this paper is the long-standing problem of program
correctness, and in particular programs that describe systems of parallel executing …

A well-structured software architectural project allows us to analyze and describe the
properties of a complex system towards a general and complete overview, thus enabling the …