A Tractable and Fast Method for Monitoring SystemC TLM Specifications. - Laurence Pierre; Luca Ferro (IEEE Trans. Computers, 2008)

ISIS: Runtime verification of TLM platforms. - Luca Ferro; Laurence Pierre (FDL, 2009)

Formal semantics for PSL modeling layer and application to the verification of transactional models. - Luca Ferro; Laurence Pierre (DATE, 2010)

Enhancing the assertion-based verification of TLM designs with reentrancy. - Laurence Pierre; Luca Ferro (MEMOCODE, 2010)

Dynamic Verification of SystemC Transactional Models. - Laurence Pierre; Luca Ferro (Model-Based Testing for Embedded Systems, 2011)

Runtime Verification of Typical Requirements for a Space Critical SoC Platform. - Luca Ferro; Laurence Pierre; Zeineb Bel Hadj Amor; Jérôme Lachaize; Vincent Lefftz (FMICS, 2011)

Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. - Laurence Pierre; Luca Ferro; Zeineb Bel Hadj Amor; Philippe Bourgon; Jérôme Quévremont (SIES, 2012)

Early design stage thermal evaluation and mitigation: The locomotiv architectural case. - Tanguy Sassolas; Chiara Sandionigi; Alexandre Guerre; Alexandre Aminot; Pascal Vivet; Hela Boussetta; Luca Ferro; Nicolas Peltier (DATE, 2014)