Luca Ferrucci

According to our database, Luca Ferrucci authored at least 25 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Decentralized Replica Management in Latency-Bound Edge Environments for Resource Usage Minimization.

Luca Ferrucci, Matteo Mordacchini, Patrizio Dazzi

IEEE Access, 2024

2023

A Systematic Mapping Study of Italian Research on Workflows.

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

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

DATA7: A Dataset for Assessing Resource and Application Management Solutions at the Edge.

Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Luca Ferrucci, Hanna Kavalionak, Matteo Mordacchini

Proceedings of the 3rd Workshop on Flexible Resource and Application Management on the Edge, 2023

A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum.

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

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Energy and QoE aware Placement of Applications and Data at the Edge.

Matteo Mordacchini, Luca Ferrucci, Emanuele Carlini, Hanna Kavalionak, Massimo Coppola, Patrizio Dazzi

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Decentralized Federated Learning and Network Topologies: an Empirical Study on Convergence.

Hanna Kavalionak, Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini, Massimo Coppola

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

FRAME 2022: The 2nd Workshop on Flexible Resource and Application Management on the Edge.

Luca Ferrucci, Massimo Coppola, Hanna Kavalionak, Ioannis Kontopoulos

Proceedings of the HPDC '22: The 31st International Symposium on High-Performance Parallel and Distributed Computing, Minneapolis, MN, USA, 27 June 2022, 2022

Network Measurements with Function-as-a-Service for Distributed Low-latency Edge Applications.

Emanuele Carlini, Hanna Kavalionak, Patrizio Dazzi, Luca Ferrucci, Massimo Coppola, Matteo Mordacchini

Proceedings of the FRAME@HPDC 2022: Proceedings of the 2nd Workshop on Flexible Resource and Application Management on the Edge, 2022

2021

Efficient Resources Distribution for an Ephemeral Cloud/Edge continuum.

Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini

CoRR, 2021

Impact of Network Topology on the Convergence of Decentralized Federated Learning Systems.

Hanna Kavalionak, Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini, Massimo Coppola

Proceedings of the IEEE Symposium on Computers and Communications, 2021

Latency Preserving Self-optimizing Placement at the Edge.

Luca Ferrucci, Matteo Mordacchini, Massimo Coppola, Emanuele Carlini, Hanna Kavalionak, Patrizio Dazzi

Proceedings of the FRAME@HPDC 2021: Proceedings of the 1st Workshop on Flexible Resource and Application Management on the Edge, 2021

Self-organizing Energy-Minimization Placement of QoE-Constrained Services at the Edge.

Matteo Mordacchini, Luca Ferrucci, Emanuele Carlini, Hanna Kavalionak, Massimo Coppola, Patrizio Dazzi

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2021

2019

Interoperability of home automation systems as a critical challenge for IoT.

Vittorio Miori, Dario Russo, Luca Ferrucci

Proceedings of the 2019 4th International Conference on Computing, 2019

2016

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.

Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci

Theor. Comput. Sci., 2016

Multidimensional range queries on hierarchical Voronoi overlays.

Luca Ferrucci, Laura Ricci, Michele Albano, Ranieri Baraglia, Matteo Mordacchini

J. Comput. Syst. Sci., 2016

2015

Introducing New Technology into Italian Certified Electronic Mail: A Proposal.

Marina Buzzi, Luca Ferrucci, Francesco Gennai, Claudio Petrucci

Proceedings of the 1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, 2015

2014

Integrating formal methods with industrial standards in the development of flexible manufacturing systems.

Luca Ferrucci

PhD thesis, 2014

Automated formal verification for flexible manufacturing systems.

Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi

J. Intell. Manuf., 2014

An LTL Semantics of Business Workflows with Recovery.

Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara

CoRR, 2014

An LTL Semantics of BusinessWorkflows with Recovery.

Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara

Proceedings of the ICSOFT-PT 2014, 2014

A Timed Semantics of Workflows.

Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

2012

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

CoRR, 2012

A Metric Temporal Logic for Dealing with Zero-Time Transitions.

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2010

Hivory: Range Queries on Hierarchical Voronoi Overlays.

Matteo Mordacchini, Laura Ricci, Luca Ferrucci, Michele Albano, Ranieri Baraglia

Proceedings of the IEEE Tenth International Conference on Peer-to-Peer Computing, 2010