Automating Functional Coverage Analysis Based on an Executable Specification. - S. Regimbal; Jean-Francois Lemire; Yvon Savaria; Guy Bois; El Mostapha Aboulhamid; A. Baron (IWSOC, 2003)

Verification Strategy Determination Using Dependence Analysis of Transaction-Level Models. - S. Regimbal; Yvon Savaria; Guy Bois (IWSOC, 2004)

A Unified Environment to Assess Image Quality in Video Processing. - Marc-André Cantin; S. Regimbal; S. Catudal; Yvon Savaria (J. Circuits Syst. Comput., 2004)