| 2026 | DATE | Agentic AI for Digital Wellness: Challenges and Architectural Perspectives for Smart Home Care. | Luigi Capogrosso, Francesco Biondani, Francesca Bigardi, Stefano Cordibella, Giovanni Perbellini, Walter Vendraminetto, Franco Fummi |
| 2026 | DATE | An Open Source Design Exploration Tool for Battery and Coolant Configuration. | Francesco Tosoni, Yukai Chen, Massimo Poncino, Franco Fummi, Sara Vinco |
| 2026 | IUI | "Pathways to the Metaverse": Exploring the User Experience Mechanisms Driving Technology Acceptance in Virtual Lab Visits with an LLM-powered Avatar. | 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 | VLSID | Machine Dynamics-Aware CPS Scheduling and Iterative Validation for Industry 4.0. | Pietro Turco, Enrico Fraccaroli, Samarjit Chakraborty, Franco Fummi |
| 2025 | COMSNETS | Controllers for Edge-Cloud Cyber-Physical Systems. | Tingan Zhu, Prateek Ganguli, Arkaprava Gupta, Shengjie Xu, Luigi Capogrosso, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty |
| 2025 | DATE | Human-Centered Digital Twin for Industry 5.0. | Francesco Biondani, Luigi Capogrosso, Nicola Dall'Ora, Enrico Fraccaroli, Marco Cristani, Franco Fummi |
| 2025 | DATE | Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration. | Mario Libro, Sebastiano Gaiardelli, Marco Panato, Stefano Spellini, Michele Lora, Franco Fummi |
| 2025 | DDECS | Modeling and Simulation of Thermal Faults in Batteries for Enhanced Safety. | Francesco Tosoni, Sara Vinco, Franco Fummi |
| 2025 | ICIAP | KairosAD: A SAM-Based Model for Industrial Anomaly Detection on Embedded Devices. | Uzair Khan, Franco Fummi, Luigi Capogrosso |
| 2025 | ICIAP | Disentangled Latent Spaces Facilitate Data-Driven Auxiliary Learning. | Geri Skenderi, Luigi Capogrosso, Andrea Toaiari, Matteo Denitto, Franco Fummi, Simone Melzi |
| 2025 | INDIN | Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software. | Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, Michele Lora, Samarjit Chakraborty, Franco Fummi |
| 2025 | IECON | Automatic Recovery Planning and Execution Architecture for IEC 61131-3 Controlled Machinery. | Sebastiano Gaiardelli, Jan Wilch, Franco Fummi, Birgit Vogel-Heuser |
| 2025 | MMAR | Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring. | Friederike Bruns, Francesco Tosoni, Sven Mehlhop, Andreas Rauh, Sara Vinco, Jrg Walter, Frank Oppenheimer, Franco Fummi |
| 2025 | VLSID | LO-SC: Local-Only Split Computing for Accurate Deep Learning on Edge Devices. | Luigi Capogrosso, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty |
| 2024 | CBMI | Leveraging Latent Diffusion Models for Training-Free in-Distribution Data Augmentation for Surface Defect Detection. | Federico Girella, Ziyue Liu, Franco Fummi, Francesco Setti, Marco Cristani, Luigi Capogrosso |
| 2024 | CloudCom | Automating FinOps in Cloud Computing: An Integrated Solution for Efficient Data Collection with Dynamic Scraper Generation. | Francesco Lumpp, Diego Braga, Franco Fummi, Nicola Bombieri |
| 2024 | DAC | MTL-Split: Multi-Task Learning for Edge Devices using Split Computing. | Luigi Capogrosso, Enrico Fraccaroli, Samarjit Chakraborty, Franco Fummi, Marco Cristani |
| 2024 | DAC | 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 |
| 2024 | DATE | 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, Francesco Ponzio, Gian Antonio Susto, Sara Vinco |
| 2024 | DATE | Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. | Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi |
| 2024 | ECCV | MDiFF: Exploiting Multimodal Score-Based Diffusion Models for New Fashion Product Performance Forecasting. | Andrea Avogaro, Luigi Capogrosso, Franco Fummi, Marco Cristani |
| 2024 | ETFA | Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors. | Friederike Bruns, Andreas Rauh, Francesco Tosoni, Franco Fummi, Sven Mehlhop, Frank Oppenheimer |
| 2024 | ETFA | A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations. | Mohammad Uddin, Sebastiano Gaiardelli, Michele Lora, Dong Seon Cheng, Franco Fummi |
| 2024 | FDL | Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. | Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty, Franco Fummi, Marco Cristani |
| 2024 | FDL | Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective : Wild-and-Crazy-Idea Paper. | Francesco Tosoni, Muhammad Ihtisham Amin, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi |
| 2024 | FDL | Cross-domain Analog Fault Injection for Designing Robust Smart Systems. | Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi |
| 2024 | ICPR | Dif4FF: Leveraging Multimodal Diffusion Models and Graph Neural Networks for Accurate New Fashion Product Performance Forecasting. | Andrea Avogaro, Luigi Capogrosso, Franco Fummi, Marco Cristani |
| 2024 | ICPR | SITUATE: Indoor Human Trajectory Prediction Through Geometric Features and Self-supervised Vision Representation. | Luigi Capogrosso, Andrea Toaiari, Andrea Avogaro, Uzair Khan, Aditya Jivoji, Franco Fummi, Marco Cristani |
| 2024 | INDIN | Fault Injection for Synthetic Data Generation in Aircraft: A Simulation-Based Approach. | Francesco Biondani, Nicola Dall'Ora, Francesco Tosoni, Enrico Fraccaroli, Domenico Fabio Migliore, Francesco Acerra, Franco Fummi |
| 2024 | IOLTS | Assessing Robustness of Smart Systems via Multi-domain Analog Fault Simulation. | Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi |
| 2024 | IROS | Optimizing Kubernetes Deployment of Robotic Applications with HEFT-based Container Orchestration. | Francesco Lumpp, Franco Fummi, Nicola Bombieri |
| 2024 | IECON | Automating CPPSs Analyses with SysML v2 and Lingua Franca in the Context of Industry 4.0. | Sebastiano Gaiardelli, Jan Wilch, Franco Fummi, Birgit Vogel-Heuser |
| 2024 | IECON | Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software. | Pietro Turco, Elisa Zanella, Andrea Valentini, Sebastiano Gaiardelli, Nicola Dall'Ora, Michele Lora, Franco Fummi |
| 2024 | VISIGRAPP | Diffusion-Based Image Generation for In-Distribution Data Augmentation in Surface Defect Detection. | Luigi Capogrosso, Federico Girella, Francesco Taioli, Michele Dalla Chiara, Muhammad Aqeel, Franco Fummi, Francesco Setti, Marco Cristani |
| 2023 | DATE | Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments. | Cristian Turetta, Geri Skenderi, Luigi Capogrosso, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Franco Fummi, Marco Cristani, Graziano Pravadelli |
| 2023 | DDECS | Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. | Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia |
| 2023 | DDECS | HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. | Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa |
| 2023 | FDL | VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. | Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni |
| 2023 | FDL | 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, Marco Cristani |
| 2023 | INDIN | Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors. | Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi |
| 2023 | IECON | 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 |
| 2022 | DATE | A Software Architecture to Control Service-Oriented Manufacturing Systems. | Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi |
| 2022 | ETFA | On the Impact of Transport Times in Flexible Job Shop Scheduling Problems. | Sebastiano Gaiardelli, Damiano Carra, Stefano Spellini, Franco Fummi |
| 2022 | FDL | A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. | Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi |
| 2022 | ICPR | Toward Smart Doors: A Position Paper. | Luigi Capogrosso, Geri Skenderi, Federico Girella, Franco Fummi, Marco Cristani |
| 2022 | ICPR | I-SPLIT: Deep Network Interpretability for Split Computing. | Federico Cunico, Luigi Capogrosso, Francesco Setti, Damiano Carra, Franco Fummi, Marco Cristani |
| 2022 | IROS | Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms. | Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri |
| 2022 | IECON | Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. | Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi |
| 2021 | DDECS | Predictive Fault Grouping based on Faulty AC Matrices. | Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, Andr Alberts, Franco Fummi |
| 2021 | ETFA | Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. | Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi |
| 2021 | FDL | A Common Manipulation Framework for Transistor-Level Languages. | Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, Andr Alberts, Franco Fummi |
| 2021 | FDL | Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. | Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi |
| 2021 | FDL | A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. | Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri |
| 2021 | FDL | DOHMO: Embedded Computer Vision in Co-Housing Scenarios. | Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani |
| 2020 | DAC | Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures. | Stefano Aldegheri, Nicola Bombieri, Franco Fummi, Simone Girardi, Riccardo Muradore, Nicola Piccinelli |
| 2020 | DATE | Network Synthesis for Industry 4.0. | Enrico Fraccaroli, Alan Michael Padovani, Davide Quaglia, Franco Fummi |
| 2020 | DATE | Production Recipe Validation through Formalization and Digital Twin Generation. | Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi |
| 2020 | ETFA | The Design of a Digital-Twin for Predictive Maintenance. | Stefano Centomo, Nicola Dall'Ora, Franco Fummi |
| 2020 | INDIN | Functionality and Fault Modeling of a DC Motor with Verilog-AMS. | Nicola Dall'Ora, Sara Vinco, Franco Fummi |
| 2019 | CIBCB | Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation. | Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno |
| 2019 | FDL | Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. | Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno |
| 2019 | FDL | Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. | Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi |
| 2019 | INDIN | A Contract-based Methodology for Production Lines Validation. | Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi |
| 2018 | DATE | Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. | Michele Lora, Stefano Centomo, Davide Quaglia, Franco Fummi |
| 2018 | FDL | Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. | Stefano Centomo, Michele Lora, Franco Fummi |
| 2018 | FDL | Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. | Enrico Fraccaroli, Davide Quaglia, Franco Fummi |
| 2018 | ISCAS | A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS. | Stefano Aldegheri, Nicola Bombieri, Nicola Dall'Ora, Franco Fummi, Simone Girardi, Marco Panato |
| 2017 | ASPDAC | Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. | Michele Lora, Enrico Fraccaroli, Franco Fummi |
| 2017 | DAC | Power-aware Performance Tuning of GPU Applications Through Microbenchmarking. | Nicola Bombieri, Federico Busato, Franco Fummi |
| 2017 | DATE | Analog fault testing through abstraction. | Enrico Fraccaroli, Franco Fummi |
| 2017 | DATE | Automatic abstraction of multi-discipline analog models for efficient functional simulation. | Enrico Fraccaroli, Michele Lora, Franco Fummi |
| 2017 | ETS | A homogeneous framework for AMS languages instrumentation, abstraction and simulation. | Enrico Fraccaroli, Luca Piccolboni, Franco Fummi |
| 2017 | FDL | Automatic generation of cycle-accurate Simulink blocks from hdl ips. | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
| 2017 | FDL | Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
| 2017 | FDL | Fault analysis in analog circuits through language manipulation and abstraction. | Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski |
| 2017 | FDL | Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. | Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski |
| 2016 | DATE | A fine-grained performance model for GPU architectures. | Nicola Bombieri, Federico Busato, Franco Fummi |
| 2016 | DATE | Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. | Enrico Fraccaroli, Michele Lora, Sara Vinco, Davide Quaglia, Franco Fummi |
| 2015 | FDL | Extensions to the UML profile for MARTE for distributed embedded systems. | Emad Samuel Malki Ebeid, Julio L. Medina, Davide Quaglia, Franco Fummi |
| 2014 | DATE | Panel: Future SoC verification methodology: UVM evolution or revolution? | Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan J. Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev |
| 2014 | DATE | Moving from co-simulation to simulation for effective smart systems design. | Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco |
| 2014 | DATE | 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 |
| 2014 | DSD | Simulation Alternatives for Modeling Networked Cyber-Physical Systems. | Michele Lora, Riccardo Muradore, Riccardo Reffato, Franco Fummi |
| 2014 | ISLPED | An open-source framework for formal specification and simulation of electrical energy systems. | Sara Vinco, Alessandro Sassone, Franco Fummi, Enrico Macii, Massimo Poncino |
| 2013 | DAC | A method to abstract RTL IP blocks into C++ code and enable high-level synthesis. | Nicola Bombieri, Hung-Yi Liu, Franco Fummi, Luca P. Carloni |
| 2013 | DATE | 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 |
| 2013 | DSD | UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems. | Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia |
| 2013 | ETS | Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. | Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli |
| 2013 | FDL | Model-driven design for the development of multi-platform smartphone applications. | G. Botturi, Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia |
| 2013 | FDL | Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. | Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco |
| 2012 | DAC | SAGA: SystemC acceleration on GPU architectures. | Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi |
| 2012 | DATE | MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. | Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Mller, Graziano Pravadelli, Sara Vinco |
| 2012 | DATE | FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. | Nicola Bombieri, Franco Fummi, Valerio Guarnieri |
| 2012 | DATE | Refinement of UML/MARTE models for the design of networked embedded systems. | Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni |
| 2012 | DATE | Enabling dynamic assertion-based verification of embedded software through model-driven design. | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2012 | DDECS | Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification. | Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi |
| 2012 | DDECS | On the use of assertions for embedded-software dynamic verification. | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2012 | DSD | Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis. | Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi |
| 2012 | ETS | Combining dynamic slicing and mutation operators for ESL correction. | Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi |
| 2011 | DSD | Automatic Interface Generation for Component Reuse in HW-SW Partitioning. | Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia |
| 2011 | ETS | Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. | Nicola Bombieri, Franco Fummi, Valerio Guarnieri |
| 2011 | ETS | Optimization of Assertion Placement in Time-Constrained Embedded Systems. | Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita |
| 2011 | FDL | Efficient implementation and abstraction of systemc data types for fast simulation. | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco |
| 2011 | ISCAS | Communication-aware design flow for dependable networked embedded systems. | Franco Fummi, Davide Quaglia, Francesco Stefanni |
| 2011 | ICSE | Model-driven design and validation of embedded software. | Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek |
| 2011 | MEMOCODE | EFSM-based model-driven approach to concolic testing of system-level design. | Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia |
| 2010 | DAC | Abstraction of RTL IPs into embedded software. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2010 | DATE | RTOS-aware refinement for TLM2.0-based HW/SW designs. | Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Mller, Graziano Pravadelli, Tao Xie |
| 2010 | DATE | Vacuity analysis for property qualification by mutation of checkers. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2010 | DSD | Exploration of Network Alternatives for Middleware-centric Embedded System Design. | Franco Fummi, Giovanni Perbellini, Davide Quaglia, R. Trenti |
| 2010 | FDL | Modeling of Communication Infrastructure for Design-Space Exploration. | Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato |
| 2010 | ICCD | DDPSL: An easy way of defining properties. | Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli |
| 2010 | SAC | Network-adaptive management of computation energy in wireless sensor networks. | Fabrizio Mulas, Andrea Acquaviva, Salvatore Carta, Gianni Fenu, Davide Quaglia, Franco Fummi |
| 2009 | DATE | Functional qualification of TLM verification. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe |
| 2009 | DATE | Correct-by-construction generation of device drivers based on RTL testbenches. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco |
| 2009 | DATE | Flexible energy-aware simulation of heterogenous wireless sensor networks. | Franco Fummi, Giovanni Perbellini, Davide Quaglia, Andrea Acquaviva |
| 2009 | DATE | Networked embedded system applications design driven by an abstract middleware environment. | Franco Fummi, Giovanni Perbellini, Niccolo Roncolato |
| 2009 | DDECS | The impact of EFSM composition on functional ATPG. | Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa |
| 2009 | DSD | Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. | Franco Fummi, Davide Quaglia, Francesco Stefanni |
| 2009 | MEMOCODE | The role of mutation analysis for property qualification. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2009 | Mobiquitous | A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee. | Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco |
| 2008 | DATE | Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. | Nicola Bombieri, Nicola Deganello, Franco Fummi |
| 2008 | DATE | A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2008 | FDL | A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. | Franco Fummi, Davide Quaglia, Francesco Stefanni |
| 2008 | FDL | SystemC Simulation of Networked Embedded Systems. | Francesco Stefanni, Davide Quaglia, Franco Fummi |
| 2008 | MEMOCODE | Vacuity Analysis by Fault Simulation. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2007 | DATE | Modeling and simulation alternatives for the design of networked embedded systems. | Elisa Alessio, Franco Fummi, Davide Quaglia, Maura Turolla |
| 2007 | DATE | Yield-aware placement optimization. | Paolo Azzoni, Massimo Bertoletti, Nicola Dragone, Franco Fummi, Carlo Guardiani, Walter Vendraminetto |
| 2007 | DATE | Incremental ABV for functional validation of TL-to-RTL design refinement. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2007 | DATE | A smooth refinement flow for co-designing HW and SW threads. | Paolo Destro, Franco Fummi, Graziano Pravadelli |
| 2007 | DATE | Interactive presentation: A middleware-centric design flow for networked embedded systems. | Franco Fummi, Giovanni Perbellini, R. Pietrangeli, Davide Quaglia |
| 2007 | MEMOCODE | Towards Equivalence Checking Between TLM and RTL Models. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Joo Marques-Silva |
| 2006 | DATE | On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2006 | DATE | Modeling and simulation of mobile gateways interacting with wireless sensor networks. | Franco Fummi, Davide Quaglia, Fabio Ricciato, Maura Turolla |
| 2006 | ETS | FATE: a Functional ATPG to Traverse Unstabilized EFSMs. | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
| 2006 | MEMOCODE | A methodology for abstracting RTL designs into TL descriptions. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2006 | VTS | Improving Gate-Level ATPG by Traversing Concurrent EFSMs. | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
| 2005 | DATE | Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation. | Franco Fummi, Mirko Loghi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino |
| 2005 | ETS | Coverage of formal properties based on a high-level fault model and functional ATPG. | Franco Fummi, Graziano Pravadelli, Franco Toto |
| 2005 | MEMOCODE | Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. | Nicola Bombieri, Andrea Fedeli, Franco Fummi |
| 2005 | MEMOCODE | On the use of a high-level fault model to analyze logical consequence of properties. | Stefano Brait, Franco Fummi, Graziano Pravadelli |
| 2005 | Mobiquitous | Embedded SW Design Issues for Distributed Applications on Mobile Terminals. | Franco Fummi, Stefano Martini, Giovanni Perbellini, Fabio Ricciato, Maura Turolla |
| 2004 | DATE | An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. | Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli |
| 2004 | DATE | Modeling and Analysis of Heterogeneous Industrial Networks Architectures. | Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino |
| 2004 | DATE | Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC. | Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino |
| 2004 | DATE | Heterogeneous Co-Simulation of Networked Embedded Systems. | Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino, Fabio Ricciato, Maura Turolla |
| 2004 | ETS | Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? | Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
| 2004 | ICCD | Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures. | Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino |
| 2003 | DAC | A timing-accurate modeling and simulation environment for networked embedded systems. | Franco Fummi, Giovanni Perbellini, Paolo Gallo, Massimo Poncino, Stefano Martini, Fabio Ricciato |
| 2003 | DATE | Estimation of Bus Performance for a Tuplespace in an Embedded Architecture. | Nicola Drago, Franco Fummi, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino |
| 2003 | FDL | LAERTE++: an Object Oriented High-level TPG for SystemC Designs. | Alessandro Fin, Franco Fummi |
| 2003 | ITC | The Confluence of Manufacturing Test and Design Validation. | Franco Fummi |
| 2003 | MEMOCODE | On the Use of a High-Level Fault Model to Check Properties Incompleteness. | Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto |
| 2002 | GECCO | Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm. | Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick |
| 2002 | ICCD | Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip. | Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino |
| 2002 | ISCAS | A fault tolerant incremental design methodology. | S. Cailotto, Alessandro Fin, Franco Fummi |
| 2002 | ISCAS | A combined approach to validate the design of embedded network devices. | Maurizio Martignano, Nicola Drago, Franco Fummi, Stefano Martini |
| 2002 | ICTAI | A Genetic Testing Framework for Digital Integrated Circuits. | Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick |
| 2001 | DATE | Functional test generation for behaviorally sequential models. | Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi |
| 2001 | ITC | AMLETO: a multi-language environment for functional test generation. | Alessandro Fin, Franco Fummi, Graziano Pravadelli |
| 2000 | DAC | A Web-CAD methodology for IP-core analysis and simulation. | Alessandro Fin, Franco Fummi |
| 2000 | DATE | A VHDL Error Simulator for Functional Test Generation. | Alessandro Fin, Franco Fummi |
| 2000 | ETS | Combining symbolic and genetic techniques for efficient sequential circuit test generation. | Marco Boschini, Xiaoming Yu, Franco Fummi, Elizabeth M. Rudnick |
| 2000 | ICCD | An Application of Genetic Algorithms and BDDs to Functional Testing. | Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi |
| 2000 | VTS | Testability Alternatives Exploration through Functional Testing. | Fabrizio Ferrandi, G. Fornara, Donatella Sciuto, G. Ferrara, Franco Fummi |
| 1999 | DATE | Symbolic Functional Vector Generation for VHDL Specifications. | Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto |
| 1998 | DATE | Power Estimation of Behavioral Descriptions. | Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino |
| 1998 | FPGA | Minimizing the Application Time for Manufacturer Testing of FPGA (Abstract). | Franco Fummi, A. Marshall, Laura Pozzi, Mariagiovanna Sami |
| 1998 | ICCD | Automatic VHDL restructuring for RTL synthesis optimization and testability improvement. | D. Corvino, Italo Epicoco, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto |
| 1998 | ITC | Implicit test generation for behavioral VHDL models. | Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto |
| 1997 | ICCD | Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels. | M. Bacis, Giacomo Buonanno, Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto |
| 1997 | VTS | Implicit test pattern generation constrained to cellular automata embedding. | Franco Fummi, Donatella Sciuto |
| 1996 | DAC | Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. | Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto |
| 1996 | ICCD | Implicit Test Sequences Compaction for Decreasing Test Application Cos. | Roberto Bevacqua, Luca Guerrazzi, Fabrizio Ferrandi, Franco Fummi |
| 1995 | DATE | Sequential logic minimization based on functional testability. | Franco Fummi, Donatella Sciuto, Micaela Serra |
| 1995 | ICCD | Synthesis for testability of large complexity controllers. | Franco Fummi, Donatella Sciuto, M. Serro |
| 1995 | ISCAS | A BDD Based Algorithm for Detecting Difficult Faults. | Cristiana Bolchini, Franco Fummi, R. Gemelli, Fabio Salice |
| 1994 | ISCAS | Two-Dimensional Sequential Array Architectures: Design for Testability Approaches. | Cristiana Bolchini, Franco Fummi, Donatella Sciuto |
| 1993 | ICCD | Functional Fault Models and Gate Level Coverage for Sequential Architectures. | Giacomo Buonanno, Franco Fummi, Donatella Sciuto |
| 1993 | ISCAS | Functional Testing and Constrained Synthesis of Sequential Architectures. | Giacomo Buonanno, Franco Fummi, Donatella Sciuto |