SPELLINI, STEFANO

SPELLINI, STEFANO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
A Contract-based Methodology for Production Lines Validation 1-gen-2019 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 1-gen-2022 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco
A Software Architecture to Control Service-Oriented Manufacturing Systems 1-gen-2022 Gaiardelli, Sebastiano; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 1-gen-2021 Spellini, Stefano; Gaiardelli, Sebastiano; Lora, Michele; Fummi, Franco
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 1-gen-2022 Gaiardelli, Sebastiano; Spellini, Stefano; Pasqua, Michele; Ceccato, Mariano; Fummi, Franco
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 1-gen-2019 Spellini, Stefano; Chirico, Roberta; Lora, Michele; Fummi, Franco
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 1-gen-2021 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems 1-gen-2022 Gaiardelli, Sebastiano; Carra, Damiano; Spellini, Stefano; Fummi, Franco
Production Recipe Validation through Formalization and Digital Twin Generation 1-gen-2020 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing 1-gen-2022 Sidahmed Alamin, Khaled Sidahmed; Chen, Yukai; Gaiardelli, Sebastiano; Spellini, Stefano; Calimera, Andrea; Beghi, Alessandro; Susto, Antonio; Fummi, Franco; Macii, Enrico; Vinco, Sara
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing 1-gen-2023 Beghi, Alessandro; Dall'Ora, Nicola; Dalle Pezze, Davide; Fummi, Franco; Masiero, Chiara; Spellini, Stefano; Antonio Susto, Gian; Tosoni, Francesco
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 1-gen-2018 Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; Fummi, Franco