Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDSara Vinco
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j14]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): 552-567 (2020)- [c39]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: 1411-1416 - [c38]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: 1-6 - [c37]Sara Vinco, Yukai Chen, Enrico Macii, Massimo Poncino:
A Diode-Aware Model of PV Modules from Datasheet Specifications. DATE 2020: 816-821
2010 – 2019
- 2019
- [j13]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: 25779-25791 (2019) - [j12]Michele Lora, Sara Vinco, Franco Fummi:
Translation, Abstraction and Integration for Effective Smart System Design. IEEE Trans. Computers 68(10): 1525-1538 (2019) - [j11]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): 4:1-4:26 (2019) - [j10]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): 27:1-27:23 (2019) - [c36]Daniele Jahier Pagliari, Sara Vinco, Enrico Macii, Massimo Poncino:
Low-Overhead Power Trace Obfuscation for Smart Meter Privacy. DAC 2019: 111 - [c35]Daniele Jahier Pagliari, Sara Vinco, Enrico Macii, Massimo Poncino:
Irradiance-Driven Partial Reconfiguration of PV Panels. DATE 2019: 884-889 - [c34]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: 919-922 - [e1]Daniel Große, Sara Vinco, Hiren 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, 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): 378-391 (2018) - [c33]Sara Vinco, Lorenzo Bottaccioli, Edoardo Patti, Andrea Acquaviva, Enrico Macii, Massimo Poncino:
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, 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: 39-55 (2017) - [j7]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): 1702-1715 (2017) - [p1]Graziano Pravadelli, Davide Quaglia, Sara Vinco, Franco Fummi:
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, 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: 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, Enrico Macii, Massimo Poncino:
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, Sara Vinco, Enrico Macii, Massimo Poncino:
Fast Thermal Simulation using SystemC-AMS. ACM Great Lakes Symposium on VLSI 2016: 427-432 - [c25]Michele Lora, Sara Vinco, Franco Fummi:
A unifying flow to ease smart systems integration. HLDVT 2016: 113-120 - 2015
- [j4]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): 36:1-36:26 (2015) - [c24]Sara Vinco, Michele Lora, Mark Zwolinski:
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, Francesco Stefanni, Sara Vinco:
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62(2): 225-241 (2013) - [j2]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): 1293-1306 (2013) - [c19]Nicola Bombieri, Franco Fummi, Sara Vinco:
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, Diego Forrini, Franco Fummi, Matteo Laurenzi, Sara Vinco:
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, 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): 115-135 (2012) - [c15]Nicola Bombieri, Sara Vinco, Valeria Bertacco, Debapriya Chatterjee:
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, Franco Fummi, Sara Vinco:
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, Sara Vinco:
The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT 2012: 76-83 - [c10]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: 76-81 - [c9]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES 2012: 211-219 - 2011
- [c8]Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia:
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, Francesco Stefanni, Sara Vinco:
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40
2000 – 2009
- 2009
- [c5]Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco:
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, Sara Vinco:
A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee. MobiQuitous 2009: 1-2 - [c2]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: 63-68 - 2007
- [c1]Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco:
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-01-22 23:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
