An approach to a design for testability personal consultant. - Giacomo Buonanno; A. Burri; Franco Fummi; Donatella Sciuto (Microprocessing and Microprogramming, 1990)

Fault Detection in Sequential Circuits through Functional Testing. - Giacomo Buonanno; Franco Fummi; Donatella Sciuto (DFT, 1993)

Functional Fault Models and Gate Level Coverage for Sequential Architectures. - Giacomo Buonanno; Franco Fummi; Donatella Sciuto (ICCD, 1993)

Functional Testing and Constrained Synthesis of Sequential Architectures. - Giacomo Buonanno; Franco Fummi; Donatella Sciuto (ISCAS, 1993)

A design methodology for the correct specification of VLSI systems. - Cristiana Bolchini; Massimo Bombana; Patrizia Cavalloro; Claudio Costi; Franco Fummi; Giuseppe Zaza (Microprocess. Microprogramming, 1993)

FSM fault models impact on test performances. - Cristiana Bolchini; Franco Fummi (Microprocess. Microprogramming, 1993)

Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method. - Franco Fummi; Donatella Sciuto; Micaela Serra (DFT, 1994)

From Behavioral Description to Systolic Array Based Architectures. - Alessandro Balboni; Claudio Costi; Franco Fummi; Donatella Sciuto (EDAC-ETC-EUROASIC, 1994)

A Functional Approach to Delay Faults Test Generation for Sequential Circuits. - Franco Fummi; Donatella Sciuto; Micaela Serra (EDAC-ETC-EUROASIC, 1994)

Two-Dimensional Sequential Array Architectures: Design for Testability Approaches. - Cristiana Bolchini; Franco Fummi; Donatella Sciuto (ISCAS, 1994)

Sequential logic minimization based on functional testability. - Franco Fummi; Donatella Sciuto; Micaela Serra (ED&TC, 1995)

Testable synthesis of high complex control devices. - Franco Fummi; U. Rovati; Donatella Sciuto (EURO-DAC, 1995)

Synthesis for testability of large complexity controllers. - Franco Fummi; Donatella Sciuto; M. Serro (ICCD, 1995)

A BDD Based Algorithm for Detecting Difficult Faults. - Cristiana Bolchini; Franco Fummi; R. Gemelli; Fabio Salice (ISCAS, 1995)

TIES: A testability increase expert system for VLSI design. - Giacomo Buonanno; Franco Fummi; Donatella Sciuto (J. Electron. Test., 1995)

Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. - Fabrizio Ferrandi; Franco Fummi; Enrico Macii; Massimo Poncino; Donatella Sciuto (DAC, 1996)

A Parametric Design of a Built-in Self-Test FIFO Embedded Memory. - Stefano Barbagallo; Monica Lobetti Bodoni; Davide Medina; Gabriel de Blasio; M. Ferloni; Franco Fummi; Donatella Sciuto (DFT, 1996)

BDD-based testability estimation of VHDL designs. - Enrico Macii; Massimo Poncino; Fabrizio Ferrandi; Franco Fummi; Donatella Sciuto (EURO-DAC, 1996)

SCAN/BIST Techniques for Decreasing Test Storage and their implications to Test Pattern Generation. - Roberto Bevacqua; Luca Guerrazzi; Franco Fummi (EUROMICRO, 1996)

Test Generation for Networks of Interacting FSMs Using Symbolic Techniques. - Fabrizio Ferrandi; Franco Fummi; Enrico Macii; Massimo Poncino; Donatella Sciuto (Great Lakes Symposium on VLSI, 1996)

Implicit Test Sequences Compaction for Decreasing Test Application Cos. - Roberto Bevacqua; Luca Guerrazzi; Fabrizio Ferrandi; Franco Fummi (ICCD, 1996)

FsmTest: Functional test generation for sequential circuits. - G. Buonannoa; Franco Fummi; Donatella Sciuto; Fabrizio Lombardi (Integr., 1996)

Configuration-Specific Test Pattern Extraction for Field Programmable Gate Arrays. - Fabrizio Ferrandi; Franco Fummi; Laura Pozzi 001; Mariagiovanna Sami (DFT, 1997)

How an "Evolving" Fault Model Improves the Behavioral Test Generation. - Giacomo Buonanno; Fabrizio Ferrandi; L. Ferrandi; Franco Fummi; Donatella Sciuto (Great Lakes Symposium on VLSI, 1997)

Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems. - Franco Fummi; Mariagiovanna Sami; F. Tartarini (Great Lakes Symposium on VLSI, 1997)

Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels. - M. Bacis; Giacomo Buonanno; Fabrizio Ferrandi; Franco Fummi; Luca Gerli; Donatella Sciuto (ICCD, 1997)

Implicit test pattern generation constrained to cellular automata embedding. - Franco Fummi; Donatella Sciuto (VTS, 1997)

Testing Core-Based Systems: A Symbolic Methodology. - Fabrizio Ferrandi; Franco Fummi; Donatella Sciuto; Enrico Macii; Massimo Poncino (IEEE Des. Test Comput., 1997)

A complete testing strategy based on interacting and hierarchical FSMs. - Franco Fummi; Donatella Sciuto (Integr., 1997)

Functional design for testability of control-dominated architectures. - Franco Fummi; U. Rovati; Donatella Sciuto (ACM Trans. Design Autom. Electr. Syst., 1997)

Power Estimation of Behavioral Descriptions. - Fabrizio Ferrandi; Franco Fummi; Enrico Macii; Massimo Poncino (DATE, 1998)

Minimizing the Application Time for Manufacturer Testing of FPGA (Abstract). - Franco Fummi; A. Marshall; Laura Pozzi 001; Mariagiovanna Sami (FPGA, 1998)

VHDL Testability Analysis Based on Fault Clustering and Implicit Fault Injection. - F. S. Bietti; Fabrizio Ferrandi; Franco Fummi; Donatella Sciuto (Great Lakes Symposium on VLSI, 1998)

Automatic VHDL restructuring for RTL synthesis optimization and testability improvement. - D. Corvino; Italo Epicoco; Fabrizio Ferrandi; Franco Fummi; Donatella Sciuto (ICCD, 1998)

