26 citations · 32 across the 4 of their papers we have counts for
4 papers
Digital Twins of Business Processes: A Research Manifesto
Fabrizio Fornari, Ivan Compagnucci, Massimo Callisto De Donato +20
Modern organizations necessitate continuous business processes improvement to maintain efficiency, adaptability, and competitiveness. In the last few years, the Internet of Things,…
Automated Analysis of MUTEX Algorithms with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini +2
In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFAS s, a CCS-like process algebra with a specific operator for modelling non-b…
A Framework for the Evaluation of Worst-Case System Efficiency
Massimo Callisto De Donato, Maria Rita Di Berardini
In this paper we present FASE (Fast Asynchronous Systems Evaluation), a tool for evaluating worst-case efficiency of asynchronous systems. This tool implements some well-establishe…
Evaluating the Efficiency of Asynchronous Systems with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini +2
In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-est…