Design Automation for Smart Factories

Project Information

DeFacto

Grant agreement ID: 894237

DOI 10.3030/894237

Project closed

EC signature date 17 March 2020

Start date 1 October 2020

End date 30 September 2023

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost € 269 002,56

EU contribution € 269 002,56

Coordinated by

UNIVERSITA DEGLI STUDI DI VERONA
Italy

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (10)

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism

Author(s): Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Published in: Proceedings of the 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, Page(s) 1-6
Publisher: IEEE

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems

Author(s): Stefano Spellini; Sebastiano Gaiardelli; Michele Lora; Franco Fummi
Published in: Proceedings of the 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Publisher: IEEE
DOI: 10.1109/etfa45728.2021.9613572

A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems

Author(s): Michele Lora; Pierluigi Nuzzo
Published in: Proceedings of 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), 2022
Publisher: IEEE
DOI: 10.1109/iccps54341.2022.00046

Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications

Author(s): Luigi Capogrosso; Federico Cunico; Michele Lora; Marco Cristani; Franco Fummi; Davide Quaglia
Published in: Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2023, Page(s) 6
Publisher: IEEE
DOI: 10.1109/ddecs57882.2023.10139711

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

Author(s): Chanwook Oh; Michele Lora; Pierluigi Nuzzo
Published in: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022, Page(s) 6
Publisher: ACM
DOI: 10.1145/3508352.3549446

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

Author(s): Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Published in: Proceedings of the 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, Page(s) 1-6
Publisher: IEEE

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes

Author(s): Sebastiano Gaiardelli; Stefano Spellini; Michele Lora; Franco Fummi
Published in: Proceedings of 2022 IEEE 31st International Symposium on Industrial Electronics (ISIE), 2022
Publisher: IEEE
DOI: 10.1109/isie51582.2022.9831468

Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0

Author(s): Sebastiano Gaiardelli; Stefano Spellini; Michele Lora; Franco Fummi
Published in: Proceedings of the 2021 Forum on specification & Design Languages (FDL), 2021
Publisher: IEEE
DOI: 10.1109/fdl53530.2021.9568371

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

Author(s): Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo
Published in: Proceedings of the 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, Page(s) 6
Publisher: IEEE
DOI: 10.23919/date56975.2023.10137069

A Software Architecture to Control Service-Oriented Manufacturing Systems

Author(s): Sebastiano Gaiardelli; Stefano Spellini; Marco Panato; Michele Lora; Franco Fummi
Published in: Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022
Publisher: IEEE
DOI: 10.23919/date54114.2022.9774522