Implicit test generation for behavioral VHDL models. - Fabrizio Ferrandi; Franco Fummi; Donatella Sciuto (ITC, 1998)

Testability analysis and behavioral testing of the Hopfield neural paradigm. - Cesare Alippi; Franco Fummi; Vincenzo Piuri; Mariagiovanna Sami; Donatella Sciuto (IEEE Trans. Very Large Scale Integr. Syst., 1998)

Automatic generation of error control codes for computer applications. - Franco Fummi; Donatella Sciuto; Cristina Silvano (IEEE Trans. Very Large Scale Integr. Syst., 1998)

Symbolic Functional Vector Generation for VHDL Specifications. - Fabrizio Ferrandi; Franco Fummi; Luca Gerli; Donatella Sciuto (DATE, 1999)

Power Characterization of LFSRs. - Marco Brazzarola; Franco Fummi (DFT, 1999)

Increase the Behavioral Fault Model Accuracy Using High-Level Synthesis Information. - Marco Brera; Fabrizio Ferrandi; Donatella Sciuto; Franco Fummi (DFT, 1999)

Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal. - Franco Fummi; Donatella Sciuto; Micaela Serra (IEEE Trans. Computers, 1999)

A Web-CAD methodology for IP-core analysis and simulation. - Alessandro Fin; Franco Fummi (DAC, 2000)

A VHDL Error Simulator for Functional Test Generation. - Alessandro Fin; Franco Fummi (DATE, 2000)

BIST Architectures Selection Based on Behavioral Testing. - Giuseppe Biasoli; Fabrizio Ferrandi; Donatella Sciuto; Alessandro Fin; Franco Fummi (DFT, 2000)

Combining symbolic and genetic techniques for efficient sequential circuit test generation. - Marco Boschini; Xiaoming Yu; Franco Fummi; Elizabeth M. Rudnick (ETW, 2000)

An Application of Genetic Algorithms and BDDs to Functional Testing. - Fabrizio Ferrandi; Donatella Sciuto; Alessandro Fin; Franco Fummi (ICCD, 2000)

Testability Alternatives Exploration through Functional Testing. - Fabrizio Ferrandi; G. Fornara; Donatella Sciuto; G. Ferrara; Franco Fummi (VTS, 2000)

An extended-UIO-based method for protocol conformance testing. - Giacomo Buonanno; Franco Fummi; Donatella Sciuto (J. Syst. Archit., 2000)

A Hierarchical Test Generation Approach for Large Controllers. - Franco Fummi; Donatella Sciuto (IEEE Trans. Computers, 2000)

Symbolic optimization of interacting controllers based onredundancy identification and removal. - Fabrizio Ferrandi; Franco Fummi; Enrico Macii; Massimo Poncino; Donatella Sciuto (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

SystemC: a homogenous environment to test embedded systems. - Alessandro Fin; Franco Fummi; Maurizio Martignano; Mirko Signoretto (CODES, 2001)

Functional test generation for behaviorally sequential models. - Fabrizio Ferrandi; G. Ferrara; Donatella Sciuto; Alessandro Fin; Franco Fummi (DATE, 2001)

Soft-cores generation by instruction set analysis. - Alessandro Fin; Franco Fummi; Giovanni Perbellini (ISSS, 2001)

AMLETO: a multi-language environment for functional test generation. - Alessandro Fin; Franco Fummi; Graziano Pravadelli (ITC, 2001)

Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. - Franco Fummi; Marco Boschini; Xiaoming Yu; Elizabeth M. Rudnick (J. Electron. Test., 2001)

Emulation-Based Design Errors Identification. - A. Castelnuovo; Alessandro Fin; Franco Fummi; F. Sforza (DFT, 2002)

Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm. - Xiaoming Yu; Alessandro Fin; Franco Fummi; Elizabeth M. Rudnick (GECCO, 2002)

An error simulation based approach to measure error coverage of formal properties. - Paolo Azzoni; Andrea Fedeli; Franco Fummi; Graziano Pravadelli; Umberto Rossi; Franco Toto (ACM Great Lakes Symposium on VLSI, 2002)

Protected IP-core test generation. - Alessandro Fin; Franco Fummi (ACM Great Lakes Symposium on VLSI, 2002)

A 1000X speed up for properties completeness evaluation. - A. Castelnuovo; Andrea Fedeli; Alessandro Fin; Franco Fummi; Graziano Pravadelli; Umberto Rossi; F. Sforza; Franco Toto (HLDVT, 2002)

Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip. - Luca Benini; Davide Bertozzi; Davide Bruni; Nicola Drago; Franco Fummi; Massimo Poncino (ICCD, 2002)

A Genetic Testing Framework for Digital Integrated Circuits. - Xiaoming Yu; Alessandro Fin; Franco Fummi; Elizabeth M. Rudnick (ICTAI, 2002)

A fault tolerant incremental design methodology. - S. Cailotto; Alessandro Fin; Franco Fummi (ISCAS (3), 2002)

A combined approach to validate the design of embedded network devices. - Maurizio Martignano; Nicola Drago; Franco Fummi; Stefano Martini (ISCAS (3), 2002)

Behavioral test generation for the selection of BIST logic. - Giuseppe Biasoli; Fabrizio Ferrandi; Alessandro Fin; Franco Fummi; Donatella Sciuto (J. Syst. Archit., 2002)

Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications. - Fabrizio Ferrandi; Franco Fummi; Donatella Sciuto (IEEE Trans. Computers, 2002)

A timing-accurate modeling and simulation environment for networked embedded systems. - Franco Fummi; Giovanni Perbellini; Paolo Gallo; Massimo Poncino; Stefano Martini; Fabio Ricciato (DAC, 2003)

Estimation of Bus Performance for a Tuplespace in an Embedded Architecture. - Nicola Drago; Franco Fummi; Marco Monguzzi; Giovanni Perbellini; Massimo Poncino (DATE, 2003)

LAERTE++: an Object Oriented High-level TPG for SystemC Designs. - Alessandro Fin; Franco Fummi (FDL, 2003)

Mixing ATPG and property checking for testing HW/SW interfaces. - Alessandro Fin; Franco Fummi; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2003)

Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG? - Alessandro Fin; Franco Fummi (HLDVT, 2003)

