Sara Vinco

According to our database1, Sara Vinco authored at least 49 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.
ACM Trans. Design Autom. Electr. Syst., 2019

SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties.
ACM Trans. Design Autom. Electr. Syst., 2019

Translation, Abstraction and Integration for Effective Smart System Design.
IEEE Trans. Computers, 2019

A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles.
IEEE Access, 2019

Irradiance-Driven Partial Reconfiguration of PV Panels.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Low-Overhead Power Trace Obfuscation for Smart Meter Privacy.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

A Compact PV Panel Model for Cyber-Physical Systems in Smart Cities.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Optimal Topology-Aware PV Panel Floorplanning with Hybrid Orientation.
Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018

GIS-based optimal photovoltaic panel floorplanning for residential installations.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocessors and Microsystems - Embedded Hardware Design, 2017

2016
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems.
ACM Trans. Embedded Comput. Syst., 2016

Code Manipulation for Virtual Platform Integration.
IEEE Trans. Computers, 2016

A unifying flow to ease smart systems integration.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

A Unified Model of Power Sources for the Simulation of Electrical Energy Systems.
Proceedings of the 26th edition on Great Lakes Symposium on VLSI, 2016

Fast Thermal Simulation using SystemC-AMS.
Proceedings of the 26th edition on Great Lakes Symposium on VLSI, 2016

IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications.
ACM Trans. Design Autom. Electr. Syst., 2015

Conservative behavioural modelling in systemc-AMS.
Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014
A framework for efficient evaluation and comparison of EES Models.
Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014

An open-source framework for formal specification and simulation of electrical energy systems.
Proceedings of the International Symposium on Low Power Electronics and Design, 2014

A cross-level verification methodology for digital IPs augmented with embedded timing monitors.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Moving from co-simulation to simulation for effective smart systems design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2013

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration.
IEEE Trans. Computers, 2013

Code generation alternatives to reduce heterogeneous embedded systems to homogeneity.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

RTL IP abstraction into optimized embedded software.
Proceedings of the East-West Design & Test Symposium, 2013

On the use of GP-GPUs for accelerating compute-intensive EDA applications.
Proceedings of the Design, Automation and Test in Europe, 2013

On the automatic generation of GPU-oriented software applications from RTL IPs.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels.
Design Autom. for Emb. Sys., 2012

A formal support for homogeneous simulation of heterogeneous embedded systems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.
Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems.
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

On the automatic synthesis of parallel SW from RTL models of hardware IPs.
Proceedings of the Great Lakes Symposium on VLSI 2012, 2012

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

SAGA: SystemC acceleration on GPU architectures.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

SystemC simulation on GP-GPUs: CUDA vs. OpenCL.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design.
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Efficient implementation and abstraction of systemc data types for fast simulation.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Automatic Interface Generation for Component Reuse in HW-SW Partitioning.
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2009
Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform.
Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

Correct-by-construction generation of device drivers based on RTL testbenches.
Proceedings of the Design, Automation and Test in Europe, 2009

Automatic customization of device drivers for IP-cores used with assorted CPU organizations.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2007
AME: an abstract middleware environment for validating networked embedded systems applications.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007


  Loading...