FERRUCCI, LUCA Statistiche
FERRUCCI, LUCA
DIPARTIMENTO DI INFORMATICA
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Proposed Evolution for the Italian Certified Electronic Mail System
2016-01-01 Buzzi, M; Ferrucci, L; Gennai, F; Petrucci, C
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
2016-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO; Ferrucci, Luca
A timed semantics of workflows
2015-01-01 Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M.
An LTL Semantics of BusinessWorkflows with Recovery
2014-01-01 Mazzara, Manuel; Bersani, MARCELLO MARIA; Ferrucci, Luca
Automated Formal Verification for Flexible Manufacturing Systems
2012-01-01 Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated formal verification for flexible manufacturing systems
2014-01-01 Carpanzano, E.; Ferrucci, Luca; Mandrioli, Dino; Mazzolini, M.; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Interoperability of home automation systems as a critical challenge for IoT
2019-01-01 Miori, Vittorio; Russo, Dario; Ferrucci, Luca
Introducing New Technology into Italian Certified Electronic Mail: A Proposal
2015-01-01 Buzzi, M; Ferrucci, L; Gennai, F; Petrucci, C
Latency Preserving Self-optimizing Placement at the Edge
2021-01-01 Ferrucci, Luca; Matteo, Mordacchini; Massimo, Coppola; Emanuele, Carlini; Hanna, Kavalionak; Dazzi, P
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Self-organizing Energy-Minimization Placement of QoE-Constrained Services at the Edge
2021-01-01 Mordacchini, M; Ferrucci, L; Carlini, E; Kavalionak, H; Coppola, M; Dazzi, P
Supporting active aging through a home automation infrastructure for social internet of things
2018-01-01 Miori, V.; Russo, D.; Ferrucci, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Metric Temporal Logic for Dealing with Zero-Time Transitions | 1-gen-2012 | Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI | |
A Proposed Evolution for the Italian Certified Electronic Mail System | 1-gen-2016 | Buzzi, M; Ferrucci, L; Gennai, F; Petrucci, C | |
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications | 1-gen-2016 | Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO; Ferrucci, Luca | |
A timed semantics of workflows | 1-gen-2015 | Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M. | |
An LTL Semantics of BusinessWorkflows with Recovery | 1-gen-2014 | Mazzara, Manuel; Bersani, MARCELLO MARIA; Ferrucci, Luca | |
Automated Formal Verification for Flexible Manufacturing Systems | 1-gen-2012 | Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI | |
Automated formal verification for flexible manufacturing systems | 1-gen-2014 | Carpanzano, E.; Ferrucci, Luca; Mandrioli, Dino; Mazzolini, M.; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI | |
Interoperability of home automation systems as a critical challenge for IoT | 1-gen-2019 | Miori, Vittorio; Russo, Dario; Ferrucci, Luca | |
Introducing New Technology into Italian Certified Electronic Mail: A Proposal | 1-gen-2015 | Buzzi, M; Ferrucci, L; Gennai, F; Petrucci, C | |
Latency Preserving Self-optimizing Placement at the Edge | 1-gen-2021 | Ferrucci, Luca; Matteo, Mordacchini; Massimo, Coppola; Emanuele, Carlini; Hanna, Kavalionak; Dazzi, P | |
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis | 1-gen-2012 | Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI | |
Self-organizing Energy-Minimization Placement of QoE-Constrained Services at the Edge | 1-gen-2021 | Mordacchini, M; Ferrucci, L; Carlini, E; Kavalionak, H; Coppola, M; Dazzi, P | |
Supporting active aging through a home automation infrastructure for social internet of things | 1-gen-2018 | Miori, V.; Russo, D.; Ferrucci, L. |