Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation. - David Perillo; Marco Di Natale (COMPSAC (1), 2017)

Modelling and Simulation of Embedded Systems with Formal Languages and Virtual Platforms. - David Perillo (2017)

A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. - Marco Di Natale; David Perillo; Francesco Chirico; Andrea Sindico; Alberto L. Sangiovanni-Vincentelli (Softw. Syst. Model., 2018)