Stefano Spellini

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