Pubblicazioni dell'autore: Sara Vinco [Rubrica]

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 45.

In corso di stampa

Articolo in atti di convegno Goren, Ralph; Gruttner, Kim; Herrera, Fernando; Penil, Pablo; Medina, Julio; Villar, Eugenio; Palermo, Gianluca; Fornaciari, William; Brandolese, Carlo; Gadioli, Davide; Bocchio, Sara; Ceva, Luca; Azzoni, Paolo; Poncino, Massimo; Vinco, Sara; Macii, Enrico; Cusenza, Salvatore; Favaro, John; Valencia, Raul; Sander, Ingo; Rosvall, Kathrin; Quaglia, Davide
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. In: Conference on Digital System Design (DSD), 2016, Cyprus, 31 Agosto - 2 Settembre 2016. pp. 1-8 (In stampa)
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Vinco, Sara; Lora, Michele; Macii, Enrico; Poncino, Massimo
IP-XACT for Smart Systems Design: Extensions for the Integration of Functional and Extra-Functional Models. In: Forum on Specification & Design Languages (FDL), 2016, Bremen, 14-16 settembre 2016. pp. 1-8 (In stampa)

Capitolo di libro Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. In: Handbook of Hardware/Software Codesign / Soonhoi Ha, Jürgen Teich. Springer Netherlands. ISBN 978-94-017-7266-2 (In stampa)

Articolo in atti di convegno Lora, Michele; Vinco, Sara; Fummi, Franco
A Unifying Flow to Ease Smart Systems Integration. In: International High-Level Design Validation and Test Workshop (HLDVT), 2016, Santa Cruz, California, 7-8 Ottobre 2016. pp. 1-8 (In stampa)
Web of Science: 0 - Scopus: 0

2016

Articolo di rivista Vinco, Sara; Guarnieri, Valerio; Fummi, Franco (2016)
Code Manipulation for Virtual Platform Integration. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 65 n. 9, pp. 2694-2708. - ISSN 0018-9340
Web of Science: 1 - Scopus: 0

Capitolo di libro Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco (2016)
Design Domains and Abstraction Levels for Effective Smart System Simulation. In: Smart Systems Integration and Simulation / Nicola Bombieri; Massimo Poncino; Graziano Pravadelli. Springer International Publishing, pp. 23-54. ISBN 978-3-319-27390-7

Capitolo di libro Vinco, Sara; Pilato, Christian (2016)
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems. In: ACM Transactions on Embedded Computing Systems / Sara Vinco, Christian Pilato. ACM, pp. 1-2.

Articolo in atti di convegno Chen, Yukai; Vinco, Sara; Macii, Enrico; Poncino, Massimo (2016)
Fast thermal simulation using SystemC-AMS. In: ACM Great Lake Symposium on VLSI (GLSVLSI), Boston, Massachusetts, USA, 2016. pp. 427-432
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Fraccaroli, Enrico; Lora, Michele; Vinco, Sara; Quaglia, Davide; Fummi, Franco (2016)
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. In: ACM/IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble (Francia), 14-18 Marzo 2016. pp. 1-6
Web of Science: 0 - Scopus: 1

Capitolo di libro Vinco, Sara; Sassone, Alessandro; Poncino, Massimo; Macii, Enrico; Gangemi, Giuliana; Canegallo, Roberto (2016)
Modeling and Simulation of the Power Flow in Smart Systems. In: Smart Systems Integration and Simulation / Nicola Bombieri; Massimo Poncino; Graziano Pravadelli. Springer International Publishing, pp. 169-194. ISBN 978-3-319-27390-7

Capitolo di libro Vinco, Sara; Lora, Michele; Zwolinski, Mark (2016)
SystemC-AMS Simulation of Conservative Behavioral Descriptions. In: Languages, Design Methods, and Tools for Electronic System Design / Drechsler R., Wille R. Springer International Publishing, pp. 151-173. ISBN 978-3-319-31722-9
Scopus: 0

Articolo in atti di convegno Vinco, Sara; Chen, Yukai; Macii, Enrico; Poncino, Massimo (2016)
A unified model of power sources for the simulation of electrical energy systems. In: ACM Great Lake Symposium on VLSI (GLSVLSI), Boston, Massachusetts, USA, 18/05/2016-20/20/2016. pp. 281-286
Web of Science: 0 - Scopus: 0

2015

Articolo in atti di convegno Vinco, Sara; Lora, Michele; Zwolinski, Mark (2015)
Conservative Behavioural Modelling in SystemC-AMS. In: Forum on specification & Design Languages, Barcelona (Spagna), 14-16 Settembre 2015.
Web of Science: 0 - Scopus: 3

