AME: an abstract middleware environment for validating networked embedded systems applications. - Franco Fummi; Giovanni Perbellini; Davide Quaglia; Sara Vinco (HLDVT, 2007)

Automatic customization of device drivers for IP-cores used with assorted CPU organizations. - Andrea Acquaviva; Nicola Bombieri; Franco Fummi; Sara Vinco (CODES+ISSS, 2009)

Correct-by-construction generation of device drivers based on RTL testbenches. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; Sara Vinco (DATE, 2009)

A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee. - Franco Fummi; Giovanni Perbellini; Davide Quaglia; Sara Vinco (MobiQuitous, 2009)

Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform. - Franco Fummi; Davide Quaglia; Sara Vinco; Giovanni Perbellini; Saul Saggin (MTV, 2009)

Automatic Interface Generation for Component Reuse in HW-SW Partitioning. - Nicola Bombieri; Franco Fummi; Sara Vinco; Davide Quaglia (DSD, 2011)

Efficient implementation and abstraction of systemc data types for fast simulation. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Francesco Stefanni; Sara Vinco (FDL, 2011)

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (HLDVT, 2011)

SystemC simulation on GP-GPUs: CUDA vs. OpenCL. - Nicola Bombieri; Sara Vinco; Valeria Bertacco; Debapriya Chatterjee (CODES+ISSS, 2012)

SAGA: SystemC acceleration on GPU architectures. - Sara Vinco; Debapriya Chatterjee; Valeria Bertacco; Franco Fummi (DAC, 2012)

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. - Markus Becker 001; Gilles B. Defo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Sara Vinco (DATE, 2012)

On the automatic synthesis of parallel SW from RTL models of hardware IPs. - Andrea Acquaviva; Nicola Bombieri; Franco Fummi; Sara Vinco (ACM Great Lakes Symposium on VLSI, 2012)

The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. - Diego Braga; Franco Fummi; Graziano Pravadelli; Sara Vinco (HLDVT, 2012)

Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Sara Vinco (MTV, 2012)

A formal support for homogeneous simulation of heterogeneous embedded systems. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (SIES, 2012)

HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Francesco Stefanni; Sara Vinco (Des. Autom. Embed. Syst., 2012)

On the automatic generation of GPU-oriented software applications from RTL IPs. - Nicola Bombieri; Franco Fummi; Sara Vinco (CODES+ISSS, 2013)

On the use of GP-GPUs for accelerating compute-intensive EDA applications. - Valeria Bertacco; Debapriya Chatterjee; Nicola Bombieri; Franco Fummi; Sara Vinco; Anirudh M. Kaushik; Hiren D. Patel (DATE, 2013)

