Hivory: Range Queries on Hierarchical Voronoi Overlays. - Matteo Mordacchini; Laura Ricci; Luca Ferrucci; Michele Albano; Ranieri Baraglia (Peer-to-Peer Computing, 2010)

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (FMICS, 2012)

A Metric Temporal Logic for Dealing with Zero-Time Transitions. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (TIME, 2012)

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (CoRR, 2012)

A Timed Semantics of Workflows. - Marcello M. Bersani; Salvatore Distefano; Luca Ferrucci; Manuel Mazzara (ICSOFT (Selected Papers), 2014)

An LTL Semantics of BusinessWorkflows with Recovery. - Luca Ferrucci; Marcello M. Bersani; Manuel Mazzara (ICSOFT PT, 2014)

An LTL Semantics of Business Workflows with Recovery. - Luca Ferrucci; Marcello M. Bersani; Manuel Mazzara (CoRR, 2014)

Automated formal verification for flexible manufacturing systems. - Emanuele Carpanzano; Luca Ferrucci; Dino Mandrioli; Mauro Mazzolini; Angelo Morzenti; Matteo Rossi 001 (J. Intell. Manuf., 2014)

Integrating formal methods with industrial standards in the development of flexible manufacturing systems. - Luca Ferrucci (2014)

Introducing New Technology into Italian Certified Electronic Mail: A Proposal. - Marina Buzzi; Luca Ferrucci; Francesco Gennai; Claudio Petrucci (TELERISE@ICSE, 2015)

Multidimensional range queries on hierarchical Voronoi overlays. - Luca Ferrucci; Laura Ricci; Michele Albano; Ranieri Baraglia; Matteo Mordacchini (J. Comput. Syst. Sci., 2016)

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. - Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti; Luca Ferrucci (Theor. Comput. Sci., 2016)

Interoperability of home automation systems as a critical challenge for IoT. - Vittorio Miori; Dario Russo; Luca Ferrucci (ICCCS, 2019)

Self-organizing Energy-Minimization Placement of QoE-Constrained Services at the Edge. - Matteo Mordacchini; Luca Ferrucci; Emanuele Carlini; Hanna Kavalionak; Massimo Coppola; Patrizio Dazzi (GECON, 2021)

Latency Preserving Self-optimizing Placement at the Edge. - Luca Ferrucci; Matteo Mordacchini; Massimo Coppola; Emanuele Carlini; Hanna Kavalionak; Patrizio Dazzi (FRAME@HPDC, 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 (ISCC, 2021)

Efficient Resources Distribution for an Ephemeral Cloud/Edge continuum. - Emanuele Carlini; Patrizio Dazzi; Luca Ferrucci; Matteo Mordacchini (CoRR, 2021)

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 (FRAME@HPDC, 2022)

FRAME 2022: The 2nd Workshop on Flexible Resource and Application Management on the Edge. - Luca Ferrucci; Massimo Coppola; Hanna Kavalionak; Ioannis Kontopoulos (HPDC, 2022)

Decentralized Federated Learning and Network Topologies: an Empirical Study on Convergence. - Hanna Kavalionak; Emanuele Carlini; Patrizio Dazzi; Luca Ferrucci; Matteo Mordacchini; Massimo Coppola (SEBD, 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 (SEBD, 2022)

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 002; Hanna Kavalionak; Gabriele Mencagli; Matteo Mordacchini; et al. (COMPSAC, 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 (FRAME@HPDC, 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; et al. (SC Workshops, 2023)

StarFlow: fine-grained execution of workflows in Hybrid Cloud HPC for data stream applications. - Luca Ferrucci; Marco Danelutto; Patrizio Dazzi (UCC, 2023)

Urgent Edge Computing. - Patrizio Dazzi; Luca Ferrucci; Marco Danelutto; Konstantinos Tserpes; Antonios Makris; Theodoros Theodoropoulos; Jacopo Massa; Emanuele Carlini; Matteo Mordacchini (FRAME@HPDC, 2024)

Marginal Cost of Computation as a Collaborative Strategy for Resource Management at the Edge. - Emanuele Carlini; Patrizio Dazzi; Luca Ferrucci; Jacopo Massa; Matteo Mordacchini (GECON, 2024)

Decentralized Replica Management in Latency-Bound Edge Environments for Resource Usage Minimization. - Luca Ferrucci; Matteo Mordacchini; Patrizio Dazzi (IEEE Access, 2024)