An article titled “An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices” that I co-authored with Xingbin Jiang and Sudipta Chattopadhyay has been accepted for publication in the ACM Transactions on Internet Technology (TOIT). A pre-print of the paper […]
A paper titled “Production Recipe Validation through Formalization and Digital Twin Generation“, co-authored with Stefano Spellini, Roberta Chirico, Marco Panato, and Franco Fummi has been accepted at the ACM/IEEE Design, Automation and Test in Europe (DATE) Conference 2020, to be held in Grenoble from the 09th to […]
A paper titled “Compositional Design of Multi-Robot Systems Control Software on ROS“, co-authored with Stefano Spellini, Franco Fummi, and Sudipta Chattopadhyay has been accepted in the Journal track of the Embedded Systems Week (ESWeek) 2019. I will present the paper at the International Conference […]
A paper titled: “Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0“, co-authored with Roberta Chirico, Stefano Spellini, and Franco Fummi has been accepted at the International Forum on specification & Design Language (FDL) 2019, that will be held in […]
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 […]