Curriculum vitae (pdf, en, 50 KB, 10/23/13)

Sara Vinco
Name Sara Vinco
Date of birth July 27, 1985
Citizenship Italian
Address Via Sanzio Benazzi 15, 37135, Verona (VR)
Email sara.vinco@univr.it
Web page www.di.univr.it/~vinco
Position and Education
RECORD OF EMPLOYMENT
January 2013 – present
Research associate at the Department of Computer Science of the University of Verona. Project title:
Automatic device driver generation for HW accelerators in multi-core systems.
December 2010 January 2011
Research assistant at the Computer Science Department of the University of Verona – COCONUT project
grant. Project title: Definition of the architecture of an EFSM generator.
June July 2010
Research assistant at the Computer Science Department of the University of Verona. Project title: Application
of the COCONUT flow to the reference platform for the final experimentation of the project
technologies.
January 2010 December 2012
Ph.D. student of the Science Engineering Medicine Graduate School of the University of Verona. Advisor:
Prof. Franco Fummi.
October December 2009
Research assistant at the Computer Science Department of the University of Verona. Project title: Automatic
generation of device drivers for MPSoCs.
September 2007
Research assistant at the Computer Science Department of the University of Verona. Project title: Integration
of an abstract middleware in a co-simulation environment.
EDUCATION
• Ph.D. in Computer Science, University of Verona, 2013.
Thesis Title: Reuse and Integration of Heterogeneous Components for Efficient Embedded Software Generation
Advisor: Prof. F. Fummi
Reviewer: Prof. P. Mishra, Prof. D. Sciuto
Thesis presented at the annual ACM/SigDa PhD Forum at ACM/IEEE Design Automation & Test in
Europe Conference (DATE), 2012, and at the annual ACM/SigDa PhD Forum at ACM/IEEE Design
Automation Conference (DAC), 2012.

• M. Sc. in Computer Science, University of Verona. July 2009. Grade: 110/110 cum laude.
Thesis title: A methodology for automatic device driver generation
Advisor Prof. F. Fummi
• B.Sc. in Computer Science, University of Verona. July 2007. Grade: 110/110 cum laude.
Thesis title: An abstract-middleware based methodology for the design of networked embedded systems
Advisor Prof. F. Fummi
• Scientific high school diploma at Liceo A. Messedaglia, Verona. 2004. Grade: 100/100 cum laude.
VISITING EXPERIENCES
September - November 2013
Visiting scholar at the University of Southampton.
Hosting professor: Prof. M. Zwolinski.
Project title: Formal modeling of analog circuit descriptions with VHDL-AMS and Verilog-AMS to gain
C++ code generation.
Sponsored by a CooperInt grant from the University of Verona.
June - December 2011
Visiting scholar at the University of Michigan.
Hosting professor: Prof. V. Bertacco.
Project title: Efficient simulation of SystemC systems on GPGPUs.
SUMMER SCHOOLS
• SWING, School on Security of Wireless Networking, 2010.
• Mobile Computing and Communications: Towards the Next Generation of Networks, J.T. Schwartz International
School for Scientific Research. 2010.
• ARTIST Summer School in Europe, Artist European Network of Excellence on Embedded Systems.
2010.
SCHOLARSHIPS AND RESEARCH AWARDS
• CooperInt (COOPERazione INTernazionale) cooperation grant from the University of Verona to support
the stay at University of Southampton. 2012.
• Travel awards from ACM and SigDa to attend both the the annual ACM/SigDa PhD Forum at ACM/IEEE
Design Automation & Test in Europe Conference (DATE), 2012, and at the annual ACM/SigDa PhD
Forum at ACM/IEEE Design Automation Conference (DAC), 2012.
• Best paper award at the IEEE Forum on Design Languages in 2011 for the paper Efficient implementation
and abstraction of SystemC data types for fast simulation.
• Premio di Laurea AICA - Confindustria Servizi Innovativi e Tecnologici grant for the value of the master
thesis in terms of applicability in the Italian industrial context. 2010.
• E.S.U. grant from the University of Verona to attend a course of English grammar and culture at the
Nottingham Trent University (Nottingham, England, UK). 2005.
2

