SPELLINI, STEFANO

SPELLINI, STEFANO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
Compositional Design of Multi-Robot Systems Control Software on ROS 1-gen-2019 Spellini, Stefano; Lora, Michele; Fummi, Franco; Chattopadhyay, Sudipta
A Contract-based Methodology for Production Lines Validation 1-gen-2019 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems 1-gen-2021 Spellini, Stefano; Gaiardelli, Sebastiano; Lora, Michele; Fummi, Franco
A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes 1-gen-2022 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 1-gen-2019 Spellini, Stefano; Chirico, Roberta; Lora, Michele; Fummi, Franco
A Model-based Approach for Designing Cyber-Physical Production Systems 1-gen-2022 Spellini, Stefano
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0 1-gen-2021 Gaiardelli, Sebastiano; Spellini, Stefano; Lora, Michele; Fummi, Franco
Production Recipe Validation through Formalization and Digital Twin Generation 1-gen-2020 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
A Software Architecture to Control Service-Oriented Manufacturing Systems 1-gen-2022 Gaiardelli, Sebastiano; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Virtual Prototyping a Production Line using Assume-Guarantee Contracts 1-gen-2020 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications 1-gen-2018 Spellini, Stefano; Lora, Michele; Sudipta, Chattopadhyay; Fummi, Franco