Antonio da Silva Farina

On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models

Antonio da Silva Farina, Sebastián Sánchez Prieto, 2009 .

A LEON3 Virtual Platform with real SpaceWire interfaces for dependable space software development

Antonio da Silva Farina, Sebastián Sánchez Prieto, 2011 .

Inyección de fallos en SystemC mediante instrumentación dinámica de código

Antonio da Silva Farina, Sebastián Sánchez Prieto, 2009 .