Stefano Spellini

According to our database, Stefano Spellini authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization.

Sebastiano Gaiardelli, Michele Lora, Stefano Spellini, Franco Fummi

IEEE Trans. Ind. Informatics, April, 2024

2023

VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper.

Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni

Proceedings of the Forum on Specification & Design Languages, 2023

2022

SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing.

Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Sebastiano Gaiardelli, Stefano Spellini, Andrea Calimera, Alessandro Beghi, Gian Antonio Susto, Franco Fummi, Enrico Macii, Sara Vinco

Proceedings of the 23rd IEEE Latin American Test Symposium, 2022

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes.

Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi

Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022

Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality.

Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi

Proceedings of the IECON 2022, 2022

On the Impact of Transport Times in Flexible Job Shop Scheduling Problems.

Sebastiano Gaiardelli, Damiano Carra, Stefano Spellini, Franco Fummi

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

A Software Architecture to Control Service-Oriented Manufacturing Systems.

Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Virtual Prototyping a Production Line Using Assume-Guarantee Contracts.

Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi

IEEE Trans. Ind. Informatics, 2021

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

Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi

Proceedings of the 24th Forum on specification & Design Languages, 2021

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

Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

Production Recipe Validation through Formalization and Digital Twin Generation.

Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Compositional Design of Multi-Robot Systems Control Software on ROS.

Stefano Spellini, Michele Lora, Franco Fummi, Sudipta Chattopadhyay

ACM Trans. Embed. Comput. Syst., 2019

A Contract-based Methodology for Production Lines Validation.

Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0.

Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

2018

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress.

Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018