Archivio Istituzionale della RicercaVILLA, TIZIANO
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
2024 Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package
2023 Capogrosso, L; Geretti, L; Cristani, M; Fummi, F; Villa, T
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study / Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 12:(2024), pp. 154570-154599. [10.1109/access.2024.3479411] | 1-gen-2024 | Bombieri, NicolaCapogrosso, LuigiFummi, FrancoPaci, FedericaPravadelli, GrazianoQuintarelli, ElisaVilla, TizianoQuaglia, Davide + | Enhancing_Safety_and_Privacy_in_Industry_4.0_The_ICE_Laboratory_Case_Study.pdf |
| HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package / Capogrosso, L; Geretti, L; Cristani, M; Fummi, F; Villa, T. - (2023), pp. 87-90. (Intervento presentato al convegno 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) tenutosi a Tallinn (EST) nel May 3-5, 2023) [10.1109/DDECS57882.2023.10139480]. | 1-gen-2023 | Capogrosso, LFummi, FVilla, T + | HermesBDD_A_Multi-Core_and_Multi-Platform_Binary_Decision_Diagram_Package.pdf |