% Electronic Systems Design (ESD), University of Verona — publications
% Generated from the site bibliography; 78 entries.

@inproceedings{DBLP:conf/date/TurettaADP25,
  author = {Cristian Turetta and Muhammad Toqeer Ali and Florenc Demrozi and Graziano Pravadelli},
  title = {A Lightweight {CNN} for {Real-Time} {Pre-Impact} Fall Detection},
  booktitle = {DATE},
  year = {2025},
  doi = {10.23919/DATE64628.2025.10993022},
  url = {https://doi.org/10.23919/DATE64628.2025.10993022},
  biburl = {https://dblp.org/rec/conf/date/TurettaADP25.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/dac/MascoliniGPDMVC24,
  author = {Alessio Mascolini and Sebastiano Gaiardelli and Francesco Ponzio and Nicola Dall'Ora and Enrico Macii and Sara Vinco and Santa Di Cataldo and Franco Fummi},
  title = {{VARADE}: a Variational-based {AutoRegressive} model for Anomaly Detection on the Edge},
  booktitle = {DAC},
  year = {2024},
  doi = {10.1145/3649329.3655691},
  url = {https://doi.org/10.1145/3649329.3655691},
  biburl = {https://dblp.org/rec/conf/dac/MascoliniGPDMVC24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/AlaminABDDCFGLM24,
  author = {Khaled Sidahmed Sidahmed Alamin and Davide Appello and Alessandro Beghi and Nicola Dall'Ora and Fabio Depaoli and Santa Di Cataldo and Franco Fummi and Sebastiano Gaiardelli and Michele Lora and Enrico Macii and Alessio Mascolini and Daniele Pagano and Francesco Ponzio and Gian Antonio Susto and Sara Vinco},
  title = {An {AI-Enabled} Framework for Smart Semiconductor Manufacturing},
  booktitle = {DATE},
  year = {2024},
  doi = {10.23919/DATE58400.2024.10546768},
  url = {https://doi.org/10.23919/DATE58400.2024.10546768},
  biburl = {https://dblp.org/rec/conf/date/AlaminABDDCFGLM24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/LoraGOS0F24,
  author = {Michele Lora and Sebastiano Gaiardelli and Chanwook Oh and Stefano Spellini and Pierluigi Nuzzo 0002 and Franco Fummi},
  title = {Design Automation for {Cyber-Physical} Production Systems: Lessons Learned from the {DeFacto} Project},
  booktitle = {DATE},
  year = {2024},
  doi = {10.23919/DATE58400.2024.10546563},
  url = {https://doi.org/10.23919/DATE58400.2024.10546563},
  biburl = {https://dblp.org/rec/conf/date/LoraGOS0F24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/TurettaKMCPD24,
  author = {Cristian Turetta and Philipp H. Kindt and Alejandro Masrur and Samarjit Chakraborty and Graziano Pravadelli and Florenc Demrozi},
  title = {Environmental Microchanges in {WiFi} Sensing},
  booktitle = {DATE},
  year = {2024},
  url = {https://ieeexplore.ieee.org/document/10546544},
  biburl = {https://dblp.org/rec/conf/date/TurettaKMCPD24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/etfa/UddinGLCF24,
  author = {Mohammad Uddin and Sebastiano Gaiardelli and Michele Lora and Dong Seon Cheng and Franco Fummi},
  title = {A {Multi-Material} and {Multi-Scenario} Dataset for Additive and Subtractive Manufacturing Operations},
  booktitle = {ETFA},
  year = {2024},
  doi = {10.1109/ETFA61755.2024.10710770},
  url = {https://doi.org/10.1109/ETFA61755.2024.10710770},
  biburl = {https://dblp.org/rec/conf/etfa/UddinGLCF24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/icit2/GaiardelliDPFFCV24,
  author = {Sebastiano Gaiardelli and Nicola Dall'Ora and Francesco Ponzio and Enrico Fraccaroli and Franco Fummi and Santa Di Cataldo and Sara Vinco},
  title = {A Data Fusion {Service-Oriented} Infrastructure for Production Line Monitoring},
  booktitle = {ICIT},
  year = {2024},
  doi = {10.1109/ICIT58233.2024.10541026},
  url = {https://doi.org/10.1109/ICIT58233.2024.10541026},
  biburl = {https://dblp.org/rec/conf/icit2/GaiardelliDPFFCV24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/icit2/LibroGLF24,
  author = {Mario Libro and Sebastiano Gaiardelli and Michele Lora and Franco Fummi},
  title = {Integrating Modeling Languages with Ontologies in the Context of Industry 4.0},
  booktitle = {ICIT},
  year = {2024},
  doi = {10.1109/ICIT58233.2024.10540801},
  url = {https://doi.org/10.1109/ICIT58233.2024.10540801},
  biburl = {https://dblp.org/rec/conf/icit2/LibroGLF24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/percom/KindtTDMPC24,
  author = {Philipp H. Kindt and Cristian Turetta and Florenc Demrozi and Alejandro Masrur and Graziano Pravadelli and Samarjit Chakraborty},
  title = {Artifact: {WirelessEye} - Seeing over {WiFi} Made Accessible},
  booktitle = {PerCom Workshops},
  year = {2024},
  doi = {10.1109/PERCOMWORKSHOPS59983.2024.10502539},
  url = {https://doi.org/10.1109/PerComWorkshops59983.2024.10502539},
  biburl = {https://dblp.org/rec/conf/percom/KindtTDMPC24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/percom/KindtTDMPC24a,
  author = {Philipp H. Kindt and Cristian Turetta and Florenc Demrozi and Alejandro Masrur and Graziano Pravadelli and Samarjit Chakraborty},
  title = {{WirelessEye} - Seeing over {WiFi} Made Accessible},
  booktitle = {PerCom Workshops},
  year = {2024},
  doi = {10.1109/PERCOMWORKSHOPS59983.2024.10503162},
  url = {https://doi.org/10.1109/PerComWorkshops59983.2024.10503162},
  biburl = {https://dblp.org/rec/conf/percom/KindtTDMPC24a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/access/AliTDP24,
  author = {Muhammed Toqeer Ali and Cristian Turetta and Florenc Demrozi and Graziano Pravadelli},
  title = {{ICT-Based} Solutions for Alzheimer's Disease Care: A Systematic Review},
  journal = {IEEE Access},
  year = {2024},
  doi = {10.1109/ACCESS.2024.3356348},
  url = {https://doi.org/10.1109/ACCESS.2024.3356348},
  biburl = {https://dblp.org/rec/journals/access/AliTDP24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/access/GaiardelliSPTLCF24,
  author = {Sebastiano Gaiardelli and Stefano Spellini and Marco Panato and Carlo Tadiello and Michele Lora and Dong Seon Cheng and Franco Fummi},
  title = {Enabling {Service-Oriented} Manufacturing Through Architectures, Models, and Protocols},
  journal = {IEEE Access},
  year = {2024},
  doi = {10.1109/ACCESS.2024.3385634},
  url = {https://doi.org/10.1109/ACCESS.2024.3385634},
  biburl = {https://dblp.org/rec/journals/access/GaiardelliSPTLCF24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/sncs/DemroziTP24,
  author = {Florenc Demrozi and Cristian Turetta and Graziano Pravadelli},
  title = {{SHPIA} 2.0: An Easily Scalable, {Low-Cost}, Multi-purpose Smart Home Platform for Intelligent Applications},
  journal = {SN Comput. Sci.},
  year = {2024},
  doi = {10.1007/S42979-023-02307-W},
  url = {https://doi.org/10.1007/s42979-023-02307-w},
  biburl = {https://dblp.org/rec/journals/sncs/DemroziTP24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tc/TosoniDFVF24,
  author = {Francesco Tosoni 0002 and Nicola Dall'Ora and Enrico Fraccaroli and Sara Vinco and Franco Fummi},
  title = {Multidomain Fault Models Covering the Analog Side of a Smart or {Cyber-Physical} System},
  journal = {IEEE Trans. Computers},
  year = {2024},
  doi = {10.1109/TC.2023.3345135},
  url = {https://doi.org/10.1109/TC.2023.3345135},
  biburl = {https://dblp.org/rec/journals/tc/TosoniDFVF24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tcad/AzamDFGF24,
  author = {Sadia Azam and Nicola Dall'Ora and Enrico Fraccaroli and Renaud Gillon and Franco Fummi},
  title = {Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review},
  journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
  year = {2024},
  doi = {10.1109/TCAD.2023.3298698},
  url = {https://doi.org/10.1109/TCAD.2023.3298698},
  biburl = {https://dblp.org/rec/journals/tcad/AzamDFGF24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tii/GaiardelliLSF24,
  author = {Sebastiano Gaiardelli and Michele Lora and Stefano Spellini and Franco Fummi},
  title = {{RRPDG}: A Graph Model to Enable {AI-Based} Production Reconfiguration and Optimization},
  journal = {IEEE Trans. Ind. Informatics},
  year = {2024},
  doi = {10.1109/TII.2024.3352645},
  url = {https://doi.org/10.1109/TII.2024.3352645},
  biburl = {https://dblp.org/rec/journals/tii/GaiardelliLSF24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/LeetOLKN23,
  author = {Christopher Leet and Chanwook Oh and Michele Lora and Sven Koenig and Pierluigi Nuzzo 0002},
  title = {{Co-Design} of Topology, Scheduling, and Path Planning in Automated Warehouses},
  booktitle = {DATE},
  year = {2023},
  doi = {10.23919/DATE56975.2023.10137069},
  url = {https://doi.org/10.23919/DATE56975.2023.10137069},
  biburl = {https://dblp.org/rec/conf/date/LeetOLKN23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/TurettaSCDKMFCP23,
  author = {Cristian Turetta and Geri Skenderi and Luigi Capogrosso and Florenc Demrozi and Philipp H. Kindt and Alejandro Masrur and Franco Fummi and Marco Cristani and Graziano Pravadelli},
  title = {Towards Deep Learning-based Occupancy Detection Via {WiFi} Sensing in Unconstrained Environments},
  booktitle = {DATE},
  year = {2023},
  doi = {10.23919/DATE56975.2023.10137260},
  url = {https://doi.org/10.23919/DATE56975.2023.10137260},
  biburl = {https://dblp.org/rec/conf/date/TurettaSCDKMFCP23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/ddecs/CapogrossoCLCFQ23,
  author = {Luigi Capogrosso and Federico Cunico and Michele Lora and Marco Cristani and Franco Fummi and Davide Quaglia},
  title = {{Split-Et-Impera}: A Framework for the Design of Distributed Deep Learning Applications},
  booktitle = {DDECS},
  year = {2023},
  doi = {10.1109/DDECS57882.2023.10139711},
  url = {https://doi.org/10.1109/DDECS57882.2023.10139711},
  biburl = {https://dblp.org/rec/conf/ddecs/CapogrossoCLCFQ23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/fdl/BeghiDPFMSST23,
  author = {Alessandro Beghi and Nicola Dall'Ora and Davide Dalle Pezze and Franco Fummi and Chiara Masiero and Stefano Spellini and Gian Antonio Susto and Francesco Tosoni 0002},
  title = {{VIR2EM}: {VIrtualization} and Remotization for Resilient and Efficient Manufacturing: {Project-Dissemination} Paper},
  booktitle = {FDL},
  year = {2023},
  doi = {10.1109/FDL59689.2023.10272156},
  url = {https://doi.org/10.1109/FDL59689.2023.10272156},
  biburl = {https://dblp.org/rec/conf/fdl/BeghiDPFMSST23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/fdl/CapogrossoMGSGDPFCVMFC23,
  author = {Luigi Capogrosso and Alessio Mascolini and Federico Girella and Geri Skenderi and Sebastiano Gaiardelli and Nicola Dall'Ora and Francesco Ponzio and Enrico Fraccaroli and Santa Di Cataldo and Sara Vinco and Enrico Macii and Franco Fummi and Marco Cristani},
  title = {{Neuro-Symbolic} Empowered Denoising Diffusion Probabilistic Models for {Real-Time} Anomaly Detection in Industry 4.0: {Wild-and-Crazy-Idea} Paper},
  booktitle = {FDL},
  year = {2023},
  doi = {10.1109/FDL59689.2023.10272095},
  url = {https://doi.org/10.1109/FDL59689.2023.10272095},
  biburl = {https://dblp.org/rec/conf/fdl/CapogrossoMGSGDPFCVMFC23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/glvlsi/DallOraAFGF23,
  author = {Nicola Dall'Ora and Sadia Azam and Enrico Fraccaroli and Renaud Gillon and Franco Fummi},
  title = {{Verilog-A} Implementation of Generic Defect Templates for Analog Fault Injection},
  booktitle = {ACM Great Lakes Symposium on VLSI},
  year = {2023},
  doi = {10.1145/3583781.3590317},
  url = {https://doi.org/10.1145/3583781.3590317},
  biburl = {https://dblp.org/rec/conf/glvlsi/DallOraAFGF23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/icdh/DemroziTP23,
  author = {Florenc Demrozi and Cristian Turetta and Graziano Pravadelli},
  title = {Fostering Human Activity Recognition Workflows: An {Open-Source} Baseline Framework},
  booktitle = {ICDH},
  year = {2023},
  doi = {10.1109/ICDH60066.2023.00018},
  url = {https://doi.org/10.1109/ICDH60066.2023.00018},
  biburl = {https://dblp.org/rec/conf/icdh/DemroziTP23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/iecon/MascoliniGPDMVCF23,
  author = {Alessio Mascolini and Sebastiano Gaiardelli and Francesco Ponzio and Nicola Dall'Ora and Enrico Macii and Sara Vinco and Santa Di Cataldo and Franco Fummi},
  title = {Robotic Arm Dataset ({RoAD}): A Dataset to Support the Design and Test of Machine {Learning-Driven} Anomaly Detection in a Production Line},
  booktitle = {IECON},
  year = {2023},
  doi = {10.1109/IECON51785.2023.10311726},
  url = {https://doi.org/10.1109/IECON51785.2023.10311726},
  biburl = {https://dblp.org/rec/conf/iecon/MascoliniGPDMVCF23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/indin/TosoniDFVF23,
  author = {Francesco Tosoni 0002 and Nicola Dall'Ora and Enrico Fraccaroli and Sara Vinco and Franco Fummi},
  title = {Thermal Digital Twin of a {Multi-Domain} System for Discovering Mechanical Faulty Behaviors},
  booktitle = {INDIN},
  year = {2023},
  doi = {10.1109/INDIN51400.2023.10218266},
  url = {https://doi.org/10.1109/INDIN51400.2023.10218266},
  biburl = {https://dblp.org/rec/conf/indin/TosoniDFVF23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/iros/LeetOLK023,
  author = {Christopher Leet and Chanwook Oh and Michele Lora and Sven Koenig and Pierluigi Nuzzo 0002},
  title = {Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads},
  booktitle = {IROS},
  year = {2023},
  doi = {10.1109/IROS55552.2023.10341755},
  url = {https://doi.org/10.1109/IROS55552.2023.10341755},
  biburl = {https://dblp.org/rec/conf/iros/LeetOLK023.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/iwasi/TurettaDFZP23,
  author = {Cristian Turetta and Florenc Demrozi and Sofia Franceschi and Davide Zamboni and Graziano Pravadelli},
  title = {{Non-Invasive} Monitoring of Alzheimer's patients through {WiFi} Channel State Information},
  booktitle = {IWASI},
  year = {2023},
  doi = {10.1109/IWASI58316.2023.10164475},
  url = {https://doi.org/10.1109/IWASI58316.2023.10164475},
  biburl = {https://dblp.org/rec/conf/iwasi/TurettaDFZP23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/corr/abs-2307-05988,
  author = {Florenc Demrozi and Cristian Turetta and Fadi Al Machot and Graziano Pravadelli and Philipp H. Kindt},
  title = {A Comprehensive Review of Automated Data Annotation Techniques in Human Activity Recognition},
  journal = {CoRR},
  year = {2023},
  doi = {10.48550/ARXIV.2307.05988},
  url = {https://doi.org/10.48550/arXiv.2307.05988},
  biburl = {https://dblp.org/rec/journals/corr/abs-2307-05988.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tetc/DemroziTKCBVPCSTP23,
  author = {Florenc Demrozi and Cristian Turetta and Philipp H. Kindt and Fabio Chiarani and Ruggero Angelo Bacchin and Nicola Valè and Francesco Pascucci and Paola Cesari and Nicola Smania and Stefano Tamburin and Graziano Pravadelli},
  title = {A {Low-Cost} Wireless Body Area Network for Human Activity Recognition in Healthy Life and Medical Applications},
  journal = {IEEE Trans. Emerg. Top. Comput.},
  year = {2023},
  doi = {10.1109/TETC.2023.3274189},
  url = {https://doi.org/10.1109/TETC.2023.3274189},
  biburl = {https://dblp.org/rec/journals/tetc/DemroziTKCBVPCSTP23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/compsac/BissoliBRDJMPPP22,
  author = {Luisa Bissoli and Davide Bonacina and Nicolò Dalla Riva and Florenc Demrozi and Marin Jereghi and Nicola Marchiotto and Giovanni Perbellini and Bruno Pernice and Erica Pizzocaro and Graziano Pravadelli and Giuseppe Recchia and Anna Lia Sacerdoti and Cristian Turetta and Mauro Zamboni},
  title = {A virtual coaching platform to support therapy compliance in obesity},
  booktitle = {COMPSAC},
  year = {2022},
  doi = {10.1109/COMPSAC54236.2022.00118},
  url = {https://doi.org/10.1109/COMPSAC54236.2022.00118},
  biburl = {https://dblp.org/rec/conf/compsac/BissoliBRDJMPPP22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/compsac/TurettaDP22,
  author = {Cristian Turetta and Florenc Demrozi and Graziano Pravadelli},
  title = {A freely available system for human activity recognition based on a low-cost body area network},
  booktitle = {COMPSAC},
  year = {2022},
  doi = {10.1109/COMPSAC54236.2022.00062},
  url = {https://doi.org/10.1109/COMPSAC54236.2022.00062},
  biburl = {https://dblp.org/rec/conf/compsac/TurettaDP22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/GaiardelliSPLF22,
  author = {Sebastiano Gaiardelli and Stefano Spellini and Marco Panato and Michele Lora and Franco Fummi},
  title = {A Software Architecture to Control {Service-Oriented} Manufacturing Systems},
  booktitle = {DATE},
  year = {2022},
  doi = {10.23919/DATE54114.2022.9774522},
  url = {https://doi.org/10.23919/DATE54114.2022.9774522},
  biburl = {https://dblp.org/rec/conf/date/GaiardelliSPLF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/TurettaDKMP22,
  author = {Cristian Turetta and Florenc Demrozi and Philipp H. Kindt and Alejandro Masrur and Graziano Pravadelli},
  title = {Practical identity recognition using {WiFi's} Channel State Information},
  booktitle = {DATE},
  year = {2022},
  doi = {10.23919/DATE54114.2022.9774772},
  url = {https://doi.org/10.23919/DATE54114.2022.9774772},
  biburl = {https://dblp.org/rec/conf/date/TurettaDKMP22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/etfa/GaiardelliCSF22,
  author = {Sebastiano Gaiardelli and Damiano Carra and Stefano Spellini and Franco Fummi},
  title = {On the Impact of Transport Times in Flexible Job Shop Scheduling Problems},
  booktitle = {ETFA},
  year = {2022},
  doi = {10.1109/ETFA52439.2022.9921441},
  url = {https://doi.org/10.1109/ETFA52439.2022.9921441},
  biburl = {https://dblp.org/rec/conf/etfa/GaiardelliCSF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/fdl/TosoniDFF22,
  author = {Francesco Tosoni and Nicola Dall'Ora and Enrico Fraccaroli and Franco Fummi},
  title = {A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in {Verilog-AMS}},
  booktitle = {FDL},
  year = {2022},
  doi = {10.1109/FDL56239.2022.9925655},
  url = {https://doi.org/10.1109/FDL56239.2022.9925655},
  biburl = {https://dblp.org/rec/conf/fdl/TosoniDFF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/iccad/OhLN22,
  author = {Chanwook Oh and Michele Lora and Pierluigi Nuzzo 0002},
  title = {Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts},
  booktitle = {ICCAD},
  year = {2022},
  doi = {10.1145/3508352.3549446},
  url = {https://doi.org/10.1145/3508352.3549446},
  biburl = {https://dblp.org/rec/conf/iccad/OhLN22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/iccps/LoraN22,
  author = {Michele Lora and Pierluigi Nuzzo 0002},
  title = {A {Contract-Based} Requirement Engineering Framework for the Design of Industrial {Cyber-Physical} Systems},
  booktitle = {ICCPS},
  year = {2022},
  doi = {10.1109/ICCPS54341.2022.00046},
  url = {https://doi.org/10.1109/ICCPS54341.2022.00046},
  biburl = {https://dblp.org/rec/conf/iccps/LoraN22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/icphys/DallOraTFF22,
  author = {Nicola Dall'Ora and Francesco Tosoni and Enrico Fraccaroli and Franco Fummi},
  title = {Inferring Mechanical Fault Models from the Electrical Domain},
  booktitle = {ICPS},
  year = {2022},
  doi = {10.1109/ICPS51978.2022.9817009},
  url = {https://doi.org/10.1109/ICPS51978.2022.9817009},
  biburl = {https://dblp.org/rec/conf/icphys/DallOraTFF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/iecon/GaiardelliSPCF22,
  author = {Sebastiano Gaiardelli and Stefano Spellini and Michele Pasqua and Mariano Ceccato and Franco Fummi},
  title = {Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality},
  booktitle = {IECON},
  year = {2022},
  doi = {10.1109/IECON49645.2022.9968887},
  url = {https://doi.org/10.1109/IECON49645.2022.9968887},
  biburl = {https://dblp.org/rec/conf/iecon/GaiardelliSPCF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/isie/GaiardelliSLF22,
  author = {Sebastiano Gaiardelli and Stefano Spellini and Michele Lora and Franco Fummi},
  title = {A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes},
  booktitle = {ISIE},
  year = {2022},
  doi = {10.1109/ISIE51582.2022.9831468},
  url = {https://doi.org/10.1109/ISIE51582.2022.9831468},
  biburl = {https://dblp.org/rec/conf/isie/GaiardelliSLF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/isola/BoldoBCMDPQT22,
  author = {Michele Boldo and Nicola Bombieri and Stefano Centomo and Mirco De Marchi and Florenc Demrozi and Graziano Pravadelli and Davide Quaglia and Cristian Turetta},
  title = {Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era},
  booktitle = {ISoLA},
  year = {2022},
  doi = {10.1007/978-3-031-19762-8\_13},
  url = {https://doi.org/10.1007/978-3-031-19762-8\_13},
  biburl = {https://dblp.org/rec/conf/isola/BoldoBCMDPQT22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/isqed/AzamDFAGF22,
  author = {Sadia Azam and Nicola Dall'Ora and Enrico Fraccaroli and André Alberts and Renaud Gillon and Franco Fummi},
  title = {Investigation on Realistic Stuck-on/off Defects to Complement {IEEE} P2427 Draft Standard},
  booktitle = {ISQED},
  year = {2022},
  doi = {10.1109/ISQED54688.2022.9806269},
  url = {https://doi.org/10.1109/ISQED54688.2022.9806269},
  biburl = {https://dblp.org/rec/conf/isqed/AzamDFAGF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/isqed/AzamDFF22,
  author = {Sadia Azam and Nicola Dall'Ora and Enrico Fraccaroli and Franco Fummi},
  title = {Functional Level Abstraction and Simulation of {Verilog-AMS} Piecewise Linear Models},
  booktitle = {ISQED},
  year = {2022},
  doi = {10.1109/ISQED54688.2022.9806273},
  url = {https://doi.org/10.1109/ISQED54688.2022.9806273},
  biburl = {https://dblp.org/rec/conf/isqed/AzamDFF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/latw/AlaminCGSCBSFMV22,
  author = {Khaled Sidahmed Sidahmed Alamin and Yukai Chen and Sebastiano Gaiardelli and Stefano Spellini and Andrea Calimera and Alessandro Beghi and Gian Antonio Susto and Franco Fummi and Enrico Macii and Sara Vinco},
  title = {{SMART-IC}: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing},
  booktitle = {LATS},
  year = {2022},
  doi = {10.1109/LATS57337.2022.9937011},
  url = {https://doi.org/10.1109/LATS57337.2022.9937011},
  biburl = {https://dblp.org/rec/conf/latw/AlaminCGSCBSFMV22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/latw/TosoniDFF22,
  author = {Francesco Tosoni and Nicola Dall'Ora and Enrico Fraccaroli and Franco Fummi},
  title = {The Challenges of Coupling {Digital-Twins} with Multiple Classes of Faults},
  booktitle = {LATS},
  year = {2022},
  doi = {10.1109/LATS57337.2022.9937026},
  url = {https://doi.org/10.1109/LATS57337.2022.9937026},
  biburl = {https://dblp.org/rec/conf/latw/TosoniDFF22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/corr/abs-2204-01830,
  author = {Philipp H. Kindt and Cristian Turetta and Florenc Demrozi and Alejandro Masrur and Graziano Pravadelli and Samarjit Chakraborty},
  title = {{WifiEye} - Seeing over {WiFi} Made Accessible},
  journal = {CoRR},
  year = {2022},
  doi = {10.48550/ARXIV.2204.01830},
  url = {https://doi.org/10.48550/arXiv.2204.01830},
  biburl = {https://dblp.org/rec/journals/corr/abs-2204-01830.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tetc/DallOraAFPQV22,
  author = {Nicola Dall'Ora and Khaled Alamin and Enrico Fraccaroli and Massimo Poncino and Davide Quaglia and Sara Vinco},
  title = {Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring},
  journal = {IEEE Trans. Emerg. Top. Comput.},
  year = {2022},
  doi = {10.1109/TETC.2021.3132432},
  url = {https://doi.org/10.1109/TETC.2021.3132432},
  biburl = {https://dblp.org/rec/journals/tetc/DallOraAFPQV22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/dac/LumppPB21,
  author = {Francesco Lumpp and Hiren D. Patel and Nicola Bombieri},
  title = {A Framework for Optimizing {CPU-iGPU} Communication on Embedded Platforms},
  booktitle = {DAC},
  year = {2021},
  doi = {10.1109/DAC18074.2021.9586304},
  url = {https://doi.org/10.1109/DAC18074.2021.9586304},
  biburl = {https://dblp.org/rec/conf/dac/LumppPB21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/AlaminVPDFQ21,
  author = {Khaled Alamin and Sara Vinco and Massimo Poncino and Nicola Dall'Ora and Enrico Fraccaroli and Davide Quaglia},
  title = {Digital Twin Extension with {Extra-Functional} Properties},
  booktitle = {DATE},
  year = {2021},
  doi = {10.23919/DATE51398.2021.9474220},
  url = {https://doi.org/10.23919/DATE51398.2021.9474220},
  biburl = {https://dblp.org/rec/conf/date/AlaminVPDFQ21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/AldegheriBGMP21,
  author = {Stefano Aldegheri and Nicola Bombieri and Samuele Germiniani and Federico Moschin and Graziano Pravadelli},
  title = {A containerized {ROS-compliant} verification environment for robotic systems},
  booktitle = {DATE},
  year = {2021},
  doi = {10.23919/DATE51398.2021.9474167},
  url = {https://doi.org/10.23919/DATE51398.2021.9474167},
  biburl = {https://dblp.org/rec/conf/date/AldegheriBGMP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/DemroziCP21,
  author = {Florenc Demrozi and Fabio Chiarani and Graziano Pravadelli},
  title = {A low-cost {BLE-based} distance estimation, occupancy detection and counting system},
  booktitle = {DATE},
  year = {2021},
  doi = {10.23919/DATE51398.2021.9474150},
  url = {https://doi.org/10.23919/DATE51398.2021.9474150},
  biburl = {https://dblp.org/rec/conf/date/DemroziCP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/ddecs/DallOraAFAF21,
  author = {Nicola Dall'Ora and Sadia Azam and Enrico Fraccaroli and André Alberts and Franco Fummi},
  title = {Predictive Fault Grouping based on Faulty {AC} Matrices},
  booktitle = {DDECS},
  year = {2021},
  doi = {10.1109/DDECS52668.2021.9417072},
  url = {https://doi.org/10.1109/DDECS52668.2021.9417072},
  biburl = {https://dblp.org/rec/conf/ddecs/DallOraAFAF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/etfa/SpelliniGLF21,
  author = {Stefano Spellini and Sebastiano Gaiardelli and Michele Lora and Franco Fummi},
  title = {Enabling Component Reuse in Model-based System Engineering of {Cyber-Physical} Production Systems},
  booktitle = {ETFA},
  year = {2021},
  doi = {10.1109/ETFA45728.2021.9613572},
  url = {https://doi.org/10.1109/ETFA45728.2021.9613572},
  biburl = {https://dblp.org/rec/conf/etfa/SpelliniGLF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/fdl/DallOraAFAF21,
  author = {Nicola Dall'Ora and Sadia Azam and Enrico Fraccaroli and André Alberts and Franco Fummi},
  title = {A Common Manipulation Framework for {Transistor-Level} Languages},
  booktitle = {FDL},
  year = {2021},
  doi = {10.1109/FDL53530.2021.9568379},
  url = {https://doi.org/10.1109/FDL53530.2021.9568379},
  biburl = {https://dblp.org/rec/conf/fdl/DallOraAFAF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/fdl/GaiardelliSLF21,
  author = {Sebastiano Gaiardelli and Stefano Spellini and Michele Lora and Franco Fummi},
  title = {Modeling in Industry 5.0 - What Is There and What Is Missing - Special Session 1 - Languages for Industry 5.0},
  booktitle = {FDL},
  year = {2021},
  doi = {10.1109/FDL53530.2021.9568371},
  url = {https://doi.org/10.1109/FDL53530.2021.9568371},
  biburl = {https://dblp.org/rec/conf/fdl/GaiardelliSLF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/fdl/LumppPFB21,
  author = {Francesco Lumpp and Marco Panato and Franco Fummi and Nicola Bombieri},
  title = {A Container-based Design Methodology for Robotic Applications on Kubernetes {Edge-Cloud} architectures},
  booktitle = {FDL},
  year = {2021},
  doi = {10.1109/FDL53530.2021.9568376},
  url = {https://doi.org/10.1109/FDL53530.2021.9568376},
  biburl = {https://dblp.org/rec/conf/fdl/LumppPFB21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/icit2/CentomoAPTF21,
  author = {Stefano Centomo and Andrea Avogaro and Marco Panato and Carlo Tadiello and Franco Fummi},
  title = {A Design Methodology of Multi-level Digital Twins},
  booktitle = {ICIT},
  year = {2021},
  doi = {10.1109/ICIT46573.2021.9453523},
  url = {https://doi.org/10.1109/ICIT46573.2021.9453523},
  biburl = {https://dblp.org/rec/conf/icit2/CentomoAPTF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/icphys/DallOraFVF21,
  author = {Nicola Dall'Ora and Enrico Fraccaroli and Sara Vinco and Franco Fummi},
  title = {{Multi-Discipline} Fault Modeling with {Verilog-AMS}},
  booktitle = {ICPS},
  year = {2021},
  doi = {10.1109/ICPS49255.2021.9468133},
  url = {https://doi.org/10.1109/ICPS49255.2021.9468133},
  biburl = {https://dblp.org/rec/conf/icphys/DallOraFVF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/wf-iot/DemroziSTPP21,
  author = {Florenc Demrozi and Nicola Serlonghi and Cristian Turetta and Cristiano Pravadelli and Graziano Pravadelli},
  title = {Exploiting Bluetooth Low Energy smart tags for virtual coaching},
  booktitle = {WF-IoT},
  year = {2021},
  doi = {10.1109/WF-IOT51360.2021.9595350},
  url = {https://doi.org/10.1109/WF-IoT51360.2021.9595350},
  biburl = {https://dblp.org/rec/conf/wf-iot/DemroziSTPP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/corr/abs-2101-10870,
  author = {Florenc Demrozi and Cristian Turetta and Graziano Pravadelli},
  title = {{B-HAR} - an open-source baseline framework for in depth study of human activity recognition datasets and workflows},
  journal = {CoRR},
  year = {2021},
  url = {https://arxiv.org/abs/2101.10870},
  biburl = {https://dblp.org/rec/journals/corr/abs-2101-10870.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/corr/abs-2102-03351,
  author = {Florenc Demrozi and Fabio Chiarani and Cristian Turetta and Philipp H. Kindt and Graziano Pravadelli},
  title = {Estimating indoor occupancy through low-cost {BLE} devices},
  journal = {CoRR},
  year = {2021},
  url = {https://arxiv.org/abs/2102.03351},
  biburl = {https://dblp.org/rec/journals/corr/abs-2102-03351.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tc/LumppAPB21,
  author = {Francesco Lumpp and Stefano Aldegheri and Hiren D. Patel and Nicola Bombieri},
  title = {Task Mapping and Scheduling for {OpenVX} Applications on Heterogeneous {Multi/Many-Core} Architectures},
  journal = {IEEE Trans. Computers},
  year = {2021},
  doi = {10.1109/TC.2021.3059528},
  url = {https://doi.org/10.1109/TC.2021.3059528},
  biburl = {https://dblp.org/rec/journals/tc/LumppAPB21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tecs/BombieriSMCCFLC21,
  author = {Nicola Bombieri and Silvia Scaffeo and Antonio Mastrandrea and Simone Caligola and Tommaso Carlucci and Franco Fummi and Carlo Laudanna and Gabriela Constantin and Rosalba Giugno},
  title = {{SystemC} Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks},
  journal = {ACM Trans. Embed. Comput. Syst.},
  year = {2021},
  doi = {10.1145/3427091},
  url = {https://doi.org/10.1145/3427091},
  biburl = {https://dblp.org/rec/journals/tecs/BombieriSMCCFLC21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tii/SpelliniCPLF21,
  author = {Stefano Spellini and Roberta Chirico and Marco Panato and Michele Lora and Franco Fummi},
  title = {Virtual Prototyping a Production Line Using {Assume-Guarantee} Contracts},
  journal = {IEEE Trans. Ind. Informatics},
  year = {2021},
  doi = {10.1109/TII.2020.3038679},
  url = {https://doi.org/10.1109/TII.2020.3038679},
  biburl = {https://dblp.org/rec/journals/tii/SpelliniCPLF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/dac/AldegheriBFGMP20,
  author = {Stefano Aldegheri and Nicola Bombieri and Franco Fummi and Simone Girardi and Riccardo Muradore and Nicola Piccinelli},
  title = {Late Breaking Results - Enabling Containerized Computing and Orchestration of {ROS-based} Robotic {SW} Applications on {Cloud-Server-Edge} Architectures},
  booktitle = {DAC},
  year = {2020},
  doi = {10.1109/DAC18072.2020.9218659},
  url = {https://doi.org/10.1109/DAC18072.2020.9218659},
  biburl = {https://dblp.org/rec/conf/dac/AldegheriBFGMP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/AldegheriBP20,
  author = {Stefano Aldegheri and Nicola Bombieri and Hiren D. Patel},
  title = {On the Task Mapping and Scheduling for {DAG-based} Embedded Vision Applications on Heterogeneous {Multi/Many-core} Architectures},
  booktitle = {DATE},
  year = {2020},
  doi = {10.23919/DATE48585.2020.9116462},
  url = {https://doi.org/10.23919/DATE48585.2020.9116462},
  biburl = {https://dblp.org/rec/conf/date/AldegheriBP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/FraccaroliPQF20,
  author = {Enrico Fraccaroli and Alan Michael Padovani and Davide Quaglia and Franco Fummi},
  title = {Network Synthesis for Industry 4.0},
  booktitle = {DATE},
  year = {2020},
  doi = {10.23919/DATE48585.2020.9116407},
  url = {https://doi.org/10.23919/DATE48585.2020.9116407},
  biburl = {https://dblp.org/rec/conf/date/FraccaroliPQF20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/date/SpelliniCPLF20,
  author = {Stefano Spellini and Roberta Chirico and Marco Panato and Michele Lora and Franco Fummi},
  title = {Production Recipe Validation through Formalization and Digital Twin Generation},
  booktitle = {DATE},
  year = {2020},
  doi = {10.23919/DATE48585.2020.9116343},
  url = {https://doi.org/10.23919/DATE48585.2020.9116343},
  biburl = {https://dblp.org/rec/conf/date/SpelliniCPLF20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/embc/DemroziPTBR20,
  author = {Florenc Demrozi and Graziano Pravadelli and Patrick J. Tighe and Azra Bihorac and Parisa Rashidi},
  title = {Joint Distribution and Transitions of Pain and Activity in Critically Ill Patients},
  booktitle = {EMBC},
  year = {2020},
  doi = {10.1109/EMBC44109.2020.9176453},
  url = {https://doi.org/10.1109/EMBC44109.2020.9176453},
  biburl = {https://dblp.org/rec/conf/embc/DemroziPTBR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/etfa/CentomoDF20,
  author = {Stefano Centomo and Nicola Dall'Ora and Franco Fummi},
  title = {The Design of a {Digital-Twin} for Predictive Maintenance},
  booktitle = {ETFA},
  year = {2020},
  doi = {10.1109/ETFA46521.2020.9212071},
  url = {https://doi.org/10.1109/ETFA46521.2020.9212071},
  biburl = {https://dblp.org/rec/conf/etfa/CentomoDF20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/indin/DallOraVF20,
  author = {Nicola Dall'Ora and Sara Vinco and Franco Fummi},
  title = {Functionality and Fault Modeling of a {DC} Motor with {Verilog-AMS}},
  booktitle = {INDIN},
  year = {2020},
  doi = {10.1109/INDIN45582.2020.9442191},
  url = {https://doi.org/10.1109/INDIN45582.2020.9442191},
  biburl = {https://dblp.org/rec/conf/indin/DallOraVF20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/vlsi/GerminianiBP20,
  author = {Samuele Germiniani and Moreno Bragaglio and Graziano Pravadelli},
  title = {{MIST} - monitor generation from informal specifications for firmware verification},
  booktitle = {VLSI-SOC},
  year = {2020},
  doi = {10.1109/VLSI-SOC46417.2020.9344072},
  url = {https://doi.org/10.1109/VLSI-SOC46417.2020.9344072},
  biburl = {https://dblp.org/rec/conf/vlsi/GerminianiBP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{DBLP:conf/vlsi/GerminianiBP20a,
  author = {Samuele Germiniani and Moreno Bragaglio and Graziano Pravadelli},
  title = {From Informal Specifications to an {ABV} Framework for Industrial Firmware Verification},
  booktitle = {VLSI-SoC},
  year = {2020},
  doi = {10.1007/978-3-030-81641-4\_9},
  url = {https://doi.org/10.1007/978-3-030-81641-4\_9},
  biburl = {https://dblp.org/rec/conf/vlsi/GerminianiBP20a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/access/DemroziPBR20,
  author = {Florenc Demrozi and Graziano Pravadelli and Azra Bihorac and Parisa Rashidi},
  title = {Human Activity Recognition Using Inertial, Physiological and Environmental Sensors - A Comprehensive Survey},
  journal = {IEEE Access},
  year = {2020},
  doi = {10.1109/ACCESS.2020.3037715},
  url = {https://doi.org/10.1109/ACCESS.2020.3037715},
  biburl = {https://dblp.org/rec/journals/access/DemroziPBR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/bioinformatics/CancellieriCBGP20,
  author = {Samuele Cancellieri and Matthew C. Canver and Nicola Bombieri and Rosalba Giugno and Luca Pinello},
  title = {{CRISPRitz} - rapid, high-throughput and variant-aware in silico off-target site identification for {CRISPR} genome editing},
  journal = {Bioinform.},
  year = {2020},
  doi = {10.1093/BIOINFORMATICS/BTZ867},
  url = {https://doi.org/10.1093/bioinformatics/btz867},
  biburl = {https://dblp.org/rec/journals/bioinformatics/CancellieriCBGP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tc/BombieriBDPP20,
  author = {Nicola Bombieri and Federico Busato and Alessandro Danese and Luca Piccolboni and Graziano Pravadelli},
  title = {Mangrove - An {Inference-Based} Dynamic Invariant Mining for {GPU} Architectures},
  journal = {IEEE Trans. Computers},
  year = {2020},
  doi = {10.1109/TC.2019.2953846},
  url = {https://doi.org/10.1109/TC.2019.2953846},
  biburl = {https://dblp.org/rec/journals/tc/BombieriBDPP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/tc/FraccaroliLF20,
  author = {Enrico Fraccaroli and Michele Lora and Franco Fummi},
  title = {Automatic Generation of {Analog/Mixed} Signal Virtual Platforms for Smart Systems},
  journal = {IEEE Trans. Computers},
  year = {2020},
  doi = {10.1109/TC.2020.2970699},
  url = {https://doi.org/10.1109/TC.2020.2970699},
  biburl = {https://dblp.org/rec/journals/tc/FraccaroliLF20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

@article{DBLP:journals/titb/DemroziBTCP20,
  author = {Florenc Demrozi and Ruggero Bacchin and Stefano Tamburin and Marco Cristani and Graziano Pravadelli},
  title = {Toward a Wearable System for Predicting Freezing of Gait in People Affected by Parkinson's Disease},
  journal = {IEEE J. Biomed. Health Informatics},
  year = {2020},
  doi = {10.1109/JBHI.2019.2952618},
  url = {https://doi.org/10.1109/JBHI.2019.2952618},
  biburl = {https://dblp.org/rec/journals/titb/DemroziBTCP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}