Articolo di rivista Bombieri, Nicola; Fummi, Franco; Vinco, Sara (2015)
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications. In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, vol. 20 n. 3, pp. 1-26. - ISSN 1084-4309
Web of Science: 0 - Scopus: 0

2014

Capitolo di libro Franco Fummi; Michele Lora; Francesco Stefanni; Sara Vinco (2014)
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity. In: Languages, Design Methods, and Tools for Electronic System Design. Springer International Publishing, pp. 103-124. ISBN 9783319063171
Scopus: 0

Articolo in atti di convegno Guarnieri V.; Petricca M.; Sassone A.; Vinco S.; Bombieri N.; Fummi F.; Macii E.; Poncino M. (2014)
A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, Dresda, Germany, 24-28 March 2014. pp. 1-6
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Alessandro Sassone; Sara Vinco; Massimo Poncino; Enrico Macii (2014)
An Efficient Simulation Methodology for Electrical Energy Systems. In: 10th Conference on Ph.D Research in Microelectronics and Electronics (PRIME 2014), Grenoble, France, June 30 2014 -July 3 2014. pp. 1-4
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Sara Vinco, Alessandro Sassone, Davide Lasorsa, Enrico Macii, Massimo Poncino (2014)
A Framework for Efficient Evaluation and Comparison of EES Models. In: 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2014, Palma de Mallorca, Spain, September 29 - October 1, 2014. pp. 1-8
Scopus: 0

Articolo in atti di convegno Franco Fummi, Michele Lora, Dimitrios Trachanis, Jan Van Hese, Sara Vinco (2014)
Homogeneous Simulation: the Effective Integration Solution for Smart Systems. In: The 10th IEEE International Conference on Advanced Semiconductor Devices and Microsystems (ASDAM 2014), Smolenice, Slovakia, 20-22 October 2014. pp. 327-330
Scopus: 0

Articolo in atti di convegno F. Fummi; M. Lora; D. Trachanis; J. Vanhese; S. Vinco (2014)
Moving from Co-Simulation to Simulation for Effective Smart Systems Design. In: IEEE/ACM Design And Test in Europe Conference (DATE), 2014, Dresden, Germany, 24-28 March 2014. pp. 1-4
Web of Science: 0 - Scopus: 5

Articolo in atti di convegno Sara Vinco, Alessandro Sassone, Franco Fummi, Enrico Macii, Massimo Poncino (2014)
An Open-Source Framework for Formal Specification and Simulation of Electrical Energy Systems. In: 2014 ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED'14), La Jolla, CA, USA, August 11-13, 2014. pp. 287-290
Scopus: 3

Articolo in atti di convegno Dimitrios Drogoudis, Franco Fummi, Michele Lora, Dimitrios Trachanis, Sara Vinco (2014)
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology. In: Smart Systems Integration, Vienna, Austria, 26-27 March. pp. 291-298

2013

Articolo in atti di convegno F. Fummi, M. Lora, F. Stefanni, S. Vinco (2013)
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity. In: Forum on Specification & Design Languages (FDL), 2013, Paris, France, 24-26 September 2013. pp. 1-4
Scopus: 0

Articolo in atti di convegno N. Bombieri; F. Fummi; S. Vinco (2013)
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs. In: ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Montreal, Canada, Sept 29 - Oct 04. pp. 1-10
Scopus: 1

Articolo in atti di convegno V. Bertacco; D. Chatterjee; N. Bombieri; F. Fummi; S. Vinco; A.M. Kaushik; H.D. Patel (2013)
On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications. In: ACM/IEEE Design, Automation and Test in Europe (DATE), Grenoble, France, 18-22 March. pp. 1357-1366
Scopus: 4

Articolo in atti di convegno N. Bombieri; D. Forrini; F. Fummi; M. Laurenzi; S. Vinco (2013)
RTL IP abstraction into optimized embedded software. In: IEEE East-West Design & Test Symposium (EWDTS), Rostov-on-Don (Russia), 27-30 Sept. 2013. pp. 1-5
Web of Science: 0 - Scopus: 1

Tesi di dottorato Sara Vinco (2013)
Reuse and Integration of Heterogeneous Components for Efficient Embedded Software Generation. Tesi NON SPECIFICATO

Articolo di rivista A. Acquaviva; N. Bombieri; F. Fummi; S. Vinco (2013)
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 32 n. 9, pp. 1293-1306. - ISSN 0278-0070
Web of Science: 0 - Scopus: 0

Articolo di rivista Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (2013)
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 62, pp. 225-241. - ISSN 0018-9340
Web of Science: 6 - Scopus: 15

2012

Articolo in atti di convegno Francesco Stefanni; Graziano Pravadelli; Franco Fummi; Luigi Di Guglielmo; Sara Vinco (2012)
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems. In: IEEE International Symposium on Industrial Embedded Systems, Karlsruhe, Germany, 20-22 June. pp. 211-219
Scopus: 4