PRESENTATIONS AND POSTER SESSIONS
• On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications, IEEE/ACM Design And
Test in Europe Conference (DATE), March 18, 21, 2013, Grenoble, Embedded tutorial.
• Energy Aware TLM Platform Simulation via RTL Abstraction, IEEE High Level Design Validation and
Test Workshop (HLDVT), November 7-12, 2012, Huntington Beach.
• Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software, IEEE High Level
Design Validation and Test Workshop (HLDVT), November 7-12, 2012, Huntington Beach.
• The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous Embedded Systems, IEEE High
Level Design Validation and Test Workshop (HLDVT), November 7-12, 2012, Huntington Beach.
• Reconciliation of Heterogeneous Embedded System Domains to Gain a Homogeneous SW Representation,
ACM/SigDa PhD Forum at ACM/IEEE Design Automation Conference (DAC), June 01-10, 2012,
San Francisco, Poster session.
• SAGA: SystemC Acceleration on GPU Architectures, IEEE Design Automation Conference (DAC), June
01-10,2012, San Francisco.
• UNIVERCM: a Formal Computational Model for Heterogeneous Embedded Systems, ACM/SigDa PhD
Forum at ACM/IEEE Design Automation & Test in Europe Conference (DATE), March 12-15, 2012,
Dresden, Poster session.
• MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,
ACM/IEEE Design Automation & Test in Europe Conference (DATE), March 12-15, 2012, Dresden.
• Reusing of Properties after Discretization of Hybrid Automata, IEEE Microprocessor Test and Verification
(MTV), December 5-7, 2011, Austin.
• Reusing of Properties after Discretization of Hybrid Automata, IEEE High-Level Design Validation and
Test Workshop (HLDVT), November 10-11, 2011, Napa Valley, Poster session.
• UNIVERCM the UNIversal VERsatile Computational Model for heterogeneous embedded system design,
IEEE High-Level Design Validation and Test Workshop (HLDVT), November 10-11, 2011, Napa Valley.
• On the Mutation Analysis of SystemC TLM-2.0 Standard, IEEE Microprocessor Test and Verification
(MTV), December 5-11, 2009, Austin.
• Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded
Platform, IEEE Microprocessor Test and Verification (MTV), December 5-11, 2009, Austin.
• RTL IP Abstraction into Optimized Embedded Software, IEEE East-West Design and Test Symposium
(EWDTS), September 16-21, 2010, St. Petersburg.
• Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations, ACM/IEEE
International Conference on Hardware/Software Codesign and System Synthesis (CODES - ISSS), October
11-16, 2009, Grenoble.
3

Teaching activity
2012-2013
”Basic Information Technology”, adjunct professor, bachelor degree in Communication Studies, University
of Verona.
”Design of Embedded Systems”, teaching assistant managing the laboratory activities and projects, master
degree in Engineering and Computer Science, University of Verona.
”Computer Architecture”, teaching assistant tutoring students, bachelor degree in Computer Science,
University of Verona.
2011-2012
”Design of Embedded Systems”, teaching assistant managing the laboratory activities and projects, master
degree in Engineering and Computer Science, University of Verona.
”Computer Architecture”, teaching assistant tutoring students, bachelor degree in Computer Science,
University of Verona.
2010-2011
”Design of Embedded Systems”, teaching assistant managing the laboratory activities and projects, master
degree in Engineering and Computer Science, University of Verona.
”Computer Architecture”, teaching assistant tutoring students, bachelor degree in Computer Science,
University of Verona.
2008-2009
”Computer Architecture”, teaching assistant tutoring students, bachelor degree in Computer Science,
University of Verona.
”Introduction to Computer Architecture”, teaching assistant tutoring students, bachelor degree in Bioinformatics,
University of Verona.
STUDENTS’ SUPERVISION
Master/Bachelor Students Supervision
• Davide Costanzi, Generazione automatica di modelli IP-XACT, Bachelor Degree in Computer Science,
Advisor Prof. G. Pravadelli. AA. 2012/2013.
• Michele Pizzini, Automatic Generation of APU Oriented Software Applications from RTL IPs, Master
Degree in Engineering and Computer Science. Advisor Prof. F. Fummi. AA. 2012/2013 (thesis writing
in process).
• Diego Braga, The IP-XACT formalism for modeling heterogeneous embedded systems, Master Degree
in Engineering and Computer Science, AA. 2010/2011.
• Massimo Benedetti, Generazione automatica di SW embedded a partire da descrizioni TLM, Master
Degree in Computer Science. Advisor Prof. F. Fummi. AA. 2009/2010.
• Diego Forrini, Astrazione di IP RTL in software dedicato e ottimizzazione mediante astrazione dei tipi
di dato HDL , Master Degree in Computer Science. Advisor Prof. Franco Fummi. AA. 2009/2010.
• Matteo Laurenzi, Astrazione di IP RTL in software dedicato e ottimizzazione mediante astrazione del
protocollo di comunicazione, Master Degree in Computer Science. Advisor Dr. N. Bombieri. AA.
2009/2010.
4

