12 citations · 18 across the 5 of their papers we have counts for
5 papers
Efficient Resources Distribution for an Ephemeral Cloud/Edge continuum
Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci +1
This paper presents the idea and the concepts behind the vision of an Ephemeral Cloud/Edge Continuum, a cloud/edge computing landscape that enables the exploitation of a widely dis…
Proceedings First Workshop on Logics and Model-checking for Self-* Systems
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci +1
This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of Septe…
An LTL Semantics of Business Workflows with Recovery
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to ite…
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti +1
Many systems include components interacting with each other that evolve with possibly very different speeds. To deal with this situation many formal models adopt the abstraction of…
Organization and evolution of synthetic idiotypic networks
Elena Agliari, Lorenzo Asti, Adriano Barra +1
We introduce a class of weighted graphs whose properties are meant to mimic the topological features of idiotypic networks, namely the interaction networks involving the B-core of…