“Checkpoint and Restore for SystemC Models”
, in Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
, vol. 63, Springer, 2010.
“Mixed Simulation Kernels for High Performance Virtual Platforms”
, in International Forum on Specification and Design Languages (FDL)
, Sophia Antipolis, France, 2009.