SPELLINI, STEFANO
SPELLINI, STEFANO
DIPARTIMENTO DI INFORMATICA
A Contract-based Methodology for Production Lines Validation
2019-01-01 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes
2022-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco
A Model-based Approach for Designing Cyber-Physical Production Systems
2022-01-01 Spellini, Stefano
A Software Architecture to Control Service-Oriented Manufacturing Systems
2022-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Compositional Design of Multi-Robot Systems Control Software on ROS
2019-01-01 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
2021-01-01 Spellini, Stefano; Gaiardelli, Sebastiano; Lora, Michele; Fummi, Franco
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols
2024-01-01 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
2022-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Pasqua, Michele; Ceccato, Mariano; Fummi, Franco
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0
2019-01-01 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
2021-01-01 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems
2022-01-01 Gaiardelli, Sebastiano; Carra, Damiano; Spellini, Stefano; Fummi, Franco
Production Recipe Validation through Formalization and Digital Twin Generation
2020-01-01 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization
2024-01-01 Gaiardelli, Sebastiano; Lora, Michele; Spellini, Stefano; Fummi, Franco
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing
2022-01-01 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
2023-01-01 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
2020-01-01 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications
2018-01-01 Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; Fummi, Franco
| 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 |