Franco Fummi - RankMe

388 papers A* 10A 55B 10C 82Misc 17Journal 94Unranked 119

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	"Pathways to the Metaverse": Exploring the User Experience Mechanisms Driving Technology Acceptance in Virtual Lab Visits with an LLM-powered Avatar. IUI Xinyi Tu, Francesco Biondani, Danial Amin, Angelica Fabillar, Trang Thi Thu Xuan, Huma Bano Adeel, Sonja M. H. Tervola, Carlo Berlingeri, Franco Fummi, Joni Salminen, Bernard J. Jansen
2026	J	`jnl`	A Comprehensive Survey on Deep Learning-based Predictive Maintenance. ACM Trans. Embed. Comput. Syst. Uzair Khan, Dong Seon Cheng, Francesco Setti, Franco Fummi, Marco Cristani, Luigi Capogrosso
2026	Misc	`conf`	Machine Dynamics-Aware CPS Scheduling and Iterative Validation for Industry 4.0. VLSID Pietro Turco, Enrico Fraccaroli, Samarjit Chakraborty, Franco Fummi
2025	Misc	`conf`	Controllers for Edge-Cloud Cyber-Physical Systems. COMSNETS Tingan Zhu, Prateek Ganguli, Arkaprava Gupta, Shengjie Xu, Luigi Capogrosso, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty
2025	Misc	`conf`	Disentangled Latent Spaces Facilitate Data-Driven Auxiliary Learning. ICIAP Geri Skenderi, Luigi Capogrosso, Andrea Toaiari, Matteo Denitto, Franco Fummi, Simone Melzi
2025	A	`conf`	Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration. DATE Mario Libro, Sebastiano Gaiardelli, Marco Panato, Stefano Spellini, Michele Lora, Franco Fummi
2025	C	`conf`	Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software. INDIN Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, Michele Lora, Samarjit Chakraborty, Franco Fummi
2025	A	`conf`	Human-Centered Digital Twin for Industry 5.0. DATE Francesco Biondani, Luigi Capogrosso, Nicola Dall'Ora, Enrico Fraccaroli, Marco Cristani, Franco Fummi
2025	Misc	`conf`	KairosAD: A SAM-Based Model for Industrial Anomaly Detection on Embedded Devices. ICIAP Uzair Khan, Franco Fummi, Luigi Capogrosso
2025	J	`jnl`	KairosAD: A SAM-Based Model for Industrial Anomaly Detection on Embedded Devices. CoRR Uzair Khan, Franco Fummi, Luigi Capogrosso
2025	Misc	`conf`	LO-SC: Local-Only Split Computing for Accurate Deep Learning on Edge Devices. VLSID Luigi Capogrosso, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty
2025	C	`conf`	Modeling and Simulation of Thermal Faults in Batteries for Enhanced Safety. DDECS Francesco Tosoni, Sara Vinco, Franco Fummi
2025	J	`jnl`	New Fashion Products Performance Forecasting: A Survey on Evolutions, Models and Emerging Trends. CoRR Andrea Avogaro, Luigi Capogrosso, Andrea Toaiari, Franco Fummi, Marco Cristani
2025	J	`jnl`	Process mining-driven modeling and simulation to enhance fault diagnosis in cyber-physical systems. CoRR Francesco Vitale, Nicola Dall'Ora, Sebastiano Gaiardelli, Enrico Fraccaroli, Nicola Mazzocca, Franco Fummi
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	J	`jnl`	A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications. ACM Trans. Embed. Comput. Syst. Francesco Lumpp, Marco Panato, Nicola Bombieri, Franco Fummi
2024	J	`jnl`	A Machine Learning-Oriented Survey on Tiny Machine Learning. IEEE Access Luigi Capogrosso, Federico Cunico, Dong Seon Cheng, Franco Fummi, Marco Cristani
2024	C	`conf`	A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations. ETFA Mohammad Uddin, Sebastiano Gaiardelli, Michele Lora, Dong Seon Cheng, Franco Fummi
2024	—	`conf`	Adopting OPC UA for Efficient and Secure Firmware Transmission in Industry 4.0 Scenarios. ISIE Francesco Biondani, Dong Seon Cheng, Franco Fummi
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	J	`jnl`	Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, Renaud Gillon, Franco Fummi
2024	—	`conf`	Analog Fault Simulation: Trends and Perspectives in Analog Hardware Description Languages. LATS Nicola Dall'Ora, Enrico Fraccaroli, Renaud Gillon, Franco Fummi
2024	C	`conf`	Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors. ETFA Friederike Bruns, Andreas Rauh, Francesco Tosoni, Franco Fummi, Sven Mehlhop, Frank Oppenheimer
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	C	`conf`	Automating CPPSs Analyses with SysML v2 and Lingua Franca in the Context of Industry 4.0. IECON Sebastiano Gaiardelli, Jan Wilch, Franco Fummi, Birgit Vogel-Heuser
2024	C	`conf`	Automating FinOps in Cloud Computing: An Integrated Solution for Efficient Data Collection with Dynamic Scraper Generation. CloudCom Francesco Lumpp, Diego Braga, Franco Fummi, Nicola Bombieri
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	A	`conf`	Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi
2024	—	`conf`	Dif4FF: Leveraging Multimodal Diffusion Models and Graph Neural Networks for Accurate New Fashion Product Performance Forecasting. ICPR (8) Andrea Avogaro, Luigi Capogrosso, Franco Fummi, Marco Cristani
2024	J	`jnl`	Dif4FF: Leveraging Multimodal Diffusion Models and Graph Neural Networks for Accurate New Fashion Product Performance Forecasting. CoRR Andrea Avogaro, Luigi Capogrosso, Franco Fummi, Marco Cristani
2024	—	`conf`	Diffusion-Based Image Generation for In-Distribution Data Augmentation in Surface Defect Detection. VISIGRAPP (2): VISAPP Luigi Capogrosso, Federico Girella, Francesco Taioli, Michele Dalla Chiara, Muhammad Aqeel, Franco Fummi, Francesco Setti, Marco Cristani
2024	J	`jnl`	Diffusion-based Image Generation for In-distribution Data Augmentation in Surface Defect Detection. CoRR Luigi Capogrosso, Federico Girella, Francesco Taioli, Michele Dalla Chiara, Muhammad Aqeel, Franco Fummi, Francesco Setti, Marco Cristani
2024	C	`conf`	Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software. IECON Pietro Turco, Elisa Zanella, Andrea Valentini, Sebastiano Gaiardelli, Nicola Dall'Ora, Michele Lora, Franco Fummi
2024	J	`jnl`	Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots. IEEE Trans. Robotics Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri
2024	J	`jnl`	Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols. IEEE Access Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Carlo Tadiello, Michele Lora, Dong Seon Cheng, Franco Fummi
2024	J	`jnl`	Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. IEEE Access Federico Cunico, Stefano Aldegheri, Andrea Avogaro, Michele Boldo, Nicola Bombieri, Luigi Capogrosso, Ariel Caputo, Damiano Carra, Stefano Centomo, Dong Seon Cheng, Ettore Cinquetti, Marco Cristani, Mirco De Marchi, Florenc Demrozi, Marco Emporio, Franco Fummi, Luca Geretti, Samuele Germiniani, Andrea Giachetti, Federico Girella, Enrico Martini, Gloria Menegaz, Niek Muijs, Federica Paci, Marco Panato, Graziano Pravadelli, Elisa Quintarelli, Ilaria Siviero, Silvia Francesca Storti, Carlo Tadiello, Cristian Turetta, Tiziano Villa, Nicola Zannone, Davide Quaglia
2024	C	`conf`	Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. FDL Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty, Franco Fummi, Marco Cristani
2024	J	`jnl`	Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. CoRR Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty, Franco Fummi, Marco Cristani
2024	—	`conf`	Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies. CPS Summer School, PhD Workshop Mario Libro, Stefano Gelain, Franco Fummi
2024	C	`conf`	Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective : Wild-and-Crazy-Idea Paper. FDL Francesco Tosoni, Muhammad Ihtisham Amin, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi
2024	C	`conf`	Fault Injection for Synthetic Data Generation in Aircraft: A Simulation-Based Approach. INDIN Francesco Biondani, Nicola Dall'Ora, Francesco Tosoni, Enrico Fraccaroli, Domenico Fabio Migliore, Francesco Acerra, Franco Fummi
2024	—	`conf`	Integrating Modeling Languages with Ontologies in the Context of Industry 4.0. ICIT Mario Libro, Sebastiano Gaiardelli, Michele Lora, Franco Fummi
2024	J	`jnl`	Integration of Extended Reality with a Cyber-Physical Factory Environment and its Digital Twins. Proc. ACM Hum. Comput. Interact. Marco Emporio, Ariel Caputo, Deborah Pintani, Dong Seon Cheng, Thomas De Marchi, Gianmaria Forte, Franco Fummi, Andrea Giachetti
2024	—	`conf`	Learning-Enabled CPS for Edge-Cloud Computing. SIES Luigi Capogrosso, Shengjie Xu, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty
2024	J	`jnl`	Leveraging Latent Diffusion Models for Training-Free In-Distribution Data Augmentation for Surface Defect Detection. CoRR Federico Girella, Ziyue Liu, Franco Fummi, Francesco Setti, Marco Cristani, Luigi Capogrosso
2024	C	`conf`	Leveraging Latent Diffusion Models for Training-Free in-Distribution Data Augmentation for Surface Defect Detection. CBMI Federico Girella, Ziyue Liu, Franco Fummi, Francesco Setti, Marco Cristani, Luigi Capogrosso
2024	—	`conf`	MDiFF: Exploiting Multimodal Score-Based Diffusion Models for New Fashion Product Performance Forecasting. ECCV Workshops (1) Andrea Avogaro, Luigi Capogrosso, Franco Fummi, Marco Cristani
2024	J	`jnl`	MDiFF: Exploiting Multimodal Score-based Diffusion Models for New Fashion Product Performance Forecasting. CoRR Andrea Avogaro, Luigi Capogrosso, Franco Fummi, Marco Cristani
2024	A*	`conf`	MTL-Split: Multi-Task Learning for Edge Devices using Split Computing. DAC Luigi Capogrosso, Enrico Fraccaroli, Samarjit Chakraborty, Franco Fummi, Marco Cristani
2024	J	`jnl`	MTL-Split: Multi-Task Learning for Edge Devices using Split Computing. CoRR Luigi Capogrosso, Enrico Fraccaroli, Samarjit Chakraborty, Franco Fummi, Marco Cristani
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`	Optimizing Kubernetes Deployment of Robotic Applications with HEFT-based Container Orchestration. IROS Francesco Lumpp, Franco Fummi, Nicola Bombieri
2024	J	`jnl`	RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization. IEEE Trans. Ind. Informatics Sebastiano Gaiardelli, Michele Lora, Stefano Spellini, Franco Fummi
2024	J	`jnl`	Real-time multi-camera 3D human pose estimation at the edge for industrial applications. Expert Syst. Appl. Michele Boldo, Mirco De Marchi, Enrico Martini, Stefano Aldegheri, Davide Quaglia, Franco Fummi, Nicola Bombieri
2024	—	`conf`	SITUATE: Indoor Human Trajectory Prediction Through Geometric Features and Self-supervised Vision Representation. ICPR (16) Luigi Capogrosso, Andrea Toaiari, Andrea Avogaro, Uzair Khan, Aditya Jivoji, Franco Fummi, Marco Cristani
2024	J	`jnl`	SITUATE: Indoor Human Trajectory Prediction through Geometric Features and Self-Supervised Vision Representation. CoRR Luigi Capogrosso, Andrea Toaiari, Andrea Avogaro, Uzair Khan, Aditya Jivoji, Franco Fummi, Marco Cristani
2024	—	`conf`	The Future of Aircraft Maintenance: Goals and Challenges of Digital Twins for In-flight Operations. CPS Summer School, PhD Workshop Francesco Biondani, 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 Machine Learning-oriented Survey on Tiny Machine Learning. CoRR Luigi Capogrosso, Federico Cunico, Dong Seon Cheng, Franco Fummi, Marco Cristani
2023	J	`jnl`	Disentangled Latent Spaces Facilitate Data-Driven Auxiliary Learning. CoRR Geri Skenderi, Luigi Capogrosso, Andrea Toaiari, Matteo Denitto, Franco Fummi, Simone Melzi, Marco Cristani
2023	C	`conf`	HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. DDECS Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
2023	J	`jnl`	HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. CoRR Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
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`	Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. DDECS Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia
2023	J	`jnl`	Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. CoRR Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia
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
2023	A	`conf`	Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments. DATE Cristian Turetta, Geri Skenderi, Luigi Capogrosso, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Franco Fummi, Marco Cristani, Graziano Pravadelli
2023	C	`conf`	VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. FDL Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni
2023	—	`conf`	Verilog-A Implementation of Generic Defect Templates for Analog Fault Injection. ACM Great Lakes Symposium on VLSI Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, Renaud Gillon, Franco Fummi
2022	C	`conf`	A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. FDL Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi
2022	—	`conf`	A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes. ISIE Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi
2022	A	`conf`	A Software Architecture to Control Service-Oriented Manufacturing Systems. DATE Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi
2022	A	`conf`	Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms. IROS Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri
2022	—	`conf`	Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models. ISQED Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi
2022	B	`conf`	I-SPLIT: Deep Network Interpretability for Split Computing. ICPR Federico Cunico, Luigi Capogrosso, Francesco Setti, Damiano Carra, Franco Fummi, Marco Cristani
2022	J	`jnl`	I-SPLIT: Deep Network Interpretability for Split Computing. CoRR Federico Cunico, Luigi Capogrosso, Francesco Setti, Damiano Carra, Franco Fummi, Marco Cristani
2022	—	`conf`	Inferring Mechanical Fault Models from the Electrical Domain. ICPS Nicola Dall'Ora, Francesco Tosoni, Enrico Fraccaroli, Franco Fummi
2022	C	`conf`	Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. IECON Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi
2022	—	`conf`	Investigation on Realistic Stuck-on/off Defects to Complement IEEE P2427 Draft Standard. ISQED Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, André Alberts, Renaud Gillon, Franco Fummi
2022	C	`conf`	On the Impact of Transport Times in Flexible Job Shop Scheduling Problems. ETFA Sebastiano Gaiardelli, Damiano Carra, Stefano Spellini, Franco Fummi
2022	—	`conf`	Process Dynamics-Aware Flexible Manufacturing for Industry 4.0. CASE Michael Balszun, Clara Hobbs, Enrico Fraccaroli, Debayan Roy, Franco Fummi, Samarjit Chakraborty
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
2022	—	`conf`	The Challenges of Coupling Digital-Twins with Multiple Classes of Faults. LATS Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi
2022	—	`conf`	Toward Smart Doors: A Position Paper. ICPR Workshops (2) Luigi Capogrosso, Geri Skenderi, Federico Girella, Franco Fummi, Marco Cristani
2022	J	`jnl`	Toward Smart Doors: A Position Paper. CoRR Luigi Capogrosso, Geri Skenderi, Federico Girella, Franco Fummi, Marco Cristani
2021	C	`conf`	A Common Manipulation Framework for Transistor-Level Languages. FDL Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi
2021	C	`conf`	A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. FDL Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri
2021	—	`conf`	A Design Methodology of Multi-level Digital Twins. ICIT Stefano Centomo, Andrea Avogaro, Marco Panato, Carlo Tadiello, Franco Fummi
2021	C	`conf`	DOHMO: Embedded Computer Vision in Co-Housing Scenarios. FDL Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani
2021	C	`conf`	Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. ETFA Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi
2021	J	`jnl`	Holding Conferences Online in Pandemic Times: The DATE Experience. IEEE Des. Test Franco Fummi, Ian O'Connor
2021	C	`conf`	Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. FDL Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi
2021	—	`conf`	Multi-Discipline Fault Modeling with Verilog-AMS. ICPS Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi
2021	C	`conf`	Predictive Fault Grouping based on Faulty AC Matrices. DDECS Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi
2021	J	`jnl`	SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. ACM Trans. Embed. Comput. Syst. Nicola Bombieri, Silvia Scaffeo, Antonio Mastrandrea, Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno
2021	J	`jnl`	Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. IEEE Trans. Ind. Informatics Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
2020	J	`jnl`	Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems. IEEE Trans. Computers Enrico Fraccaroli, Michele Lora, Franco Fummi
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`	Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures. DAC Stefano Aldegheri, Nicola Bombieri, Franco Fummi, Simone Girardi, Riccardo Muradore, Nicola Piccinelli
2020	A	`conf`	Network Synthesis for Industry 4.0. DATE Enrico Fraccaroli, Alan Michael Padovani, Davide Quaglia, Franco Fummi
2020	A	`conf`	Production Recipe Validation through Formalization and Digital Twin Generation. DATE Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
2020	C	`conf`	The Design of a Digital-Twin for Predictive Maintenance. ETFA Stefano Centomo, Nicola Dall'Ora, Franco Fummi
2019	C	`conf`	A Contract-based Methodology for Production Lines Validation. INDIN Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi
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	C	`conf`	Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation. CIBCB Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno
2019	J	`jnl`	Compositional Design of Multi-Robot Systems Control Software on ROS. ACM Trans. Embed. Comput. Syst. Stefano Spellini, Michele Lora, Franco Fummi, Sudipta Chattopadhyay
2019	J	`jnl`	Conference Reports: Recap of DATE 2019 in Florence, Italy. IEEE Des. Test Jürgen Teich, Franco Fummi
2019	A	`ed.`	Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019 DATE Jürgen Teich, Franco Fummi
2019	C	`conf`	Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. FDL Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno
2019	—	`conf`	Industrial-IoT Data Analysis Exploiting Electronic Design Automation Techniques. IWASI Nicola Dall'Ora, Stefano Centomo, Franco Fummi
2019	C	`conf`	Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. FDL Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi
2019	—	`conf`	On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation. CIBB Nicola Bombieri, Antonio Mastrandrea, Silvia Scaffeo, Simone Caligola, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno
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 Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS. ISCAS Stefano Aldegheri, Nicola Bombieri, Nicola Dall'Ora, Franco Fummi, Simone Girardi, Marco Panato
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`	Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. DATE Michele Lora, Stefano Centomo, Davide Quaglia, Franco Fummi
2018	C	`conf`	Cyber-Physical Systems Integration in a Production Line Simulator. VLSI-SoC Stefano Centomo, Marco Panato, Franco Fummi
2018	—	`conf`	Efficient Simulation of Faults in Networked Cyber-Physical Systems. DCIS Enrico Fraccaroli, Davide Quaglia, Franco Fummi
2018	Misc	`conf`	Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. CODES+ISSS Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi
2018	J	`jnl`	Network Synthesis for Distributed Embedded Systems. IEEE Trans. Computers Enrico Fraccaroli, Francesco Stefanni, Romeo Rizzi, Davide Quaglia, Franco Fummi
2018	J	`jnl`	Pro++: A Profiling Framework for Primitive-Based GPU Programming. IEEE Trans. Emerg. Top. Comput. Nicola Bombieri, Federico Busato, Franco Fummi
2018	C	`conf`	Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. FDL Enrico Fraccaroli, Davide Quaglia, Franco Fummi
2018	C	`conf`	Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. FDL Stefano Centomo, Michele Lora, Franco Fummi
2017	C	`ed.`	2017 Forum on Specification and Design Languages, FDL 2017, Verona, Italy, September 18-20, 2017 FDL Franco Fummi, Hiren D. Patel, Samarjit Chakraborty
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	B	`conf`	A homogeneous framework for AMS languages instrumentation, abstraction and simulation. ETS Enrico Fraccaroli, Luca Piccolboni, Franco Fummi
2017	A	`conf`	Analog fault testing through abstraction. DATE Enrico Fraccaroli, Franco Fummi
2017	—	`conf`	Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. FDL (Selected Papers) Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
2017	A	`conf`	Automatic abstraction of multi-discipline analog models for efficient functional simulation. DATE Enrico Fraccaroli, Michele Lora, Franco Fummi
2017	C	`conf`	Automatic generation of cycle-accurate Simulink blocks from hdl ips. FDL Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi
2017	—	`conf`	Cyber-physical virtual platforms: Techniques for sensors integration. IWASI Franco Fummi
2017	—	`conf`	Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. FDL (Selected Papers) Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski
2017	C	`conf`	Fault analysis in analog circuits through language manipulation and abstraction. FDL Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski
2017	A*	`conf`	Power-aware Performance Tuning of GPU Applications Through Microbenchmarking. DAC Nicola Bombieri, Federico Busato, Franco Fummi
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
2017	—	`conf`	Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. ASP-DAC Michele Lora, Enrico Fraccaroli, Franco Fummi
2016	—	`conf`	A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. LATS Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno
2016	A	`conf`	A fine-grained performance model for GPU architectures. DATE Nicola Bombieri, Federico Busato, Franco Fummi
2016	—	`conf`	A unifying flow to ease smart systems integration. HLDVT Michele Lora, Sara Vinco, Franco Fummi
2016	J	`jnl`	Code Manipulation for Virtual Platform Integration. IEEE Trans. Computers Sara Vinco, Valerio Guarnieri, Franco Fummi
2016	J	`jnl`	Erratum to "Model-Driven Design of Network Aspects of Distributed Embedded Systems". IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Emad Ebeid, Franco Fummi, Davide Quaglia
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
2016	—	`conf`	MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures. SIES Nicola Bombieri, Federico Busato, Franco Fummi, Michele Scala
2016	—	`conf`	SyQUAL: a platform for qualitative modelling and simulation of biological systems. HLDVT Rosario Distefano, Nickolas Goncharenko, Franco Fummi, Rosalba Giugno, Gary D. Bader, Nicola Bombieri
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	J	`jnl`	A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. Sensors Diwei He, Stephen P. Morgan, Dimitrios Trachanis, Jan van Hese, Dimitris Drogoudis, Franco Fummi, Francesco Stefanni, Valerio Guarnieri, Barrie Hayes-Gill
2015	—	`conf`	A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology. ACM Great Lakes Symposium on VLSI Rosario Distefano, Franco Fummi, Carlo Laudanna, Nicola Bombieri, Rosalba Giugno
2015	—	`conf`	An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs. MCSoC Nicola Bombieri, Federico Busato, Franco Fummi
2015	C	`conf`	Extensions to the UML profile for MARTE for distributed embedded systems. FDL Emad Samuel Malki Ebeid, Julio L. Medina, Davide Quaglia, Franco Fummi
2015	J	`jnl`	HDL code generation from UML/MARTE sequence diagrams for verification and synthesis. Des. Autom. Embed. Syst. Emad Ebeid, Franco Fummi, Davide Quaglia
2015	J	`jnl`	Model-Driven Design of Network Aspects of Distributed Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia
2015	J	`jnl`	Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
2015	J	`jnl`	Simulation alternatives for the verification of networked cyber-physical systems. Microprocess. Microsystems Michele Lora, Riccardo Muradore, Davide Quaglia, Franco Fummi
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 design space exploration and performance analysis of networked embedded systems. RAPIDO Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Hector Posadas, Eugenio Villar
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	—	`conf`	Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework. CMSB Nicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno
2014	—	`conf`	Hardware Synthesis from Software-Oriented UML Descriptions. MTV Michele Lora, Francesco Martinelli, Franco Fummi
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
2014	—	`conf`	Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision. ICECS Renaud Gillon, Giuliana Gangemi, Michelangelo Grosso, Franco Fummi, Massimo Poncino
2014	—	`conf`	On the reuse of RTL assertions in SystemC TLM verification. LATW Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia
2014	A	`conf`	Panel: Future SoC verification methodology: UVM evolution or revolution? DATE Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan J. Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev
2014	C	`conf`	Simulation Alternatives for Modeling Networked Cyber-Physical Systems. DSD Michele Lora, Riccardo Muradore, Riccardo Reffato, Franco Fummi
2014	J	`jnl`	Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli
2013	—	`conf`	A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems. UKSim Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia
2013	A*	`conf`	A method to abstract RTL IP blocks into C++ code and enable high-level synthesis. DAC Nicola Bombieri, Hung-Yi Liu, Franco Fummi, Luca P. Carloni
2013	—	`conf`	Automatic Network Protocol Synthesis from UML Sequence Diagrams. MTV Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni
2013	C	`conf`	Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco
2013	—	`conf`	Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems. MTV Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia
2013	B	`conf`	Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. ETS Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli
2013	C	`conf`	Model-driven design for the development of multi-platform smartphone applications. FDL G. Botturi, Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia
2013	J	`jnl`	On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. J. Electron. Test. Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora
2013	Misc	`conf`	On the automatic generation of GPU-oriented software applications from RTL IPs. CODES+ISSS Nicola Bombieri, Franco Fummi, Sara Vinco
2013	J	`jnl`	On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
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	C	`conf`	UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems. DSD Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia
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	—	`conf`	Accurate profiling of oracles for self-checking time-constrained embedded software. HLDVT Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
2012	B	`conf`	Combining dynamic slicing and mutation operators for ESL correction. ETS Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi
2012	Misc	`conf`	Dynamic property mining for embedded software. CODES+ISSS Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli
2012	A	`conf`	Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2012	—	`conf`	Energy aware TLM platform simulation via RTL abstraction. HLDVT Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva
2012	A	`conf`	FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. DATE Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2012	J	`jnl`	FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction. J. Electron. Test. Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2012	C	`conf`	Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification. DDECS Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi
2012	C	`conf`	Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis. DSD Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi
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 Reuse of RTL IPs for SysML Model Generation. MTV Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora
2012	J	`jnl`	On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
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	C	`conf`	On the use of assertions for embedded-software dynamic verification. DDECS Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2012	Misc	`ed.`	Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012 Ahmed Jerraya, Luca P. Carloni, Naehyuck Chang, Franco Fummi
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	—	`conf`	Reduced-Complexity Transition-Fault Test Generation for Non-scan Circuits through High-Level Mutant Injection. Asian Test Symposium Valerio Guarnieri, Franco Fummi, Krishnendu Chakrabarty
2012	A	`conf`	Refinement of UML/MARTE models for the design of networked embedded systems. DATE Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni
2012	A*	`conf`	SAGA: SystemC acceleration on GPU architectures. DAC Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi
2012	—	`conf`	The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco
2012	J	`jnl`	Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita
2011	B	`conf`	Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. ETS Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2011	J	`jnl`	Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers Nicola Bombieri, Franco Fummi, Graziano Pravadelli
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`	Communication-aware design flow for dependable networked embedded systems. ISCAS Franco Fummi, Davide Quaglia, Francesco Stefanni
2011	C	`conf`	Communication-aware middleware-based design-space exploration for Networked Embedded Systems. VLSI-SoC Franco Fummi, Davide Quaglia, Francesco Stefanni
2011	C	`conf`	EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia
2011	J	`jnl`	Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electron. Test. Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
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`	Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2011	—	`conf`	Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2011	—	`conf`	Model-driven design and validation of embedded software. AST@ICSE Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek
2011	—	`conf`	Mutation analysis for SystemC designs at TLM. LATW Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar
2011	B	`conf`	Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita
2011	—	`conf`	Reusing of Properties after Discretization of Hybrid Automata. MTV Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
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
2010	A*	`conf`	Abstraction of RTL IPs into embedded software. DAC Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2010	—	`conf`	Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. HLDVT Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2010	C	`conf`	DDPSL: An easy way of defining properties. ICCD Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli
2010	C	`conf`	Exploration of Network Alternatives for Middleware-centric Embedded System Design. DSD Franco Fummi, Giovanni Perbellini, Davide Quaglia, R. Trenti
2010	J	`jnl`	HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
2010	—	`conf`	HIFSuite: Tools for HDL code conversion and manipulation. HLDVT Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli
2010	C	`conf`	Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. VLSI-SoC Nicola Bombieri, Franco Fummi, Valerio Guarnieri
2010	C	`conf`	Modeling of Communication Infrastructure for Design-Space Exploration. FDL Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato
2010	—	`conf`	Mutation analysis with high-level decision diagrams. LATW Hanno Hantson, Jaan Raik, Maksim Jenihhin, Anton Chepurov, Raimund Ubar, Giuseppe Di Guglielmo, Franco Fummi
2010	Misc	`conf`	Network-adaptive management of computation energy in wireless sensor networks. SAC Fabrizio Mulas, Andrea Acquaviva, Salvatore Carta, Gianni Fenu, Davide Quaglia, Franco Fummi
2010	A	`conf`	RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie
2010	—	`conf`	Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri
2010	J	`jnl`	System/network design-space exploration based on TLM for networked embedded systems. ACM Trans. Embed. Comput. Syst. Nicola Bombieri, Franco Fummi, Davide Quaglia
2010	A	`conf`	Vacuity analysis for property qualification by mutation of checkers. DATE Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
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	J	`jnl`	A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Design Autom. Electr. Syst. Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli
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	A	`conf`	Flexible energy-aware simulation of heterogenous wireless sensor networks. DATE Franco Fummi, Giovanni Perbellini, Davide Quaglia, Andrea Acquaviva
2009	A	`conf`	Functional qualification of TLM verification. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
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
2009	A	`conf`	Networked embedded system applications design driven by an abstract middleware environment. DATE Franco Fummi, Giovanni Perbellini, Niccolo Roncolato
2009	—	`conf`	On the Functional Qualification of a Platform Model. DFT Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
2009	—	`conf`	On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2009	C	`conf`	The impact of EFSM composition on functional ATPG. DDECS Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa
2009	C	`conf`	The role of mutation analysis for property qualification. MEMOCODE Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2009	C	`conf`	Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. DSD Franco Fummi, Davide Quaglia, Francesco Stefanni
2008	—	`conf`	A HW/SW co-simulation framework for the verification of multi-CPU systems. HLDVT Stefano Cordibella, Franco Fummi, Giovanni Perbellini, Davide Quaglia
2008	A	`conf`	A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	C	`conf`	A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. FDL Franco Fummi, Davide Quaglia, Francesco Stefanni
2008	—	`conf`	An energy-aware co-simulation framework for the design of wireless sensor networks. ACM Great Lakes Symposium on VLSI Andrea Acquaviva, Franco Fummi, Giovanni Perbellini, Davide Quaglia
2008	—	`conf`	An optimized CLP-based technique for generating propagation sequences. EWDTS Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli
2008	A	`conf`	Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. DATE Nicola Bombieri, Nicola Deganello, Franco Fummi
2008	—	`conf`	Network Fault Model for Dependability Assessment of Networked Embedded Systems. DFT Franco Fummi, Davide Quaglia, Francesco Stefanni
2008	—	`conf`	RTL-TLM equivalence checking based on simulation. EWDTS Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	J	`jnl`	Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2008	—	`conf`	SystemC Simulation of Networked Embedded Systems. FDL (Selected Papers) Francesco Stefanni, Davide Quaglia, Franco Fummi
2008	—	`conf`	The role of parallel simulation in functional verification. HLDVT Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni
2008	C	`conf`	Vacuity Analysis by Fault Simulation. MEMOCODE Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
2007	—	`conf`	A CLP-Based Functional ATPG for Extended FSMs. MTV Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris
2007	A	`conf`	A smooth refinement flow for co-designing HW and SW threads. DATE Paolo Destro, Franco Fummi, Graziano Pravadelli
2007	—	`conf`	AME: an abstract middleware environment for validating networked embedded systems applications. HLDVT Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco
2007	J	`jnl`	An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems CoRR Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2007	—	`conf`	Co-simulation framework for the Angel platform. ICECS Andrea Bragagnini, Franco Fummi, Axel Huebner, Giovanni Perbellini, Davide Quaglia
2007	J	`jnl`	Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Des. Test Comput. Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli
2007	J	`jnl`	Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. IET Comput. Digit. Tech. Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2007	A	`conf`	Incremental ABV for functional validation of TL-to-RTL design refinement. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2007	A	`conf`	Interactive presentation: A middleware-centric design flow for networked embedded systems. DATE Franco Fummi, Giovanni Perbellini, R. Pietrangeli, Davide Quaglia
2007	A	`conf`	Modeling and simulation alternatives for the design of networked embedded systems. DATE Elisa Alessio, Franco Fummi, Davide Quaglia, Maura Turolla
2007	J	`jnl`	Properties Incompleteness Evaluation by Functional Verification. IEEE Trans. Computers Andrea Fedeli, Franco Fummi, Graziano Pravadelli
2007	J	`jnl`	SystemC co-simulation for core-based embedded systems. Des. Autom. Embed. Syst. Franco Fummi, Mirko Loghi, Giovanni Perbellini, Massimo Poncino
2007	J	`jnl`	Too Few or Too Many Properties? Measure it by ATPG! J. Electron. Test. Franco Fummi, Graziano Pravadelli
2007	C	`conf`	Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva
2007	A	`conf`	Yield-aware placement optimization. DATE Paolo Azzoni, Massimo Bertoletti, Nicola Dragone, Franco Fummi, Carlo Guardiani, W. Vendraminetto
2007	J	`jnl`	eEPC: an EPCglobal-compliant Embedded Architecture for RFID-based Solutions. J. Commun. Franco Fummi, Giovanni Perbellini
2006	C	`conf`	A methodology for abstracting RTL designs into TL descriptions. MEMOCODE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	—	`conf`	EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006	B	`conf`	FATE: a Functional ATPG to Traverse Unstabilized EFSMs. ETS Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006	J	`jnl`	Guest Editor's Introduction. Int. J. Parallel Program. Ian G. Harris, Franco Fummi
2006	—	`conf`	Hardware Design and Simulation for Verification. SFM Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	—	`conf`	ISS-centric modular HW/SW co-simulation. ACM Great Lakes Symposium on VLSI Franco Fummi, Giovanni Perbellini, Mirko Loghi, Massimo Poncino
2006	Misc	`conf`	Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2006	—	`conf`	Modeling and simulation of mobile gateways interacting with wireless sensor networks. DATE Designers' Forum Franco Fummi, Davide Quaglia, Fabio Ricciato, Maura Turolla
2006	—	`conf`	On the Automatic Transactor Generation for TLM-based Design Flows. HLDVT Nicola Bombieri, Franco Fummi
2006	A	`conf`	On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2006	Misc	`conf`	TLM/network design space exploration for networked embedded systems. CODES+ISSS Nicola Bombieri, Franco Fummi, Davide Quaglia
2005	—	`conf`	A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005	—	`conf`	An EFSM-based approach for functional ATPG. ACM Great Lakes Symposium on VLSI Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005	B	`conf`	Coverage of formal properties based on a high-level fault model and functional ATPG. ETS Franco Fummi, Graziano Pravadelli, Franco Toto
2005	J	`jnl`	Editorial. Int. J. Parallel Program. Franco Fummi, Ian G. Harris
2005	C	`conf`	Embedded SW Design Issues for Distributed Applications on Mobile Terminals. MobiQuitous Franco Fummi, Stefano Martini, Giovanni Perbellini, Fabio Ricciato, Maura Turolla
2005	C	`conf`	Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. MEMOCODE Nicola Bombieri, Andrea Fedeli, Franco Fummi
2005	—	`conf`	Functional Verification of Networked Embedded Systems. ISQED Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2005	J	`jnl`	Logic-level mapping of high-level faults. Integr. Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2005	—	`conf`	On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. MTV Nicola Bombieri, Andrea Fedeli, Franco Fummi
2005	C	`conf`	On the use of a high-level fault model to analyze logical consequence of properties. MEMOCODE Stefano Brait, Franco Fummi, Graziano Pravadelli
2005	A	`conf`	Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation. DATE Franco Fummi, Mirko Loghi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino
2004	—	`conf`	A Verification Methodology for Reconfigurable Systems. MTV Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004	Misc	`conf`	A timing-accurate HW/SW co-simulation of an ISS with SystemC. CODES+ISSS Luca Formaggio, Franco Fummi, Graziano Pravadelli
2004	A	`conf`	An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2004	—	`conf`	At-Speed Functional Verification of Programmable Devices. DFT Nicola Bombieri, Franco Fummi, Graziano Pravadelli
2004	B	`conf`	Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? ETS Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004	—	`conf`	Functional verification based on the EFSM model. HLDVT Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004	A	`conf`	Heterogeneous Co-Simulation of Networked Embedded Systems. DATE Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino, Fabio Ricciato, Maura Turolla
2004	—	`conf`	Logic-level analysis of high-level faults. ACM Great Lakes Symposium on VLSI Franco Fummi, Graziano Pravadelli
2004	A	`conf`	Modeling and Analysis of Heterogeneous Industrial Networks Architectures. DATE Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino
2004	A	`conf`	Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC. DATE Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino
2004	C	`conf`	Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures. ICCD Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino
2003	J	`jnl`	A Remote Methodology for Embedded Systems Design and Validation. Des. Autom. Embed. Syst. Alessandro Fin, Franco Fummi
2003	—	`conf`	A SystemC-based Framework for Properties Incompleteness Evaluation. MTV Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli
2003	A*	`conf`	A timing-accurate modeling and simulation environment for networked embedded systems. DAC Franco Fummi, Giovanni Perbellini, Paolo Gallo, Massimo Poncino, Stefano Martini, Fabio Ricciato
2003	A	`conf`	Estimation of Bus Performance for a Tuplespace in an Embedded Architecture. DATE Nicola Drago, Franco Fummi, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino
2003	—	`conf`	Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG? HLDVT Alessandro Fin, Franco Fummi
2003	J	`jnl`	Identification of design errors through functional testing. IEEE Trans. Reliab. Fabrizio Ferrandi, Franco Fummi, Graziano Pravadelli, Donatella Sciuto
2003	C	`conf`	LAERTE++: an Object Oriented High-level TPG for SystemC Designs. FDL Alessandro Fin, Franco Fummi
2003	—	`conf`	Mixing ATPG and property checking for testing HW/SW interfaces. ACM Great Lakes Symposium on VLSI Alessandro Fin, Franco Fummi, Graziano Pravadelli
2003	C	`conf`	On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto
2003	—	`conf`	Redundant functional faults reduction by saboteurs synthesis [logic verification]. HLDVT Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2003	J	`jnl`	SystemC Cosimulation and Emulation of Multiprocessor SoC Designs. Computer Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino
2003	A	`conf`	The Confluence of Manufacturing Test and Design Validation. ITC Franco Fummi
2002	—	`conf`	A 1000X speed up for properties completeness evaluation. HLDVT A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto
2002	B	`conf`	A Genetic Testing Framework for Digital Integrated Circuits. ICTAI Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick
2002	—	`conf`	A combined approach to validate the design of embedded network devices. ISCAS (3) Maurizio Martignano, Nicola Drago, Franco Fummi, Stefano Martini
2002	—	`conf`	A fault tolerant incremental design methodology. ISCAS (3) S. Cailotto, Alessandro Fin, Franco Fummi
2002	—	`conf`	An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto
2002	J	`jnl`	Behavioral test generation for the selection of BIST logic. J. Syst. Archit. Giuseppe Biasoli, Fabrizio Ferrandi, Alessandro Fin, Franco Fummi, Donatella Sciuto
2002	—	`conf`	Emulation-Based Design Errors Identification. DFT A. Castelnuovo, Alessandro Fin, Franco Fummi, F. Sforza
2002	A	`conf`	Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm. GECCO Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick
2002	C	`conf`	Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip. ICCD Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino
2002	—	`conf`	Protected IP-core test generation. ACM Great Lakes Symposium on VLSI Alessandro Fin, Franco Fummi
2002	J	`jnl`	Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications. IEEE Trans. Computers Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto
2001	A	`conf`	AMLETO: a multi-language environment for functional test generation. ITC Alessandro Fin, Franco Fummi, Graziano Pravadelli
2001	A	`conf`	Functional test generation for behaviorally sequential models. DATE Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi
2001	J	`jnl`	Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. J. Electron. Test. Franco Fummi, Marco Boschini, Xiaoming Yu, Elizabeth M. Rudnick
2001	—	`conf`	Soft-cores generation by instruction set analysis. ISSS Alessandro Fin, Franco Fummi, Giovanni Perbellini
2001	—	`conf`	SystemC: a homogenous environment to test embedded systems. CODES Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto
2000	J	`jnl`	A Hierarchical Test Generation Approach for Large Controllers. IEEE Trans. Computers Franco Fummi, Donatella Sciuto
2000	A	`conf`	A VHDL Error Simulator for Functional Test Generation. DATE Alessandro Fin, Franco Fummi
2000	A*	`conf`	A Web-CAD methodology for IP-core analysis and simulation. DAC Alessandro Fin, Franco Fummi
2000	C	`conf`	An Application of Genetic Algorithms and BDDs to Functional Testing. ICCD Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi
2000	J	`jnl`	An extended-UIO-based method for protocol conformance testing. J. Syst. Archit. Giacomo Buonanno, Franco Fummi, Donatella Sciuto
2000	—	`conf`	BIST Architectures Selection Based on Behavioral Testing. DFT Giuseppe Biasoli, Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi
2000	—	`conf`	Combining symbolic and genetic techniques for efficient sequential circuit test generation. ETW Marco Boschini, Xiaoming Yu, Franco Fummi, Elizabeth M. Rudnick
2000	J	`jnl`	Symbolic optimization of interacting controllers based onredundancy identification and removal. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto
2000	Misc	`conf`	Testability Alternatives Exploration through Functional Testing. VTS Fabrizio Ferrandi, G. Fornara, Donatella Sciuto, G. Ferrara, Franco Fummi
1999	—	`conf`	Increase the Behavioral Fault Model Accuracy Using High-Level Synthesis Information. DFT Marco Brera, Fabrizio Ferrandi, Donatella Sciuto, Franco Fummi
1999	—	`conf`	Power Characterization of LFSRs. DFT Marco Brazzarola, Franco Fummi
1999	A	`conf`	Symbolic Functional Vector Generation for VHDL Specifications. DATE Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto
1999	J	`jnl`	Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal. IEEE Trans. Computers Franco Fummi, Donatella Sciuto, Micaela Serra
1998	C	`conf`	Automatic VHDL restructuring for RTL synthesis optimization and testability improvement. ICCD D. Corvino, Italo Epicoco, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto
1998	J	`jnl`	Automatic generation of error control codes for computer applications. IEEE Trans. Very Large Scale Integr. Syst. Franco Fummi, Donatella Sciuto, Cristina Silvano
1998	A	`conf`	Implicit test generation for behavioral VHDL models. ITC Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto
1998	A	`conf`	Minimizing the Application Time for Manufacturer Testing of FPGA (Abstract). FPGA Franco Fummi, A. Marshall, Laura Pozzi, Mariagiovanna Sami
1998	A	`conf`	Power Estimation of Behavioral Descriptions. DATE Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino
1998	J	`jnl`	Testability analysis and behavioral testing of the Hopfield neural paradigm. IEEE Trans. Very Large Scale Integr. Syst. Cesare Alippi, Franco Fummi, Vincenzo Piuri, Mariagiovanna Sami, Donatella Sciuto
1998	—	`conf`	VHDL Testability Analysis Based on Fault Clustering and Implicit Fault Injection. Great Lakes Symposium on VLSI F. S. Bietti, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto
1997	J	`jnl`	A complete testing strategy based on interacting and hierarchical FSMs. Integr. Franco Fummi, Donatella Sciuto
1997	C	`conf`	Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels. ICCD M. Bacis, Giacomo Buonanno, Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto
1997	—	`conf`	Configuration-Specific Test Pattern Extraction for Field Programmable Gate Arrays. DFT Fabrizio Ferrandi, Franco Fummi, Laura Pozzi, Mariagiovanna Sami
1997	J	`jnl`	Functional design for testability of control-dominated architectures. ACM Trans. Design Autom. Electr. Syst. Franco Fummi, U. Rovati, Donatella Sciuto
1997	—	`conf`	How an "Evolving" Fault Model Improves the Behavioral Test Generation. Great Lakes Symposium on VLSI Giacomo Buonanno, Fabrizio Ferrandi, L. Ferrandi, Franco Fummi, Donatella Sciuto
1997	Misc	`conf`	Implicit test pattern generation constrained to cellular automata embedding. VTS Franco Fummi, Donatella Sciuto
1997	J	`jnl`	Testing Core-Based Systems: A Symbolic Methodology. IEEE Des. Test Comput. Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto, Enrico Macii, Massimo Poncino
1997	—	`conf`	Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems. Great Lakes Symposium on VLSI Franco Fummi, Mariagiovanna Sami, F. Tartarini
1996	—	`conf`	A Parametric Design of a Built-in Self-Test FIFO Embedded Memory. DFT Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Gabriel de Blasio, M. Ferloni, Franco Fummi, Donatella Sciuto
1996	—	`conf`	BDD-based testability estimation of VHDL designs. EURO-DAC Enrico Macii, Massimo Poncino, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto
1996	J	`jnl`	FsmTest: Functional test generation for sequential circuits. Integr. G. Buonannoa, Franco Fummi, Donatella Sciuto, Fabrizio Lombardi
1996	C	`conf`	Implicit Test Sequences Compaction for Decreasing Test Application Cos. ICCD Roberto Bevacqua, Luca Guerrazzi, Fabrizio Ferrandi, Franco Fummi
1996	—	`conf`	SCAN/BIST Techniques for Decreasing Test Storage and their implications to Test Pattern Generation. EUROMICRO Roberto Bevacqua, Luca Guerrazzi, Franco Fummi
1996	A*	`conf`	Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. DAC Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto
1996	—	`conf`	Test Generation for Networks of Interacting FSMs Using Symbolic Techniques. Great Lakes Symposium on VLSI Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto
1995	C	`conf`	A BDD Based Algorithm for Detecting Difficult Faults. ISCAS Cristiana Bolchini, Franco Fummi, R. Gemelli, Fabio Salice
1995	—	`conf`	Sequential logic minimization based on functional testability. ED&TC Franco Fummi, Donatella Sciuto, Micaela Serra
1995	C	`conf`	Synthesis for testability of large complexity controllers. ICCD Franco Fummi, Donatella Sciuto, M. Serro
1995	J	`jnl`	TIES: A testability increase expert system for VLSI design. J. Electron. Test. Giacomo Buonanno, Franco Fummi, Donatella Sciuto
1995	—	`conf`	Testable synthesis of high complex control devices. EURO-DAC Franco Fummi, U. Rovati, Donatella Sciuto
1994	—	`conf`	A Functional Approach to Delay Faults Test Generation for Sequential Circuits. EDAC-ETC-EUROASIC Franco Fummi, Donatella Sciuto, Micaela Serra
1994	—	`conf`	From Behavioral Description to Systolic Array Based Architectures. EDAC-ETC-EUROASIC Alessandro Balboni, Claudio Costi, Franco Fummi, Donatella Sciuto
1994	—	`conf`	Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method. DFT Franco Fummi, Donatella Sciuto, Micaela Serra
1994	C	`conf`	Two-Dimensional Sequential Array Architectures: Design for Testability Approaches. ISCAS Cristiana Bolchini, Franco Fummi, Donatella Sciuto
1993	J	`jnl`	A design methodology for the correct specification of VLSI systems. Microprocess. Microprogramming Cristiana Bolchini, Massimo Bombana, Patrizia Cavalloro, Claudio Costi, Franco Fummi, Giuseppe Zaza
1993	J	`jnl`	FSM fault models impact on test performances. Microprocess. Microprogramming Cristiana Bolchini, Franco Fummi
1993	—	`conf`	Fault Detection in Sequential Circuits through Functional Testing. DFT Giacomo Buonanno, Franco Fummi, Donatella Sciuto
1993	C	`conf`	Functional Fault Models and Gate Level Coverage for Sequential Architectures. ICCD Giacomo Buonanno, Franco Fummi, Donatella Sciuto
1993	C	`conf`	Functional Testing and Constrained Synthesis of Sequential Architectures. ISCAS Giacomo Buonanno, Franco Fummi, Donatella Sciuto
1990	J	`jnl`	An approach to a design for testability personal consultant. Microprocessing and Microprogramming Giacomo Buonanno, A. Burri, Franco Fummi, Donatella Sciuto