Stefano Spellini

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Job Shop Scheduling

Production System

Design Automation

Manufacturing Processes

Top Venues

IEEE Trans. Ind. Informatics

Publications

Sebastiano Gaiardelli, Michele Lora, Stefano Spellini, Franco Fummi
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization. IEEE Trans. Ind. Informatics 20 (4) (2024)
Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE (2024)
Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Carlo Tadiello, Michele Lora, Dong Seon Cheng, Franco Fummi
Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols. IEEE Access 12 (2024)
Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. FDL (2023)
Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. IECON (2022)
Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Sebastiano Gaiardelli, Stefano Spellini, Andrea Calimera, Alessandro Beghi, Gian Antonio Susto, Franco Fummi, Enrico Macii, Sara Vinco
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing. LATS (2022)
Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes. ISIE (2022)
Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi
A Software Architecture to Control Service-Oriented Manufacturing Systems. DATE (2022)
Sebastiano Gaiardelli, Damiano Carra, Stefano Spellini, Franco Fummi
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems. ETFA (2022)
Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems. ETFA (2021)
Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. FDL (2021)
Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. IEEE Trans. Ind. Informatics 17 (9) (2021)
Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
Production Recipe Validation through Formalization and Digital Twin Generation. DATE (2020)
Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. FDL (2019)
Stefano Spellini, Michele Lora, Franco Fummi, Sudipta Chattopadhyay
Compositional Design of Multi-Robot Systems Control Software on ROS. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi
A Contract-based Methodology for Production Lines Validation. INDIN (2019)
Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi
Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. CODES+ISSS (2018)