Follow
Stefano Spellini
Stefano Spellini
Verified email at univr.it
Title
Cited by
Cited by
Year
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0
S Gaiardelli, S Spellini, M Lora, F Fummi
2021 Forum on specification & Design Languages (FDL), 01-08, 2021
112021
Compositional Design of Multi-Robot Systems Control Software on ROS
S Spellini, M Lora, F Fummi, S Chattopadhyay
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-24, 2019
102019
A Software Architecture to Control Service-Oriented Manufacturing Systems
S Gaiardelli, S Spellini, M Panato, M Lora, F Fummi
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 40-43, 2022
72022
Virtual Prototyping a Production Line Using Assume–Guarantee Contracts
S Spellini, R Chirico, M Panato, M Lora, F Fummi
IEEE Transactions on Industrial Informatics 17 (9), 6294-6302, 2020
72020
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
S Spellini, S Gaiardelli, M Lora, F Fummi
2021 26th IEEE International Conference on Emerging Technologies and Factory …, 2021
62021
Production Recipe Validation through Formalization and Digital Twin Generation
S Spellini, R Chirico, M Panato, M Lora, F Fummi
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2020
42020
A Contract-based Methodology for Production Lines Validation
R Chirico, S Spellini, M Panato, M Lora, F Fummi
2019 IEEE 17th International Conference on Industrial Informatics (INDIN), 1-4, 2019
42019
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications
S Spellini, M Lora, S Chattopadhyay, F Fummi
2018 International Conference on Hardware/Software Codesign and System …, 2018
42018
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing
KSS Alamin, Y Chen, S Gaiardelli, S Spellini, A Calimera, A Beghi, ...
2022 IEEE 23rd Latin American Test Symposium (LATS), 1-6, 2022
32022
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes
S Gaiardelli, S Spellini, M Lora, F Fummi
2022 IEEE 31st International Symposium on Industrial Electronics (ISIE), 226-232, 2022
22022
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0
S Spellini, R Chirico, M Lora, F Fummi
2019 Forum for Specification and Design Languages (FDL), 1-4, 2019
12019
RRPDG: A Graph Model to Enable AI-Based Production Reconfiguration and Optimization
S Gaiardelli, M Lora, S Spellini, F Fummi
IEEE Transactions on Industrial Informatics, 2024
2024
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper
A Beghi, N Dall'Ora, D Dalle Pezze, F Fummi, C Masiero, S Spellini, ...
2023 Forum on Specification & Design Languages (FDL), 1-8, 2023
2023
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality
S Gaiardelli, S Spellini, M Pasqua, M Ceccato, F Fummi
IECON 2022–48th Annual Conference of the IEEE Industrial Electronics Society …, 2022
2022
On the Impact of Transport Times in Flexible Job Shop Scheduling Problems
S Gaiardelli, D Carra, S Spellini, F Fummi
2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022
2022
A Model-based Approach for Designing Cyber-Physical Production Systems
S Spellini
2022
The system can't perform the operation now. Try again later.
Articles 1–16