We demonstrate by a case study of an industrial distributed system how performance,
resource consumption, and deployment on the cloud can be formally modeled and analyzed …

Resource analysis aims at statically obtaining bounds on the resource consumption of
programs in terms of input parameters. A well known approach to resource analysis is based …

Software today is often developed for many deployment scenarios; the software may be
adapted to sequential, concurrent, distributed, and even virtualized architectures. Since …

This paper presents a may-happen-in-parallel (MHP) analysis for OO languages based on
concurrent objects. In this concurrency model, objects are the concurrency units such that …

An application's quality of service (QoS) depends on resource availability; eg, response time
is worse on a slow machine. On the cloud, a virtualized application leases resources which …

We show how aspects of performance, resource consumption, and deployment on the cloud
can be formally modeled for an industrial case study of a distributed system, using the …

Cloud technology has become an invaluable tool to the IT business, because of its attractive
economic model. Yet, from the programmers' perspective, the development of cloud …

In order to tackle the development of concurrent and distributed systems, the active object
programming model provides a high-level abstraction to program concurrent behaviours …

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 …

Abstract The Abstract Behavioral Specification (ABS) language is a formal, executable,
object-oriented, concurrent modeling language intended for behavioral modeling of complex …