Tutore esterno dottorato
Studenti, Didattica e Internazionalizzazione (STUDI)
Didattica
Collegi di Dottorato
- INFORMATICA, 2022/2023 (39. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2021/2022 (38. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2020/2021 (37. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2019/2020 (36. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2018/2019 (35. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2017/2018 (34. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2016/2017 (33. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2015/2016 (32. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2014/2015 (31. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2013/2014 (30. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2012/2013 (29. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2011/2012 (28. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2010/2011 (27. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2009/2010 (26. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2008/2009 (25. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2007/2008 (24. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2006/2007 (23. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2005/2006 (22. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2004/2005 (21. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2003/2004 (20. ciclo)
Università degli Studi di VERONA - INFORMATICA, 2002/2003 (19. ciclo)
Università degli Studi di VERONA
Ricerca
Dottorandi
- Luigi Capogrosso. Corso in Intelligenza Artificiale (37o ciclo, 2021-in corso)
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Capogrosso, Luigi; Girella, Federico; Taioli, Francesco; Chiara, Michele; Aqeel, ... (2024)
Diffusion-Based Image Generation for In-Distribution Data Augmentation in Surface Defect Detection. In: 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Rome, Italy, 27 - 29 February, 2024, pp. 409-416. ISBN: 978-989-758-679-8
Contributo in Atti di Convegno (Proceeding) - Capogrosso, Luigi; Cunico, Federico; Cheng, Dong Seon; Fummi, Franco; Cristani, Marco (2024)
A Machine Learning-Oriented Survey on Tiny Machine Learning. In: IEEE ACCESS, vol. 12, pp. 23406-23426. ISSN 2169-3536
Contributo su Rivista - Capogrosso, L; Geretti, L; Cristani, M; Fummi, F; Villa, T (2023)
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. In: 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Tallinn (EST), May 3-5, 2023, pp. 87-90. ISSN 2334-3133. ISBN: 979-8-3503-3277-3
Contributo in Atti di Convegno (Proceeding) - Capogrosso, L; Cunico, F; Lora, M; Cristani, M; Fummi, F; Quaglia, D (2023)
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. In: 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Tallinn (EST), May 3-5, 2023, pp. 39-44. ISSN 2334-3133. ISBN: 979-8-3503-3277-3
Contributo in Atti di Convegno (Proceeding) - Turetta, Cristian; Skenderi, Geri; Capogrosso, Luigi; Demrozi, Florenc; Kindt, Philipp ... (2023)
Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), Antwerp, April 17-19, 2023, pp. 1-6. ISBN: 978-3-9819263-7-8
Contributo in Atti di Convegno (Proceeding) - Capogrosso, Luigi; Mascolini, Alessio; Girella, Federico; Skenderi, Geri; Gaiardelli, ... (2023)
Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0. In: Forum on specification & Design Languages, Turin, Italy, 13-15 September 2023, pp. 1-4. ISBN: 979-8-3503-0737-5
Contributo in Atti di Convegno (Proceeding) - Mascolini, Alessio; Gaiardelli, Sebastiano; Ponzio, Francesco; Dall’Ora, Nicola; Macii, ... (2023)
Robotic Arm Dataset (RoAD): a Dataset to Support the Design and Test of Machine Learning-driven Anomaly Detection in a Production Line. In: The 49th Annual Conference of the IEEE Industrial Electronics Society, Singapore, Singapore, 16-19 October 2023
Contributo in Atti di Convegno (Proceeding) - Capogrosso, Luigi; Skenderi, Geri; Girella, Federico; Fummi, Franco; Cristani, Marco (2023)
Toward Smart Doors: A Position Paper. In: 2nd International Workshop on Industrial Machine Learning @ 26TH International Conference on Pattern Recognition, Montréal (CAN), August 21–25, 2022, pp. 660-673. ISSN 0302-9743. ISBN: 978-3-031-37741-9
Contributo in Atti di Convegno (Proceeding) - Tosoni, Francesco; Dall’Ora, Nicola; Fraccaroli, Enrico; Vinco, Sara; Fummi, Franco (2023)
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors. In: IEEE International Conference on Industrial Informatics (INDIN 2023), Lemgo (DEU), 18-20 July 2023. ISBN: 978-1-6654-9313-0
Contributo in Atti di Convegno (Proceeding) - Alamin, KHALED SIDAHMED SIDAHMED; Chen, Yukai; Gaiardelli, Sebastiano; Spellini, ... (2022)
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing. In: IEEE Latin-American Test Symposium, Montevideo (Uruguay), 5th - 8th September 2022, pp. 1-6. ISBN: 978-1-6654-5707-1
Contributo in Atti di Convegno (Proceeding) - Cunico, Federico; Capogrosso, Luigi; Setti, Francesco; Carra, Damiano; Fummi, Franco; ... (2022)
I-SPLIT: Deep Network Interpretability for Split Computing. In: 26th International Conference on Pattern Recognition (ICPR), Montréal Québec (CAN), August 21-25, 2022, pp. 2575-2581. ISSN 1051-4651. ISBN: 978-1-6654-9062-7
Contributo in Atti di Convegno (Proceeding) - Skenderi, G; Bozzini, A; Capogrosso, L; Agrillo, Ec; Perbellini, G; Fummi, F; Cristani, M (2021)
DOHMO: Embedded Computer Vision in Co-Housing Scenarios. In: Forum on Specification, Verification and Design Languages, FDL, Antibes, France, 08-10 September 2021, pp. 01-08. ISSN 1636-9874. ISBN: 978-1-6654-1825-6
Contributo in Atti di Convegno (Proceeding) - Dall'Ora, Nicola; Vinco, Sara; Fummi, Franco (2020)
Functionality and Fault Modeling of a DC Motor with Verilog-AMS. In: IEEE International Conference on Industrial Informatics (INDIN), Warwick, United Kingdom, 20-23 July 2020, pp. 35-40
Contributo in Atti di Convegno (Proceeding) - Lora, Michele; Vinco, Sara; Fummi, Franco (2019)
Translation, Abstraction and Integration for Effective Smart System Design. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 68, pp. 1525-1538. ISSN 0018-9340
Contributo su Rivista - Vinco, Sara; Bombieri, Nicola; JAHIER PAGLIARI, Daniele; Fummi, Franco; Macii, Enrico; ... (2019)
A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, vol. 24, pp. 1-23. ISSN 1084-4309
Contributo su Rivista - Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco (2018)
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 37, pp. 378-391. ISSN 0278-0070
Contributo su Rivista - Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco (2017)
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. In: Handbook of Hardware/Software Codesign / Soonhoi Ha, Jürgen Teich, S.L., Springer Netherlands, pp. 683-720. ISBN: 978-94-017-7266-2
Contributo in Volume - Vinco, Sara; Chen, Yukai; Fummi, Franco; Macii, Enrico; Poncino, Massimo (2017)
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 36, pp. 1702-1715. ISSN 0278-0070
Contributo su Rivista - Lora, Michele; Vinco, Sara; Fummi, Franco (2016)
A Unifying Flow to Ease Smart Systems Integration. In: International High-Level Design Validation and Test Workshop (HLDVT), 2016, Santa Cruz, California, 7-8 Ottobre 2016, pp. 113-120. ISBN: 978-1-5090-4270-8
Contributo in Atti di Convegno (Proceeding) - Blanco, Ignazio; Cenni, Fabio; Carminati, Roberto; Ciccazzo, Angelo; Dalle Feste, ... (2016)
Smart System Case Studies. In: Smart systems integration and simulation / Bombieri N., Poncino M., Pravadelli N., S.L., Springer, pp. 195-227. ISBN: 978-3-319-27390-7
Contributo in Volume