default search action
Luca Ferrucci
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2014
- [b1]Luca Ferrucci:
Integrating formal methods with industrial standards in the development of flexible manufacturing systems. Polytechnic University of Milan, Italy, 2014
Journal Articles
- 2024
- [j4]Luca Ferrucci, Matteo Mordacchini, Patrizio Dazzi:
Decentralized Replica Management in Latency-Bound Edge Environments for Resource Usage Minimization. IEEE Access 12: 19229-19249 (2024) - 2016
- [j3]Luca Ferrucci, Laura Ricci, Michele Albano, Ranieri Baraglia, Matteo Mordacchini:
Multidimensional range queries on hierarchical Voronoi overlays. J. Comput. Syst. Sci. 82(7): 1161-1179 (2016) - [j2]Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci:
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theor. Comput. Sci. 643: 38-64 (2016) - 2014
- [j1]Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi:
Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25(5): 1181-1195 (2014)
Conference and Workshop Papers
- 2024
- [c19]Patrizio Dazzi, Luca Ferrucci, Marco Danelutto, Konstantinos Tserpes, Antonios Makris, Theodoros Theodoropoulos, Jacopo Massa, Emanuele Carlini, Matteo Mordacchini:
Urgent Edge Computing. FRAME@HPDC 2024 - 2023
- [c18]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:
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum. COMPSAC 2023: 1852-1857 - [c17]Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Luca Ferrucci, Hanna Kavalionak, Matteo Mordacchini:
DATA7: A Dataset for Assessing Resource and Application Management Solutions at the Edge. FRAME@HPDC 2023: 3-6 - [c16]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:
A Systematic Mapping Study of Italian Research on Workflows. SC Workshops 2023: 2065-2076 - [c15]Luca Ferrucci, Marco Danelutto, Patrizio Dazzi:
StarFlow: fine-grained execution of workflows in Hybrid Cloud HPC for data stream applications. UCC 2023: 64 - 2022
- [c14]Emanuele Carlini, Hanna Kavalionak, Patrizio Dazzi, Luca Ferrucci, Massimo Coppola, Matteo Mordacchini:
Network Measurements with Function-as-a-Service for Distributed Low-latency Edge Applications. FRAME@HPDC 2022: 25-28 - [c13]Luca Ferrucci, Massimo Coppola, Hanna Kavalionak, Ioannis Kontopoulos:
FRAME 2022: The 2nd Workshop on Flexible Resource and Application Management on the Edge. HPDC 2022: 288-289 - [c12]Matteo Mordacchini, Luca Ferrucci, Emanuele Carlini, Hanna Kavalionak, Massimo Coppola, Patrizio Dazzi:
Energy and QoE aware Placement of Applications and Data at the Edge. SEBD 2022: 109-116 - [c11]Hanna Kavalionak, Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini, Massimo Coppola:
Decentralized Federated Learning and Network Topologies: an Empirical Study on Convergence. SEBD 2022: 317-324 - 2021
- [c10]Matteo Mordacchini, Luca Ferrucci, Emanuele Carlini, Hanna Kavalionak, Massimo Coppola, Patrizio Dazzi:
Self-organizing Energy-Minimization Placement of QoE-Constrained Services at the Edge. GECON 2021: 133-142 - [c9]Luca Ferrucci, Matteo Mordacchini, Massimo Coppola, Emanuele Carlini, Hanna Kavalionak, Patrizio Dazzi:
Latency Preserving Self-optimizing Placement at the Edge. FRAME@HPDC 2021: 3-8 - [c8]Hanna Kavalionak, Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini, Massimo Coppola:
Impact of Network Topology on the Convergence of Decentralized Federated Learning Systems. ISCC 2021: 1-6 - 2019
- [c7]Vittorio Miori, Dario Russo, Luca Ferrucci:
Interoperability of home automation systems as a critical challenge for IoT. ICCCS 2019: 1-7 - 2015
- [c6]Marina Buzzi, Luca Ferrucci, Francesco Gennai, Claudio Petrucci:
Introducing New Technology into Italian Certified Electronic Mail: A Proposal. TELERISE@ICSE 2015: 32-37 - 2014
- [c5]Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of BusinessWorkflows with Recovery. ICSOFT PT 2014: 29-40 - [c4]Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara:
A Timed Semantics of Workflows. ICSOFT (Selected Papers) 2014: 365-383 - 2012
- [c3]Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS 2012: 162-176 - [c2]Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012: 81-88 - 2010
- [c1]Matteo Mordacchini, Laura Ricci, Luca Ferrucci, Michele Albano, Ranieri Baraglia:
Hivory: Range Queries on Hierarchical Voronoi Overlays. Peer-to-Peer Computing 2010: 1-10
Editorship
- 2024
- [e5]Massimo Coppola, Hanna Kavalionak, Luca Ferrucci, Ioannis Kontopoulos:
Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge, FRAME 2024, Pisa, Italy, June 3-7, 2024. ACM 2024, ISBN 979-8-4007-0641-7 [contents] - 2023
- [e4]Hanna Kavalionak, Ioannis Kontopoulos, Massimo Coppola, Luca Ferrucci:
Proceedings of the 3rd Workshop on Flexible Resource and Application Management on the Edge, FRAME@HPDC 2023, Orlando, FL, USA, 20 June 2023. ACM 2023 [contents] - 2022
- [e3]Luca Ferrucci, Massimo Coppola, Hanna Kavalionak, Ioannis Kontopoulos:
FRAME@HPDC 2022: Proceedings of the 2nd Workshop on Flexible Resource and Application Management on the Edge, Minneapolis, MN, USA, 1 July 2022. ACM 2022, ISBN 978-1-4503-9310-2 [contents] - 2021
- [e2]Massimo Cafaro, Luca Ferrucci, Hanna Kavalionak, Antonios Makris:
FRAME@HPDC 2021: Proceedings of the 1st Workshop on Flexible Resource and Application Management on the Edge, Virtual Event, Sweden, 25 June, 2021. ACM 2021, ISBN 978-1-4503-8384-4 [contents] - 2014
- [e1]Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara:
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. EPTCS 168, 2014 [contents]
Informal and Other Publications
- 2024
- [i4]Patrizio Dazzi, Luca Ferrucci, Marco Danelutto, Konstantinos Tserpes, Antonios Makris, Theodoros Theodoropoulos, Jacopo Massa, Emanuele Carlini, Matteo Mordacchini:
Urgent Edge Computing. CoRR abs/2404.13411 (2024) - 2021
- [i3]Emanuele Carlini, Patrizio Dazzi, Luca Ferrucci, Matteo Mordacchini:
Efficient Resources Distribution for an Ephemeral Cloud/Edge continuum. CoRR abs/2107.07195 (2021) - 2014
- [i2]Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara:
An LTL Semantics of Business Workflows with Recovery. CoRR abs/1406.1395 (2014) - 2012
- [i1]Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint