Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Design Automation for Smart Factories

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

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

Autori: Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Pubblicato in: Proceedings of the 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, Pagina/e 1-6
Editore: IEEE

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems (si apre in una nuova finestra)

Autori: Stefano Spellini; Sebastiano Gaiardelli; Michele Lora; Franco Fummi
Pubblicato in: Proceedings of the 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Editore: IEEE
DOI: 10.1109/etfa45728.2021.9613572

A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems (si apre in una nuova finestra)

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

Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications (si apre in una nuova finestra)

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

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts (si apre in una nuova finestra)

Autori: Chanwook Oh; Michele Lora; Pierluigi Nuzzo
Pubblicato in: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022, Pagina/e 6
Editore: ACM
DOI: 10.1145/3508352.3549446

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

Autori: Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Pubblicato in: Proceedings of the 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, Pagina/e 1-6
Editore: IEEE

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes (si apre in una nuova finestra)

Autori: Sebastiano Gaiardelli; Stefano Spellini; Michele Lora; Franco Fummi
Pubblicato in: Proceedings of 2022 IEEE 31st International Symposium on Industrial Electronics (ISIE), 2022
Editore: 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 (si apre in una nuova finestra)

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

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses (si apre in una nuova finestra)

Autori: Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo
Pubblicato in: Proceedings of the 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, Pagina/e 6
Editore: IEEE
DOI: 10.23919/date56975.2023.10137069

A Software Architecture to Control Service-Oriented Manufacturing Systems (si apre in una nuova finestra)

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0