RTL IP abstraction into optimized embedded software. - Nicola Bombieri; Diego Forrini; Franco Fummi; Matteo Laurenzi; Sara Vinco (EWDTS, 2013)

Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. - Franco Fummi; Michele Lora; Francesco Stefanni; Sara Vinco (FDL, 2013)

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Sara Vinco (IEEE Trans. Computers, 2013)

Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. - Andrea Acquaviva; Nicola Bombieri; Franco Fummi; Sara Vinco (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Moving from co-simulation to simulation for effective smart systems design. - Franco Fummi; Michele Lora; Francesco Stefanni; Dimitrios Trachanis; Jahn Vanhese; Sara Vinco (DATE, 2014)

A cross-level verification methodology for digital IPs augmented with embedded timing monitors. - Valerio Guarnieri; Massimo Petricca; Alessandro Sassone; Sara Vinco; Nicola Bombieri; Franco Fummi; Enrico Macii; Massimo Poncino (DATE, 2014)

An open-source framework for formal specification and simulation of electrical energy systems. - Sara Vinco; Alessandro Sassone; Franco Fummi; Enrico Macii; Massimo Poncino (ISLPED, 2014)

A framework for efficient evaluation and comparison of EES Models. - Sara Vinco; Alessandro Sassone; Davide Lasorsa; Enrico Macii; Massimo Poncino (PATMOS, 2014)

Conservative behavioural modelling in systemc-AMS. - Sara Vinco; Michele Lora; Mark Zwolinski (FDL, 2015)

A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications. - Nicola Bombieri; Franco Fummi; Sara Vinco (ACM Trans. Design Autom. Electr. Syst., 2015)

Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. - Enrico Fraccaroli; Michele Lora; Sara Vinco; Davide Quaglia; Franco Fummi (DATE, 2016)

CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties. - 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; et al. (DSD, 2016)

IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models. - Sara Vinco; Michele Lora; Enrico Macii; Massimo Poncino (FDL, 2016)

Fast Thermal Simulation using SystemC-AMS. - Yukai Chen; Sara Vinco; Enrico Macii; Massimo Poncino (ACM Great Lakes Symposium on VLSI, 2016)

A Unified Model of Power Sources for the Simulation of Electrical Energy Systems. - Sara Vinco; Yukai Chen; Enrico Macii; Massimo Poncino (ACM Great Lakes Symposium on VLSI, 2016)

A unifying flow to ease smart systems integration. - Michele Lora; Sara Vinco; Franco Fummi (HLDVT, 2016)

Code Manipulation for Virtual Platform Integration. - Sara Vinco; Valerio Guarnieri; Franco Fummi (IEEE Trans. Computers, 2016)

Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems. - Sara Vinco; Christian Pilato (ACM Trans. Embed. Comput. Syst., 2016)

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. - 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; et al. (Microprocess. Microsystems, 2017)

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems. - Sara Vinco; Yukai Chen; Franco Fummi; Enrico Macii; Massimo Poncino (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. - Graziano Pravadelli; Davide Quaglia; Sara Vinco; Franco Fummi (Handbook of Hardware/Software Codesign, 2017)

GIS-based optimal photovoltaic panel floorplanning for residential installations. - Sara Vinco; Lorenzo Bottaccioli; Edoardo Patti; Andrea Acquaviva; Enrico Macii; Massimo Poncino (DATE, 2018)

Optimal Topology-Aware PV Panel Floorplanning with Hybrid Orientation. - Sara Vinco; Enrico Macii; Massimo Poncino (ACM Great Lakes Symposium on VLSI, 2018)

A Compact PV Panel Model for Cyber-Physical Systems in Smart Cities. - Sara Vinco; Lorenzo Bottaccioli; Edoardo Patti; Andrea Acquaviva; Massimo Poncino (ISCAS, 2018)

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. - Michele Lora; Sara Vinco; Enrico Fraccaroli; Davide Quaglia; Franco Fummi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Low-Overhead Power Trace Obfuscation for Smart Meter Privacy. - Daniele Jahier Pagliari; Sara Vinco; Enrico Macii; Massimo Poncino (DAC, 2019)

Irradiance-Driven Partial Reconfiguration of PV Panels. - Daniele Jahier Pagliari; Sara Vinco; Enrico Macii; Massimo Poncino (DATE, 2019)

A Semi-Empirical Model of PV Modules Including Manufacturing I-V Mismatch. - Yukai Chen; Sara Vinco; Daniele Jahier Pagliari; Enrico Macii; Massimo Poncino (ICECS, 2019)

A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles. - Yukai Chen; Donkyu Baek; Jaemin Kim; Santa Di Cataldo; Naehyuck Chang; Enrico Macii; Sara Vinco; Massimo Poncino (IEEE Access, 2019)

Translation, Abstraction and Integration for Effective Smart System Design. - Michele Lora; Sara Vinco; Franco Fummi (IEEE Trans. Computers, 2019)

SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties. - Yukai Chen; Sara Vinco; Enrico Macii; Massimo Poncino (ACM Trans. Design Autom. Electr. Syst., 2019)

A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. - Sara Vinco; Nicola Bombieri; Daniele Jahier Pagliari; Franco Fummi; Enrico Macii; Massimo Poncino (ACM Trans. Design Autom. Electr. Syst., 2019)

Optimal Configuration and Placement of PV Systems in Building Roofs with Cost Analysis. - Matteo Orlando; Lorenzo Bottaccioli; Edoardo Patti; Enrico Macii; Sara Vinco; Massimo Poncino (COMPSAC, 2020)

Input-Dependent Edge-Cloud Mapping of Recurrent Neural Networks Inference. - Daniele Jahier Pagliari; Roberta Chiaro; Yukai Chen; Sara Vinco; Enrico Macii; Massimo Poncino (DAC, 2020)

A Diode-Aware Model of PV Modules from Datasheet Specifications. - Sara Vinco; Yukai Chen; Enrico Macii; Massimo Poncino (DATE, 2020)

Functionality and Fault Modeling of a DC Motor with Verilog-AMS. - Nicola Dall'Ora; Sara Vinco; Franco Fummi (INDIN, 2020)

Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS. - Yukai Chen; Sara Vinco; Daniele Jahier Pagliari; Paolo Montuschi; Enrico Macii; Massimo Poncino (IEEE Trans. Sustain. Comput., 2020)

Design of District-level Photovoltaic Installations for Optimal Power Production and Economic Benefit. - Matteo Orlando; Lorenzo Bottaccioli; Sara Vinco; Enrico Macii; Massimo Poncino; Edoardo Patti (COMPSAC, 2021)

Digital Twin Extension with Extra-Functional Properties. - Khaled Alamin; Sara Vinco; Massimo Poncino; Nicola Dall'Ora; Enrico Fraccaroli; Davide Quaglia (DATE, 2021)

Multi-Discipline Fault Modeling with Verilog-AMS. - Nicola Dall'Ora; Enrico Fraccaroli; Sara Vinco; Franco Fummi (ICPS, 2021)

Optimizing Quality Inspection and Control in Powder Bed Metal Additive Manufacturing: Challenges and Research Directions. - Santa Di Cataldo; Sara Vinco; Gianvito Urgese; Flaviana Calignano; Elisa Ficarra; Alberto Macii; Enrico Macii (Proc. IEEE, 2021)

A Microservices-Based Framework for Smart Design and Optimization of PV Installations. - Sara Vinco; Daniele Jahier Pagliari; Lorenzo Bottaccioli; Edoardo Patti; Enrico Macii; Massimo Poncino (IEEE Trans. Sustain. Comput., 2021)

A Machine Learning-based Digital Twin for Electric Vehicle Battery Modeling. - Khaled Sidahmed Sidahmed Alamin; Yukai Chen; Enrico Macii; Massimo Poncino; Sara Vinco (COINS, 2022)

SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing. - Khaled Sidahmed Sidahmed Alamin; Yukai Chen; Sebastiano Gaiardelli; Stefano Spellini; Andrea Calimera; Alessandro Beghi; Gian Antonio Susto; Franco Fummi; Enrico Macii; Sara Vinco (LATS, 2022)

Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring. - Nicola Dall'Ora; Khaled Alamin; Enrico Fraccaroli; Massimo Poncino; Davide Quaglia; Sara Vinco (IEEE Trans. Emerg. Top. Comput., 2022)

Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. - 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; et al. (FDL, 2023)

Robotic Arm Dataset (RoAD): A Dataset to Support the Design and Test of Machine Learning-Driven Anomaly Detection in a Production Line. - Alessio Mascolini; Sebastiano Gaiardelli; Francesco Ponzio; Nicola Dall'Ora; Enrico Macii; Sara Vinco; Santa Di Cataldo; Franco Fummi (IECON, 2023)

Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors. - Francesco Tosoni 002; Nicola Dall'Ora; Enrico Fraccaroli; Sara Vinco; Franco Fummi (INDIN, 2023)

Model-Driven Dataset Generation for Data-Driven Battery SOH Models. - Khaled Sidahmed Sidahmed Alamin; Francesco Daghero; Giovanni Pollo; Daniele Jahier Pagliari; Yukai Chen; Enrico Macii; Massimo Poncino; Sara Vinco (ISLPED, 2023)

Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0. - 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; et al. (CoRR, 2023)

Multi-Criteria Coordinated Electric Vehicle-Drone Hybrid Delivery Service Planning. - Young Hoo Cho; Donkyu Baek; Yukai Chen; Min Jae Jung; Sara Vinco; Enrico Macii; Massimo Poncino (IEEE Trans. Veh. Technol., 2023)

Modeling Cyber-Physical Production Systems With SystemC-AMS. - Enrico Fraccaroli; Sara Vinco (IEEE Trans. Computers, 2023)

A Framework for Economic and Environmental Benefit Through Renewable Energy Community. - Matteo Orlando; Lorenzo Bottaccioli; Stefano Quer; Massimo Poncino; Sara Vinco; Edoardo Patti (IEEE Syst. J., 2023)

Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices. - Mohamed Amine Hamdi; Giovanni Pollo; Matteo Risso; Germain Haugou; Alessio Burrello; Enrico Macii; Massimo Poncino; Sara Vinco; Daniele Jahier Pagliari (CF (Companion), 2024)

VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge. - Alessio Mascolini; Sebastiano Gaiardelli; Francesco Ponzio; Nicola Dall'Ora; Enrico Macii; Sara Vinco; Santa Di Cataldo; Franco Fummi (DAC, 2024)

An AI-Enabled Framework for Smart Semiconductor Manufacturing. - 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; et al. (DATE, 2024)

Model-Driven Feature Engineering for Data-Driven Battery SOH Model. - Khaled Alamin; Daniele Jahier Pagliari; Yukai Chen; Enrico Macii; Sara Vinco; Massimo Poncino (DATE, 2024)

Cross-domain Analog Fault Injection for Designing Robust Smart Systems. - Francesco Tosoni 002; Nicola Dall'Ora; Enrico Fraccaroli; Sara Vinco; Franco Fummi (FDL, 2024)

A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring. - Sebastiano Gaiardelli; Nicola Dall'Ora; Francesco Ponzio; Enrico Fraccaroli; Franco Fummi; Santa Di Cataldo; Sara Vinco (ICIT, 2024)

Assessing Robustness of Smart Systems via Multi-domain Analog Fault Simulation. - Francesco Tosoni 002; Nicola Dall'Ora; Enrico Fraccaroli; Sara Vinco; Franco Fummi (IOLTS, 2024)

A novel virtual prototyping methodology for timing-accurate simulation of AMS circuits. - Teo Vallone; Hayri Verner Hasou; Ernesto Colizzi; Sara Vinco; Davide Zoni (ISQED, 2024)

Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System. - Francesco Tosoni 002; Nicola Dall'Ora; Enrico Fraccaroli; Sara Vinco; Franco Fummi (IEEE Trans. Computers, 2024)

Multi-Partner Project: Advancing the EDA Tools Landscape for the European RISC-V Ecosystem in TRISTAN. - 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; et al. (DATE, 2025)

Coupling Neural Networks and Physics Equations For Li-Ion Battery State-of-Charge Prediction. - Giovanni Pollo; Alessio Burrello; Enrico Macii; Massimo Poncino; Sara Vinco; Daniele Jahier Pagliari (DATE, 2025)

Modeling and Simulation of Thermal Faults in Batteries for Enhanced Safety. - Francesco Tosoni 002; Sara Vinco; Franco Fummi (DDECS, 2025)

Special Session: D-MATE: A Design Methodology for Connecting Automatic Test Equipment in Industry 4.0. - Francesco Biondani; Francesco Tosoni 002; Nicola Dall'Ora; Enrico Fraccaroli; Sara Vinco; Dong Seon Cheng; Franco Fummi (LATS, 2025)

MEbots: Integrating a RISC-V Virtual Platform with a Robotic Simulator for Energy-aware Design. - 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 (CoRR, 2025)