Professional Activities
• Co-chair for the track entitled ”Hardware/Software Co-design and Design Automation” of the IEEE/IFIP
International Conference on Embedded and Ubiquitous Computing (EUC), 2014.
• Program committee member of the IEEE/IFIP International Conference on Embedded and Ubiquitous
Computing (EUC), 2013.
• Delegate of the Computer Science Ph.D. students in the Computer Science Department Council, University
of Verona (2010-2013).
• Reviewer (or secondary reviewer) for IEEE/ACM conferences, including IEEE/ACM CODES+ISSS,
IEEE/ACM DATE, IEEE/ACM DAC, IEEE DSD, ECSI/IEEE FDL, ACM/IEEE MEMOCODE, IEEE
SIES, IEEE VLSI, IFIP/IEEE VLSI-SOC, IEEE HLDVT, IEEE/IFIP EUC.
Research interests
The main interest of Sara Vinco’s research is the integration and simulation of heterogeneous embedded systems.
In particular, the activity carried out in the latest years spans over the following research lines: integration
of heterogeneous components via interface generation, homogeneous formal modeling of heterogeneous components
to achieve homogeneous simulation, and software generation.
INTEGRATION OF HETEROGENEOUS COMPONENTS VIA INTERFACE GENERATION
Modern embedded systems are highly heterogeneous, as they are composed of a mix of analog and digital
HW, as well as embedded SW. Furthermore, the tight bound with the physical environment implies to take into
account physical evolution during the design and verification phases. In this context, reuse is a very difficult
task, as the components to integrate are highly heterogeneous. On the other hand, reuse is a winning approach
to save design cost and time. Indeed, top-down approaches allow to optimize and configure each step of design,
but any time that a component must be added or changed, the whole design flow must be undergone again.
Given these motivations, the main goal of this research is to develop a methodology that allows to automate
the integration process. Sara Vinco proposed an innovative methodology for determining the necessary interfaces.
The IP-XACT description of the heterogeneous components is analyzed to gather information about
their domain and interface. The IP-XACT design description is then exploited to determine the desired connections
between components. A taxonomy allows then to determine the necessary connecting components to
be generated [IC.15],[IC.10].
This step must then be followed by generation of the interfaces. This is a very error prone and time consuming
process, as interface designers rarely have a deep expertise of the involved components. As a result,
automatic interface generation is preferable. Sara Vinco extended the state of the art by focusing on the generation
of two types of interfaces: soft drivers and device drivers.
Soft drivers are interfaces allowing communication between software components. When existing software
has to be reused, it may indeed be necessary to map the services invoked to the correct signature exported by
an existing component, or to protect shared data. These tasks are the goal of soft drivers. Their implementation
is usually associated with software engineering, rather than with embedded design. However, their generation
is critical when integrating a heterogeneous system. Sara Vinco proposed a flow for automatic generation of
soft drivers, taking into account the desired type of communication [IC.8].
Device drivers constitute the interface between the hardware and the software domain. Their implementation
is very complex, as the device driver must comply both with the device communication protocol and with
5

