Get started
Author

Stefano Spellini

ORCID: 0000-0002-4989-5832
Observed ORCID: 0000-0002-4989-5832
OpenAlex ID: A5084974927
A Software Architecture to Control Service-Oriented Manufacturing Systems
2022 · Sebastiano Gaiardelli, Stefano Spellini, et al. · Design, Automation, and Test in Europe · 18
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0
2021 · Sebastiano Gaiardelli, Stefano Spellini, et al. · Forum on specification and Design Languages · 17
Virtual Prototyping a Production Line Using Assume–Guarantee Contracts
2020 · Stefano Spellini, Roberta Chirico, et al. · IEEE Transactions on Industrial Informatics · 13
Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols
2024 · Sebastiano Gaiardelli, Stefano Spellini, et al. · IEEE Access · 12
PDF
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
2021 · Stefano Spellini, Sebastiano Gaiardelli, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 10
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing
2022 · Khaled Sidahmed Sidahmed Alamin, Yukai Chen, et al. · IEEE Latin American Test Symposium (LATS) · 7
PDF
Compositional Design of Multi-Robot Systems Control Software on ROS
2019 · Stefano Spellini, Michele Lora, et al. · ACM Transactions on Embedded Computing Systems · 7
Production Recipe Validation through Formalization and Digital Twin Generation
2020 · Stefano Spellini, Roberta Chirico, et al. · Design, Automation, and Test in Europe · 6
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization
2024 · Sebastiano Gaiardelli, Michele Lora, et al. · IEEE Transactions on Industrial Informatics · 5
PDF
A Contract-based Methodology for Production Lines Validation
2019 · Roberta Chirico, Stefano Spellini, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 5
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes
2022 · Sebastiano Gaiardelli, Stefano Spellini, et al. · IEEE International Symposium on Industrial Electronics (ISIE) · 4
Dynamic Job and Conveyor-Based Transport Joint Scheduling in Flexible Manufacturing Systems
2024 · Sebastiano Gaiardelli, Damiano Carra, et al. · Applied Sciences · 3
PDF
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0
2019 · Stefano Spellini, Roberta Chirico, et al. · Forum on specification and Design Languages · 3
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications
2018 · Stefano Spellini, Michele Lora, et al. · International Conference on Hardware/Software Codesign and System Synthesis · 3
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality
2022 · Sebastiano Gaiardelli, Stefano Spellini, et al. · Annual Conference of the IEEE Industrial Electronics Society (IECON) · 2
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems
2022 · Sebastiano Gaiardelli, Damiano Carra, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 2
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper
2023 · Alessandro Beghi, Nicola Dall'Ora, et al. · Forum on specification and Design Languages · 1
Exploiting SysML v2 Modeling for Automatic Smart Factories Configuration
2025 · Mario Libro, Sebastiano Gaiardelli, et al. · Design, Automation, and Test in Europe
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project
2024 · Michele Lora, Sebastiano Gaiardelli, et al. · Design, Automation, and Test in Europe
Works count: 19
Citation count: 118
H-index: 7
I10-index: 5
Year
Topic
Type