Distributed systems exhibit probabilistic and non-deterministic behaviors and may have time
constraints. Probabilistic Timed Rebeca (PTRebeca) is introduced as a timed and …

Afra is an Eclipse-based tool for the modeling and model checking of Rebeca family models.
Together with the standard enriched editor, easy to trace counter-example viewer, modular …

In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …

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 …

In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …

Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very
fast as they make communication easier and more available. However, their protocols tend …

The Rebeca modeling language is designed as an imperative actor-based language with
the goal of providing an easy-to-use language for modeling concurrent and distributed …

Many real-time distributed applications exhibit probabilistic and non-deterministic behaviors.
In this paper, we introduce Probabilistic Timed Rebeca (PTRebeca) as an actor-based …

Many distributed systems use broadcast communication for various reasons such as saving
energy or increasing throughput. However, the actor model for concurrent and distributed …

This paper proposes an original approach to modelling and simulation of multi-agent
systems which is based on statistical model checking (SMC). The approach is prototyped in …