In this paper we propose Timed Rebeca as an extension of the Rebeca language that can
be used to model distributed and asynchronous systems with timing constraints. Timed …

This article proposes an approach to modelling and analysis of distributed probabilistic
timed actors. The approach rests on a lightweight infrastructure of actors-Theatre-whose …

We present MaSiF, a novel tool to auto-tune parallelization parameters of skeleton parallel
programs. It reduces the cost of searching the optimization space using a combination of …

This paper proposes a novel approach to modelling and analysis of complex multi-agent
systems. The approach is based on actors and asynchronous message passing, and …

This paper proposes an agent infrastructure (Theatre) centered on Java for distributed
simulations over High-Level Architecture/RunTime Infrastructure (HLA/RTI). The architecture …

We present a modular method for schedulability analysis of real time distributed systems.
We extend the actor model, as the asynchronous model for concurrent objects, with real time …

We present an automata theoretic framework for modular schedulability analysis of real time
asynchronous objects modeled in the language Creol. In previous work we analyzed the …

Thread pools are often used as a pattern to increase the throughput and responsiveness of
software systems. Implementations of thread pools may differ considerably from each other …

This paper proposes an agent infrastructure (theatre) centered on Java for distributed
simulations over HLA/RTI. The architecture rests on actors (agents) as the basic building …

This paper deals with class and interface name clashes in Java component systems that
occur because of evolutionary changes during the lifecycle of a component application. We …