Follow
Luca Ferrucci
Title
Cited by
Cited by
Year
Hivory: Range queries on hierarchical voronoi overlays
M Mordacchini, L Ricci, L Ferrucci, M Albano, R Baraglia
2010 IEEE Tenth International Conference on Peer-to-Peer Computing (P2P), 1-10, 2010
242010
Interoperability of home automation systems as a critical challenge for IoT
V Miori, D Russo, L Ferrucci
2019 4th International Conference on Computing, Communications and Security …, 2019
202019
Multidimensional range queries on hierarchical Voronoi overlays
L Ferrucci, L Ricci, M Albano, R Baraglia, M Mordacchini
Journal of Computer and System Sciences, 2016
162016
Latency preserving self-optimizing placement at the edge
L Ferrucci, M Mordacchini, M Coppola, E Carlini, H Kavalionak, P Dazzi
Proceedings of the 1st Workshop on Flexible Resource and Application …, 2020
152020
Self-organizing energy-minimization placement of QoE-constrained services at the edge
M Mordacchini, L Ferrucci, E Carlini, H Kavalionak, M Coppola, P Dazzi
International Conference on the Economics of Grids, Clouds, Systems, and …, 2021
92021
Impact of network topology on the convergence of decentralized federated learning systems
H Kavalionak, E Carlini, P Dazzi, L Ferrucci, M Mordacchini, M Coppola
2021 IEEE Symposium on Computers and Communications (ISCC), 1-6, 2021
92021
Automated formal verification for flexible manufacturing systems
E Carpanzano, L Ferrucci, D Mandrioli, M Mazzolini, A Morzenti, M Rossi
Journal of Intelligent Manufacturing 25, 1181-1195, 2014
92014
An LTL semantics of business workflows with recovery
L Ferrucci, MM Bersani, M Mazzara
2014 9th International Conference on Software Paradigm Trends (ICSOFT-PT), 29-40, 2014
92014
A metric temporal logic for dealing with zero-time transitions
L Ferrucci, D Mandrioli, A Morzenti, M Rossi
2012 19th International Symposium on Temporal Representation and Reasoning …, 2012
82012
Supporting Active Aging Through A Home Automation Infrastructure for Social Internet of Things
V Miori, D Russo, L Ferrucci
Advances in Science, Technology and Engineering Systems Journal 3 (4), 173-186, 2018
72018
Load balancing by domain decomposition: the bounded neighbour approach
F Baiardi, A Bonotti, L Ferrucci, L Ricci, P Mori
Proc. of 17th European Simulation Multiconference, 9-11, 2003
72003
SMARTORC: Smart Orchestration of Resources in the Compute Continuum
P Dazzi, E Carlini, M Coppola, L Ferrucci, H Kavalionak, I Korontanis, ...
Frontiers in High Performance Computing 1, 1164915, 2023
62023
Decentralized replica management in latency-bound edge environments for resource usage minimization
L Ferrucci, M Mordacchini, P Dazzi
IEEE Access, 2024
52024
A timed semantics of workflows
MM Bersani, S Distefano, L Ferrucci, M Mazzara
International Conference on Software Technologies, 365-383, 2014
52014
Urgent edge computing
P Dazzi, L Ferrucci, M Danelutto, K Tserpes, A Makris, T Theodoropoulos, ...
Proceedings of the 4th Workshop on Flexible Resource and Application …, 2024
42024
A Proposal for a continuum-aware programming model: from workflows to services autonomously interacting in the compute continuum
M Aldinucci, R Birke, A Brogi, E Carlini, M Coppola, M Danelutto, P Dazzi, ...
2023 IEEE 47th Annual Computers, Software, and Applications Conference …, 2023
42023
Modular automated verification of flexible manufacturing systems with metric temporal logic and non-standard analysis
L Ferrucci, D Mandrioli, A Morzenti, M Rossi
Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012
42012
Network measurements with function-as-a-service for distributed low-latency edge applications
E Carlini, H Kavalionak, P Dazzi, L Ferrucci, M Coppola, M Mordacchini
Proceedings of the 2nd Workshop on Flexible Resource and Application …, 2022
22022
Decentralized federated learning and network topologies: an empirical study on convergence
H Kavalionak, E Carlini, P Dazzi, L Ferrucci, M Mordacchini, M Coppola
CEUR WORKSHOP PROCEEDINGS 3194, 317-324, 2022
22022
A temporal logic for micro-and macro-step-based real-time systems: Foundations and applications
M Rossi, D Mandrioli, A Morzenti, L Ferrucci
Theoretical Computer Science 643, 38-64, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20