L. Ferro

A Tractable and Fast Method for Monitoring SystemC TLM Specifications

Laurence Pierre, Luca Ferro, L. Pierre, 2008, IEEE Transactions on Computers.

Runtime Verification of Typical Requirements for a Space Critical SoC Platform

Laurence Pierre, Luca Ferro, Vincent Lefftz, 2011, FMICS.

ISIS: Runtime verification of TLM platforms

Laurence Pierre, Luca Ferro, L. Pierre, 2009, 2009 Forum on Specification & Design Languages (FDL).