SPELLINI, STEFANO

SPELLINI, STEFANO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.019 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 Model-based Approach for Designing Cyber-Physical Production Systems 1-gen-2022 Spellini, Stefano
A Software Architecture to Control Service-Oriented Manufacturing Systems 1-gen-2022 Gaiardelli, Sebastiano; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Compositional Design of Multi-Robot Systems Control Software on ROS 1-gen-2019 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 1-gen-2021 Spellini, Stefano; Gaiardelli, Sebastiano; Lora, Michele; Fummi, Franco
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols 1-gen-2024 Gaiardelli, Sebastiano; Spellini, Stefano; Panato, Marco; Tadiello, Carlo; Lora, Michele; Cheng, Dong Seon; 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
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization 1-gen-2024 Gaiardelli, Sebastiano; Lora, Michele; Spellini, Stefano; 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
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 1-gen-2020 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 1-gen-2018 Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; Fummi, Franco