Roberta Chirico

According to our database, Roberta Chirico authored at least 4 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Virtual Prototyping a Production Line Using Assume-Guarantee Contracts.

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

IEEE Trans. Ind. Informatics, 2021

2020

Production Recipe Validation through Formalization and Digital Twin Generation.

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

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

A Contract-based Methodology for Production Lines Validation.

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

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

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

Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi

Proceedings of the 2019 Forum for Specification and Design Languages, 2019