Theatre is an actor-based system currently implemented in Java, which enables modelling,
analysis and implementation of predictable time-dependent distributed systems like cyber …

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 …

This paper deals with Stochastic Reward Nets (SRN), which are a powerful extension of
Generalized Stochastic Petri Nets (GSPN). SRN have proved their usefulness in modelling …

Program portfolio managers in digital transformation projects need knowledge that can
guide allocation decisions associated with the configuration of project assets within the …

This paper describes a modelling and analysis experience concerning time synchronization
in wireless sensor networks (WSN). A fully distributed algorithm is formally modelled and its …

Abstract This paper introduces Hybrid Theatre, an actor-based language and runtime
system suited to the modelling, analysis and implementation of cyber-physical systems …

This paper belongs to a research work that develops a deterministic actor framework in Java
named Theatre, which addresses the modeling, analysis, and implementation of time …

The goal of a Home Energy Management System (HEMS) is that of purposely sha** the
cumulative energy consumption curves of domestic appliances by imposing suitable …

This paper proposes an approach to modelling and performance prediction of large multi-
agent systems, based on the theatre actor system. The approach rests on Uppaal for formal …

Home Energy Management Systems (HEMSs) are devoted to monitoring and control the
operation of domestic appliances in order to purposely shape the in-home energy …