Redundant functional faults reduction by saboteurs synthesis [logic verification]. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (HLDVT, 2003)

The Confluence of Manufacturing Test and Design Validation. - Franco Fummi (ITC, 2003)

On the Use of a High-Level Fault Model to Check Properties Incompleteness. - Franco Fummi; Graziano Pravadelli; Andrea Fedeli; Umberto Rossi; Franco Toto (MEMOCODE, 2003)

A SystemC-based Framework for Properties Incompleteness Evaluation. - Alessandro Fin; Franco Fummi; Massimo Poncino; Graziano Pravadelli (MTV, 2003)

SystemC Cosimulation and Emulation of Multiprocessor SoC Designs. - Luca Benini; Davide Bertozzi; Davide Bruni; Nicola Drago; Franco Fummi; Massimo Poncino (Computer, 2003)

A Remote Methodology for Embedded Systems Design and Validation. - Alessandro Fin; Franco Fummi (Des. Autom. Embed. Syst., 2003)

Identification of design errors through functional testing. - Fabrizio Ferrandi; Franco Fummi; Graziano Pravadelli; Donatella Sciuto (IEEE Trans. Reliab., 2003)

A timing-accurate HW/SW co-simulation of an ISS with SystemC. - Luca Formaggio; Franco Fummi; Graziano Pravadelli (CODES+ISSS, 2004)

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 (DATE, 2004)

Modeling and Analysis of Heterogeneous Industrial Networks Architectures. - Franco Fummi; Stefano Martini; Marco Monguzzi; Giovanni Perbellini; Massimo Poncino (DATE, 2004)

Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC. - Franco Fummi; Stefano Martini; Giovanni Perbellini; Massimo Poncino (DATE, 2004)

Heterogeneous Co-Simulation of Networked Embedded Systems. - Franco Fummi; Stefano Martini; Giovanni Perbellini; Massimo Poncino; Fabio Ricciato; Maura Turolla (DATE, 2004)

At-Speed Functional Verification of Programmable Devices. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DFT, 2004)

Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ETS, 2004)

Logic-level analysis of high-level faults. - Franco Fummi; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2004)

Functional verification based on the EFSM model. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (HLDVT, 2004)

Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures. - Franco Fummi; Stefano Martini; Marco Monguzzi; Giovanni Perbellini; Massimo Poncino (ICCD, 2004)

A Verification Methodology for Reconfigurable Systems. - Michele Borgatti; Andrea Fedeli; Umberto Rossi; Jean-Luc Lambert; Imed Moussa; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2004)

Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation. - Franco Fummi; Mirko Loghi; Stefano Martini; Marco Monguzzi; Giovanni Perbellini; Massimo Poncino (DATE, 2005)

Coverage of formal properties based on a high-level fault model and functional ATPG. - Franco Fummi; Graziano Pravadelli; Franco Toto (ETS, 2005)

An EFSM-based approach for functional ATPG. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2005)

Functional Verification of Networked Embedded Systems. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (ISQED, 2005)

Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. - Nicola Bombieri; Andrea Fedeli; Franco Fummi (MEMOCODE, 2005)

On the use of a high-level fault model to analyze logical consequence of properties. - Stefano Brait; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2005)

Embedded SW Design Issues for Distributed Applications on Mobile Terminals. - Franco Fummi; Stefano Martini; Giovanni Perbellini; Fabio Ricciato; Maura Turolla (MobiQuitous, 2005)

On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. - Nicola Bombieri; Andrea Fedeli; Franco Fummi (MTV, 2005)

A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (MTV, 2005)

Editorial. - Franco Fummi; Ian G. Harris (Int. J. Parallel Program., 2005)

Logic-level mapping of high-level faults. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli (Integr., 2005)

TLM/network design space exploration for networked embedded systems. - Nicola Bombieri; Franco Fummi; Davide Quaglia (CODES+ISSS, 2006)

On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DATE, 2006)

Modeling and simulation of mobile gateways interacting with wireless sensor networks. - Franco Fummi; Davide Quaglia; Fabio Ricciato; Maura Turolla (DATE Designers' Forum, 2006)

FATE: a Functional ATPG to Traverse Unstabilized EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ETS, 2006)

ISS-centric modular HW/SW co-simulation. - Franco Fummi; Giovanni Perbellini; Mirko Loghi; Massimo Poncino (ACM Great Lakes Symposium on VLSI, 2006)

On the Automatic Transactor Generation for TLM-based Design Flows. - Nicola Bombieri; Franco Fummi (HLDVT, 2006)

EFSM Manipulation to Increase High-Level ATPG Effectiveness. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (ISQED, 2006)

A methodology for abstracting RTL designs into TL descriptions. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2006)

Hardware Design and Simulation for Verification. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (SFM, 2006)

Improving Gate-Level ATPG by Traversing Concurrent EFSMs. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (VTS, 2006)

Guest Editor's Introduction. - Ian G. Harris; Franco Fummi (Int. J. Parallel Program., 2006)

Modeling and simulation alternatives for the design of networked embedded systems. - Elisa Alessio; Franco Fummi; Davide Quaglia; Maura Turolla (DATE, 2007)

Yield-aware placement optimization. - Paolo Azzoni; Massimo Bertoletti; Nicola Dragone; Franco Fummi; Carlo Guardiani; W. Vendraminetto (DATE, 2007)

Incremental ABV for functional validation of TL-to-RTL design refinement. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DATE, 2007)

A smooth refinement flow for co-designing HW and SW threads. - Paolo Destro; Franco Fummi; Graziano Pravadelli (DATE, 2007)

Interactive presentation: A middleware-centric design flow for networked embedded systems. - Franco Fummi; Giovanni Perbellini; R. Pietrangeli; Davide Quaglia (DATE, 2007)

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

Co-simulation framework for the Angel platform. - Andrea Bragagnini; Franco Fummi; Axel Huebner; Giovanni Perbellini; Davide Quaglia (ICECS, 2007)

Towards Equivalence Checking Between TLM and RTL Models. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; João Marques-Silva 001 (MEMOCODE, 2007)

