Archivio Istituzionale della RicercaFUMMI, FRANCO
Mostra
records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.034 secondi).
A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors
2019 Vinco, Sara; Bombieri, Nicola; JAHIER PAGLIARI, Daniele; Fummi, Franco; Macii, Enrico; Poncino, Massimo
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems
2017 Vinco, Sara; Chen, Yukai; Fummi, Franco; Macii, Enrico; Poncino, Massimo
A Unifying Flow to Ease Smart Systems Integration
2016 Lora, Michele; Vinco, Sara; Fummi, Franco
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms
2018 Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco
DOHMO: Embedded Computer Vision in Co-Housing Scenarios
2021 Skenderi, G; Bozzini, A; Capogrosso, L; Agrillo, Ec; Perbellini, G; Fummi, F; Cristani, M
Functionality and Fault Modeling of a DC Motor with Verilog-AMS
2020 Dall'Ora, Nicola; Vinco, Sara; Fummi, Franco
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package
2023 Capogrosso, L; Geretti, L; Cristani, M; Fummi, F; Villa, T
I-SPLIT: Deep Network Interpretability for Split Computing
2022 Cunico, Federico; Capogrosso, Luigi; Setti, Francesco; Carra, Damiano; Fummi, Franco; Cristani, Marco
Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0
In corso di stampa Capogrosso, Luigi; Mascolini, Alessio; Girella, Federico; Skenderi, Geri; Gaiardelli, Sebastiano; Dall'Ora, Nicola; Ponzio, Francesco; Fraccaroli, Enrico; DI CATALDO, Santa; Vinco, Sara; Macii, Enrico; Fummi, Franco; Cristani, Marco
Robotic Arm Dataset (RoAD): a Dataset to Support the Design and Test of Machine Learning-driven Anomaly Detection in a Production Line
In corso di stampa Mascolini, Alessio; Gaiardelli, Sebastiano; Ponzio, Francesco; Dall’Ora, Nicola; Macii, Enrico; Vinco, Sara; DI CATALDO, Santa; Fummi, Franco
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework
2017 Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco
Smart System Case Studies
2016 Blanco, Ignazio; Cenni, Fabio; Carminati, Roberto; Ciccazzo, Angelo; Dalle Feste, Sandro; Fummi, Franco; Gangemi, Giuliana; Grilli, Fabio; Grosso, Michelangelo; Guarnera, Mirko; Lora, Michele; Pomarico, Anna A.; Rasconà, Gaetano; Rinaudo, Salvatore; Roselli, Giuditta
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing
2022 Alamin, KHALED SIDAHMED SIDAHMED; Chen, Yukai; Gaiardelli, Sebastiano; Spellini, Stefano; Calimera, Andrea; Beghi, Alessandro; Susto, Antonio; Fummi, Franco; Macii, Enrico; Vinco, Sara
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications
2023 Capogrosso, L; Cunico, F; Lora, M; Cristani, M; Fummi, F; Quaglia, D
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors
In corso di stampa Tosoni, Francesco; Dall’Ora, Nicola; Fraccaroli, Enrico; Vinco, Sara; Fummi, Franco
Toward Smart Doors: A Position Paper
2023 Capogrosso, Luigi; Skenderi, Geri; Girella, Federico; Fummi, Franco; Cristani, Marco
Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments
2023 Turetta, Cristian; Skenderi, Geri; Capogrosso, Luigi; Demrozi, Florenc; Kindt, Philipp H.; Masrur, Alejandro; Fummi, Franco; Cristani, Marco; Pravadelli, Graziano
Translation, Abstraction and Integration for Effective Smart System Design
2019 Lora, Michele; Vinco, Sara; Fummi, Franco
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors / Vinco, Sara; Bombieri, Nicola; JAHIER PAGLIARI, Daniele; Fummi, Franco; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - STAMPA. - 24:3(2019), pp. 1-23. [10.1145/3308565] | 1-gen-2019 | SARA VINCOBOMBIERI, NICOLADANIELE JAHIER PAGLIARIFRANCO FUMMIENRICO MACIIMASSIMO PONCINO | main.pdf; 3308565(1).pdf |
| A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems / Vinco, Sara; Chen, Yukai; Fummi, Franco; Macii, Enrico; Poncino, Massimo. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - ELETTRONICO. - 36:10(2017), pp. 1702-1715. [10.1109/TCAD.2017.2650980] | 1-gen-2017 | VINCO, SARACHEN, YUKAIFUMMI, FRANCOMACII, EnricoPONCINO, MASSIMO | 07812663.pdf; main.pdf |
| A Unifying Flow to Ease Smart Systems Integration / Lora, Michele; Vinco, Sara; Fummi, Franco. - ELETTRONICO. - (2016), pp. 113-120. (Intervento presentato al convegno International High-Level Design Validation and Test Workshop (HLDVT), 2016 tenutosi a Santa Cruz, California nel 7-8 Ottobre 2016) [10.1109/HLDVT.2016.7748264]. | 1-gen-2016 | VINCO, SARAFUMMI, FRANCO + | main.pdf; 07748264.pdf |
| Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms / Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - ELETTRONICO. - 37:2(2018), pp. 378-391. [10.1109/TCAD.2017.2705129] | 1-gen-2018 | VINCO, SARAQUAGLIA, DavideFUMMI, FRANCO + | main.pdf; 07930460.pdf |
| DOHMO: Embedded Computer Vision in Co-Housing Scenarios / Skenderi, G; Bozzini, A; Capogrosso, L; Agrillo, Ec; Perbellini, G; Fummi, F; Cristani, M. - 2021-September:(2021), pp. 01-08. (Intervento presentato al convegno Forum on Specification, Verification and Design Languages, FDL tenutosi a Antibes, France nel 08-10 September 2021) [10.1109/FDL53530.2021.9568372]. | 1-gen-2021 | Capogrosso, LFummi, F + | DOHMO_Embedded_Computer_Vision_in_Co-Housing_Scenarios.pdf |
| Functionality and Fault Modeling of a DC Motor with Verilog-AMS / Dall'Ora, Nicola; Vinco, Sara; Fummi, Franco. - (2020), pp. 35-40. (Intervento presentato al convegno IEEE International Conference on Industrial Informatics (INDIN) tenutosi a Warwick, United Kingdom nel 20-23 July 2020) [10.1109/INDIN45582.2020.9442191]. | 1-gen-2020 | Sara VincoFranco Fummi + | 09442191.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 nel May 3-5, 2023) [10.1109/DDECS57882.2023.10139480]. | 1-gen-2023 | Capogrosso, LFummi, FVilla, T + | - |
| I-SPLIT: Deep Network Interpretability for Split Computing / Cunico, Federico; Capogrosso, Luigi; Setti, Francesco; Carra, Damiano; Fummi, Franco; Cristani, Marco. - (2022), pp. 2575-2581. (Intervento presentato al convegno 26th International Conference on Pattern Recognition (ICPR) tenutosi a Montréal Québec nel August 21-25, 2022) [10.1109/icpr56361.2022.9956625]. | 1-gen-2022 | Luigi CapogrossoDamiano CarraFranco Fummi + | - |
| Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0 / Capogrosso, Luigi; Mascolini, Alessio; Girella, Federico; Skenderi, Geri; Gaiardelli, Sebastiano; Dall'Ora, Nicola; Ponzio, Francesco; Fraccaroli, Enrico; DI CATALDO, Santa; Vinco, Sara; Macii, Enrico; Fummi, Franco; Cristani, Marco. - (In corso di stampa). (Intervento presentato al convegno Forum on specification & Design Languages). | In corso di stampa | Luigi CapogrossoAlessio MascoliniFrancesco PonzioSanta Di CataldoSara VincoEnrico MaciiFranco Fummi + | - |
| Robotic Arm Dataset (RoAD): a Dataset to Support the Design and Test of Machine Learning-driven Anomaly Detection in a Production Line / Mascolini, Alessio; Gaiardelli, Sebastiano; Ponzio, Francesco; Dall’Ora, Nicola; Macii, Enrico; Vinco, Sara; DI CATALDO, Santa; Fummi, Franco. - (In corso di stampa). (Intervento presentato al convegno The 49th Annual Conference of the IEEE Industrial Electronics Society). | In corso di stampa | Alessio MascoliniFrancesco PonzioEnrico MaciiSara VincoSanta Di CataldoFranco Fummi + | - |
| Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework / Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco - In: Handbook of Hardware/Software Codesign / Soonhoi Ha, Jürgen Teich. - [s.l] : Springer Netherlands, 2017. - ISBN 978-94-017-7266-2. - pp. 683-720 [10.1007/978-94-017-7358-4_23-2] | 1-gen-2017 | QUAGLIA, DavideVINCO, SARAFUMMI, FRANCO + | - |
| Smart System Case Studies / Blanco, Ignazio; Cenni, Fabio; Carminati, Roberto; Ciccazzo, Angelo; Dalle Feste, Sandro; Fummi, Franco; Gangemi, Giuliana; Grilli, Fabio; Grosso, Michelangelo; Guarnera, Mirko; Lora, Michele; Pomarico, Anna A.; Rasconà, Gaetano; Rinaudo, Salvatore; Roselli, Giuditta - In: Smart systems integration and simulation / Bombieri N., Poncino M., Pravadelli N.. - [s.l] : Springer, 2016. - ISBN 978-3-319-27390-7. - pp. 195-227 [10.1007/978-3-319-27392-1_8] | 1-gen-2016 | FUMMI, FRANCOGROSSO, MICHELANGELO + | - |
| SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing / Alamin, KHALED SIDAHMED SIDAHMED; Chen, Yukai; Gaiardelli, Sebastiano; Spellini, Stefano; Calimera, Andrea; Beghi, Alessandro; Susto, Antonio; Fummi, Franco; Macii, Enrico; Vinco, Sara. - (2022), pp. 1-6. (Intervento presentato al convegno IEEE Latin-American Test Symposium tenutosi a Montevideo (Uruguay) nel 5th - 8th September 2022) [10.1109/LATS57337.2022.9937011]. | 1-gen-2022 | Khaled Sidahmed Sidahmed AlaminYukai ChenAndrea CalimeraAlessandro BeghiFranco FummiEnrico MaciiSara Vinco + | LATS2022_CR_version (1).pdf; SMART-IC_Smart_Monitoring_and_Production_Optimization_for_Zero-waste_Semiconductor_Manufacturing.pdf |
| Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications / Capogrosso, L; Cunico, F; Lora, M; Cristani, M; Fummi, F; Quaglia, D. - ELETTRONICO. - (2023), pp. 39-44. (Intervento presentato al convegno 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) tenutosi a Tallinn nel May 3-5, 2023) [10.1109/DDECS57882.2023.10139711]. | 1-gen-2023 | Capogrosso, LFummi, FQuaglia, D + | - |
| Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors / Tosoni, Francesco; Dall’Ora, Nicola; Fraccaroli, Enrico; Vinco, Sara; Fummi, Franco. - ELETTRONICO. - (In corso di stampa). (Intervento presentato al convegno IEEE International Conference on Industrial Informatics (INDIN 2023) tenutosi a Lemgo, Germania nel Luglio 2023). | In corso di stampa | Sara VincoFranco Fummi + | 2023_INDIN_Thermal_Faults-1.pdf |
| Toward Smart Doors: A Position Paper / Capogrosso, Luigi; Skenderi, Geri; Girella, Federico; Fummi, Franco; Cristani, Marco. - ELETTRONICO. - 13644:(2023), pp. 660-673. (Intervento presentato al convegno 2nd International Workshop on Industrial Machine Learning @ 26TH International Conference on Pattern Recognition tenutosi a Montréal nel August 21, 2022) [10.1007/978-3-031-37742-6_51]. | 1-gen-2023 | Capogrosso, LuigiFummi, Franco + | - |
| Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments / Turetta, Cristian; Skenderi, Geri; Capogrosso, Luigi; Demrozi, Florenc; Kindt, Philipp H.; Masrur, Alejandro; Fummi, Franco; Cristani, Marco; Pravadelli, Graziano. - ELETTRONICO. - (2023), pp. 1-6. (Intervento presentato al convegno Design, Automation & Test in Europe Conference & Exhibition (DATE) tenutosi a Antwerp nel April 17-19, 2023) [10.23919/DATE56975.2023.10137260]. | 1-gen-2023 | Capogrosso, LuigiFummi, FrancoPravadelli, Graziano + | - |
| Translation, Abstraction and Integration for Effective Smart System Design / Lora, Michele; Vinco, Sara; Fummi, Franco. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - 68:10(2019), pp. 1525-1538. [10.1109/TC.2019.2909209] | 1-gen-2019 | Sara VincoFranco Fummi + | 08682118.pdf; main.pdf |