Articolo di rivista N. Bombieri; F. Fummi; V. Guarnieri; F. Stefanni; S. Vinco (2012)
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. In: DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 16 n. 2, pp. 115-135. - ISSN 0929-5585
Web of Science: 4 - Scopus: 4

Articolo in atti di convegno M. Becker; G.B. Gnokam Defo; W. Mueller; F. Fummi; G. Pravadelli; S. Vinco (2012)
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. In: ACM/IEEE Design, Automation and Test in Europe (DATE), Dresden, Germany, 12-16 March. pp. 296-299
Scopus: 0

Articolo in atti di convegno A. Acquaviva; N. Bombieri; F. Fummi; S. Vinco (2012)
On the automatic synthesis of parallel SW from RTL models of hardware IPs. In: ACM Great lakes symposium on VLSI (GLSVLSI), Salt Lake City, UT, USA, 3-4 May. pp. 71-74
Scopus: 0

Articolo in atti di convegno N. Bombieri; F. Fummi; V. Guarnieri; G. Pravadelli; S. Vinco (2012)
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. In: IEEE International Workshop on Microprocessor Test and Verification (MTV), Austin, TX, USA, 10-12 December 2012. pp. 76-81
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Sara Vinco; Debapriya Chatterjee; Valeria Bertacco; Franco Fummi (2012)
SAGA: SystemC acceleration on GPU architectures. In: IEEE/ACM Design Automation Conference (DAC), San Francisco, USA, June 2-6. pp. 115-120
Web of Science: 6 - Scopus: 18

Articolo in atti di convegno Diego Braga; Franco Fummi; Graziano Pravadelli; Sara Vinco (2012)
The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous Embedded Systems. In: IEEE International High Level Design Validation and Test Workshop (HLDVT), Huntington Beach, CA, 9-10 November 2012. pp. 76-83
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno N. Bombieri; S. Vinco; V. Bertacco; D. Chatterje (2012)
SystemC simulation on GP-GPUs: CUDA vs. OpenCL. In: ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Tampere, Finland, 7-12 October. pp. 343-352
Web of Science: 1 - Scopus: 10

2011

Articolo in atti di convegno N. Bombieri; F. Fummi; D. Quaglia; S. Vinco (2011)
Automatic interface generation for component reuse in HW-SW partitioning. In: IEEE EUROMICRO Conference on Digital System Design (DSD), Oulu, Finland, August 31 - September 2, 2011. pp. 793-796
Scopus: 1

Articolo in atti di convegno N. Bombieri; F. Fummi; V. Guarnieri; F. Stefanni; S. Vinco (2011)
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation. In: IEEE Forum for Design Languages (FDL), Oldenburg, Germany, 13-15 September. pp. 142-148
Scopus: 4

Articolo in atti di convegno Di Guglielmo L.; Fummi F.; Pravadelli G.; Stefanni F.; Vinco S. (2011)
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design. In: IEEE International High Level Design Validation and Test Workshop (HLDVT), Napa Valley, CA, USA, November 9-11, 2011. pp. 33-40
Scopus: 5

2009

Articolo in atti di convegno Acquaviva A.; Bombieri N; Fummi F; Vinco S (2009)
Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations. In: CODES-ISSS, Grenoble, FR, October 13-16, 2009.
Scopus: 2

Articolo in atti di convegno N. Bombieri; F. Fummi; G. Pravadelli; S. Vinco (2009)
Correct-by-construction generation of device drivers based on RTL testbenches. In: ACM/IEEE Design, Automation and Test in Europe (DATE), Nice, France, 20-24 April, 2009. pp. 1500-1505
Web of Science: 3 - Scopus: 11

Articolo in atti di convegno Fummi F.; Perbellini G.; Quaglia D.; Saggin S.; Vinco S. (2009)
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform. In: IEEE Microprocessor Test and Verification (MTV), Austin, 07-08 Dicembre 2009. pp. 471-476
Scopus: 5

Articolo in atti di convegno F. Fummi; G. Perbellini; D. Quaglia; S. Vinco (2009)
A SystemC-centric Approach for Simulation and Generation of WSN Applications Targeted to ZigBee. In: IEEE International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), Toronto, Canada, 13-16 July. pp. 320-321
Scopus: 1

2007

Articolo in atti di convegno F. Fummi; G. Perbellini; D. Quaglia; S. Vinco (2007)
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications. In: IEEE High-Level Design and Test Workshop (HLDVT), Irvine, CA, USA, Nov. 7-9. pp. 187-194
Web of Science: 1 - Scopus: 1

Questa lista è stata generata il Tue Apr 25 10:28:21 2017 CEST.