the requirements and constraints of the underlying CPU architecture. Current state of the art exploits formal
specification of the device protocol, that are very difficult to extract when the hardware component is third
party. Sara Vinco contributed by proposing a methodology that extracts the device communication protocol
from the testbench of the device itself. Furthermore, the generated device driver can be customized with respect
to the target architecture characteristics, by providing user specifications [JR.3], [IC.2], [IC.3], [IC.8],
[IC.16].
The device driver generation methodology is also provided with a co-simulation platform, that connects the
QEmu software emulator and SystemC to validate the generated code and hardware-software communication
[IC.5].
HOMOGENEOUS FORMAL REPRESENTATION OF HETEROGENEOUS COMPONENTS
Generating the necessary interfaces allows communication but preserves the degree of heterogeneity of the
system. Co-simulation would allow to validate the system behavior, but it is unreliable as it implies to connect
not only different simulators but also different models of computation and levels of abstraction. Furthermore,
building a co-simulation framework for managing all the typical domains of embedded systems would be a
very critical and time consuming operation.
Exploiting top-down flows for designing the entire system is the complementary approach. Approaches
such as Ptolemy and Metropolis allow to provide a system specification and to refine it through a number of
steps, by choosing the appropriate model of computation and communication style of all components. On the
other hand, top-down flows do not allow reuse of existing components.
In this scenario, Sara Vinco proposed UNIVERCM, an automata based model of computation that covers all
the typical domains of embedded systems. The starting heterogeneous components are automatically converted
to the computational model, with transformations that preserve the starting behavior and that are implemented
in automatic conversion tools, thus supporting a fully bottom-up flow [JR.1], [IC.9], [IC.13].
The homogeneous description is then used as a starting point for automatic generation of code for simulation
and validation of the integrated system, or for efficient execution [IC.18],[IC.13].
HARDWARE TO SOFTWARE MIGRATION
For long time, hardware implementation of a functionality has been considered more advisable than the corresponding
software implementation for gaining better performance and efficiency. Indeed, hardware designs
are customized to the needs and constraints of the surrounding system. A major drawback of this choice is the
cost in terms of money and time: indeed, any change requires to go through a redesign process and to realize
a new custom circuit, thus making integration and reuse extremely challenging. Furthermore, costs of silicon
realization tend to be high for highly optimized and customized circuits.
The development of highly and massively parallel processors, such as multiprocessors and GP-GPUs (General
Purpose Graphics Processing Units), has improved by far the effectiveness and the performance of SW.
The availability of multiple processing units and of light synchronization mechanisms on one side, and the
easiness of reuse and adaptation of software compared to hardware, make software a viable alternative.
In this context, Sara Vinco proposes a range of methodologies that, from a common starting point, gain C++
code generation with different approaches. The starting point is a set of heterogeneous existing components,
reconciliated to a single formalism through the UNIVERCM-based approach.
The first approach proposed is the generation of C++ code implementing the starting functionality. The
generated code can be used both as an efficient implementation of the starting system, or rather as a software
version of its functionality. The generated components are converted to one or more C++ functions, managed
by a single scheduling routine. The implementation of the scheduling routine differs whether the support of
continuous time behaviors is preserved [IC.18] or not [IC.6]. The generated code can also be parallelized by
6

creating local schedulers, associated with different execution cores and managing a subset of the C++ functions.
A centralized scheduler is in charge of synchronizing local schedulers [IC.11].
GP-GPUs offer a massive level of parallelism that can be exploited to speed up computation. In detail,
discrete GP-GPUs can be used to run code that simulates the starting system, while integrated GP-GPUs
(or APUs) can be exploited as hardware accelerators for running software code. Sara Vinco proposed two
flows, targeting each of such scenarios. SAGA proposed a flow to simulate RTL HDL code on GP-GPUs.
RTL processes are partitioned in dataflows according to inter-process dependencies, and such dataflows are
then associated with different cores. Multiple copies of the same dataflow can be run in parallel to increase
throughput and to run more instancies at one time [IC.12], [IC.17], [IC.14]. Generating code for APUs allows
to modify the internal structure of the code, in order to get more performing code. To this extent, [IC.19]
proposed an approach to exploit both inter-process dependencies and pipeline structure of the starting designs
to achieve massively parallel execution in software on APUs.
The code generation flows have been accompanied by the implementation of an efficient data type library,
reproducing hardware data types (e.g., multi-value logic) in a very efficient and performing way. This allows
to preserve compatibility with respect to the starting code, without slowing down the execution or adding the
overhead of hardware libraries (e.g., SystemC) [JR.2], [IC.7].
7