A CLP-Based Functional ATPG for Extended FSMs. - Franco Fummi; Cristina Marconcini; Graziano Pravadelli; Ian G. Harris (MTV, 2007)

SystemC co-simulation for core-based embedded systems. - Franco Fummi; Mirko Loghi; Giovanni Perbellini; Massimo Poncino (Des. Autom. Embed. Syst., 2007)

Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; Andrea Fedeli (IEEE Des. Test Comput., 2007)

Too Few or Too Many Properties? Measure it by ATPG! - Franco Fummi; Graziano Pravadelli (J. Electron. Test., 2007)

Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. - Giuseppe Di Guglielmo; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (IET Comput. Digit. Tech., 2007)

eEPC: an EPCglobal-compliant Embedded Architecture for RFID-based Solutions. - Franco Fummi; Giovanni Perbellini (J. Commun., 2007)

Properties Incompleteness Evaluation by Functional Verification. - Andrea Fedeli; Franco Fummi; Graziano Pravadelli (IEEE Trans. Computers, 2007)

Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. - Nicola Bombieri; Nicola Deganello; Franco Fummi (DATE, 2008)

A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DATE, 2008)

Network Fault Model for Dependability Assessment of Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (DFT, 2008)

RTL-TLM equivalence checking based on simulation. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (EWDTS, 2008)

An optimized CLP-based technique for generating propagation sequences. - Franco Fummi; Valerio Guarnieri; Cristina Marconcini; Graziano Pravadelli (EWDTS, 2008)

A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (FDL, 2008)

SystemC Simulation of Networked Embedded Systems. - Francesco Stefanni; Davide Quaglia; Franco Fummi (FDL (Selected Papers), 2008)

An energy-aware co-simulation framework for the design of wireless sensor networks. - Andrea Acquaviva; Franco Fummi; Giovanni Perbellini; Davide Quaglia (ACM Great Lakes Symposium on VLSI, 2008)

A HW/SW co-simulation framework for the verification of multi-CPU systems. - Stefano Cordibella; Franco Fummi; Giovanni Perbellini; Davide Quaglia (HLDVT, 2008)

The role of parallel simulation in functional verification. - Giuseppe Di Guglielmo; Franco Fummi; Mark Hampton; Graziano Pravadelli; Francesco Stefanni (HLDVT, 2008)

Vacuity Analysis by Fault Simulation. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2008)

Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (ACM Trans. Design Autom. Electr. Syst., 2008)

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

Functional qualification of TLM verification. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli; Mark Hampton; Florian Letombe (DATE, 2009)

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

Flexible energy-aware simulation of heterogenous wireless sensor networks. - Franco Fummi; Giovanni Perbellini; Davide Quaglia; Andrea Acquaviva (DATE, 2009)

Networked embedded system applications design driven by an abstract middleware environment. - Franco Fummi; Giovanni Perbellini; Niccolo Roncolato (DATE, 2009)

The impact of EFSM composition on functional ATPG. - Davide Bresolin; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Tiziano Villa (DDECS, 2009)

On the Functional Qualification of a Platform Model. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Mark Hampton; Florian Letombe (DFT, 2009)

Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (DSD, 2009)

The role of mutation analysis for property qualification. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2009)

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

On the Mutation Analysis of SystemC TLM-2.0 Standard. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (MTV, 2009)

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

A cosimulation methodology for HW/SW validation and performance estimation. - Franco Fummi; Mirko Loghi; Massimo Poncino; Graziano Pravadelli (ACM Trans. Design Autom. Electr. Syst., 2009)

Abstraction of RTL IPs into embedded software. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (DAC, 2010)

RTOS-aware refinement for TLM2.0-based HW/SW designs. - Markus Becker 001; Giuseppe Di Guglielmo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Tao Xie 006 (DATE, 2010)

Vacuity analysis for property qualification by mutation of checkers. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DATE, 2010)

Exploration of Network Alternatives for Middleware-centric Embedded System Design. - Franco Fummi; Giovanni Perbellini; Davide Quaglia; R. Trenti (DSD, 2010)

Modeling of Communication Infrastructure for Design-Space Exploration. - Franco Fummi; Davide Quaglia; Francesco Stefanni; Giovanni Lovato (FDL, 2010)

Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (HLDVT, 2010)

HIFSuite: Tools for HDL code conversion and manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Luigi Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (HLDVT, 2010)

Semi-formal functional verification by EFSM traversing via NuSMV. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Stefano Soffia; Marco Roveri (HLDVT, 2010)

DDPSL: An easy way of defining properties. - Luigi Di Guglielmo; Franco Fummi; Nicola Orlandi; Graziano Pravadelli (ICCD, 2010)

Mutation analysis with high-level decision diagrams. - Hanno Hantson; Jaan Raik; Maksim Jenihhin; Anton Chepurov; Raimund Ubar; Giuseppe Di Guglielmo; Franco Fummi (LATW, 2010)

Network-adaptive management of computation energy in wireless sensor networks. - Fabrizio Mulas; Andrea Acquaviva; Salvatore Carta; Gianni Fenu; Davide Quaglia; Franco Fummi (SAC, 2010)

Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (VLSI-SoC, 2010)

HIFSuite: Tools for HDL Code Conversion and Manipulation. - Nicola Bombieri; Giuseppe Di Guglielmo; Michele Ferrari; Franco Fummi; Graziano Pravadelli; Francesco Stefanni; Alessandro Venturelli (EURASIP J. Embed. Syst., 2010)

System/network design-space exploration based on TLM for networked embedded systems. - Nicola Bombieri; Franco Fummi; Davide Quaglia (ACM Trans. Embed. Comput. Syst., 2010)

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

Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (ETS, 2011)

Optimization of Assertion Placement in Time-Constrained Embedded Systems. - Viacheslav Izosimov; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Giuseppe Di Guglielmo; Masahiro Fujita (ETS, 2011)

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

Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2011)

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

Interactive presentation abstract: Assertion-based verification in embedded-software design. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2011)

Model-driven design and validation of embedded software. - Giuseppe Di Guglielmo; Masahiro Fujita; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli; Cristina Marconcini; Andreas Foltinek (AST, 2011)

