Roberta Chirico

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Production Line

Knowledge Representation

Digital Objects

Buffer Allocation

Top Venues

IEEE Trans. Ind. Informatics

Publications

Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. IEEE Trans. Ind. Informatics 17 (9) (2021)
Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi
Production Recipe Validation through Formalization and Digital Twin Generation. DATE (2020)
Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. FDL (2019)
Roberta Chirico, Stefano Spellini, Marco Panato, Michele Lora, Franco Fummi
A Contract-based Methodology for Production Lines Validation. INDIN (2019)