Complete publication list
H-index: 4
Citations: 50
Source: Google Scholar (http://scholar.google.com) – Last accessed: October 23, 2013.
In all the publications, except [IC.12], authors are listed in alphabetical order.
Refereed international journals JR (3)
Refereed international conferences IC (19)
REFEREED INTERNATIONAL JOURNALS
JR.3.
JR.2.
JR.1.
A. Acquaviva, N. Bombieri, F. Fummi, S. Vinco, Semi-Automatic Generation of Device Drivers for Rapid Embedded
Platform Development, in IEEE Transactions on Computer Aided Design, vol. 32, n. 9, pp. 1293-1306, 2013.
[doi: http://dx.doi.org/10.1109/TCAD.2013.2257924]
N. Bombieri, F. Fummi, V. Guarnieri, F. Stefanni, S. Vinco, HDTLib: an efficient implementation of SystemC data types
for fast simulation at different abstraction levels, in International Journal on Design Automation for Embedded Systems,
vol. 16, n. 2, pp. 115-135, 2012.
[doi: http://dx.doi.org/10.1007/s10617-012-9092-z]
L. Di Guglielmo, F. Fummi, G. Pravadelli, F. Stefanni, S. Vinco, UNIVERCM: the UNIversal VERsatile Computational
Model for Heterogeneous System Integration, in IEEE Transactions on Computers, 2012, vol. 62, n. 2, pp. 225 - 241,
2012.
[doi: http://dx.doi.org/10.1109/TC.2012.156]
REFEREED INTERNATIONAL CONFERENCES
IC.19.
IC.18.
IC.17.
IC.16.
IC.15.
IC.14.
IC.13.
N. Bombieri, F. Fummi, S. Vinco, On the Automatic Generation of GPUoriented Software Applications from RTL
IPs, in Proceedings of ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis
(CODES+ISSS), pp. 1-10, 2013.
[doi: (not available yet)]
F. Fummi, M. Lora, F. Stefanni, S. Vinco, Code Generation Alternatives to Reduce Heterogeneous Embedded Systems
to Homogeneity, Proceedings of ECSI/IEEE/CEDA Forum on specification & Design Languages, pages 1-4, 2013.
[doi: (not available yet)]
F. Fummi, D. Chatterjee, V. Bertacco, N. Bombieri, S. Vinco, H.D. Patel, On the use of GP-GPUs for accelerating
computing intensive EDA applications, Embedded tutorial in Proceedings of IEEE/ACM Design And Test in Europe
Conference (DATE), pp. 1357-1366, 2013.
[doi: http://dx.doi.org/10.7873/DATE.2013.279]
N. Bombieri, F. Fummi, V. Guarnieri, G. Pravadelli, S. Vinco, Redesign and Verification of RTL IPs through RTL-to-
TLM Abstraction and TLM Synthesis, in Proceedigns of IEEE International Workshop on Microprocessor Test and
Verification (MTV), pp. 76-81, 2012.
[doi: http://dx.doi.org/10.1109/MTV.2012.21]
D. Braga, F. Fummi, G. Pravadelli, S. Vinco, The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous
Embedded Systems, in Proceedings of IEEE High Level Design Validation and Test Workshop (HLDVT), pp. 76-83,
2012.
[doi: http://dx.doi.org/10.1109/HLDVT.2012.6418246]
N. Bombieri, S. Vinco, V. Bertacco, D. Chatterjee, SystemC Simulation on GP-GPUs: CUDA vs. OpenCL, in Proceedings
of IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES-ISSS, ESWEEK
conference), pp. 343-352, 2012.
[doi: http://dx.doi.org/10.1145/2380445.2380500]
L. Di Guglielmo, F. Fummi, G. Pravadelli, F. Stefanni, S. Vinco, A Formal Support for Homogeneous Simulation of
Heterogeneous Embedded Systems, in Proceedings of IEEE International Symposium on Industrial Embedded Systems
(SIES’12), pp. 1-8, 2012.
[doi: http://dx.doi.org/10.1109/SIES.2012.6356587]
8

IC.12.
IC.11.
IC.10.
IC.9.
IC.8.
IC.7.
IC.6.
IC.5.
IC.4.
IC.3.
IC.2.
IC.1.
S. Vinco, D. Chatterjiee, V. Bertacco, F. Fummi, SAGA: SystemC Acceleration on GPU Architectures, in Proceedings
of IEEE Design Automation Conference (DAC), pp. 115-120, 2012.
[doi: http://dx.doi.org/10.1145/2228360.2228382]
A. Acquaviva, N. Bombieri, F. Fummi, S. Vinco, On the automatic synthesis of parallel SW from RTL models of
hardware IPs, in Proceedings of IEEE ACM Great lakes symposium on VLSI (GLSVLSI), pp. 71-74, 2012.
[doi: http://dx.doi.org/10.1145/2206781.2206800]
M. Becker, G. Bertrand, F. Fummi, W. Mueller, G. Pravadelli, S. Vinco, MOUSSE: scaling MOdelling and verification
to complex heterogeneoUS embedded Systems Evolution, in Proceedings of ACM/IEEE Design Automation & Test in
Europe Conference (DATE), pp. 296-299, 2012.
[doi: http://dx.doi.org/10.1109/DATE.2012.6176482]
L. Di Guglielmo, F. Fummi, G. Pravadelli, F. Stefanni, S. Vinco, UNIVERCM: the UNIversal VERsatile Computational
Model for heterogeneous embedded system design, in Proceedings of IEEE High-Level Design Validation and Test
Workshop (HLDVT), pp. 33-40, 2011.
[doi: http://dx.doi.org/10.1109/HLDVT.2011.6114163]
N. Bombieri, F. Fummi, D. Quaglia, S. Vinco, Automatic Interface Generation for Component Reuse in HW-SW partitioning,
in Proceedings of EUROMICRO Conference on Digital System Design (DSD), pp. 793-796, 2011.
[doi: http://dx.doi.org/10.1109/DSD.2011.105]
N. Bombieri, F. Fummi, V. Guarnieri, F. Stefanni, S. Vinco, Efficient implementation and abstraction of SystemC data
types for fast simulation, in Proceedings of IEEE Forum on Design Languages – best paper award, pp. 1-7, 2011.
[ISSN: 1636-9874]
N. Bombieri, D. Forrini, F. Fummi, M. Laurenzi, S. Vinco, RTL IP Abstraction into Optimized Embedded Software, in
Proceedigns of IEEE East-West Design and Test Symposium (EWDTS), 2010.
[doi: (not available yet)]
F. Fummi, G. Perbellini, D. Quaglia, S. Saggin, S. Vinco, Mixing Simulated and Actual Hardware Devices to Validate
device Drivers in a Complex Embedded Platform, in Proceedings of IEEE Microprocessor Test and Verification (MTV),
pp.63-68, 2009.
[doi: http://dx.doi.org/10.1109/MTV.2009.13]
F. Fummi, G. Perbellini, D. Quaglia, S. Vinco, A SystemC-centric Approach for Simulation and Generation of WSN
Applications Targeted to ZigBee, in Proceedings of IEEE International Conference on Mobile and Ubiquitous Systems:
Computing, Networking and Services (MobiQuitous), pp. 320-321, 2009.
[doi: http://dx.doi.org/10.4108/ICST.MOBIQUITOUS2009.6934]
A. Acquaviva, N. Bombieri, F. Fummi, S. Vinco, Automatic Customization of Device Drivers for IP-cores Used with
Assorted CPU Organizations, in Proceedings of ACM/IEEE International Conference on Hardware/Software Codesign
and System Synthesis (CODES - ISSS), pp. 245-254, 2009.
[doi: http://dx.doi.org/10.1145/1629435.1629460]
N. Bombieri, F. Fummi, G. Pravadelli, S. Vinco, Correct-by-Construction Generation of Device Drivers Based on RTL
Testbenches, in Proceedings of IEEE Design and Test in Europe Conference (DATE), pp. 1500-1505, 2009.
[doi: http://dx.doi.org/10.1109/DATE.2009.5090900]
F. Fummi, G. Perbellini, D. Quaglia, S. Vinco, AME: an Abstract Middleware Environment for validating Networked
Embedded Systems Applications, in Proceedings of IEEE High-Level Design Validation and Test Workshop (HLDVT),
pp.187-194, 2007.
[doi: http://dx.doi.org/10.1109/HLDVT.2007.4392812]
Verona, October 23, 2013
Signature
Sara Vinco
9