Luca Ferrucci

35 papers A 1B 1C 3Misc 1Journal 9Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dynamic workload balancing in decentralized edge systems: A marginal cost approach.
Future Gener. Comput. Syst.
Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Jacopo Massa, Matteo Mordacchini
2024 J jnl
Decentralized Replica Management in Latency-Bound Edge Environments for Resource Usage Minimization.
IEEE Access
Luca Ferrucci, Matteo Mordacchini, Patrizio Dazzi
2024 — conf
Marginal Cost of Computation as a Collaborative Strategy for Resource Management at the Edge.
GECON
Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Jacopo Massa, Matteo Mordacchini
2024 — ed.
Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge, FRAME 2024, Pisa, Italy, June 3-7, 2024
FRAME@HPDC
Massimo Coppola, Hanna Kavalionak, Luca Ferrucci, Ioannis Kontopoulos
2024 — conf
Urgent Edge Computing.
FRAME@HPDC
Patrizio Dazzi, Luca Ferrucci, Marco Danelutto, Konstantinos Tserpes, Antonios Makris, Theodoros Theodoropoulos, Jacopo Massa, Emanuele Carlini, Matteo Mordacchini
2024 J jnl
Urgent Edge Computing.
CoRR
Patrizio Dazzi, Luca Ferrucci, Marco Danelutto, Konstantinos Tserpes, Antonios Makris, Theodoros Theodoropoulos, Jacopo Massa, Emanuele Carlini, Matteo Mordacchini
2023 B conf
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum.
COMPSAC
Marco Aldinucci, Robert Birke, Antonio Brogi, Emanuele Carlini, Massimo Coppola, Marco Danelutto, Patrizio Dazzi, Luca Ferrucci, Stefano Forti, Hanna Kavalionak, Gabriele Mencagli, Matteo Mordacchini, Marcelo Pasin, Federica Paganelli, Massimo Torquati
2023 — conf
A Systematic Mapping Study of Italian Research on Workflows.
SC Workshops
Marco Aldinucci, Elena Maria Baralis, Valeria Cardellini, Iacopo Colonnelli, Marco Danelutto, Sergio Decherchi, Giuseppe Di Modica, Luca Ferrucci, Marco Gribaudo, Francesco Iannone, Marco Lapegna, Doriana Medic, Giuseppa Muscianisi, Francesca Righetti, Eva Sciacca, Nicola Tonellotto, Mauro Tortonesi, Paolo Trunfio, Tullio Vardanega
2023 — conf
DATA7: A Dataset for Assessing Resource and Application Management Solutions at the Edge.
FRAME@HPDC
Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Luca Ferrucci, Hanna Kavalionak, Matteo Mordacchini
2023 — ed.
Proceedings of the 3rd Workshop on Flexible Resource and Application Management on the Edge, FRAME@HPDC 2023, Orlando, FL, USA, 20 June 2023
FRAME@HPDC
Hanna Kavalionak, Ioannis Kontopoulos, Massimo Coppola, Luca Ferrucci
2023 Misc conf
StarFlow: fine-grained execution of workflows in Hybrid Cloud HPC for data stream applications.
UCC
Luca Ferrucci, Marco Danelutto, Patrizio Dazzi
2022 — conf
Decentralized Federated Learning and Network Topologies: an Empirical Study on Convergence.
SEBD
Hanna Kavalionak, Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini, Massimo Coppola
2022 — conf
Energy and QoE aware Placement of Applications and Data at the Edge.
SEBD
Matteo Mordacchini, Luca Ferrucci, Emanuele Carlini, Hanna Kavalionak, Massimo Coppola, Patrizio Dazzi
2022 A conf
FRAME 2022: The 2nd Workshop on Flexible Resource and Application Management on the Edge.
HPDC
Luca Ferrucci, Massimo Coppola, Hanna Kavalionak, Ioannis Kontopoulos
2022 — ed.
FRAME@HPDC 2022: Proceedings of the 2nd Workshop on Flexible Resource and Application Management on the Edge, Minneapolis, MN, USA, 1 July 2022
FRAME@HPDC
Luca Ferrucci, Massimo Coppola, Hanna Kavalionak, Ioannis Kontopoulos
2022 — conf
Network Measurements with Function-as-a-Service for Distributed Low-latency Edge Applications.
FRAME@HPDC
Emanuele Carlini, Hanna Kavalionak, Patrizio Dazzi, Luca Ferrucci, Massimo Coppola, Matteo Mordacchini
2021 J jnl
Efficient Resources Distribution for an Ephemeral Cloud/Edge continuum.
CoRR
Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini
2021 — ed.
FRAME@HPDC 2021: Proceedings of the 1st Workshop on Flexible Resource and Application Management on the Edge, Virtual Event, Sweden, 25 June, 2021.
FRAME@HPDC
Massimo Cafaro, Luca Ferrucci, Hanna Kavalionak, Antonios Makris
2021 C conf
Impact of Network Topology on the Convergence of Decentralized Federated Learning Systems.
ISCC
Hanna Kavalionak, Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini, Massimo Coppola
2021 — conf
Latency Preserving Self-optimizing Placement at the Edge.
FRAME@HPDC
Luca Ferrucci, Matteo Mordacchini, Massimo Coppola, Emanuele Carlini, Hanna Kavalionak, Patrizio Dazzi
2021 — conf
Self-organizing Energy-Minimization Placement of QoE-Constrained Services at the Edge.
GECON
Matteo Mordacchini, Luca Ferrucci, Emanuele Carlini, Hanna Kavalionak, Massimo Coppola, Patrizio Dazzi
2019 — conf
Interoperability of home automation systems as a critical challenge for IoT.
ICCCS
Vittorio Miori, Dario Russo, Luca Ferrucci
2016 J jnl
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci.
Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci
2016 J jnl
Multidimensional range queries on hierarchical Voronoi overlays.
J. Comput. Syst. Sci.
Luca Ferrucci, Laura Ricci, Michele Albano, Ranieri Baraglia, Matteo Mordacchini
2015 — conf
Introducing New Technology into Italian Certified Electronic Mail: A Proposal.
TELERISE@ICSE
Marina Buzzi, Luca Ferrucci, Francesco Gennai, Claudio Petrucci
2014 — conf
A Timed Semantics of Workflows.
ICSOFT (Selected Papers)
Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara
2014 J jnl
An LTL Semantics of Business Workflows with Recovery.
CoRR
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
2014 — conf
An LTL Semantics of BusinessWorkflows with Recovery.
ICSOFT PT
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
2014 J jnl
Automated formal verification for flexible manufacturing systems.
J. Intell. Manuf.
Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi
2014 — —
Integrating formal methods with industrial standards in the development of flexible manufacturing systems.
Luca Ferrucci
2014 — ed.
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014.
MOD*
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara
2012 C conf
A Metric Temporal Logic for Dealing with Zero-Time Transitions.
TIME
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 C conf
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.
FMICS
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 J jnl
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
CoRR
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2010 — conf
Hivory: Range Queries on Hierarchical Voronoi Overlays.
Peer-to-Peer Computing
Matteo Mordacchini, Laura Ricci, Luca Ferrucci, Michele Albano, Ranieri Baraglia