Stefano Spellini
Orcid: 0000-0002-4989-5832Affiliations:
- University of Verona, Italy
According to our database1,
Stefano Spellini
authored at least 17 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
2
1
1
1
1
5
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Ind. Informatics, April, 2024
Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols.
IEEE Access, 2024
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper.
Proceedings of the Forum on Specification & Design Languages, 2023
2022
SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing.
Proceedings of the 23rd IEEE Latin American Test Symposium, 2022
Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality.
Proceedings of the IECON 2022, 2022
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
IEEE Trans. Ind. Informatics, 2021
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0.
Proceedings of the 24th Forum on specification & Design Languages, 2021
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 2019 Forum for Specification and Design Languages, 2019
2018
Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018