A paper titled: “A Contract-based Methodology for Production Lines Validation” co-authored with Roberta Chirico, Stefano Spellini, Marco Panato, and Franco Fummi has been accepted at the IEEE International Conference on Industrial Informatics (INDIN) 2019 – Industrial Applications of Artificial Intelligence, that will be held […]

A paper titled “Translation, Abstraction and Integration for Effective Smart System Design” has been accepted for publication in the IEEE Transactions on Computers. This work organizes in a comprehensive e structured flow the research in the field of modeling and […]

A paper titled “Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications“, co-authored with Stefano Spellini, Sudipta Chattopadhyay and Franco Fummi has been accepted at the Work-in-Progress session of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) 2018. CODES+ISSS is one […]

A paper titled: “Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms” co-authored with Stefano Centomo, and Franco Fummi has been accepted at the International Forum on specification & Design Language (FDL) 2018, that will be held in Munich (Germany) on […]

Welcome to my website: It is still under construction by my wonderful (non-computer scientist) wife Anna. This will be the main hub for the information about myself. I will keep it updated with all the interesting material about my research […]