Sara Vinco

98 papers A* 4A 17B 2C 16Misc 4Journal 31Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
Introduction to the Special Issue on Specification and Design Languages.
ACM Trans. Embed. Comput. Syst.
Sara Vinco, David Broman
2025 J jnl
Advancing Electric Vehicle Battery Management: A Data-Driven Digital Twin Approach for Real-Time Monitoring and Performance Enhancement.
IEEE Trans. Veh. Technol.
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Enrico Macii, Massimo Poncino, Sara Vinco
2025 C conf
Automatic integration of SystemC in the FMI standard for Software-defined Vehicle design.
FDL
Giovanni Pollo, Andrei Mihai Albu, Alessio Burrello, Daniele Jahier Pagliari, Cristian Tesconi, Loris Panaro, Dario Soldi, Fabio Autieri, Sara Vinco
2025 J jnl
Automatic integration of SystemC in the FMI standard for Software-defined Vehicle design.
CoRR
Giovanni Pollo, Andrei Mihai Albu, Alessio Burrello, Daniele Jahier Pagliari, Cristian Tesconi, Loris Panaro, Dario Soldi, Fabio Autieri, Sara Vinco
2025 A conf
Coupling Neural Networks and Physics Equations For Li-Ion Battery State-of-Charge Prediction.
DATE
Giovanni Pollo, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari
2025 — conf
Enhancing Intelligent Battery Management on Automotive Microcontrollers Using LightGBM.
ICECS
Khaled Alamin, Chao Song, Sara Vinco, Francesco Daghero
2025 J jnl
Integrating SystemC TLM into FMI 3.0 Co-Simulations with an Open-Source Approach.
CoRR
Andrei Mihai Albu, Giovanni Pollo, Alessio Burrello, Daniele Jahier Pagliari, Cristian Tesconi, Alessandra Neri, Dario Soldi, Fabio Autieri, Sara Vinco
2025 A conf
MEbots: Integrating a RISC-V Virtual Platform with a Robotic Simulator for Energy-aware Design.
ISLPED
Giovanni Pollo, Mohamed Amine Hamdi, Matteo Risso, Lorenzo Ruotolo, Pietro Furbatto, Matteo Isoldi, Yukai Chen, Alessio Burrello, Enrico Macii, Massimo Poncino, Daniele Jahier Pagliari, Sara Vinco
2025 J jnl
MEbots: Integrating a RISC-V Virtual Platform with a Robotic Simulator for Energy-aware Design.
CoRR
Giovanni Pollo, Mohamed Amine Hamdi, Matteo Risso, Lorenzo Ruotolo, Pietro Furbatto, Matteo Isoldi, Yukai Chen, Alessio Burrello, Enrico Macii, Massimo Poncino, Daniele Jahier Pagliari, Sara Vinco
2025 C conf
Modeling and Simulation of Thermal Faults in Batteries for Enhanced Safety.
DDECS
Francesco Tosoni, Sara Vinco, Franco Fummi
2025 A conf
Multi-Partner Project: Advancing the EDA Tools Landscape for the European RISC-V Ecosystem in TRISTAN.
DATE
Fatma Jebali, Caaliph Andriamisaina, Mathieu Jan, Wolfgang Ecker, Florian Egert, Bernhard Fischer, Alessio Burrello, Daniele Jahier Pagliari, Sara Vinco, Giuseppe Tagliavini, Ingo Feldner, Andreas Mauderer, Axel Sauer, Arnór Kristmundsson, Alexander Schober, Téo Bernier, Matti Käyrä, Ulf Schlichtmann, Rocco Jonack
2025 — conf
Special Session: D-MATE: A Design Methodology for Connecting Automatic Test Equipment in Industry 4.0.
LATS
Francesco Biondani, Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Dong Seon Cheng, Franco Fummi
2025 Misc conf
Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring.
MMAR
Friederike Bruns, Francesco Tosoni, Sven Mehlhop, Andreas Rauh, Sara Vinco, Jörg Walter, Frank Oppenheimer, Franco Fummi
2024 — conf
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring.
ICIT
Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Franco Fummi, Santa Di Cataldo, Sara Vinco
2024 — conf
A novel virtual prototyping methodology for timing-accurate simulation of AMS circuits.
ISQED
Teo Vallone, Hayri Verner Hasou, Ernesto Colizzi, Sara Vinco, Davide Zoni
2024 A conf
An AI-Enabled Framework for Smart Semiconductor Manufacturing.
DATE
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
2024 C conf
Assessing Robustness of Smart Systems via Multi-domain Analog Fault Simulation.
IOLTS
Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
2024 J jnl
Coupling Neural Networks and Physics Equations For Li-Ion Battery State-of-Charge Prediction.
CoRR
Giovanni Pollo, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari
2024 C conf
Cross-domain Analog Fault Injection for Designing Robust Smart Systems.
FDL
Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
2024 — conf
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices.
CF (Companion)
Mohamed Amine Hamdi, Giovanni Pollo, Matteo Risso, Germain Haugou, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari
2024 J jnl
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices.
CoRR
Mohamed Amine Hamdi, Giovanni Pollo, Matteo Risso, Germain Haugou, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari
2024 A conf
Model-Driven Feature Engineering for Data-Driven Battery SOH Model.
DATE
Khaled Alamin, Daniele Jahier Pagliari, Yukai Chen, Enrico Macii, Sara Vinco, Massimo Poncino
2024 J jnl
Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System.
IEEE Trans. Computers
Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
2024 A* conf
VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge.
DAC
Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi
2024 J jnl
VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge.
CoRR
Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi
2023 J jnl
A Framework for Economic and Environmental Benefit Through Renewable Energy Community.
IEEE Syst. J.
Matteo Orlando, Lorenzo Bottaccioli, Stefano Quer, Massimo Poncino, Sara Vinco, Edoardo Patti
2023 A conf
Model-Driven Dataset Generation for Data-Driven Battery SOH Models.
ISLPED
Khaled Sidahmed Sidahmed Alamin, Francesco Daghero, Giovanni Pollo, Daniele Jahier Pagliari, Yukai Chen, Enrico Macii, Massimo Poncino, Sara Vinco
2023 J jnl
Modeling Cyber-Physical Production Systems With SystemC-AMS.
IEEE Trans. Computers
Enrico Fraccaroli, Sara Vinco
2023 J jnl
Multi-Criteria Coordinated Electric Vehicle-Drone Hybrid Delivery Service Planning.
IEEE Trans. Veh. Technol.
Young Hoo Cho, Donkyu Baek, Yukai Chen, Min Jae Jung, Sara Vinco, Enrico Macii, Massimo Poncino
2023 C conf
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper.
FDL
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
2023 J jnl
Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0.
CoRR
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
2023 C conf
Robotic Arm Dataset (RoAD): A Dataset to Support the Design and Test of Machine Learning-Driven Anomaly Detection in a Production Line.
IECON
Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi
2023 C conf
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors.
INDIN
Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
2022 — conf
A Machine Learning-based Digital Twin for Electric Vehicle Battery Modeling.
COINS
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Enrico Macii, Massimo Poncino, Sara Vinco
2022 J jnl
A Machine Learning-based Digital Twin for Electric Vehicle Battery Modeling.
CoRR
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Enrico Macii, Massimo Poncino, Sara Vinco
2022 J jnl
Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring.
IEEE Trans. Emerg. Top. Comput.
Nicola Dall'Ora, Khaled Alamin, Enrico Fraccaroli, Massimo Poncino, Davide Quaglia, Sara Vinco
2022 — conf
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing.
LATS
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Sebastiano Gaiardelli, Stefano Spellini, Andrea Calimera, Alessandro Beghi, Gian Antonio Susto, Franco Fummi, Enrico Macii, Sara Vinco
2021 J jnl
A Microservices-Based Framework for Smart Design and Optimization of PV Installations.
IEEE Trans. Sustain. Comput.
Sara Vinco, Daniele Jahier Pagliari, Lorenzo Bottaccioli, Edoardo Patti, Enrico Macii, Massimo Poncino
2021 B conf
Design of District-level Photovoltaic Installations for Optimal Power Production and Economic Benefit.
COMPSAC
Matteo Orlando, Lorenzo Bottaccioli, Sara Vinco, Enrico Macii, Massimo Poncino, Edoardo Patti
2021 A conf
Digital Twin Extension with Extra-Functional Properties.
DATE
Khaled Alamin, Sara Vinco, Massimo Poncino, Nicola Dall'Ora, Enrico Fraccaroli, Davide Quaglia
2021 — conf
Multi-Discipline Fault Modeling with Verilog-AMS.
ICPS
Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
2021 J jnl
Optimizing Quality Inspection and Control in Powder Bed Metal Additive Manufacturing: Challenges and Research Directions.
Proc. IEEE
Santa Di Cataldo, Sara Vinco, Gianvito Urgese, Flaviana Calignano, Elisa Ficarra, Alberto Macii, Enrico Macii
2020 A conf
A Diode-Aware Model of PV Modules from Datasheet Specifications.
DATE
Sara Vinco, Yukai Chen, Enrico Macii, Massimo Poncino
2020 C conf
Functionality and Fault Modeling of a DC Motor with Verilog-AMS.
INDIN
Nicola Dall'Ora, Sara Vinco, Franco Fummi
2020 A* conf
Input-Dependent Edge-Cloud Mapping of Recurrent Neural Networks Inference.
DAC
Daniele Jahier Pagliari, Roberta Chiaro, Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino
2020 J jnl
Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS.
IEEE Trans. Sustain. Comput.
Yukai Chen, Sara Vinco, Daniele Jahier Pagliari, Paolo Montuschi, Enrico Macii, Massimo Poncino
2020 B conf
Optimal Configuration and Placement of PV Systems in Building Roofs with Cost Analysis.
COMPSAC
Matteo Orlando, Lorenzo Bottaccioli, Edoardo Patti, Enrico Macii, Sara Vinco, Massimo Poncino
2019 J jnl
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.
ACM Trans. Design Autom. Electr. Syst.
Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino
2019 — conf
A Semi-Empirical Model of PV Modules Including Manufacturing I-V Mismatch.
ICECS
Yukai Chen, Sara Vinco, Daniele Jahier Pagliari, Enrico Macii, Massimo Poncino
2019 J jnl
A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles.
IEEE Access
Yukai Chen, Donkyu Baek, Jaemin Kim, Santa Di Cataldo, Naehyuck Chang, Enrico Macii, Sara Vinco, Massimo Poncino
2019 A conf
Irradiance-Driven Partial Reconfiguration of PV Panels.
DATE
Daniele Jahier Pagliari, Sara Vinco, Enrico Macii, Massimo Poncino
2019 — ed.
Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017 [Verona, Italy, September 18-20, 2017]
FDL (Selected Papers)
Daniel Große, Sara Vinco, Hiren D. Patel
2019 A* conf
Low-Overhead Power Trace Obfuscation for Smart Meter Privacy.
DAC
Daniele Jahier Pagliari, Sara Vinco, Enrico Macii, Massimo Poncino
2019 J jnl
SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties.
ACM Trans. Design Autom. Electr. Syst.
Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino
2019 J jnl
Translation, Abstraction and Integration for Effective Smart System Design.
IEEE Trans. Computers
Michele Lora, Sara Vinco, Franco Fummi
2018 C conf
A Compact PV Panel Model for Cyber-Physical Systems in Smart Cities.
ISCAS
Sara Vinco, Lorenzo Bottaccioli, Edoardo Patti, Andrea Acquaviva, Massimo Poncino
2018 J jnl
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Michele Lora, Sara Vinco, Enrico Fraccaroli, Davide Quaglia, Franco Fummi
2018 A conf
GIS-based optimal photovoltaic panel floorplanning for residential installations.
DATE
Sara Vinco, Lorenzo Bottaccioli, Edoardo Patti, Andrea Acquaviva, Enrico Macii, Massimo Poncino
2018 — conf
Optimal Topology-Aware PV Panel Floorplanning with Hybrid Orientation.
ACM Great Lakes Symposium on VLSI
Sara Vinco, Enrico Macii, Massimo Poncino
2017 J jnl
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sara Vinco, Yukai Chen, Franco Fummi, Enrico Macii, Massimo Poncino
2017 J jnl
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocess. Microsystems
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
2017 — ch.
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework.
Handbook of Hardware/Software Codesign
Graziano Pravadelli, Davide Quaglia, Sara Vinco, Franco Fummi
2016 — conf
A Unified Model of Power Sources for the Simulation of Electrical Energy Systems.
ACM Great Lakes Symposium on VLSI
Sara Vinco, Yukai Chen, Enrico Macii, Massimo Poncino
2016 — conf
A unifying flow to ease smart systems integration.
HLDVT
Michele Lora, Sara Vinco, Franco Fummi
2016 C conf
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
DSD
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
2016 J jnl
Code Manipulation for Virtual Platform Integration.
IEEE Trans. Computers
Sara Vinco, Valerio Guarnieri, Franco Fummi
2016 J jnl
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Sara Vinco, Christian Pilato
2016 — conf
Fast Thermal Simulation using SystemC-AMS.
ACM Great Lakes Symposium on VLSI
Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino
2016 C conf
IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models.
FDL
Sara Vinco, Michele Lora, Enrico Macii, Massimo Poncino
2016 A conf
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems.
DATE
Enrico Fraccaroli, Michele Lora, Sara Vinco, Davide Quaglia, Franco Fummi
2015 J jnl
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications.
ACM Trans. Design Autom. Electr. Syst.
Nicola Bombieri, Franco Fummi, Sara Vinco
2015 C conf
Conservative behavioural modelling in systemc-AMS.
FDL
Sara Vinco, Michele Lora, Mark Zwolinski
2014 A conf
A cross-level verification methodology for digital IPs augmented with embedded timing monitors.
DATE
Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino
2014 — conf
A framework for efficient evaluation and comparison of EES Models.
PATMOS
Sara Vinco, Alessandro Sassone, Davide Lasorsa, Enrico Macii, Massimo Poncino
2014 A conf
An open-source framework for formal specification and simulation of electrical energy systems.
ISLPED
Sara Vinco, Alessandro Sassone, Franco Fummi, Enrico Macii, Massimo Poncino
2014 A conf
Moving from co-simulation to simulation for effective smart systems design.
DATE
Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco
2013 C conf
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity.
FDL
Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco
2013 Misc conf
On the automatic generation of GPU-oriented software applications from RTL IPs.
CODES+ISSS
Nicola Bombieri, Franco Fummi, Sara Vinco
2013 A conf
On the use of GP-GPUs for accelerating compute-intensive EDA applications.
DATE
Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, Anirudh M. Kaushik, Hiren D. Patel
2013 — conf
RTL IP abstraction into optimized embedded software.
EWDTS
Nicola Bombieri, Diego Forrini, Franco Fummi, Matteo Laurenzi, Sara Vinco
2013 J jnl
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
2013 J jnl
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration.
IEEE Trans. Computers
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
2012 — conf
A formal support for homogeneous simulation of heterogeneous embedded systems.
SIES
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
2012 J jnl
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels.
Des. Autom. Embed. Syst.
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
2012 A conf
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.
DATE
Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco
2012 — conf
On the automatic synthesis of parallel SW from RTL models of hardware IPs.
ACM Great Lakes Symposium on VLSI
Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
2012 — conf
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.
MTV
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco
2012 A* conf
SAGA: SystemC acceleration on GPU architectures.
DAC
Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi
2012 Misc conf
SystemC simulation on GP-GPUs: CUDA vs. OpenCL.
CODES+ISSS
Nicola Bombieri, Sara Vinco, Valeria Bertacco, Debapriya Chatterjee
2012 — conf
The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems.
HLDVT
Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco
2011 C conf
Automatic Interface Generation for Component Reuse in HW-SW Partitioning.
DSD
Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia
2011 C conf
Efficient implementation and abstraction of systemc data types for fast simulation.
FDL
Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco
2011 — conf
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design.
HLDVT
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco
2009 C conf
A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee.
MobiQuitous
Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco
2009 Misc conf
Automatic customization of device drivers for IP-cores used with assorted CPU organizations.
CODES+ISSS
Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco
2009 A conf
Correct-by-construction generation of device drivers based on RTL testbenches.
DATE
Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco
2009 — conf
Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform.
MTV
Franco Fummi, Davide Quaglia, Sara Vinco, Giovanni Perbellini, Saul Saggin
2007 — conf
AME: an abstract middleware environment for validating networked embedded systems applications.
HLDVT
Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco