Research Area

Electronic Systems Design (ESD)

REFERENT

Franco Fummi

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Michele Lora

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Sadia Azam

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Stefano Spellini

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Graziano Pravadelli

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Enrico Fraccaroli

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Sebastiano Gaiardelli

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Francesco Tosoni

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Davide Quaglia

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Nicola Dall'Ora

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Florenc Demrozi

Department of Electrical Engineering and Computer Science, University i Stavanger, Norway

CONTRIBUTOR

Nicola Bombieri

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Mario Libro

Computer Science Department, University of Verona, Italy

CONTRIBUTOR

Stefano Centomo

Computer Science Department, University of Verona, Italy

DESCRIPTION

The ESD area applies Electronic Design Automation (EDA) techniques to Cyber-Physical Production Systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis, and testing of production lines.

View related projects

LINKS

Visit institutional webpage Visit webpage

TOPICS

  • Embedded system verification (Static verification - Dynamic verification- Semi-formal verification - Hybrid and real-time systems – Smart systems integration)
  • Networked embedded systems (System/Network co-simulation - System/Network co-design - QoS-enabled design - Sensor networks and M2M systems)
  • Embedded systems design (TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multi/many core systems - Middleware-based design)
  • Cyber-physical production systems modeling, design and simulation

RELATED PUBLICATIONS

Publication Project & Area

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, Conference and Workshop Papers, 2024

 		None
Electronic Systems Design (ESD)

RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization.

Sebastiano Gaiardelli, Michele Lora, Stefano Spellini, Franco Fummi

IEEE Trans. Ind. Informatics, Journal Articles, 2024

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

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

CoRR, Informal and Other Publications, 2024

 		None
Electronic Systems Design (ESD)

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project.

Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo 0002, Franco Fummi

DATE, Conference and Workshop Papers, 2024

 		None
Electronic Systems Design (ESD)

An AI-Enabled Framework for Smart Semiconductor Manufacturing.

Khaled Sidahmed Sidahmed Alamin, Davide Appello, Alessandro Beghi, Nicola Dall'Ora, Fabio Depaoli, Santa Di Cataldo, Franco Fummi, Sebastiano Gaiardelli, Michele Lora, Enrico Macii, Alessio Mascolini, Daniele Pagano, Francesco Ponzio, Gian Antonio Susto, Sara Vinco

DATE, Conference and Workshop Papers, 2024

 		None
Electronic Systems Design (ESD)

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, Journal Articles, 2024

 		None
Electronic Systems Design (ESD)

Integrating Modeling Languages with Ontologies in the Context of Industry 4.0.

Mario Libro, Sebastiano Gaiardelli, Michele Lora, Franco Fummi

ICIT, Conference and Workshop Papers, 2024

 		None
Electronic Systems Design (ESD)

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, Conference and Workshop Papers, 2024

 		None
Electronic Systems Design (ESD)

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, Conference and Workshop Papers, 2024

 		None
Electronic Systems Design (ESD)

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses.

Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo 0002

CoRR, Informal and Other Publications, 2023

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

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

CoRR, Informal and Other Publications, 2023

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads.

Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo 0002

IROS, Conference and Workshop Papers, 2023

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

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, Conference and Workshop Papers, 2023

 		None
Electronic Systems Design (ESD)

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses.

Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo 0002

DATE, Conference and Workshop Papers, 2023

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

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, Conference and Workshop Papers, 2023

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)
1 of 5

Cookies disclaimer

Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device.