On the BDD of a Random Boolean Function. - Jean Vuillemin; Frédéric Béal (ASIAN, 2004)

Hazard Checking of Timed Asynchronous Circuits Revisited. - Frédéric Béal; Tomohiro Yoneda; Chris J. Myers (Fundam. Informaticae, 2008)

A Conservative Framework for Safety-Failure Checking. - Frédéric Béal; Tomohiro Yoneda; Chris J. Myers (IEICE Trans. Inf. Syst., 2008)