FERRUCCI, LUCA Statistiche

FERRUCCI, LUCA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.022 secondi).
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.