Post Doc. Researcher

Stefano Spellini

Office

1.71

Research Area

Cyber Physical Production Systems (CPPS)

Personal Page

Visit link

Dblp Page

Visit link

BIOGRAPHY

RELATED PUBLICATIONS

Publication Project & Area

SMART-IC: Smart Monitoring and Production Optimization for Zero-waste Semiconductor Manufacturing.

Khaled Sidahmed Sidahmed Alamin, Yukai Chen, Sebastiano Gaiardelli, Stefano Spellini, Andrea Calimera, Alessandro Beghi, Gian Antonio Susto, Franco Fummi, Enrico Macii, Sara Vinco

LATS, Conference and Workshop Papers, 2022

None

Electronic Systems Design (ESD)

Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality.

Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi

IECON, Conference and Workshop Papers, 2022

None

Electronic Systems Design (ESD)

On the Impact of Transport Times in Flexible Job Shop Scheduling Problems.

Sebastiano Gaiardelli, Damiano Carra, Stefano Spellini, Franco Fummi

ETFA, Conference and Workshop Papers, 2022

None

Electronic Systems Design (ESD)

A Software Architecture to Control Service-Oriented Manufacturing Systems.

Sebastiano Gaiardelli, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

DATE, Conference and Workshop Papers, 2022

Design Automation for Smart Factories

Electronic Systems Design (ESD)

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes.

Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi

ISIE, Conference and Workshop Papers, 2022

Design Automation for Smart Factories

Electronic Systems Design (ESD)

Virtual Prototyping a Production Line Using Assume-Guarantee Contracts.

Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi

IEEE Trans. Ind. Informatics, Journal Articles, 2021

Design Automation for Smart Factories

Electronic Systems Design (ESD)

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems.

Stefano Spellini, Sebastiano Gaiardelli, Michele Lora, Franco Fummi

ETFA, Conference and Workshop Papers, 2021

Design Automation for Smart Factories

Electronic Systems Design (ESD)

Modeling in Industry 5.0 - What Is There and What Is Missing - Special Session 1 - Languages for Industry 5.0.

Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi

FDL, Conference and Workshop Papers, 2021

Design Automation for Smart Factories

Electronic Systems Design (ESD)

Production Recipe Validation through Formalization and Digital Twin Generation.

Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi

DATE, Conference and Workshop Papers, 2020

Design Automation for Smart Factories

Electronic Systems Design (ESD)

A Contract-based Methodology for Production Lines Validation.

Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi

INDIN, Conference and Workshop Papers, 2019

None

Electronic Systems Design (ESD)

Compositional Design of Multi-Robot Systems Control Software on ROS.

Stefano Spellini, Michele Lora, Franco Fummi, Sudipta Chattopadhyay 0001

ACM Trans. Embed. Comput. Syst., Journal Articles, 2019

None

Electronic Systems Design (ESD)

Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0.

Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi

FDL, Conference and Workshop Papers, 2019

None

Electronic Systems Design (ESD)

Introducing assume-guarantee contracts for verifying robotic applications - work-in-progress.

Stefano Spellini, Michele Lora, Sudipta Chattopadhyay 0001, Franco Fummi

CODES+ISSS, Conference and Workshop Papers, 2018

None

Electronic Systems Design (ESD)

Cookies disclaimer

Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device.