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 | 12 | 2021 |
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 | 10 | 2019 |
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 | 9 | 2022 |
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 | 8 | 2021 |
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 | 7 | 2020 |
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 | 4 | 2020 |
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 | 4 | 2019 |
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 | 4 | 2018 |
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 | 3 | 2022 |
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 | 3 | 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 | 1 | 2022 |
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 | 1 | 2019 |
Enabling Service-oriented Manufacturing through Architectures, Models and Protocols S Gaiardelli, S Spellini, M Panato, C Tadiello, M Lora, DS Cheng, ... IEEE Access, 2024 | | 2024 |
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 |
Dynamic Job and Conveyor-Based TransportJoint Scheduling in Flexible Manufacturing Systems S Gaiardelli, D Carra, S Spellini, F Fummi Applied Sciences 14 (7), 3026, 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 |
A Model-based Approach for Designing Cyber-Physical Production Systems S Spellini | | 2022 |