Communication-aware design flow for dependable networked embedded systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (ISCAS, 2011)

Mutation analysis for SystemC designs at TLM. - Valerio Guarnieri; Nicola Bombieri; Graziano Pravadelli; Franco Fummi; Hanno Hantson; Jaan Raik; Maksim Jenihhin; Raimund Ubar (LATW, 2011)

EFSM-based model-driven approach to concolic testing of system-level design. - Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli; Stefano Soffia (MEMOCODE, 2011)

Reusing of Properties after Discretization of Hybrid Automata. - Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (MTV, 2011)

Communication-aware middleware-based design-space exploration for Networked Embedded Systems. - Franco Fummi; Davide Quaglia; Francesco Stefanni (VLSI-SoC, 2011)

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (J. Electron. Test., 2011)

Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. - Nicola Bombieri; Franco Fummi; Graziano Pravadelli (IEEE Trans. Computers, 2011)

Reduced-Complexity Transition-Fault Test Generation for Non-scan Circuits through High-Level Mutant Injection. - Valerio Guarnieri; Franco Fummi; Krishnendu Chakrabarty (Asian Test Symposium, 2012)

Dynamic property mining for embedded software. - Marco Bonato; Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli (CODES+ISSS, 2012)

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

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

FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (DATE, 2012)

Refinement of UML/MARTE models for the design of networked embedded systems. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia; Francesco Stefanni (DATE, 2012)

Enabling dynamic assertion-based verification of embedded software through model-driven design. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DATE, 2012)

Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification. - Emad Samuel Malki Ebeid; Davide Quaglia; Franco Fummi (DDECS, 2012)

On the use of assertions for embedded-software dynamic verification. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli (DDECS, 2012)

Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis. - Emad Samuel Malki Ebeid; Davide Quaglia; Franco Fummi (DSD, 2012)

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 (ETS, 2012)

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

Energy aware TLM platform simulation via RTL abstraction. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Andrea Acquaviva (HLDVT, 2012)

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

Accurate profiling of oracles for self-checking time-constrained embedded software. - Simone Bronuzzi; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2012)

On the Reuse of RTL IPs for SysML Model Generation. - Nicola Bombieri; Emad Samuel Malki Ebeid; Franco Fummi; Michele Lora (MTV, 2012)

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

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

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

FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (J. Electron. Test., 2012)

On the Reuse of TLM Mutation Analysis at RTL. - Valerio Guarnieri; Giuseppe Di Guglielmo; Nicola Bombieri; Graziano Pravadelli; Franco Fummi; Hanno Hantson; Jaan Raik; Maksim Jenihhin; Raimund Ubar (J. Electron. Test., 2012)

Time-Constraint-Aware Optimization of Assertions in Embedded Software. - Viacheslav Izosimov; Giuseppe Di Guglielmo; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Masahiro Fujita (J. Electron. Test., 2012)

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

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 (DAC, 2013)

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

UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia (DSD, 2013)

Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. - Giuseppe Di Guglielmo; Davide Ferraretto; Franco Fummi; Graziano Pravadelli (ETS, 2013)

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

Model-driven design for the development of multi-platform smartphone applications. - G. Botturi; Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia (FDL, 2013)

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

Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia (MTV, 2013)

Automatic Network Protocol Synthesis from UML Sequence Diagrams. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia; Francesco Stefanni (MTV, 2013)

A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia (UKSim, 2013)

On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. - Nicola Bombieri; Emad Samuel Malki Ebeid; Franco Fummi; Michele Lora (J. Electron. Test., 2013)

On the integration of model-driven design and dynamic assertion-based verification for embedded software. - Giuseppe Di Guglielmo; Luigi Di Guglielmo; Andreas Foltinek; Masahiro Fujita; Franco Fummi; Cristina Marconcini; Graziano Pravadelli (J. Syst. Softw., 2013)

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

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

Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework. - Nicola Bombieri; Rosario Distefano; Giovanni Scardoni; Franco Fummi; Carlo Laudanna; Rosalba Giugno (CMSB, 2014)

Panel: Future SoC verification methodology: UVM evolution or revolution? - Rolf Drechsler; Christophe Chevallaz; Franco Fummi; Alan J. Hu; Ronny Morad; Frank Schirrmeister; Alex Goryachev (DATE, 2014)

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

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

Simulation Alternatives for Modeling Networked Cyber-Physical Systems. - Michele Lora; Riccardo Muradore; Riccardo Reffato; Franco Fummi (DSD, 2014)

Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision. - Renaud Gillon; Giuliana Gangemi; Michelangelo Grosso; Franco Fummi; Massimo Poncino (ICECS, 2014)

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

On the reuse of RTL assertions in SystemC TLM verification. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (LATW, 2014)

Hardware Synthesis from Software-Oriented UML Descriptions. - Michele Lora; Francesco Martinelli; Franco Fummi (MTV, 2014)

A framework for design space exploration and performance analysis of networked embedded systems. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia; Hector Posadas; Eugenio Villar (RAPIDO, 2014)

Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli (IEEE Trans. Computers, 2014)

Extensions to the UML profile for MARTE for distributed embedded systems. - Emad Samuel Malki Ebeid; Julio L. Medina; Davide Quaglia; Franco Fummi (FDL, 2015)

A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology. - Rosario Distefano; Franco Fummi; Carlo Laudanna; Nicola Bombieri; Rosalba Giugno (ACM Great Lakes Symposium on VLSI, 2015)

An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs. - Nicola Bombieri; Federico Busato; Franco Fummi (MCSoC, 2015)

HDL code generation from UML/MARTE sequence diagrams for verification and synthesis. - Emad Ebeid; Franco Fummi; Davide Quaglia (Des. Autom. Embed. Syst., 2015)

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (J. Electron. Test., 2015)

Simulation alternatives for the verification of networked cyber-physical systems. - Michele Lora; Riccardo Muradore; Davide Quaglia; Franco Fummi (Microprocess. Microsystems, 2015)

A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. - Diwei He; Stephen P. Morgan; Dimitrios Trachanis; Jan van Hese; Dimitris Drogoudis; Franco Fummi; Francesco Stefanni; Valerio Guarnieri; Barrie Hayes-Gill (Sensors, 2015)

Model-Driven Design of Network Aspects of Distributed Embedded Systems. - Emad Samuel Malki Ebeid; Franco Fummi; Davide Quaglia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

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

A fine-grained performance model for GPU architectures. - Nicola Bombieri; Federico Busato; Franco Fummi (DATE, 2016)

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

SyQUAL: a platform for qualitative modelling and simulation of biological systems. - Rosario Distefano; Nickolas Goncharenko; Franco Fummi; Rosalba Giugno; Gary D. Bader; Nicola Bombieri (HLDVT, 2016)

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

A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. - Daniele Coati; Rosario Distefano; Nicola Bombieri; Franco Fummi; Michela Mirenda; Carlo Laudanna; Rosalba Giugno (LATS, 2016)

MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures. - Nicola Bombieri; Federico Busato; Franco Fummi; Michele Scala (SIES, 2016)

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

Erratum to "Model-Driven Design of Network Aspects of Distributed Embedded Systems". - Emad Ebeid; Franco Fummi; Davide Quaglia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. - Michele Lora; Enrico Fraccaroli; Franco Fummi (ASP-DAC, 2017)

Power-aware Performance Tuning of GPU Applications Through Microbenchmarking. - Nicola Bombieri; Federico Busato; Franco Fummi (DAC, 2017)

Analog fault testing through abstraction. - Enrico Fraccaroli; Franco Fummi (DATE, 2017)

Automatic abstraction of multi-discipline analog models for efficient functional simulation. - Enrico Fraccaroli; Michele Lora; Franco Fummi (DATE, 2017)

A homogeneous framework for AMS languages instrumentation, abstraction and simulation. - Enrico Fraccaroli; Luca Piccolboni; Franco Fummi (ETS, 2017)

Automatic generation of cycle-accurate Simulink blocks from hdl ips. - Stefano Centomo; Michele Lora; Antonio Portaluri; Francesco Stefanni; Franco Fummi (FDL, 2017)

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. - Stefano Centomo; Michele Lora; Antonio Portaluri; Francesco Stefanni; Franco Fummi (FDL (Selected Papers), 2017)

Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. - Enrico Fraccaroli; Francesco Stefanni; Franco Fummi; Mark Zwolinski (FDL (Selected Papers), 2017)

Cyber-physical virtual platforms: Techniques for sensors integration. - Franco Fummi (IWASI, 2017)

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

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

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. - Stefano Spellini; Michele Lora; Sudipta Chattopadhyay 001; Franco Fummi (CODES+ISSS, 2018)

Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. - Michele Lora; Stefano Centomo; Davide Quaglia; Franco Fummi (DATE, 2018)

Efficient Simulation of Faults in Networked Cyber-Physical Systems. - Enrico Fraccaroli; Davide Quaglia; Franco Fummi (DCIS, 2018)

Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. - Stefano Centomo; Michele Lora; Franco Fummi (FDL, 2018)

Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. - Enrico Fraccaroli; Davide Quaglia; Franco Fummi (FDL, 2018)

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 (ISCAS, 2018)

Cyber-Physical Systems Integration in a Production Line Simulator. - Stefano Centomo; Marco Panato; Franco Fummi (VLSI-SoC, 2018)

Network Synthesis for Distributed Embedded Systems. - Enrico Fraccaroli; Francesco Stefanni; Romeo Rizzi; Davide Quaglia; Franco Fummi (IEEE Trans. Computers, 2018)

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

Pro++: A Profiling Framework for Primitive-Based GPU Programming. - Nicola Bombieri; Federico Busato; Franco Fummi (IEEE Trans. Emerg. Top. Comput., 2018)

On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation. - Nicola Bombieri; Antonio Mastrandrea; Silvia Scaffeo; Simone Caligola; Franco Fummi; Carlo Laudanna; Gabriela Constantin; Rosalba Giugno (CIBB, 2019)

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 (CIBCB, 2019)

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 (FDL, 2019)

Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. - Stefano Spellini; Roberta Chirico; Michele Lora; Franco Fummi (FDL, 2019)

A Contract-based Methodology for Production Lines Validation. - Roberta Chirico; Stefano Spellini; Marco Panato; Michele Lora; Franco Fummi (INDIN, 2019)

Industrial-IoT Data Analysis Exploiting Electronic Design Automation Techniques. - Nicola Dall'Ora; Stefano Centomo; Franco Fummi (IWASI, 2019)

Conference Reports: Recap of DATE 2019 in Florence, Italy. - Jürgen Teich; Franco Fummi (IEEE Des. Test, 2019)

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

Compositional Design of Multi-Robot Systems Control Software on ROS. - Stefano Spellini; Michele Lora; Franco Fummi; Sudipta Chattopadhyay 001 (ACM Trans. Embed. Comput. Syst., 2019)

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

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 (DAC, 2020)

Network Synthesis for Industry 4.0. - Enrico Fraccaroli; Alan Michael Padovani; Davide Quaglia; Franco Fummi (DATE, 2020)

Production Recipe Validation through Formalization and Digital Twin Generation. - Stefano Spellini; Roberta Chirico; Marco Panato; Michele Lora; Franco Fummi (DATE, 2020)

The Design of a Digital-Twin for Predictive Maintenance. - Stefano Centomo; Nicola Dall'Ora; Franco Fummi (ETFA, 2020)

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

Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems. - Enrico Fraccaroli; Michele Lora; Franco Fummi (IEEE Trans. Computers, 2020)

Predictive Fault Grouping based on Faulty AC Matrices. - Nicola Dall'Ora; Sadia Azam; Enrico Fraccaroli; André Alberts; Franco Fummi (DDECS, 2021)

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. - Stefano Spellini; Sebastiano Gaiardelli; Michele Lora; Franco Fummi (ETFA, 2021)

A Common Manipulation Framework for Transistor-Level Languages. - Nicola Dall'Ora; Sadia Azam; Enrico Fraccaroli; André Alberts; Franco Fummi (FDL, 2021)

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 (FDL, 2021)

