Collecting traces in dynamic binary translation based virtual prototyping platforms. - Marcos Aurélio Pinto Cunha; Nicolas Fournel; Frédéric Pétrot (RAPIDO@HiPEAC, 2015)

Deterministic reversible MPSoC debugger based on virtual platform execution traces. - Marcos Aurélio Pinto Cunha; Nicolas Fournel; Frédéric Pétrot (Des. Autom. Embed. Syst., 2016)

Defining and using virtual platforms traces captured for debugging MPSoCs. (Définition et utilisation de traces issues de plateformes virtuelles pour le débogage des MPSoCs). - Marcos Aurélio Pinto Cunha (2016)

Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms. - Marcos Aurélio Pinto Cunha; Omayma Matoussi; Frédéric Pétrot (ACM Trans. Embed. Comput. Syst., 2017)