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)

Automatic refinement of requirements for verification throughout the SoC design flow. - Laurence Pierre; Zeineb Bel Hadj Amor (CODES+ISSS, 2013)

A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow. - Zeineb Bel Hadj Amor; Laurence Pierre; Dominique Borrione (VLSI-SoC, 2014)