A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. - Francesco Lumpp; Marco Panato; Franco Fummi; Nicola Bombieri (FDL, 2021)

DOHMO: Embedded Computer Vision in Co-Housing Scenarios. - Geri Skenderi; Alessia Bozzini; Luigi Capogrosso; Enrico Carlo Agrillo; Giovanni Perbellini; Franco Fummi; Marco Cristani (FDL, 2021)

A Design Methodology of Multi-level Digital Twins. - Stefano Centomo; Andrea Avogaro; Marco Panato; Carlo Tadiello; Franco Fummi (ICIT, 2021)

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

Holding Conferences Online in Pandemic Times: The DATE Experience. - Franco Fummi; Ian O'Connor (IEEE Des. Test, 2021)

SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. - Nicola Bombieri; Silvia Scaffeo; Antonio Mastrandrea; Simone Caligola; Tommaso Carlucci; Franco Fummi; Carlo Laudanna; Gabriela Constantin; Rosalba Giugno (ACM Trans. Embed. Comput. Syst., 2021)

Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. - Stefano Spellini; Roberta Chirico; Marco Panato; Michele Lora; Franco Fummi (IEEE Trans. Ind. Informatics, 2021)

Process Dynamics-Aware Flexible Manufacturing for Industry 4.0. - Michael Balszun; Clara Hobbs; Enrico Fraccaroli; Debayan Roy; Franco Fummi; Samarjit Chakraborty (CASE, 2022)

A Software Architecture to Control Service-Oriented Manufacturing Systems. - Sebastiano Gaiardelli; Stefano Spellini; Marco Panato; Michele Lora; Franco Fummi (DATE, 2022)

On the Impact of Transport Times in Flexible Job Shop Scheduling Problems. - Sebastiano Gaiardelli; Damiano Carra; Stefano Spellini; Franco Fummi (ETFA, 2022)

A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. - Francesco Tosoni 002; Nicola Dall'Ora; Enrico Fraccaroli; Franco Fummi (FDL, 2022)

Inferring Mechanical Fault Models from the Electrical Domain. - Nicola Dall'Ora; Francesco Tosoni 002; Enrico Fraccaroli; Franco Fummi (ICPS, 2022)

Toward Smart Doors: A Position Paper. - Luigi Capogrosso; Geri Skenderi; Federico Girella; Franco Fummi; Marco Cristani (ICPR Workshops (2), 2022)

I-SPLIT: Deep Network Interpretability for Split Computing. - Federico Cunico; Luigi Capogrosso; Francesco Setti; Damiano Carra; Franco Fummi; Marco Cristani (ICPR, 2022)

Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. - Sebastiano Gaiardelli; Stefano Spellini; Michele Pasqua; Mariano Ceccato; Franco Fummi (IECON, 2022)

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 (IROS, 2022)

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes. - Sebastiano Gaiardelli; Stefano Spellini; Michele Lora; Franco Fummi (ISIE, 2022)

Investigation on Realistic Stuck-on/off Defects to Complement IEEE P2427 Draft Standard. - Sadia Azam; Nicola Dall'Ora; Enrico Fraccaroli; André Alberts; Renaud Gillon; Franco Fummi (ISQED, 2022)

Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models. - Sadia Azam; Nicola Dall'Ora; Enrico Fraccaroli; Franco Fummi (ISQED, 2022)

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

The Challenges of Coupling Digital-Twins with Multiple Classes of Faults. - Francesco Tosoni 002; Nicola Dall'Ora; Enrico Fraccaroli; Franco Fummi (LATS, 2022)

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 (DATE, 2023)

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 (DDECS, 2023)

HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. - Luigi Capogrosso; Luca Geretti; Marco Cristani; Franco Fummi; Tiziano Villa (DDECS, 2023)

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 002 (FDL, 2023)

Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. - Luigi Capogrosso; Alessio Mascolini; Federico Girella; Geri Skenderi; Sebastiano Gaiardelli; Nicola Dall'Ora; Francesco Ponzio; Enrico Fraccaroli; Santa Di Cataldo; Sara Vinco; Enrico Macii; Franco Fummi; et al. (FDL, 2023)

Verilog-A Implementation of Generic Defect Templates for Analog Fault Injection. - Nicola Dall'Ora; Sadia Azam; Enrico Fraccaroli; Renaud Gillon; Franco Fummi (ACM Great Lakes Symposium on VLSI, 2023)

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

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

Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0. - Luigi Capogrosso; Alessio Mascolini; Federico Girella; Geri Skenderi; Sebastiano Gaiardelli; Nicola Dall'Ora; Francesco Ponzio; Enrico Fraccaroli; Santa Di Cataldo; Sara Vinco; Enrico Macii; Franco Fummi; et al. (CoRR, 2023)

Disentangled Latent Spaces Facilitate Data-Driven Auxiliary Learning. - Geri Skenderi; Luigi Capogrosso; Andrea Toaiari; Matteo Denitto; Franco Fummi; Simone Melzi; Marco Cristani (CoRR, 2023)

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 (CBMI, 2024)

Automating FinOps in Cloud Computing: An Integrated Solution for Efficient Data Collection with Dynamic Scraper Generation. - Francesco Lumpp; Diego Braga; Franco Fummi; Nicola Bombieri (CloudCom, 2024)

The Future of Aircraft Maintenance: Goals and Challenges of Digital Twins for In-flight Operations. - Francesco Biondani; Franco Fummi (CPS Summer School, PhD Workshop, 2024)

Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies. - Mario Libro; Stefano Gelain; Franco Fummi (CPS Summer School, PhD Workshop, 2024)

MTL-Split: Multi-Task Learning for Edge Devices using Split Computing. - Luigi Capogrosso; Enrico Fraccaroli; Samarjit Chakraborty; Franco Fummi; Marco Cristani (DAC, 2024)

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

An AI-Enabled Framework for Smart Semiconductor Manufacturing. - Khaled Sidahmed Sidahmed Alamin; Davide Appello; Alessandro Beghi; Nicola Dall'Ora; Fabio Depaoli; Santa Di Cataldo; Franco Fummi; Sebastiano Gaiardelli; Michele Lora; Enrico Macii; Alessio Mascolini; Daniele Pagano; et al. (DATE, 2024)

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. - Michele Lora; Sebastiano Gaiardelli; Chanwook Oh; Stefano Spellini; Pierluigi Nuzzo 002; Franco Fummi (DATE, 2024)

MDiFF: Exploiting Multimodal Score-Based Diffusion Models for New Fashion Product Performance Forecasting. - Andrea Avogaro; Luigi Capogrosso; Franco Fummi; Marco Cristani (ECCV Workshops (1), 2024)

Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors. - Friederike Bruns; Andreas Rauh; Francesco Tosoni 002; Franco Fummi; Sven Mehlhop; Frank Oppenheimer (ETFA, 2024)

A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations. - Mohammad Uddin; Sebastiano Gaiardelli; Michele Lora; Dong Seon Cheng; Franco Fummi (ETFA, 2024)

Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. - Luigi Capogrosso; Enrico Fraccaroli; Giulio Petrozziello; Francesco Setti; Samarjit Chakraborty; Franco Fummi; Marco Cristani (FDL, 2024)

Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective : Wild-and-Crazy-Idea Paper. - Francesco Tosoni 002; Muhammad Ihtisham Amin; Nicola Dall'Ora; Enrico Fraccaroli; Franco Fummi (FDL, 2024)

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

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

Integrating Modeling Languages with Ontologies in the Context of Industry 4.0. - Mario Libro; Sebastiano Gaiardelli; Michele Lora; Franco Fummi (ICIT, 2024)

Dif4FF: Leveraging Multimodal Diffusion Models and Graph Neural Networks for Accurate New Fashion Product Performance Forecasting. - Andrea Avogaro; Luigi Capogrosso; Franco Fummi; Marco Cristani (ICPR (8), 2024)

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 (ICPR (16), 2024)

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 (IECON, 2024)

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 (IECON, 2024)

Fault Injection for Synthetic Data Generation in Aircraft: A Simulation-Based Approach. - Francesco Biondani; Nicola Dall'Ora; Francesco Tosoni 002; Enrico Fraccaroli; Domenico Fabio Migliore; Francesco Acerra; Franco Fummi (INDIN, 2024)

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

Optimizing Kubernetes Deployment of Robotic Applications with HEFT-based Container Orchestration. - Francesco Lumpp; Franco Fummi; Nicola Bombieri (IROS, 2024)

Adopting OPC UA for Efficient and Secure Firmware Transmission in Industry 4.0 Scenarios. - Francesco Biondani; Dong Seon Cheng; Franco Fummi (ISIE, 2024)

Analog Fault Simulation: Trends and Perspectives in Analog Hardware Description Languages. - Nicola Dall'Ora; Enrico Fraccaroli; Renaud Gillon; Franco Fummi (LATS, 2024)

Learning-Enabled CPS for Edge-Cloud Computing. - Luigi Capogrosso; Shengjie Xu; Enrico Fraccaroli; Marco Cristani; Franco Fummi; Samarjit Chakraborty (SIES, 2024)

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 (VISIGRAPP (2): VISAPP, 2024)

A Machine Learning-Oriented Survey on Tiny Machine Learning. - Luigi Capogrosso; Federico Cunico; Dong Seon Cheng; Franco Fummi; Marco Cristani (IEEE Access, 2024)

Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. - 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; et al. (IEEE Access, 2024)

Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols. - Sebastiano Gaiardelli; Stefano Spellini; Marco Panato; Carlo Tadiello; Michele Lora; Dong Seon Cheng; Franco Fummi (IEEE Access, 2024)

Real-time multi-camera 3D human pose estimation at the edge for industrial applications. - Michele Boldo; Mirco De Marchi; Enrico Martini; Stefano Aldegheri; Davide Quaglia; Franco Fummi; Nicola Bombieri (Expert Syst. Appl., 2024)

Integration of Extended Reality with a Cyber-Physical Factory Environment and its Digital Twins. - Marco Emporio; Ariel Caputo; Deborah Pintani; Dong Seon Cheng; Thomas De Marchi; Gianmaria Forte; Franco Fummi; Andrea Giachetti 001 (Proc. ACM Hum. Comput. Interact., 2024)

Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots. - Francesco Lumpp; Franco Fummi; Hiren D. Patel; Nicola Bombieri (IEEE Trans. Robotics, 2024)

Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review. - Sadia Azam; Nicola Dall'Ora; Enrico Fraccaroli; Renaud Gillon; Franco Fummi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

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

RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization. - Sebastiano Gaiardelli; Michele Lora; Stefano Spellini; Franco Fummi (IEEE Trans. Ind. Informatics, 2024)

A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications. - Francesco Lumpp; Marco Panato; Nicola Bombieri; Franco Fummi (ACM Trans. Embed. Comput. Syst., 2024)

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 (COMSNETS, 2025)

Human-Centered Digital Twin for Industry 5.0. - Francesco Biondani; Luigi Capogrosso; Nicola Dall'Ora; Enrico Fraccaroli; Marco Cristani; Franco Fummi (DATE, 2025)

Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration. - Mario Libro; Sebastiano Gaiardelli; Marco Panato; Stefano Spellini; Michele Lora; Franco Fummi (DATE, 2025)

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

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

LO-SC: Local-Only Split Computing for Accurate Deep Learning on Edge Devices. - Luigi Capogrosso; Enrico Fraccaroli; Marco Cristani; Franco Fummi; Samarjit Chakraborty (VLSID, 2025)

New Fashion Products Performance Forecasting: A Survey on Evolutions, Models and Emerging Trends. - Andrea Avogaro; Luigi Capogrosso; Andrea Toaiari; Franco Fummi; Marco Cristani (CoRR, 2025)

KairosAD: A SAM-Based Model for Industrial Anomaly Detection on Embedded Devices. - Uzair Khan; Franco Fummi; Luigi Capogrosso (CoRR, 2025)

Process mining-driven modeling and simulation to enhance fault diagnosis in cyber-physical systems. - Francesco Vitale; Nicola Dall'Ora; Sebastiano Gaiardelli; Enrico Fraccaroli; Nicola Mazzocca; Franco Fummi (CoRR, 2025)