Sara Vinco

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 53

Top Topics

Electrical Energy

Functional Properties

Machine Learning

Top Venues

IEEE Trans. Computers

ACM Trans. Design Autom. Electr. Syst.

Publications

Mohamed Amine Hamdi, Giovanni Pollo, Matteo Risso, Germain Haugou, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices. CF (Companion) (2024)
Teo Vallone, Hayri Verner Hasou, Ernesto Colizzi, Sara Vinco, Davide Zoni
A novel virtual prototyping methodology for timing-accurate simulation of AMS circuits. ISQED (2024)
Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
Assessing Robustness of Smart Systems via Multi-domain Analog Fault Simulation. IOLTS (2024)
Khaled Alamin, Daniele Jahier Pagliari, Yukai Chen, Enrico Macii, Sara Vinco, Massimo Poncino
Model-Driven Feature Engineering for Data-Driven Battery SOH Model. DATE (2024)
Mohamed Amine Hamdi, Giovanni Pollo, Matteo Risso, Germain Haugou, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices. CoRR (2024)
Khaled Sidahmed Sidahmed Alamin, Davide Appello, Alessandro Beghi, Nicola Dall'Ora, Fabio Depaoli, Santa Di Cataldo, Franco Fummi, Sebastiano Gaiardelli, Michele Lora, Enrico Macii, Alessio Mascolini, Daniele Pagano, Francesco Ponzio, Gian Antonio Susto, Sara Vinco
An AI-Enabled Framework for Smart Semiconductor Manufacturing. DATE (2024)
Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System. IEEE Trans. Computers 73 (3) (2024)
Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Franco Fummi, Santa Di Cataldo, Sara Vinco
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring. ICIT (2024)
Matteo Orlando, Lorenzo Bottaccioli, Stefano Quer, Massimo Poncino, Sara Vinco, Edoardo Patti
A Framework for Economic and Environmental Benefit Through Renewable Energy Community. IEEE Syst. J. 17 (4) (2023)
Khaled Sidahmed Sidahmed Alamin, Francesco Daghero, Giovanni Pollo, Daniele Jahier Pagliari, Yukai Chen, Enrico Macii, Massimo Poncino, Sara Vinco
Model-Driven Dataset Generation for Data-Driven Battery SOH Models. ISLPED (2023)
Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani
Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0. CoRR (2023)
Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors. INDIN (2023)
Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi
Robotic Arm Dataset (RoAD): A Dataset to Support the Design and Test of Machine Learning-Driven Anomaly Detection in a Production Line. IECON (2023)
Young Hoo Cho, Donkyu Baek, Yukai Chen, Min Jae Jung, Sara Vinco, Enrico Macii, Massimo Poncino
Multi-Criteria Coordinated Electric Vehicle-Drone Hybrid Delivery Service Planning. IEEE Trans. Veh. Technol. 72 (5) (2023)
Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. FDL (2023)
Enrico Fraccaroli, Sara Vinco
Modeling Cyber-Physical Production Systems With SystemC-AMS. IEEE Trans. Computers 72 (7) (2023)
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Sebastiano Gaiardelli, Stefano Spellini, Andrea Calimera, Alessandro Beghi, Gian Antonio Susto, Franco Fummi, Enrico Macii, Sara Vinco
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing. LATS (2022)
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Enrico Macii, Massimo Poncino, Sara Vinco
A Machine Learning-based Digital Twin for Electric Vehicle Battery Modeling. CoRR (2022)
Nicola Dall'Ora, Khaled Alamin, Enrico Fraccaroli, Massimo Poncino, Davide Quaglia, Sara Vinco
Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring. IEEE Trans. Emerg. Top. Comput. 10 (1) (2022)
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Enrico Macii, Massimo Poncino, Sara Vinco
A Machine Learning-based Digital Twin for Electric Vehicle Battery Modeling. COINS (2022)
Matteo Orlando, Lorenzo Bottaccioli, Sara Vinco, Enrico Macii, Massimo Poncino, Edoardo Patti
Design of District-level Photovoltaic Installations for Optimal Power Production and Economic Benefit. COMPSAC (2021)
Khaled Alamin, Sara Vinco, Massimo Poncino, Nicola Dall'Ora, Enrico Fraccaroli, Davide Quaglia
Digital Twin Extension with Extra-Functional Properties. DATE (2021)
Sara Vinco, Daniele Jahier Pagliari, Lorenzo Bottaccioli, Edoardo Patti, Enrico Macii, Massimo Poncino
A Microservices-Based Framework for Smart Design and Optimization of PV Installations. IEEE Trans. Sustain. Comput. 6 (4) (2021)
Santa Di Cataldo, Sara Vinco, Gianvito Urgese, Flaviana Calignano, Elisa Ficarra, Alberto Macii, Enrico Macii
Optimizing Quality Inspection and Control in Powder Bed Metal Additive Manufacturing: Challenges and Research Directions. Proc. IEEE 109 (4) (2021)
Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
Multi-Discipline Fault Modeling with Verilog-AMS. ICPS (2021)
Nicola Dall'Ora, Sara Vinco, Franco Fummi
Functionality and Fault Modeling of a DC Motor with Verilog-AMS. INDIN (2020)
Daniele Jahier Pagliari, Roberta Chiaro, Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino
Input-Dependent Edge-Cloud Mapping of Recurrent Neural Networks Inference. DAC (2020)
Yukai Chen, Sara Vinco, Daniele Jahier Pagliari, Paolo Montuschi, Enrico Macii, Massimo Poncino
Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS. IEEE Trans. Sustain. Comput. 5 (4) (2020)
Sara Vinco, Yukai Chen, Enrico Macii, Massimo Poncino
A Diode-Aware Model of PV Modules from Datasheet Specifications. DATE (2020)
Matteo Orlando, Lorenzo Bottaccioli, Edoardo Patti, Enrico Macii, Sara Vinco, Massimo Poncino
Optimal Configuration and Placement of PV Systems in Building Roofs with Cost Analysis. COMPSAC (2020)
Daniele Jahier Pagliari, Sara Vinco, Enrico Macii, Massimo Poncino
Irradiance-Driven Partial Reconfiguration of PV Panels. DATE (2019)
Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. ACM Trans. Design Autom. Electr. Syst. 24 (3) (2019)
Daniele Jahier Pagliari, Sara Vinco, Enrico Macii, Massimo Poncino
Low-Overhead Power Trace Obfuscation for Smart Meter Privacy. DAC (2019)
Yukai Chen, Sara Vinco, Daniele Jahier Pagliari, Enrico Macii, Massimo Poncino
A Semi-Empirical Model of PV Modules Including Manufacturing I-V Mismatch. ICECS (2019)
Michele Lora, Sara Vinco, Franco Fummi
Translation, Abstraction and Integration for Effective Smart System Design. IEEE Trans. Computers 68 (10) (2019)
Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino
SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties. ACM Trans. Design Autom. Electr. Syst. 24 (1) (2019)
Yukai Chen, Donkyu Baek, Jaemin Kim, Santa Di Cataldo, Naehyuck Chang, Enrico Macii, Sara Vinco, Massimo Poncino
A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles. IEEE Access 7 (2019)
Michele Lora, Sara Vinco, Enrico Fraccaroli, Davide Quaglia, Franco Fummi
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (2) (2018)
Sara Vinco, Lorenzo Bottaccioli, Edoardo Patti, Andrea Acquaviva, Enrico Macii, Massimo Poncino
GIS-based optimal photovoltaic panel floorplanning for residential installations. DATE (2018)
Sara Vinco, Lorenzo Bottaccioli, Edoardo Patti, Andrea Acquaviva, Massimo Poncino
A Compact PV Panel Model for Cyber-Physical Systems in Smart Cities. ISCAS (2018)
Sara Vinco, Enrico Macii, Massimo Poncino
Optimal Topology-Aware PV Panel Floorplanning with Hybrid Orientation. ACM Great Lakes Symposium on VLSI (2018)
Sara Vinco, Yukai Chen, Franco Fummi, Enrico Macii, Massimo Poncino
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (10) (2017)
Kim Grüttner, Ralph Görgen, Sören Schreiner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Emanuele Vitali, Davide Zoni, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Nima Khalilzad, Davide Quaglia
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. Microprocess. Microsystems 51 (2017)
Michele Lora, Sara Vinco, Franco Fummi
A unifying flow to ease smart systems integration. HLDVT (2016)
Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino
Fast Thermal Simulation using SystemC-AMS. ACM Great Lakes Symposium on VLSI (2016)
Sara Vinco, Valerio Guarnieri, Franco Fummi
Code Manipulation for Virtual Platform Integration. IEEE Trans. Computers 65 (9) (2016)
Enrico Fraccaroli, Michele Lora, Sara Vinco, Davide Quaglia, Franco Fummi
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. DATE (2016)
Sara Vinco, Christian Pilato
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Sara Vinco, Michele Lora, Enrico Macii, Massimo Poncino
IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models. FDL (2016)
Ralph Görgen, Kim Grüttner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Davide Quaglia
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties. DSD (2016)
Sara Vinco, Yukai Chen, Enrico Macii, Massimo Poncino
A Unified Model of Power Sources for the Simulation of Electrical Energy Systems. ACM Great Lakes Symposium on VLSI (2016)
Sara Vinco, Michele Lora, Mark Zwolinski
Conservative behavioural modelling in systemc-AMS. FDL (2015)
Nicola Bombieri, Franco Fummi, Sara Vinco
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications. ACM Trans. Design Autom. Electr. Syst. 20 (3) (2015)
Sara Vinco, Alessandro Sassone, Franco Fummi, Enrico Macii, Massimo Poncino
An open-source framework for formal specification and simulation of electrical energy systems. ISLPED (2014)
Sara Vinco, Alessandro Sassone, Davide Lasorsa, Enrico Macii, Massimo Poncino
A framework for efficient evaluation and comparison of EES Models. PATMOS (2014)
Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco
Moving from co-simulation to simulation for effective smart systems design. DATE (2014)
Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino
A cross-level verification methodology for digital IPs augmented with embedded timing monitors. DATE (2014)
Nicola Bombieri, Diego Forrini, Franco Fummi, Matteo Laurenzi, Sara Vinco
RTL IP abstraction into optimized embedded software. EWDTS (2013)
Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL (2013)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62 (2) (2013)
Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (9) (2013)
Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, Anirudh M. Kaushik, Hiren D. Patel
On the use of GP-GPUs for accelerating compute-intensive EDA applications. DATE (2013)
Nicola Bombieri, Franco Fummi, Sara Vinco
On the automatic generation of GPU-oriented software applications from RTL IPs. CODES+ISSS (2013)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16 (2) (2012)
Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco
The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT (2012)
Nicola Bombieri, Sara Vinco, Valeria Bertacco, Debapriya Chatterjee
SystemC simulation on GP-GPUs: CUDA vs. OpenCL. CODES+ISSS (2012)
Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
On the automatic synthesis of parallel SW from RTL models of hardware IPs. ACM Great Lakes Symposium on VLSI (2012)
Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE (2012)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV (2012)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES (2012)
Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi
SAGA: SystemC acceleration on GPU architectures. DAC (2012)
Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia
Automatic Interface Generation for Component Reuse in HW-SW Partitioning. DSD (2011)
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT (2011)
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
Efficient implementation and abstraction of systemc data types for fast simulation. FDL (2011)
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco
Correct-by-construction generation of device drivers based on RTL testbenches. DATE (2009)
Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco
A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee. MobiQuitous (2009)
Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
Automatic customization of device drivers for IP-cores used with assorted CPU organizations. CODES+ISSS (2009)
Franco Fummi, Davide Quaglia, Sara Vinco, Giovanni Perbellini, Saul Saggin
Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform. MTV (2009)
Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco
AME: an abstract middleware environment for validating networked embedded systems applications. HLDVT (2007)