default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranco Fummi
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j74]Luigi Capogrosso
, Federico Cunico, Dong Seon Cheng, Franco Fummi, Marco Cristani:
A Machine Learning-Oriented Survey on Tiny Machine Learning. IEEE Access 12: 23406-23426 (2024)- [j73]Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Carlo Tadiello, Michele Lora, Dong Seon Cheng, Franco Fummi:
Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols. IEEE Access 12: 85259-85274 (2024) - [j72]Federico Cunico, Stefano Aldegheri, Andrea Avogaro, Michele Boldo, Nicola Bombieri, Luigi Capogrosso, Ariel Caputo, Damiano Carra, Stefano Centomo, Dong Seon Cheng, Ettore Cinquetti, Marco Cristani, Mirco De Marchi, Florenc Demrozi, Marco Emporio, Franco Fummi, Luca Geretti, Samuele Germiniani, Andrea Giachetti, Federico Girella, Enrico Martini, Gloria Menegaz, Niek Muijs, Federica Paci, Marco Panato, Graziano Pravadelli, Elisa Quintarelli, Ilaria Siviero, Silvia Francesca Storti, Carlo Tadiello, Cristian Turetta, Tiziano Villa, Nicola Zannone, Davide Quaglia:
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study. IEEE Access 12: 154570-154599 (2024) - [j71]Michele Boldo, Mirco De Marchi, Enrico Martini, Stefano Aldegheri, Davide Quaglia, Franco Fummi, Nicola Bombieri:
Real-time multi-camera 3D human pose estimation at the edge for industrial applications. Expert Syst. Appl. 252: 124089 (2024) - [j70]Marco Emporio, Ariel Caputo, Deborah Pintani, Dong Seon Cheng, Thomas De Marchi, Gianmaria Forte, Franco Fummi, Andrea Giachetti:
Integration of Extended Reality with a Cyber-Physical Factory Environment and its Digital Twins. Proc. ACM Hum. Comput. Interact. 8(EICS): 1-13 (2024) - [j69]Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi:
Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System. IEEE Trans. Computers 73(3): 829-841 (2024) - [j68]Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, Renaud Gillon, Franco Fummi:
Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(1): 16-29 (2024) - [j67]Francesco Lumpp, Marco Panato, Nicola Bombieri, Franco Fummi:
A Design Flow Based on Docker and Kubernetes for ROS-based Robotic Software Applications. ACM Trans. Embed. Comput. Syst. 23(5): 74:1-74:24 (2024) - [j66]Sebastiano Gaiardelli, Michele Lora, Stefano Spellini, Franco Fummi:
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization. IEEE Trans. Ind. Informatics 20(4): 6844-6854 (2024) - [j65]Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri:
Enabling Kubernetes Orchestration of Mixed-Criticality Software for Autonomous Mobile Robots. IEEE Trans. Robotics 40: 540-553 (2024) - [c270]Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi:
VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge. DAC 2024: 235:1-235:6 - [c269]Luigi Capogrosso, Enrico Fraccaroli, Samarjit Chakraborty, Franco Fummi, Marco Cristani:
MTL-Split: Multi-Task Learning for Edge Devices using Split Computing. DAC 2024: 261:1-261:6 - [c268]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:
An AI-Enabled Framework for Smart Semiconductor Manufacturing. DATE 2024: 1-6 - [c267]Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi:
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE 2024: 1-6 - [c266]Friederike Bruns, Andreas Rauh, Francesco Tosoni, Franco Fummi, Sven Mehlhop, Frank Oppenheimer:
Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors. ETFA 2024: 1-8 - [c265]Mohammad Uddin, Sebastiano Gaiardelli, Michele Lora, Dong Seon Cheng, Franco Fummi:
A Multi-Material and Multi-Scenario Dataset for Additive and Subtractive Manufacturing Operations. ETFA 2024: 1-4 - [c264]Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty, Franco Fummi, Marco Cristani:
Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. FDL 2024: 1-8 - [c263]Francesco Tosoni, Muhammad Ihtisham Amin, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi:
Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective : Wild-and-Crazy-Idea Paper. FDL 2024: 1-5 - [c262]Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi:
Cross-domain Analog Fault Injection for Designing Robust Smart Systems. FDL 2024: 1-8 - [c261]Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Franco Fummi, Santa Di Cataldo, Sara Vinco:
A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring. ICIT 2024: 1-8 - [c260]Mario Libro, Sebastiano Gaiardelli, Michele Lora, Franco Fummi:
Integrating Modeling Languages with Ontologies in the Context of Industry 4.0. ICIT 2024: 1-7 - [c259]Andrea Avogaro, Luigi Capogrosso, Franco Fummi, Marco Cristani:
Dif4FF: Leveraging Multimodal Diffusion Models and Graph Neural Networks for Accurate New Fashion Product Performance Forecasting. ICPR (8) 2024: 97-112 - [c258]Luigi Capogrosso, Andrea Toaiari, Andrea Avogaro, Uzair Khan, Aditya Jivoji, Franco Fummi, Marco Cristani:
SITUATE: Indoor Human Trajectory Prediction Through Geometric Features and Self-supervised Vision Representation. ICPR (16) 2024: 364-379 - [c257]Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi:
Assessing Robustness of Smart Systems via Multi-domain Analog Fault Simulation. IOLTS 2024: 1-3 - [c256]Francesco Lumpp, Franco Fummi, Nicola Bombieri:
Optimizing Kubernetes Deployment of Robotic Applications with HEFT-based Container Orchestration. IROS 2024: 4594-4599 - [c255]Francesco Biondani, Dong Seon Cheng, Franco Fummi:
Adopting OPC UA for Efficient and Secure Firmware Transmission in Industry 4.0 Scenarios. ISIE 2024: 1-6 - [c254]Nicola Dall'Ora, Enrico Fraccaroli, Renaud Gillon, Franco Fummi:
Analog Fault Simulation: Trends and Perspectives in Analog Hardware Description Languages. LATS 2024: 1-2 - [c253]Luigi Capogrosso, Shengjie Xu, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty:
Learning-Enabled CPS for Edge-Cloud Computing. SIES 2024: 132-139 - [c252]Luigi Capogrosso, Federico Girella, Francesco Taioli, Michele Dalla Chiara, Muhammad Aqeel, Franco Fummi, Francesco Setti, Marco Cristani:
Diffusion-Based Image Generation for In-Distribution Data Augmentation in Surface Defect Detection. VISIGRAPP (2): VISAPP 2024: 409-416 - [i14]Luigi Capogrosso, Federico Girella, Francesco Taioli, Michele Dalla Chiara, Muhammad Aqeel, Franco Fummi, Francesco Setti, Marco Cristani:
Diffusion-based Image Generation for In-distribution Data Augmentation in Surface Defect Detection. CoRR abs/2406.00501 (2024) - [i13]Federico Girella, Ziyue Liu, Franco Fummi, Francesco Setti, Marco Cristani, Luigi Capogrosso:
Leveraging Latent Diffusion Models for Training-Free In-Distribution Data Augmentation for Surface Defect Detection. CoRR abs/2407.03961 (2024) - [i12]Luigi Capogrosso, Enrico Fraccaroli, Samarjit Chakraborty, Franco Fummi, Marco Cristani:
MTL-Split: Multi-Task Learning for Edge Devices using Split Computing. CoRR abs/2407.05982 (2024) - [i11]Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty, Franco Fummi, Marco Cristani:
Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. CoRR abs/2407.11763 (2024) - [i10]Luigi Capogrosso, Andrea Toaiari, Andrea Avogaro, Uzair Khan, Aditya Jivoji, Franco Fummi, Marco Cristani:
SITUATE: Indoor Human Trajectory Prediction through Geometric Features and Self-Supervised Vision Representation. CoRR abs/2409.00774 (2024) - [i9]Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi:
VARADE: a Variational-based AutoRegressive model for Anomaly Detection on the Edge. CoRR abs/2409.14816 (2024) - 2023
- [c251]Cristian Turetta, Geri Skenderi, Luigi Capogrosso, Florenc Demrozi, Philipp H. Kindt, Alejandro Masrur, Franco Fummi, Marco Cristani, Graziano Pravadelli:
Towards Deep Learning-based Occupancy Detection Via WiFi Sensing in Unconstrained Environments. DATE 2023: 1-6 - [c250]Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia:
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. DDECS 2023: 39-44 - [c249]Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa:
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. DDECS 2023: 87-90 - [c248]Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni:
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. FDL 2023: 1-8 - [c247]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:
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. FDL 2023: 1-4 - [c246]Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, Renaud Gillon, Franco Fummi:
Verilog-A Implementation of Generic Defect Templates for Analog Fault Injection. ACM Great Lakes Symposium on VLSI 2023: 477-481 - [c245]Alessio Mascolini, Sebastiano Gaiardelli, Francesco Ponzio, Nicola Dall'Ora, Enrico Macii, Sara Vinco, Santa Di Cataldo, Franco Fummi:
Robotic Arm Dataset (RoAD): A Dataset to Support the Design and Test of Machine Learning-Driven Anomaly Detection in a Production Line. IECON 2023: 1-7 - [c244]Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi:
Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors. INDIN 2023: 1-8 - [i8]Luigi Capogrosso, Federico Cunico, Michele Lora, Marco Cristani, Franco Fummi, Davide Quaglia:
Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications. CoRR abs/2303.12524 (2023) - [i7]Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa:
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. CoRR abs/2305.00039 (2023) - [i6]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:
Neuro-symbolic Empowered Denoising Diffusion Probabilistic Models for Real-time Anomaly Detection in Industry 4.0. CoRR abs/2307.06975 (2023) - [i5]Luigi Capogrosso, Federico Cunico, Dong Seon Cheng, Franco Fummi, Marco Cristani:
A Machine Learning-oriented Survey on Tiny Machine Learning. CoRR abs/2309.11932 (2023) - [i4]Geri Skenderi, Luigi Capogrosso, Andrea Toaiari, Matteo Denitto, Franco Fummi, Simone Melzi, Marco Cristani:
Disentangled Latent Spaces Facilitate Data-Driven Auxiliary Learning. CoRR abs/2310.09278 (2023) - 2022
- [c243]Michael Balszun, Clara Hobbs, Enrico Fraccaroli, Debayan Roy, Franco Fummi, Samarjit Chakraborty:
Process Dynamics-Aware Flexible Manufacturing for Industry 4.0. CASE 2022: 2375-2382 - [c242]Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi:
A Software Architecture to Control Service-Oriented Manufacturing Systems. DATE 2022: 40-43 - [c241]Sebastiano Gaiardelli, Damiano Carra, Stefano Spellini, Franco Fummi:
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems. ETFA 2022: 1-8 - [c240]Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi:
A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS. FDL 2022: 1-8 - [c239]Nicola Dall'Ora, Francesco Tosoni, Enrico Fraccaroli, Franco Fummi:
Inferring Mechanical Fault Models from the Electrical Domain. ICPS 2022: 1-8 - [c238]Luigi Capogrosso, Geri Skenderi, Federico Girella, Franco Fummi, Marco Cristani:
Toward Smart Doors: A Position Paper. ICPR Workshops (2) 2022: 660-673 - [c237]Federico Cunico, Luigi Capogrosso, Francesco Setti, Damiano Carra, Franco Fummi, Marco Cristani:
I-SPLIT: Deep Network Interpretability for Split Computing. ICPR 2022: 2575-2581 - [c236]Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi:
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. IECON 2022: 1-6 - [c235]Francesco Lumpp, Franco Fummi, Hiren D. Patel, Nicola Bombieri:
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms. IROS 2022: 9708-9713 - [c234]Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi:
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes. ISIE 2022: 226-232 - [c233]Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi:
Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models. ISQED 2022: 39-44 - [c232]Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, André Alberts, Renaud Gillon, Franco Fummi:
Investigation on Realistic Stuck-on/off Defects to Complement IEEE P2427 Draft Standard. ISQED 2022: 51-57 - [c231]Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Sebastiano Gaiardelli, Stefano Spellini, Andrea Calimera, Alessandro Beghi, Gian Antonio Susto, Franco Fummi, Enrico Macii, Sara Vinco:
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing. LATS 2022: 1-6 - [c230]Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi:
The Challenges of Coupling Digital-Twins with Multiple Classes of Faults. LATS 2022: 1-6 - [i3]Federico Cunico, Luigi Capogrosso, Francesco Setti, Damiano Carra, Franco Fummi, Marco Cristani:
I-SPLIT: Deep Network Interpretability for Split Computing. CoRR abs/2209.11607 (2022) - [i2]Luigi Capogrosso, Geri Skenderi, Federico Girella, Franco Fummi, Marco Cristani:
Toward Smart Doors: A Position Paper. CoRR abs/2209.11770 (2022) - 2021
- [j64]Franco Fummi, Ian O'Connor:
Holding Conferences Online in Pandemic Times: The DATE Experience. IEEE Des. Test 38(4): 128-130 (2021) - [j63]Nicola Bombieri, Silvia Scaffeo, Antonio Mastrandrea, Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno:
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. ACM Trans. Embed. Comput. Syst. 20(4): 31:1-31:20 (2021) - [j62]Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi:
Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. IEEE Trans. Ind. Informatics 17(9): 6294-6302 (2021) - [c229]Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi:
Predictive Fault Grouping based on Faulty AC Matrices. DDECS 2021: 11-16 - [c228]Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi:
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. ETFA 2021: 1-8 - [c227]Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi:
A Common Manipulation Framework for Transistor-Level Languages. FDL 2021: 1-7 - [c226]Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi:
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. FDL 2021: 1-8 - [c225]Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri:
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. FDL 2021: 1-8 - [c224]Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani:
DOHMO: Embedded Computer Vision in Co-Housing Scenarios. FDL 2021: 1-8 - [c223]Stefano Centomo, Andrea Avogaro, Marco Panato, Carlo Tadiello, Franco Fummi:
A Design Methodology of Multi-level Digital Twins. ICIT 2021: 961-966 - [c222]Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi:
Multi-Discipline Fault Modeling with Verilog-AMS. ICPS 2021: 237-243 - 2020
- [j61]Enrico Fraccaroli, Michele Lora, Franco Fummi:
Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems. IEEE Trans. Computers 69(9): 1263-1278 (2020) - [c221]Stefano Aldegheri, Nicola Bombieri, Franco Fummi, Simone Girardi, Riccardo Muradore, Nicola Piccinelli:
Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures. DAC 2020: 1-2 - [c220]Enrico Fraccaroli, Alan Michael Padovani, Davide Quaglia, Franco Fummi:
Network Synthesis for Industry 4.0. DATE 2020: 1692-1697 - [c219]Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi:
Production Recipe Validation through Formalization and Digital Twin Generation. DATE 2020: 1698-1703 - [c218]Stefano Centomo, Nicola Dall'Ora, Franco Fummi:
The Design of a Digital-Twin for Predictive Maintenance. ETFA 2020: 1781-1788 - [c217]Nicola Dall'Ora, Sara Vinco, Franco Fummi:
Functionality and Fault Modeling of a DC Motor with Verilog-AMS. INDIN 2020: 35-40
2010 – 2019
- 2019
- [j60]Jürgen Teich, Franco Fummi:
Conference Reports: Recap of DATE 2019 in Florence, Italy. IEEE Des. Test 36(4): 59-61 (2019) - [j59]Michele Lora, Sara Vinco, Franco Fummi:
Translation, Abstraction and Integration for Effective Smart System Design. IEEE Trans. Computers 68(10): 1525-1538 (2019) - [j58]Stefano Spellini, Michele Lora, Franco Fummi, Sudipta Chattopadhyay:
Compositional Design of Multi-Robot Systems Control Software on ROS. ACM Trans. Embed. Comput. Syst. 18(5s): 71:1-71:24 (2019) - [j57]Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino:
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. ACM Trans. Design Autom. Electr. Syst. 24(3): 27:1-27:23 (2019) - [c216]Nicola Bombieri, Antonio Mastrandrea, Silvia Scaffeo, Simone Caligola, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno:
On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation. CIBB 2019: 323-334 - [c215]Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno:
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation. CIBCB 2019: 1-4 - [c214]Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno:
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. FDL 2019: 1-7 - [c213]Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi:
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. FDL 2019: 1-4 - [c212]Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi:
A Contract-based Methodology for Production Lines Validation. INDIN 2019: 695-698 - [c211]Nicola Dall'Ora, Stefano Centomo, Franco Fummi:
Industrial-IoT Data Analysis Exploiting Electronic Design Automation Techniques. IWASI 2019: 103-109 - [e3]Jürgen Teich, Franco Fummi:
Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. IEEE 2019, ISBN 978-3-9819263-2-3 [contents] - 2018
- [j56]Enrico Fraccaroli, Francesco Stefanni, Romeo Rizzi, Davide Quaglia, Franco Fummi:
Network Synthesis for Distributed Embedded Systems. IEEE Trans. Computers 67(9): 1315-1330 (2018) - [j55]Michele Lora, Sara Vinco, Enrico Fraccaroli, Davide Quaglia, Franco Fummi:
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(2): 378-391 (2018) - [j54]Nicola Bombieri, Federico Busato, Franco Fummi:
Pro++: A Profiling Framework for Primitive-Based GPU Programming. IEEE Trans. Emerg. Top. Comput. 6(3): 382-394 (2018) - [c210]Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi:
Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. CODES+ISSS 2018: 4 - [c209]Michele Lora, Stefano Centomo, Davide Quaglia, Franco Fummi:
Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms. DATE 2018: 676-681 - [c208]Enrico Fraccaroli, Davide Quaglia, Franco Fummi:
Efficient Simulation of Faults in Networked Cyber-Physical Systems. DCIS 2018: 1-6 - [c207]Stefano Centomo, Michele Lora, Franco Fummi:
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. FDL 2018: 5-8 - [c206]Enrico Fraccaroli, Davide Quaglia, Franco Fummi:
Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. FDL 2018: 5-16 - [c205]Stefano Aldegheri, Nicola Bombieri, Nicola Dall'Ora, Franco Fummi, Simone Girardi, Marco Panato:
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS. ISCAS 2018: 1-5 - [c204]Stefano Centomo, Marco Panato, Franco Fummi:
Cyber-Physical Systems Integration in a Production Line Simulator. VLSI-SoC 2018: 237-242 - 2017
- [j53]Sara Vinco, Yukai Chen, Franco Fummi, Enrico Macii, Massimo Poncino:
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(10): 1702-1715 (2017) - [c203]Michele Lora, Enrico Fraccaroli, Franco Fummi:
Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling. ASP-DAC 2017: 232-237 - [c202]Nicola Bombieri, Federico Busato, Franco Fummi:
Power-aware Performance Tuning of GPU Applications Through Microbenchmarking. DAC 2017: 66:1-66:6 - [c201]Enrico Fraccaroli, Franco Fummi:
Analog fault testing through abstraction. DATE 2017: 270-273 - [c200]Enrico Fraccaroli, Michele Lora, Franco Fummi:
Automatic abstraction of multi-discipline analog models for efficient functional simulation. DATE 2017: 662-665 - [c199]Enrico Fraccaroli, Luca Piccolboni, Franco Fummi:
A homogeneous framework for AMS languages instrumentation, abstraction and simulation. ETS 2017: 1-2 - [c198]Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi:
Automatic generation of cycle-accurate Simulink blocks from hdl ips. FDL 2017: 1-8 - [c197]Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi:
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. FDL (Selected Papers) 2017: 1-23 - [c196]Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski:
Fault analysis in analog circuits through language manipulation and abstraction. FDL 2017: 1-7 - [c195]Enrico Fraccaroli, Francesco Stefanni, Franco Fummi, Mark Zwolinski:
Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction. FDL (Selected Papers) 2017: 89-105 - [c194]Franco Fummi:
Cyber-physical virtual platforms: Techniques for sensors integration. IWASI 2017: 50 - [p1]Graziano Pravadelli, Davide Quaglia, Sara Vinco, Franco Fummi:
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework. Handbook of Hardware/Software Codesign 2017: 683-720 - [e2]Franco Fummi, Hiren D. Patel, Samarjit Chakraborty:
2017 Forum on Specification and Design Languages, FDL 2017, Verona, Italy, September 18-20, 2017. IEEE 2017, ISBN 978-1-5386-4733-2 [contents] - 2016
- [j52]Sara Vinco, Valerio Guarnieri, Franco Fummi:
Code Manipulation for Virtual Platform Integration. IEEE Trans. Computers 65(9): 2694-2708 (2016) - [j51]Emad Ebeid, Franco Fummi, Davide Quaglia:
Erratum to "Model-Driven Design of Network Aspects of Distributed Embedded Systems". IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(5): 872 (2016) - [c193]Nicola Bombieri, Federico Busato, Franco Fummi:
A fine-grained performance model for GPU architectures. DATE 2016: 1267-1272 - [c192]Enrico Fraccaroli, Michele Lora, Sara Vinco, Davide Quaglia, Franco Fummi:
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems. DATE 2016: 1586-1591 - [c191]Michele Lora, Sara Vinco, Franco Fummi:
A unifying flow to ease smart systems integration. HLDVT 2016: 113-120 - [c190]Rosario Distefano, Nickolas Goncharenko, Franco Fummi, Rosalba Giugno, Gary D. Bader, Nicola Bombieri:
SyQUAL: a platform for qualitative modelling and simulation of biological systems. HLDVT 2016: 155-161 - [c189]Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno:
A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. LATS 2016: 159-164 - [c188]Nicola Bombieri, Federico Busato, Franco Fummi, Michele Scala:
MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures. SIES 2016: 159-164 - 2015
- [j50]Emad Ebeid, Franco Fummi, Davide Quaglia:
HDL code generation from UML/MARTE sequence diagrams for verification and synthesis. Des. Autom. Embed. Syst. 19(3): 277-299 (2015) - [j49]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia:
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. J. Electron. Test. 31(2): 167-180 (2015) - [j48]Michele Lora, Riccardo Muradore, Davide Quaglia, Franco Fummi:
Simulation alternatives for the verification of networked cyber-physical systems. Microprocess. Microsystems 39(8): 843-853 (2015) - [j47]Diwei He, Stephen P. Morgan, Dimitrios Trachanis, Jan van Hese, Dimitris Drogoudis, Franco Fummi, Francesco Stefanni, Valerio Guarnieri, Barrie Hayes-Gill:
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. Sensors 15(7): 17076-17088 (2015) - [j46]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia:
Model-Driven Design of Network Aspects of Distributed Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(4): 603-614 (2015) - [j45]Nicola Bombieri, Franco Fummi, Sara Vinco:
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications. ACM Trans. Design Autom. Electr. Syst. 20(3): 36:1-36:26 (2015) - [c187]Emad Samuel Malki Ebeid, Julio L. Medina, Davide Quaglia, Franco Fummi:
Extensions to the UML profile for MARTE for distributed embedded systems. FDL 2015: 99-106 - [c186]Rosario Distefano, Franco Fummi, Carlo Laudanna, Nicola Bombieri, Rosalba Giugno:
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology. ACM Great Lakes Symposium on VLSI 2015: 233-236 - [c185]Nicola Bombieri, Federico Busato, Franco Fummi:
An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs. MCSoC 2015: 1-8 - 2014
- [j44]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli:
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. IEEE Trans. Computers 63(5): 1248-1261 (2014) - [c184]Nicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno:
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework. CMSB 2014: 143-154 - [c183]Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan J. Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev:
Panel: Future SoC verification methodology: UVM evolution or revolution? DATE 2014: 1-5 - [c182]Franco Fummi, Michele Lora, Francesco Stefanni, Dimitrios Trachanis, Jahn Vanhese, Sara Vinco:
Moving from co-simulation to simulation for effective smart systems design. DATE 2014: 1-4 - [c181]Valerio Guarnieri, Massimo Petricca, Alessandro Sassone, Sara Vinco, Nicola Bombieri, Franco Fummi, Enrico Macii, Massimo Poncino:
A cross-level verification methodology for digital IPs augmented with embedded timing monitors. DATE 2014: 1-6 - [c180]Michele Lora, Riccardo Muradore, Riccardo Reffato, Franco Fummi:
Simulation Alternatives for Modeling Networked Cyber-Physical Systems. DSD 2014: 262-269 - [c179]Renaud Gillon, Giuliana Gangemi, Michelangelo Grosso, Franco Fummi, Massimo Poncino:
Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision. ICECS 2014: 858-861 - [c178]Sara Vinco, Alessandro Sassone, Franco Fummi, Enrico Macii, Massimo Poncino:
An open-source framework for formal specification and simulation of electrical energy systems. ISLPED 2014: 287-290 - [c177]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia:
On the reuse of RTL assertions in SystemC TLM verification. LATW 2014: 1-6 - [c176]Michele Lora, Francesco Martinelli, Franco Fummi:
Hardware Synthesis from Software-Oriented UML Descriptions. MTV 2014: 33-38 - [c175]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Hector Posadas, Eugenio Villar:
A framework for design space exploration and performance analysis of networked embedded systems. RAPIDO 2014: 2:1-2:8 - 2013
- [j43]Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora:
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation. J. Electron. Test. 29(5): 647-667 (2013) - [j42]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. 86(8): 2013-2033 (2013) - [j41]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration. IEEE Trans. Computers 62(2): 225-241 (2013) - [j40]Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco:
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(9): 1293-1306 (2013) - [c174]Nicola Bombieri, Franco Fummi, Sara Vinco:
On the automatic generation of GPU-oriented software applications from RTL IPs. CODES+ISSS 2013: 12:1-12:10 - [c173]Nicola Bombieri, Hung-Yi Liu, Franco Fummi, Luca P. Carloni:
A method to abstract RTL IP blocks into C++ code and enable high-level synthesis. DAC 2013: 156:1-156:9 - [c172]Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, Anirudh M. Kaushik, Hiren D. Patel:
On the use of GP-GPUs for accelerating compute-intensive EDA applications. DATE 2013: 1357-1366 - [c171]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia:
UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems. DSD 2013: 787-794 - [c170]Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli:
Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. ETS 2013: 1-6 - [c169]Nicola Bombieri, Diego Forrini, Franco Fummi, Matteo Laurenzi, Sara Vinco:
RTL IP abstraction into optimized embedded software. EWDTS 2013: 1-5 - [c168]G. Botturi, Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia:
Model-driven design for the development of multi-platform smartphone applications. FDL 2013: 1-8 - [c167]Franco Fummi, Michele Lora, Francesco Stefanni, Sara Vinco:
Code generation alternatives to reduce heterogeneous embedded systems to homogeneity. FDL 2013: 1-4 - [c166]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia:
Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems. MTV 2013: 45-51 - [c165]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni:
Automatic Network Protocol Synthesis from UML Sequence Diagrams. MTV 2013: 68-73 - [c164]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia:
A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems. UKSim 2013: 374-379 - 2012
- [j39]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16(2): 115-135 (2012) - [j38]Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar:
On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. 28(4): 435-448 (2012) - [j37]Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita:
Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. 28(4): 469-486 (2012) - [j36]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction. J. Electron. Test. 28(4): 495-510 (2012) - [c163]Valerio Guarnieri, Franco Fummi, Krishnendu Chakrabarty:
Reduced-Complexity Transition-Fault Test Generation for Non-scan Circuits through High-Level Mutant Injection. Asian Test Symposium 2012: 302-307 - [c162]Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli:
Dynamic property mining for embedded software. CODES+ISSS 2012: 187-196 - [c161]Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi:
SAGA: SystemC acceleration on GPU architectures. DAC 2012: 115-120 - [c160]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE 2012: 212-217 - [c159]Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco:
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE 2012: 296-299 - [c158]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. DATE 2012: 562-565 - [c157]Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni:
Refinement of UML/MARTE models for the design of networked embedded systems. DATE 2012: 1072-1077 - [c156]Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi:
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification. DDECS 2012: 187-190 - [c155]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
On the use of assertions for embedded-software dynamic verification. DDECS 2012: 330-335 - [c154]Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi:
Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis. DSD 2012: 708-714 - [c153]Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi:
Combining dynamic slicing and mutation operators for ESL correction. ETS 2012: 1-6 - [c152]Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco:
On the automatic synthesis of parallel SW from RTL models of hardware IPs. ACM Great Lakes Symposium on VLSI 2012: 71-74 - [c151]Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco:
The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. HLDVT 2012: 76-83 - [c150]Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Accurate profiling of oracles for self-checking time-constrained embedded software. HLDVT 2012: 96-99 - [c149]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva:
Energy aware TLM platform simulation via RTL abstraction. HLDVT 2012: 156-163 - [c148]Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora:
On the Reuse of RTL IPs for SysML Model Generation. MTV 2012: 54-59 - [c147]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Sara Vinco:
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. MTV 2012: 76-81 - [c146]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
A formal support for homogeneous simulation of heterogeneous embedded systems. SIES 2012: 211-219 - [e1]Ahmed Jerraya, Luca P. Carloni, Naehyuck Chang, Franco Fummi:
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012. ACM 2012, ISBN 978-1-4503-1426-8 [contents] - 2011
- [j35]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electron. Test. 27(2): 137-162 (2011) - [j34]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers 60(12): 1730-1743 (2011) - [c145]Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia:
Automatic Interface Generation for Component Reuse in HW-SW Partitioning. DSD 2011: 793-796 - [c144]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. ETS 2011: 117-122 - [c143]Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita:
Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS 2011: 171-176 - [c142]Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco:
Efficient implementation and abstraction of systemc data types for fast simulation. FDL 2011: 1-7 - [c141]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco:
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. HLDVT 2011: 33-40 - [c140]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT 2011: 80 - [c139]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. HLDVT 2011: 81 - [c138]Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek:
Model-driven design and validation of embedded software. AST 2011: 98-104 - [c137]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Communication-aware design flow for dependable networked embedded systems. ISCAS 2011: 2861-2864 - [c136]Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar:
Mutation analysis for SystemC designs at TLM. LATW 2011: 1-6 - [c135]Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia:
EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE 2011: 201-209 - [c134]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Reusing of Properties after Discretization of Hybrid Automata. MTV 2011: 10-15 - [c133]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Communication-aware middleware-based design-space exploration for Networked Embedded Systems. VLSI-SoC 2011: 168-171 - 2010
- [j33]Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli:
HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. 2010 (2010) - [j32]Nicola Bombieri, Franco Fummi, Davide Quaglia:
System/network design-space exploration based on TLM for networked embedded systems. ACM Trans. Embed. Comput. Syst. 9(4): 37:1-37:32 (2010) - [c132]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Abstraction of RTL IPs into embedded software. DAC 2010: 24-29 - [c131]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Vacuity analysis for property qualification by mutation of checkers. DATE 2010: 478-483 - [c130]Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie:
RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE 2010: 1053-1058 - [c129]Franco Fummi, Giovanni Perbellini, Davide Quaglia, R. Trenti:
Exploration of Network Alternatives for Middleware-centric Embedded System Design. DSD 2010: 291-297 - [c128]Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato:
Modeling of Communication Infrastructure for Design-Space Exploration. FDL 2010: 92-97 - [c127]Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli:
HIFSuite: Tools for HDL code conversion and manipulation. HLDVT 2010: 40-41 - [c126]Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri:
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65 - [c125]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. HLDVT 2010: 105-112 - [c124]Luigi Di Guglielmo, Franco Fummi, Nicola Orlandi, Graziano Pravadelli:
DDPSL: An easy way of defining properties. ICCD 2010: 468-473 - [c123]Hanno Hantson, Jaan Raik, Maksim Jenihhin, Anton Chepurov, Raimund Ubar, Giuseppe Di Guglielmo, Franco Fummi:
Mutation analysis with high-level decision diagrams. LATW 2010: 1-6 - [c122]Fabrizio Mulas, Andrea Acquaviva, Salvatore Carta, Gianni Fenu, Davide Quaglia, Franco Fummi:
Network-adaptive management of computation energy in wireless sensor networks. SAC 2010: 756-763 - [c121]Nicola Bombieri, Franco Fummi, Valerio Guarnieri:
Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. VLSI-SoC 2010: 61-66
2000 – 2009
- 2009
- [j31]Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli:
A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Design Autom. Electr. Syst. 14(2): 23:1-23:32 (2009) - [c120]Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco:
Automatic customization of device drivers for IP-cores used with assorted CPU organizations. CODES+ISSS 2009: 173-182 - [c119]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe:
Functional qualification of TLM verification. DATE 2009: 190-195 - [c118]Franco Fummi, Giovanni Perbellini, Niccolo Roncolato:
Networked embedded system applications design driven by an abstract middleware environment. DATE 2009: 1024-1029 - [c117]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco:
Correct-by-construction generation of device drivers based on RTL testbenches. DATE 2009: 1500-1505 - [c116]Franco Fummi, Giovanni Perbellini, Davide Quaglia, Andrea Acquaviva:
Flexible energy-aware simulation of heterogenous wireless sensor networks. DATE 2009: 1638-1643 - [c115]Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa:
The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49 - [c114]Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe:
On the Functional Qualification of a Platform Model. DFT 2009: 182-190 - [c113]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems. DSD 2009: 225-228 - [c112]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
The role of mutation analysis for property qualification. MEMOCODE 2009: 28-35 - [c111]Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco:
A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee. MobiQuitous 2009: 1-2 - [c110]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV 2009: 32-37 - [c109]Franco Fummi, Davide Quaglia, Sara Vinco, Giovanni Perbellini, Saul Saggin:
Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform. MTV 2009: 63-68 - 2008
- [j30]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. 13(3): 47:1-47:22 (2008) - [c108]Nicola Bombieri, Nicola Deganello, Franco Fummi:
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. DATE 2008: 15-20 - [c107]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE 2008: 396-401 - [c106]Franco Fummi, Davide Quaglia, Francesco Stefanni:
Network Fault Model for Dependability Assessment of Networked Embedded Systems. DFT 2008: 54-62 - [c105]Franco Fummi, Valerio Guarnieri, Cristina Marconcini, Graziano Pravadelli:
An optimized CLP-based technique for generating propagation sequences. EWDTS 2008: 25-29 - [c104]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
RTL-TLM equivalence checking based on simulation. EWDTS 2008: 214-217 - [c103]Franco Fummi, Davide Quaglia, Francesco Stefanni:
A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. FDL 2008: 49-54 - [c102]Francesco Stefanni, Davide Quaglia, Franco Fummi:
SystemC Simulation of Networked Embedded Systems. FDL (Selected Papers) 2008: 201-211 - [c101]Andrea Acquaviva, Franco Fummi, Giovanni Perbellini, Davide Quaglia:
An energy-aware co-simulation framework for the design of wireless sensor networks. ACM Great Lakes Symposium on VLSI 2008: 375-378 - [c100]Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli, Francesco Stefanni:
The role of parallel simulation in functional verification. HLDVT 2008: 117-124 - [c99]Stefano Cordibella, Franco Fummi, Giovanni Perbellini, Davide Quaglia:
A HW/SW co-simulation framework for the verification of multi-CPU systems. HLDVT 2008: 125-131 - [c98]Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Vacuity Analysis by Fault Simulation. MEMOCODE 2008: 27-36 - 2007
- [j29]Franco Fummi, Mirko Loghi, Giovanni Perbellini, Massimo Poncino:
SystemC co-simulation for core-based embedded systems. Des. Autom. Embed. Syst. 11(2-3): 141-166 (2007) - [j28]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli:
Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Des. Test Comput. 24(2): 140-152 (2007) - [j27]Franco Fummi, Graziano Pravadelli:
Too Few or Too Many Properties? Measure it by ATPG! J. Electron. Test. 23(5): 373-388 (2007) - [j26]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. IET Comput. Digit. Tech. 1(3): 187-196 (2007) - [j25]Franco Fummi, Giovanni Perbellini:
eEPC: an EPCglobal-compliant Embedded Architecture for RFID-based Solutions. J. Commun. 2(7): 49-58 (2007) - [j24]Andrea Fedeli, Franco Fummi, Graziano Pravadelli:
Properties Incompleteness Evaluation by Functional Verification. IEEE Trans. Computers 56(4): 528-544 (2007) - [c97]Paolo Destro, Franco Fummi, Graziano Pravadelli:
A smooth refinement flow for co-designing HW and SW threads. DATE 2007: 105-110 - [c96]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Incremental ABV for functional validation of TL-to-RTL design refinement. DATE 2007: 882-887 - [c95]Elisa Alessio, Franco Fummi, Davide Quaglia, Maura Turolla:
Modeling and simulation alternatives for the design of networked embedded systems. DATE 2007: 1030-1035 - [c94]Franco Fummi, Giovanni Perbellini, R. Pietrangeli, Davide Quaglia:
Interactive presentation: A middleware-centric design flow for networked embedded systems. DATE 2007: 1048-1053 - [c93]Paolo Azzoni, Massimo Bertoletti, Nicola Dragone, Franco Fummi, Carlo Guardiani, W. Vendraminetto:
Yield-aware placement optimization. DATE 2007: 1232-1237 - [c92]Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco:
AME: an abstract middleware environment for validating networked embedded systems applications. HLDVT 2007: 187-194 - [c91]Andrea Bragagnini, Franco Fummi, Axel Huebner, Giovanni Perbellini, Davide Quaglia:
Co-simulation framework for the Angel platform. ICECS 2007: 629-632 - [c90]Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva:
Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE 2007: 113-122 - [c89]Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris:
A CLP-Based Functional ATPG for Extended FSMs. MTV 2007: 98-105 - [i1]Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. CoRR abs/0710.4846 (2007) - 2006
- [j23]Ian G. Harris, Franco Fummi:
Guest Editor's Introduction. Int. J. Parallel Program. 34(1): 1-2 (2006) - [c88]Nicola Bombieri, Franco Fummi, Davide Quaglia:
TLM/network design space exploration for networked embedded systems. CODES+ISSS 2006: 58-63 - [c87]Franco Fummi, Davide Quaglia, Fabio Ricciato, Maura Turolla:
Modeling and simulation of mobile gateways interacting with wireless sensor networks. DATE Designers' Forum 2006: 106-111 - [c86]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE 2006: 1007-1012 - [c85]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
FATE: a Functional ATPG to Traverse Unstabilized EFSMs. ETS 2006: 179-184 - [c84]Franco Fummi, Giovanni Perbellini, Mirko Loghi, Massimo Poncino:
ISS-centric modular HW/SW co-simulation. ACM Great Lakes Symposium on VLSI 2006: 31-36 - [c83]Nicola Bombieri, Franco Fummi:
On the Automatic Transactor Generation for TLM-based Design Flows. HLDVT 2006: 85-92 - [c82]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62 - [c81]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
A methodology for abstracting RTL designs into TL descriptions. MEMOCODE 2006: 103-112 - [c80]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Hardware Design and Simulation for Verification. SFM 2006: 1-29 - [c79]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179 - 2005
- [j22]Franco Fummi, Ian G. Harris:
Editorial. Int. J. Parallel Program. 33(6): 583-584 (2005) - [j21]Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
Logic-level mapping of high-level faults. Integr. 38(3): 467-490 (2005) - [c78]Franco Fummi, Mirko Loghi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino:
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation. DATE 2005: 798-803 - [c77]Franco Fummi, Graziano Pravadelli, Franco Toto:
Coverage of formal properties based on a high-level fault model and functional ATPG. ETS 2005: 162-167 - [c76]Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
An EFSM-based approach for functional ATPG. ACM Great Lakes Symposium on VLSI 2005: 197-200 - [c75]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
Functional Verification of Networked Embedded Systems. ISQED 2005: 321-326 - [c74]Stefano Brait, Franco Fummi, Graziano Pravadelli:
On the use of a high-level fault model to analyze logical consequence of properties. MEMOCODE 2005: 221-230 - [c73]Nicola Bombieri, Andrea Fedeli, Franco Fummi:
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. MEMOCODE 2005: 239-240 - [c72]Franco Fummi, Stefano Martini, Giovanni Perbellini, Fabio Ricciato, Maura Turolla:
Embedded SW Design Issues for Distributed Applications on Mobile Terminals. MobiQuitous 2005: 507-509 - [c71]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75 - [c70]Nicola Bombieri, Andrea Fedeli, Franco Fummi:
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. MTV 2005: 127-132 - 2004
- [c69]Luca Formaggio, Franco Fummi, Graziano Pravadelli:
A timing-accurate HW/SW co-simulation of an ISS with SystemC. CODES+ISSS 2004: 152-157 - [c68]Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino, Fabio Ricciato, Maura Turolla:
Heterogeneous Co-Simulation of Networked Embedded Systems. DATE 2004: 168-173 - [c67]Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271 - [c66]Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino:
Modeling and Analysis of Heterogeneous Industrial Networks Architectures. DATE 2004: 342-344 - [c65]Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino:
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC. DATE 2004: 564-569 - [c64]Nicola Bombieri, Franco Fummi, Graziano Pravadelli:
At-Speed Functional Verification of Programmable Devices. DFT 2004: 386-394 - [c63]Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage? ETS 2004: 154-159 - [c62]Franco Fummi, Graziano Pravadelli:
Logic-level analysis of high-level faults. ACM Great Lakes Symposium on VLSI 2004: 100-103 - [c61]Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
Functional verification based on the EFSM model. HLDVT 2004: 69-74 - [c60]Franco Fummi, Stefano Martini, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino:
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures. ICCD 2004: 496-501 - [c59]Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
A Verification Methodology for Reconfigurable Systems. MTV 2004: 85-90 - 2003
- [j20]Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino:
SystemC Cosimulation and Emulation of Multiprocessor SoC Designs. Computer 36(4): 53-59 (2003) - [j19]Alessandro Fin, Franco Fummi:
A Remote Methodology for Embedded Systems Design and Validation. Des. Autom. Embed. Syst. 8(2-3): 229-247 (2003) - [j18]Fabrizio Ferrandi, Franco Fummi, Graziano Pravadelli, Donatella Sciuto:
Identification of design errors through functional testing. IEEE Trans. Reliab. 52(4): 400-412 (2003) - [c58]Franco Fummi, Giovanni Perbellini, Paolo Gallo, Massimo Poncino, Stefano Martini, Fabio Ricciato:
A timing-accurate modeling and simulation environment for networked embedded systems. DAC 2003: 42-47 - [c57]Nicola Drago, Franco Fummi, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino:
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture. DATE 2003: 20188-20195 - [c56]Alessandro Fin, Franco Fummi:
LAERTE++: an Object Oriented High-level TPG for SystemC Designs. FDL 2003: 658-668 - [c55]Alessandro Fin, Franco Fummi, Graziano Pravadelli:
Mixing ATPG and property checking for testing HW/SW interfaces. ACM Great Lakes Symposium on VLSI 2003: 303-306 - [c54]Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
Redundant functional faults reduction by saboteurs synthesis [logic verification]. HLDVT 2003: 108-113 - [c53]Alessandro Fin, Franco Fummi:
Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG? HLDVT 2003: 163-168 - [c52]Franco Fummi:
The Confluence of Manufacturing Test and Design Validation. ITC 2003: 1291 - [c51]Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto:
On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE 2003: 145-152 - [c50]Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli:
A SystemC-based Framework for Properties Incompleteness Evaluation. MTV 2003: 89-94 - 2002
- [j17]Giuseppe Biasoli, Fabrizio Ferrandi, Alessandro Fin, Franco Fummi, Donatella Sciuto:
Behavioral test generation for the selection of BIST logic. J. Syst. Archit. 47(10): 821-829 (2002) - [j16]Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto:
Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications. IEEE Trans. Computers 51(2): 200-215 (2002) - [c49]A. Castelnuovo, Alessandro Fin, Franco Fummi, F. Sforza:
Emulation-Based Design Errors Identification. DFT 2002: 365-371 - [c48]Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick:
Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm. GECCO 2002: 1275 - [c47]Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto:
An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI 2002: 53-58 - [c46]Alessandro Fin, Franco Fummi:
Protected IP-core test generation. ACM Great Lakes Symposium on VLSI 2002: 59-64 - [c45]A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto:
A 1000X speed up for properties completeness evaluation. HLDVT 2002: 18-22 - [c44]Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino:
Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip. ICCD 2002: 494-499 - [c43]Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick:
A Genetic Testing Framework for Digital Integrated Circuits. ICTAI 2002: 521-526 - [c42]S. Cailotto, Alessandro Fin, Franco Fummi:
A fault tolerant incremental design methodology. ISCAS (3) 2002: 161-164 - [c41]Maurizio Martignano, Nicola Drago, Franco Fummi, Stefano Martini:
A combined approach to validate the design of embedded network devices. ISCAS (3) 2002: 169-172 - 2001
- [j15]Franco Fummi, Marco Boschini, Xiaoming Yu, Elizabeth M. Rudnick:
Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. J. Electron. Test. 17(3-4): 321-330 (2001) - [c40]Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto:
SystemC: a homogenous environment to test embedded systems. CODES 2001: 17-22 - [c39]Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi:
Functional test generation for behaviorally sequential models. DATE 2001: 403-410 - [c38]Alessandro Fin, Franco Fummi, Giovanni Perbellini:
Soft-cores generation by instruction set analysis. ISSS 2001: 227-232 - [c37]Alessandro Fin, Franco Fummi, Graziano Pravadelli:
AMLETO: a multi-language environment for functional test generation. ITC 2001: 821-829 - 2000
- [j14]Giacomo Buonanno, Franco Fummi, Donatella Sciuto:
An extended-UIO-based method for protocol conformance testing. J. Syst. Archit. 46(3): 225-242 (2000) - [j13]Franco Fummi, Donatella Sciuto:
A Hierarchical Test Generation Approach for Large Controllers. IEEE Trans. Computers 49(4): 289-302 (2000) - [j12]Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto:
Symbolic optimization of interacting controllers based onredundancy identification and removal. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(7): 760-772 (2000) - [c36]Alessandro Fin, Franco Fummi:
A Web-CAD methodology for IP-core analysis and simulation. DAC 2000: 597-600 - [c35]Alessandro Fin, Franco Fummi:
A VHDL Error Simulator for Functional Test Generation. DATE 2000: 390-395 - [c34]Giuseppe Biasoli, Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi:
BIST Architectures Selection Based on Behavioral Testing. DFT 2000: 292-298 - [c33]Marco Boschini, Xiaoming Yu, Franco Fummi, Elizabeth M. Rudnick:
Combining symbolic and genetic techniques for efficient sequential circuit test generation. ETW 2000: 105-110 - [c32]Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi:
An Application of Genetic Algorithms and BDDs to Functional Testing. ICCD 2000: 48-56 - [c31]Fabrizio Ferrandi, G. Fornara, Donatella Sciuto, G. Ferrara, Franco Fummi:
Testability Alternatives Exploration through Functional Testing. VTS 2000: 423-430
1990 – 1999
- 1999
- [j11]Franco Fummi, Donatella Sciuto, Micaela Serra:
Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal. IEEE Trans. Computers 48(12): 1305-1323 (1999) - [c30]Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto:
Symbolic Functional Vector Generation for VHDL Specifications. DATE 1999: 442- - [c29]Marco Brazzarola, Franco Fummi:
Power Characterization of LFSRs. DFT 1999: 139-147 - [c28]Marco Brera, Fabrizio Ferrandi, Donatella Sciuto, Franco Fummi:
Increase the Behavioral Fault Model Accuracy Using High-Level Synthesis Information. DFT 1999: 174-180 - 1998
- [j10]Franco Fummi, Donatella Sciuto, Cristina Silvano:
Automatic generation of error control codes for computer applications. IEEE Trans. Very Large Scale Integr. Syst. 6(3): 502-506 (1998) - [j9]Cesare Alippi, Franco Fummi, Vincenzo Piuri, Mariagiovanna Sami, Donatella Sciuto:
Testability analysis and behavioral testing of the Hopfield neural paradigm. IEEE Trans. Very Large Scale Integr. Syst. 6(3): 507-511 (1998) - [c27]Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino:
Power Estimation of Behavioral Descriptions. DATE 1998: 762-766 - [c26]Franco Fummi, A. Marshall, Laura Pozzi, Mariagiovanna Sami:
Minimizing the Application Time for Manufacturer Testing of FPGA (Abstract). FPGA 1998: 258 - [c25]F. S. Bietti, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto:
VHDL Testability Analysis Based on Fault Clustering and Implicit Fault Injection. Great Lakes Symposium on VLSI 1998: 237-242 - [c24]D. Corvino, Italo Epicoco, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto:
Automatic VHDL restructuring for RTL synthesis optimization and testability improvement. ICCD 1998: 436-441 - [c23]Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto:
Implicit test generation for behavioral VHDL models. ITC 1998: 587-596 - 1997
- [j8]Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto, Enrico Macii, Massimo Poncino:
Testing Core-Based Systems: A Symbolic Methodology. IEEE Des. Test Comput. 14(4): 69-77 (1997) - [j7]Franco Fummi, Donatella Sciuto:
A complete testing strategy based on interacting and hierarchical FSMs. Integr. 23(1): 75-93 (1997) - [j6]Franco Fummi, U. Rovati, Donatella Sciuto:
Functional design for testability of control-dominated architectures. ACM Trans. Design Autom. Electr. Syst. 2(2): 98-122 (1997) - [c22]Fabrizio Ferrandi, Franco Fummi, Laura Pozzi, Mariagiovanna Sami:
Configuration-Specific Test Pattern Extraction for Field Programmable Gate Arrays. DFT 1997: 85-93 - [c21]Franco Fummi, Mariagiovanna Sami, F. Tartarini:
Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems. Great Lakes Symposium on VLSI 1997: 118-123 - [c20]Giacomo Buonanno, Fabrizio Ferrandi, L. Ferrandi, Franco Fummi, Donatella Sciuto:
How an "Evolving" Fault Model Improves the Behavioral Test Generation. Great Lakes Symposium on VLSI 1997: 124- - [c19]M. Bacis, Giacomo Buonanno, Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto:
Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels. ICCD 1997: 654-658 - [c18]Franco Fummi, Donatella Sciuto:
Implicit test pattern generation constrained to cellular automata embedding. VTS 1997: 54-59 - 1996
- [j5]G. Buonannoa, Franco Fummi, Donatella Sciuto, Fabrizio Lombardi:
FsmTest: Functional test generation for sequential circuits. Integr. 20(3): 303-325 (1996) - [c17]Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto:
Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. DAC 1996: 467-470 - [c16]Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Gabriel de Blasio, M. Ferloni, Franco Fummi, Donatella Sciuto:
A Parametric Design of a Built-in Self-Test FIFO Embedded Memory. DFT 1996: 221-230 - [c15]Enrico Macii, Massimo Poncino, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto:
BDD-based testability estimation of VHDL designs. EURO-DAC 1996: 444-449 - [c14]Roberto Bevacqua, Luca Guerrazzi, Franco Fummi:
SCAN/BIST Techniques for Decreasing Test Storage and their implications to Test Pattern Generation. EUROMICRO 1996: 351- - [c13]Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto:
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques. Great Lakes Symposium on VLSI 1996: 208-213 - [c12]Roberto Bevacqua, Luca Guerrazzi, Fabrizio Ferrandi, Franco Fummi:
Implicit Test Sequences Compaction for Decreasing Test Application Cos. ICCD 1996: 384-382 - 1995
- [j4]Giacomo Buonanno, Franco Fummi, Donatella Sciuto:
TIES: A testability increase expert system for VLSI design. J. Electron. Test. 6(2): 203-217 (1995) - [c11]Franco Fummi, Donatella Sciuto, Micaela Serra:
Sequential logic minimization based on functional testability. ED&TC 1995: 207-211 - [c10]Franco Fummi, U. Rovati, Donatella Sciuto:
Testable synthesis of high complex control devices. EURO-DAC 1995: 117-122 - [c9]Franco Fummi, Donatella Sciuto, M. Serro:
Synthesis for testability of large complexity controllers. ICCD 1995: 180-185 - [c8]Cristiana Bolchini, Franco Fummi, R. Gemelli, Fabio Salice:
A BDD Based Algorithm for Detecting Difficult Faults. ISCAS 1995: 2015-2018 - 1994
- [c7]Franco Fummi, Donatella Sciuto, Micaela Serra:
Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method. DFT 1994: 254-262 - [c6]Franco Fummi, Donatella Sciuto, Micaela Serra:
A Functional Approach to Delay Faults Test Generation for Sequential Circuits. EDAC-ETC-EUROASIC 1994: 51-57 - [c5]Alessandro Balboni, Claudio Costi, Franco Fummi, Donatella Sciuto:
From Behavioral Description to Systolic Array Based Architectures. EDAC-ETC-EUROASIC 1994: 657 - [c4]Cristiana Bolchini, Franco Fummi, Donatella Sciuto:
Two-Dimensional Sequential Array Architectures: Design for Testability Approaches. ISCAS 1994: 81-84 - 1993
- [j3]Cristiana Bolchini, Franco Fummi:
FSM fault models impact on test performances. Microprocess. Microprogramming 38(1-5): 229-236 (1993) - [j2]Cristiana Bolchini, Massimo Bombana, Patrizia Cavalloro, Claudio Costi, Franco Fummi, Giuseppe Zaza:
A design methodology for the correct specification of VLSI systems. Microprocess. Microprogramming 38(1-5): 563-570 (1993) - [c3]Giacomo Buonanno, Franco Fummi, Donatella Sciuto:
Fault Detection in Sequential Circuits through Functional Testing. DFT 1993: 191-198 - [c2]Giacomo Buonanno, Franco Fummi, Donatella Sciuto:
Functional Fault Models and Gate Level Coverage for Sequential Architectures. ICCD 1993: 572-575 - [c1]Giacomo Buonanno, Franco Fummi, Donatella Sciuto:
Functional Testing and Constrained Synthesis of Sequential Architectures. ISCAS 1993: 1523-1526 - 1990
- [j1]Giacomo Buonanno, A. Burri, Franco Fummi, Donatella Sciuto:
An approach to a design for testability personal consultant. Microprocessing and Microprogramming 30(1-5): 405-412 (1990)
Coauthor Index
[j72] [j71] [j67] [j65] [c256] [c235] [j63] [c225] [c221] [j57] [c216] [c215] [c214] [j54] [c205] [c202] [c193] [c190] [c189] [c188] [j49] [j45] [c186] [c185] [j44] [c184] [c181] [c177] [j43] [j40] [c174] [c173] [c172] [c169] [j39] [j38] [j36] [c158] [c152] [c149] [c148] [c147] [j34] [c145] [c144] [c142] [c136] [j33] [j32] [c132] [c127] [c125] [c121] [c120] [c119] [c117] [c110] [j30] [c108] [c107] [c104] [j28] [c96] [c90] [c88] [c86] [c83] [c81] [c80] [c75] [c73] [c70] [c64]
Emad Samuel Malki Ebeid
aka: Emad Ebeid
aka: Emad Ebeid
[j72] [c251] [p1] [j49] [j44] [c177] [j42] [j41] [c170] [j38] [j37] [c162] [c160] [c159] [c155] [c153] [c151] [c150] [c147] [c146] [j35] [j34] [c143] [c141] [c140] [c139] [c138] [c136] [c135] [c134] [j33] [c132] [c131] [c130] [c127] [c126] [c124] [j31] [c119] [c117] [c115] [c114] [c112] [c110] [j30] [c107] [c105] [c104] [c100] [c98] [j28] [j27] [j26] [j24] [c97] [c96] [c90] [c89] [i1] [c86] [c85] [c82] [c81] [c80] [c79] [j21] [c77] [c76] [c75] [c74] [c71] [c69] [c67] [c64] [c63] [c62] [c61] [c59] [j18] [c55] [c54] [c51] [c50] [c47] [c45] [c37]
[j72] [j71] [c250] [i8] [c220] [j56] [j55] [c209] [c208] [c206] [p1] [j51] [c192] [j50] [j48] [j46] [c187] [c175] [c171] [c168] [c166] [c165] [c164] [c157] [c156] [c154] [c145] [c137] [c133] [j32] [c129] [c128] [c122] [c116] [c113] [c111] [c109] [c106] [c103] [c102] [c101] [c99] [c95] [c94] [c92] [c91] [c88] [c87]
[j69] [c270] [c268] [c262] [c261] [c257] [i9] [c247] [c245] [c244] [i6] [c231] [c222] [c217] [j59] [j57] [j55] [j53] [p1] [j52] [c192] [c191] [j45] [c182] [c181] [c178] [j41] [j40] [c174] [c172] [c169] [c167] [j39] [c161] [c159] [c152] [c151] [c147] [c146] [c145] [c142] [c141] [c120] [c117] [c111] [c109] [c92]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
