default search action
Sara Vinco
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j21]Francesco Tosoni
, Nicola Dall'Ora
Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System. IEEE Trans. Computers 73(3): 829-841 (2024) - [c57]Mohamed Amine Hamdi
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices. CF (Companion) 2024 - [c56]Alessio Mascolini
VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge. DAC 2024: 235:1-235:6 - [c55]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: 1-6 - [c54]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: 1-6 - [c53]Francesco Tosoni, Nicola Dall'Ora
Cross-domain Analog Fault Injection for Designing Robust Smart Systems. FDL 2024: 1-8 - [c52]Sebastiano Gaiardelli, Nicola Dall'Ora
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring. ICIT 2024: 1-8 - [c51]Francesco Tosoni
Assessing Robustness of Smart Systems via Multi-domain Analog Fault Simulation. IOLTS 2024: 1-3 - [c50]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: 1-8 - [i4]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 abs/2404.01861 (2024) - [i3]Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi:
VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge. CoRR abs/2409.14816 (2024) - 2023
- [j20]Matteo Orlando
A Framework for Economic and Environmental Benefit Through Renewable Energy Community. IEEE Syst. J. 17(4): 5626-5635 (2023) - [j19]Enrico Fraccaroli
Modeling Cyber-Physical Production Systems With SystemC-AMS. IEEE Trans. Computers 72(7): 2039-2051 (2023) - [j18]Young Hoo Cho, Donkyu Baek
Multi-Criteria Coordinated Electric Vehicle-Drone Hybrid Delivery Service Planning. IEEE Trans. Veh. Technol. 72(5): 5892-5905 (2023) - [c49]Luigi Capogrosso
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. FDL 2023: 1-4 - [c48]Alessio Mascolini, Sebastiano Gaiardelli
Robotic Arm Dataset (RoAD): A Dataset to Support the Design and Test of Machine Learning-Driven Anomaly Detection in a Production Line. IECON 2023: 1-7 - [c47]Francesco Tosoni
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors. INDIN 2023: 1-8 - [c46]Khaled Sidahmed Sidahmed Alamin
Model-Driven Dataset Generation for Data-Driven Battery SOH Models. ISLPED 2023: 1-6 - [i2]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 abs/2307.06975 (2023) - 2022
- [j17]Nicola Dall'Ora
Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring. IEEE Trans. Emerg. Top. Comput. 10(1): 46-59 (2022) - [c45]Khaled Sidahmed Sidahmed Alamin
A Machine Learning-based Digital Twin for Electric Vehicle Battery Modeling. COINS 2022: 1-6 - [c44]Khaled Sidahmed Sidahmed Alamin
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing. LATS 2022: 1-6 - [i1]Khaled Sidahmed Sidahmed Alamin
A Machine Learning-based Digital Twin for Electric Vehicle Battery Modeling. CoRR abs/2206.08080 (2022) - 2021
- [j16]Santa Di Cataldo
Optimizing Quality Inspection and Control in Powder Bed Metal Additive Manufacturing: Challenges and Research Directions. Proc. IEEE 109(4): 326-346 (2021) - [j15]Sara Vinco
A Microservices-Based Framework for Smart Design and Optimization of PV Installations. IEEE Trans. Sustain. Comput. 6(4): 531-543 (2021) - [c43]Matteo Orlando
Design of District-level Photovoltaic Installations for Optimal Power Production and Economic Benefit. COMPSAC 2021: 1873-1878 - [c42]Khaled Alamin
Digital Twin Extension with Extra-Functional Properties. DATE 2021: 434-439 - [c41]Nicola Dall'Ora
Multi-Discipline Fault Modeling with Verilog-AMS. ICPS 2021: 237-243 - 2020
- [j14]Yukai Chen
Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS. IEEE Trans. Sustain. Comput. 5(4): 552-567 (2020) - [c40]Matteo Orlando
Optimal Configuration and Placement of PV Systems in Building Roofs with Cost Analysis. COMPSAC 2020: 1411-1416 - [c39]Daniele Jahier Pagliari
Input-Dependent Edge-Cloud Mapping of Recurrent Neural Networks Inference. DAC 2020: 1-6 - [c38]Sara Vinco, Yukai Chen
A Diode-Aware Model of PV Modules from Datasheet Specifications. DATE 2020: 816-821 - [c37]Nicola Dall'Ora
Functionality and Fault Modeling of a DC Motor with Verilog-AMS. INDIN 2020: 35-40
2010 – 2019
- 2019
- [j13]Yukai Chen
A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles. IEEE Access 7: 25779-25791 (2019) - [j12]Michele Lora
Translation, Abstraction and Integration for Effective Smart System Design. IEEE Trans. Computers 68(10): 1525-1538 (2019) - [j11]Yukai Chen
SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties. ACM Trans. Design Autom. Electr. Syst. 24(1): 4:1-4:26 (2019) - [j10]Sara Vinco
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. ACM Trans. Design Autom. Electr. Syst. 24(3): 27:1-27:23 (2019) - [c36]Daniele Jahier Pagliari
Low-Overhead Power Trace Obfuscation for Smart Meter Privacy. DAC 2019: 111 - [c35]Daniele Jahier Pagliari
Irradiance-Driven Partial Reconfiguration of PV Panels. DATE 2019: 884-889 - [c34]Yukai Chen
A Semi-Empirical Model of PV Modules Including Manufacturing I-V Mismatch. ICECS 2019: 919-922 - [e1]Daniel Große, Sara Vinco, Hiren D. Patel:
Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017 [Verona, Italy, September 18-20, 2017]. Lecture Notes in Electrical Engineering 530, Springer 2019, ISBN 978-3-030-02214-3 [contents] - 2018
- [j9]Michele Lora
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(2): 378-391 (2018) - [c33]Sara Vinco, Lorenzo Bottaccioli
GIS-based optimal photovoltaic panel floorplanning for residential installations. DATE 2018: 437-442 - [c32]Sara Vinco, Enrico Macii, Massimo Poncino:
Optimal Topology-Aware PV Panel Floorplanning with Hybrid Orientation. ACM Great Lakes Symposium on VLSI 2018: 491-494 - [c31]Sara Vinco, Lorenzo Bottaccioli, Edoardo Patti, Andrea Acquaviva, Massimo Poncino:
A Compact PV Panel Model for Cyber-Physical Systems in Smart Cities. ISCAS 2018: 1-5 - 2017
- [j8]Kim Grüttner, Ralph Görgen, Sören Schreiner, Fernando Herrera, Pablo Peñil
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. Microprocess. Microsystems 51: 39-55 (2017) - [j7]Sara Vinco
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(10): 1702-1715 (2017) - [p1]Graziano Pravadelli
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. Handbook of Hardware/Software Codesign 2017: 683-720 - 2016
- [j6]Sara Vinco, Valerio Guarnieri, Franco Fummi:
Code Manipulation for Virtual Platform Integration. IEEE Trans. Computers 65(9): 2694-2708 (2016) - [j5]Sara Vinco, Christian Pilato
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems. ACM Trans. Embed. Comput. Syst. 15(2): 22e:1-22e:2 (2016) - [c30]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: 1586-1591 - [c29]Ralph Görgen, Kim Grüttner, Fernando Herrera, Pablo Peñil
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties. DSD 2016: 286-293 - [c28]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: 1-8 - [c27]Sara Vinco, Yukai Chen
A Unified Model of Power Sources for the Simulation of Electrical Energy Systems. ACM Great Lakes Symposium on VLSI 2016: 281-286 - [c26]Yukai Chen
Fast Thermal Simulation using SystemC-AMS. ACM Great Lakes Symposium on VLSI 2016: 427-432 - [c25]Michele Lora
A unifying flow to ease smart systems integration. HLDVT 2016: 113-120 - 2015
- [j4]Nicola Bombieri
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications. ACM Trans. Design Autom. Electr. Syst. 20(3): 36:1-36:26 (2015) - [c24]Sara Vinco, Michele Lora
Conservative behavioural modelling in systemc-AMS. FDL 2015: 65-72 - 2014
- [c23]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: 1-4 - [c22]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: 1-6 - [c21]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: 287-290 - [c20]Sara Vinco, Alessandro Sassone, Davide Lasorsa, Enrico Macii, Massimo Poncino:
A framework for efficient evaluation and comparison of EES Models. PATMOS 2014: 1-8 - 2013
- [j3]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62(2): 225-241 (2013) - [j2]Andrea Acquaviva, Nicola Bombieri
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(9): 1293-1306 (2013) - [c19]Nicola Bombieri
On the automatic generation of GPU-oriented software applications from RTL IPs. CODES+ISSS 2013: 12:1-12:10 - [c18]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: 1357-1366 - [c17]Nicola Bombieri
RTL IP abstraction into optimized embedded software. EWDTS 2013: 1-5 - [c16]Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco:
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL 2013: 1-4 - 2012
- [j1]Nicola Bombieri
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16(2): 115-135 (2012) - [c15]Nicola Bombieri
SystemC simulation on GP-GPUs: CUDA vs. OpenCL. CODES+ISSS 2012: 343-352 - [c14]Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi:
SAGA: SystemC acceleration on GPU architectures. DAC 2012: 115-120 - [c13]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: 296-299 - [c12]Andrea Acquaviva, Nicola Bombieri
On the automatic synthesis of parallel SW from RTL models of hardware IPs. ACM Great Lakes Symposium on VLSI 2012: 71-74 - [c11]Diego Braga, Franco Fummi, Graziano Pravadelli
The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT 2012: 76-83 - [c10]Nicola Bombieri
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV 2012: 76-81 - [c9]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES 2012: 211-219 - 2011
- [c8]Nicola Bombieri
Automatic Interface Generation for Component Reuse in HW-SW Partitioning. DSD 2011: 793-796 - [c7]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
Efficient implementation and abstraction of systemc data types for fast simulation. FDL 2011: 1-7 - [c6]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40
2000 – 2009
- 2009
- [c5]Andrea Acquaviva, Nicola Bombieri
Automatic customization of device drivers for IP-cores used with assorted CPU organizations. CODES+ISSS 2009: 173-182 - [c4]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco:
Correct-by-construction generation of device drivers based on RTL testbenches. DATE 2009: 1500-1505 - [c3]Franco Fummi, Giovanni Perbellini, Davide Quaglia
A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee. MobiQuitous 2009: 1-2 - [c2]Franco Fummi, Davide Quaglia
Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform. MTV 2009: 63-68 - 2007
- [c1]Franco Fummi, Giovanni Perbellini, Davide Quaglia
AME: an abstract middleware environment for validating networked embedded systems applications. HLDVT 2007: 187-194
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: