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

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

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)

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)

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)

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)

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)

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)

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

 		None
Electronic Systems Design (ESD)

Inferring Mechanical Fault Models from the Electrical Domain.

Nicola Dall'Ora, Francesco Tosoni, Enrico Fraccaroli, Franco Fummi

ICPS, Conference and Workshop Papers, 2022

 		None
Electronic Systems Design (ESD)

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.

Chanwook Oh, Michele Lora, Pierluigi Nuzzo 0002

ICCAD, Conference and Workshop Papers, 2022

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

On the Impact of Transport Times in Flexible Job Shop Scheduling Problems.

Sebastiano Gaiardelli, Damiano Carra, Stefano Spellini, Franco Fummi

ETFA, Conference and Workshop Papers, 2022

 		None
Electronic Systems Design (ESD)

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes.

Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi

ISIE, Conference and Workshop Papers, 2022

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

A Software Architecture to Control Service-Oriented Manufacturing Systems.

Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

DATE, Conference and Workshop Papers, 2022

 		Design Automation for Smart Factories
Electronic Systems Design (ESD)

A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS.

Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi

FDL, Conference and Workshop Papers, 2022

 		None
Electronic Systems Design (ESD)

The Challenges of Coupling Digital-Twins with Multiple Classes of Faults.

Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi

LATS, Conference and Workshop Papers, 2022

 		None
Electronic Systems Design (ESD)

Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality.

Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi

IECON, Conference and Workshop Papers, 2022

 		None
Electronic Systems Design (ESD)
1 of 4

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.